Теорема Гудстейна. Доказательство и заключение

Рассказывает Николай Казимиров (   / @reisedurchdiemathe  )

00:00 Доказательство
35:35 Независимость теоремы Гудстейна от аксиом арифметики первого порядка
37:00 Аксиомы арифметики и типы формул
1:05:00 Классы рекурсивных функций
1:28:33 Быстрорастущая иерархия Лёба-Вайнера
1:50:54 Ссылки

Часть 1:    • Теорема Гудстейна. Введение  
Часть 2:    • Теорема Гудстейна. Формулировка  
Часть 3:    • Теорема Гудстейна. Введение в ординалы.  

🎯 Поддержать популяризацию математики на Патреоне:   / savvateev  

Наши ресурсы: https://vk.com/alexei_savvateev   / aleksey_savvateev     / savvatan   https://savvateev.livejournal.com https://savvateev.xyz https://t.me/savvateev_xyz