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