Семинары
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Календарь
Поиск
Регистрация семинара
RSS
Ближайшие семинары
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
28 апреля 2020 г.
16:30–18:30
, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
Лекция 20. Гёделевская система Т. Интерпретация формальной арифметики в Т (продолжение)
Л. Д. Беклемишев
Видеозаписи:
MP4
114.0 Mb
Количество просмотров:
Эта страница:
303
Видеофайлы:
43
Youtube:
https://youtu.be/Z04Riqrtg8Q
Аннотация:
Завершение доаказательства теоремы Гёделя об интерпретации арифметики HA в системе T. Правило индукции. Следствия об относительной непротиворечивости, консервативности и представимости доказуемо рекурсивных функций PA в системе T.
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024