Неразрешимость проблемы остановки - прямое следствие того, что вычисляемая универсальной машиной U функция обязательно частичная. ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Тейз А.N. Логический подход к искусственному интеллекту


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

(cкачать страницу)

Смотреть книгу на libgen

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