Maxima Library

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

В сборник также включены некоторые работы К. Гёделя по философии математики, позволяющие лучше понять его взгляды.