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