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

Рассказывает Николай Казимиров (   / @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