📚 Заседание научно-учебного семинара «Математическая логика и теория категорий»

👤 Доклад по теме «The consistency of Peano Arithmetic PA is provable in PA, after all» предствит Сергей Артёмов, профессор Центра аспирантуры Городского университета Нью-Йорка.

📌В ходе доклада будет показано, что известная формула непротиворечивости Con(PA) для арифметики Пеано PA, гласящая «не существует x, который являлся бы кодом вывода формулы (0=1)», строго сильнее в самой системе PA, чем утверждение «PA непротиворечива». Также будет обсуждаться потенциальное влияние этих результатов на основы математики и теорию познания.

📌 Мероприятие пройдёт 13 сентября в 17:00 в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom. Для участия необходимо зарегистрироваться по ссылке.

#МЛогЛингФФ@philosnote