Участник:Shersh/Теорема о рекурсии

Материал из Викиконспекты
< Участник:Shersh
Версия от 15:43, 28 декабря 2013; Shersh (обсуждение | вклад) (sketch)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Теорема Успенского-Райса

Колмогоровская сложность

Busy beaver

Аналог I теоремы Гёделя о неполноте

Аналог II теоремы Гёделя о неполноте

Теорема о неподвижной точке