Участник:Shersh/Теорема о рекурсии — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(sketch)
(нет различий)

Версия 15:43, 28 декабря 2013

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

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

Busy beaver

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

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

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

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Участник:Shersh/Теорема_о_рекурсии&oldid=34795»