Монография Я.Хинтикки О ГЁДЕЛЕ представляет собой экспозицию основных результатов, достигнутых К.Гёделем в исследованиях по основаниям математики. В частности, рассматриваются знаменитые теоремы о неполноте и доказательство независимости континуум гипотезы. При интерпретации этих результатов широко привлекаются взгляды Гёделя на философию математики, близкие платонизму, и анализируется его своеобразный подход к синтаксическим и семантическим аспектам формальных систем. При рассмотрении отдельных концепций Гёделя привлекается аппарат, разработанных Я.Хинтиккой дружественно-независимых логик.
В сборник также включены некоторые работы К.Гёделя по философии математики, позволяющие лучше понять его взгляды.
Каарло Яакко Юхани Хинтикка
О Гёделе. Статьи
Курт Гедель
Расселовская математическая...
