?

Log in

No account? Create an account

Опять об Гёделя. - The chronicler of 452 — LiveJournal

Jul. 2nd, 2014

10:47 pm - Опять об Гёделя.

Previous Entry Share Next Entry

Учёные, разъясняющие нам, что теорема Гёделя делает невозможной формализацию математики, не преминут добавить (дочитав книжку до следующей главы, молодцы!), что согласно второй теореме Гёделя о неполноте, невозможно не только формализовать арифметику, но и доказать ее непротиворечивость. Некоторые, впрочем, притворяются, что видят дефекты в чудесной картине нищеты формализма.

S. Feferman, Arithmetization of metamathematics in a general setting.
Привет Тарскому.