Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 1
Post, см. [5]) и А. М. Тьюринг ( А. М. Turing, см. [3], [4]), их конструкции во многом предвосхитили идеи, заложенные в основу современных цифровых вычислительных машин. Известны также уточнения, сформулированные А. А. Марковым ( см. [10], [11], Нормальный алгорифм) и А. Н. Колмогоровым ( см. [12] [13]; последний предложил трактовать конструктивные объекты как топологич. Для каждого из предложенных уточнений соответствующая основная гипотеза хорошо согласуется с практикой. В пользу этой гипотезы говорит и то, что, как можно доказать, все предложенные уточнения в нек-ром естественном смысле эквивалентны друг другу.
![Post, см. [5]) и А. М. Тьюринг ( А. М. Turing, см. [3], [4]), их конструкции во многом предвосхитили идеи, заложенные в основу современных цифровых вычислительных машин. Известны также уточнения, сформулированные А. А. Марковым ( см. [10], [11], Нормальный алгорифм) и А. Н. Колмогоровым ( см. [12] [13]; последний предложил трактовать конструктивные объекты как топологич. Для каждого из предложенных уточнений соответствующая основная гипотеза хорошо согласуется с практикой. В пользу этой гипотезы говорит и то, что, как можно доказать, все предложенные уточнения в нек-ром естественном смысле эквивалентны друг другу.](/pic/0582110DlNJwpa0017140668.png)