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