Myvideo

Guest

Login

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

Uploaded By: Myvideo
1 view
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later