50 Классы доказуемо тотальных рекурсий
Доказуемо тотальные рекурсивные функции (в данной теории).
Классы доказуемо тотальных рекурсий.
Иерархия Лёба-Вайнера (быстро растущая иерархия).
Связь с иерархией Харди.
Ординал теории, выраженный через иерархию функций.
Следствие: недоказуемость теоремы Гудстейна.
Подробнее про теорему Гудстейна:
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty:
4 years ago 00:03:00 34
6 years ago 00:04:43 42
9 years ago 00:04:33 20
8 years ago 00:05:27 25
5 years ago 00:27:27 103
4 years ago 00:09:42 9
5 years ago 00:08:51 142
6 years ago 00:02:53 34
5 years ago 00:04:30 12
5 years ago 00:02:35 34
4 years ago 00:07:32 131
2 years ago 02:46:05 140
6 years ago 00:02:08 65
9 years ago 00:22:11 131
4 years ago 00:05:13 32
2 years ago 00:13:13 17
9 years ago 00:03:31 91
5 years ago 00:13:53 19
4 years ago 00:27:50 28
4 years ago 00:08:11 431
5 years ago 00:09:25 38
4 years ago 01:36:55 30
5 years ago 00:10:55 9
5 years ago 00:22:53 15
