Читаем On Gödel, Hintikka

Уже несколько месяцев мы изучаем модальные логики. Я, правда, в основном страдаю и ничего не понимаю, но неунывающий Мейнониган радует своими объяснениями (спасибо ему). Недавно мы по какой-то причине обсуждали полноту и обнаружили, что моё понимание этого свойства оказалось спутанным, поэтому Мейнониган посоветовал ознакомиться с тем, как Хинтикка интерпретирует работы и жизнь Гёделя.

Приглашаю всех в течение пары недель разобраться, почему Гёдель один из самых влиятельных логиков 20 века, чему его теорема о полноте и теоремы о неполноте нас научили, а также как аксиоматический подход привёл нас к проблемам вычислимости.

Прочитать до "Gödel's Puzzling Inсompleteness Proof" включительно к пятнице, 25 апреля. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.

Книга в первом комменте.
Методы доступа в дискорд