Семинары: Л. Д. Беклемишев, Лекция 20. Гeделевская система Т. Интерпретация формальной арифметики в Т (продолжение)

СЕМИНАРЫ


Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 28 апреля 2020 г. 16:30, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)

Лекция 20. Гёделевская система Т. Интерпретация формальной арифметики в Т (продолжение) Л. Д. Беклемишев
https://youtu.be/Z04Riqrtg8Q Аннотация: Завершение доаказательства теоремы Гёделя об интерпретации арифметики HA в системе T. Правило индукции. Следствия об относительной непротиворечивости, консервативности и представимости доказуемо рекурсивных функций PA в системе T.