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

Рассказывает Николай Казимиров (https://www.youtube.com/channel/UCdmf8RSgKOOXYjOk9WlUUCg)

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

Часть 1: https://youtu.be/IS_PazHA2_0
Часть 2: https://youtu.be/0WLmiejT9vM
Часть 3: https://youtu.be/0SoydsEr0OA

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

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

Видео Теорема Гудстейна. Доказательство и заключение канала Маткульт-привет! :: Алексей Савватеев и Ко