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



Выдержка из книги Гильберт Д.N. Основания математики


Здесь мы приведем лишь существенный для данного контекста результат этих исследований. По поводу его обоснования мы отсылаем читателя к Приложению II 2), а здесь только отметим, что это обоснование опирается на одно предположение, которое вследствие неточности обиходного понятия вычислимости лишь может быть сделано правдоподобным и оправданным последующими результатами. Речь идет о предположении, что любая вычислительная процедура может быть изображена в виде вывода в подходящем, специально для этой цели построенном дедуктивном формализме, причем этот формализм может быть устроен так ( и это существенно.

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

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

Здесь мы приведем лишь существенный для данного контекста результат этих исследований.  По поводу его обоснования мы отсылаем читателя к Приложению II 2),  а здесь только отметим,  что это обоснование опирается на одно предположение,  которое вследствие неточности обиходного понятия вычислимости лишь может быть сделано правдоподобным и оправданным последующими результатами.  Речь идет о предположении,  что любая вычислительная процедура может быть изображена в виде вывода в подходящем,  специально для этой цели построенном дедуктивном формализме,  причем этот формализм может быть устроен так ( и это существенно.