О Гёделе. Статьи

Совпадает ли математическая истина с тем, что допускает доказательство внутри формальной системы? Логик Яакко Хинтикка обращается к результатам Гёделя и к философским убеждениям, сопровождавшим его работу. Рядом помещены статьи самого Гёделя: предметом чтения становится также расстояние между позицией мыслителя и её последующим истолкованием.

Особенно существенно различать математический результат и философский вывод из него. Близость Гёделя к платонизму требует отдельного обсуждения; одной ссылки на его теоремы здесь недостаточно. Хинтикка ведёт разговор со своей исследовательской позиции, связанной с дружественно-независимыми логиками. Поэтому сборник адресован изучающим философию математики и основания логики, готовым следить за различием синтаксиса и семантики.

Читайте изложение Хинтикки в сопоставлении с первоисточниками, отмечая, кому принадлежит каждый тезис. Базовое знакомство с формальными системами желательно. Перевод с английского выполнен Виталием Целищевым и Валерием Суровцевым.