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

Год издания: 2014Формат: djvuЯзык: ruРазмер: 3248 KbСкачиваний: 361