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

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