Читаем On Gödel, Hintikka Уже несколько месяцев мы изучаем модальные логики. Я, правда, в основном страдаю и ничего не понимаю, но неунывающий Мейнониган радует своими объяснениями (спасибо ему). Недавно мы по какой-то причине обсуждали полноту и обнаружили, что моё понимание этого свойства оказалось спутанным, поэтому Мейнониган посоветовал ознакомиться с тем, как Хинтикка интерпретирует работы и жизнь Гёделя. Приглашаю всех в течение пары недель разобраться, почему Гёдель один из самых влиятельных логиков 20 века, чему его теорема о полноте и теоремы о неполноте нас научили, а также как аксиоматический подход привёл нас к проблемам вычислимости. Прочитать до "Gödel's Puzzling Inсompleteness Proof" включительно к пятнице, 25 апреля. Встречаемся на нашем дискорд-сервере в 21:00 по Москве. Книга в первом комменте. Методы доступа в дискорд