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



Выдержка из книги Булос Д.N. Вычислимость и логика


Бели такой метод существует, то тьюрингово понятие вычислимости оказывается слишком узким: в этом случае существуют вычислимые функции, не являющиеся вычислимыми по Тьюрингу, и, в частности, такова функция и. Бели же тьюрингово понятие вычислимости достаточно широко, чтобы охватить все функции, вычислимые хоть в каком-либо интуитивном смысле, то сформулированная проблема оказывается неразрешимой.

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

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

Бели такой метод существует,  то тьюрингово понятие вычислимости оказывается слишком узким:  в этом случае существуют вычислимые функции,  не являющиеся вычислимыми по Тьюрингу,  и,  в частности,  такова функция и.  Бели же тьюрингово понятие вычислимости достаточно широко,  чтобы охватить все функции,  вычислимые хоть в каком-либо интуитивном смысле,  то сформулированная проблема оказывается неразрешимой.