Неразрешимость проблемы остановки - прямое следствие того, что вычисляемая универсальной машиной U функция обязательно частичная. ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Тейз А.N.
Логический подход к искусственному интеллекту
Неразрешимость проблемы остановки - прямое следствие того, что вычисляемая универсальной машиной U функция обязательно частичная. Точнее, в § 2.2.10 показано существование программы Р с кодом Р п, таким, что U ( п, п) не определено.