Доклад А. А. Запрягаева "Формальные арифметики в логике"
12 февраля в 16.40 в ауд. А-206 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Александр Александрович Запрягаев
приглашенный преподаватель Факультета математики
выступит с докладом:
"Формальные арифметики в логике"
Аннотация доклада:
Формальные арифметики представляют из себя класс логических теорий, созданных для формализации различных аспектов свойств натуральных чисел. Наиболее известна арифметика Пеано, являющаяся типичным примером теории достаточно сложной, чтобы обеспечивать формализацию собственного синтаксиса, но всё ещё, в отличие от теории множеств, обозримой и обладающей понятной моделью. Мы обсудим, как формальные арифметики оказываются полезными инструментами для различных разделов логики и компьютерных наук, в том числе в теории доказательств (теоремы Гёделя), а также рассмотрим примеры утверждений о натуральных числах, истинных, но не доказуемых в арифметике Пеано.
- Время: 12 февраля (ср), 16.40
- Место: ул. Старая Басманная 21/4, ауд. А-206
- Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR