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



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


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

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

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

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