50 Классы доказуемо тотальных рекурсий

Описание к видео 50 Классы доказуемо тотальных рекурсий

Доказуемо тотальные рекурсивные функции (в данной теории).
Классы доказуемо тотальных рекурсий.
Иерархия Лёба-Вайнера (быстро растущая иерархия).
Связь с иерархией Харди.
Ординал теории, выраженный через иерархию функций.
Следствие: недоказуемость теоремы Гудстейна.
Подробнее про теорему Гудстейна:    • Теорема Гудстейна. Доказательство и з...  

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: https://boosty.to/mathreisender

Комментарии

Информация по комментариям в разработке