инга. Этот тезис формулируется как: "Всякий алгоритм может быть задан в виде соответствующей машины Тьюринга или частично рекурсивного определения, а класс вычислимых функций совпадает с классом частично рекурсивных функций и с классом функций, вычислимых на машинах Тьюринга"23. По-другому, тезис Чёрча-Тьюринга определяется как гипотеза о природе механических устройств расчетов, таких как электронно-вычислительные машины. Любое вычисление, какое только возможно, может быть выполнено на компьютере, при условии, что в нем достаточно времени и места для хранения.
Механизмы, работающие над вычислениями с бесконечностями, стали известны как аналоговый тип. Значения в таких механизмах представлялись непрерывными числовыми величинами, например, угол вращения вала или разность электрического потенциала24.
В отличие от аналоговых, цифровые машины имели возможность представлять состояние числового значения и хранить отдельно каждую цифру. Цифровые машины использовали различные процессоры или реле до изобретения устройства с оперативной памятью25.
Название вычислительная машина с 1940-х начало вытесняться понятием компьютер. Те компьютеры были в состоянии выполнять вычисления, которые раньше выполняли клерки. Начиная с того, как значения перестали зависеть от физических характеристик (как в аналоговых машинах), логический компьютер, основанный на цифровом оборудовании, был в состоянии сделать всё, что может быть описано чисто механической системой26.
В 1937 году Алан Тьюринг представил свою идею того, что сейчас называется машиной Тьюринга. Теоретическая машина Тьюринга стала гипотетическим устройством, теоретизированным для того, чтобы изучать свойства такого оборудования. Предвидя современные компьютеры, которые имеют возможность хранить программы,
Страницы: << < 5 | 6 | 7 | 8 | 9 > >>