3622
правки
Изменения
sketch
== Теорема Успенского-Райса ==
== Колмогоровская сложность ==
== Busy beaver ==
== Аналог I теоремы Гёделя о неполноте ==
== Аналог II теоремы Гёделя о неполноте ==
== Теорема о неподвижной точке ==
== Колмогоровская сложность ==
== Busy beaver ==
== Аналог I теоремы Гёделя о неполноте ==
== Аналог II теоремы Гёделя о неполноте ==
== Теорема о неподвижной точке ==