The chronicler of 452 (furia_krucha) wrote,
The chronicler of 452
furia_krucha

Category:

Опять об Гёделя.

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

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

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments