Опять об Гёделя.
Учёные, разъясняющие нам, что теорема Гёделя делает невозможной формализацию математики, не преминут добавить (дочитав книжку до следующей главы, молодцы!), что согласно второй теореме Гёделя о неполноте, невозможно не только формализовать арифметику, но и доказать ее непротиворечивость. Некоторые, впрочем, притворяются, что видят дефекты в чудесной картине нищеты формализма.
- S. Feferman, Arithmetization of metamathematics in a general setting.
Привет Тарскому.