2020-04-07
127
После 1920-х годов выражение вычислительная машина относят к любым машинам, которые выполняли работу человека-компьютера, особенно к тем, которые были разработаны в соответствии с эффективными методами тезиса Чёрча — Тьюринга. Этот тезис формулируется как: «Всякий алгоритм может быть задан в виде соответствующей машины Тьюринга или частично рекурсивного определения, а класс вычислимых функций совпадает с классом частично рекурсивных функций и с классом функций, вычислимых на машинах Тьюринга». По-другому, тезис Чёрча-Тьюринга определяется как гипотеза о природе механических устройств расчетов, таких как электронно-вычислительные машины. Любое вычисление, какое только возможно, может быть выполнено на компьютере, при условии, что в нем достаточно времени и места для хранения.
Механизмы, работающие над вычислениями с бесконечностями, стали известны как аналоговый тип. Значения в таких механизмах представлялись непрерывными числовыми величинами, например, угол вращения вала или разность электрического потенциала.
В отличие от аналоговых, цифровые машины имели возможность представлять состояние числового значения и хранить отдельно каждую цифру. Цифровые машины использовали различные процессоры или реле до изобретения устройства с оперативной памятью.
Название вычислительная машина с 1940-х начало вытесняться понятием компьютер. Те компьютеры были в состоянии выполнять вычисления, которые раньше выполняли клерки. Начиная с того, как значения перестали зависеть от физических характеристик (как в аналоговых машинах), логический компьютер, основанный на цифровом оборудовании, был в состоянии сделать всё, что может быть описано чисто механической системой.
В 1937 году Алан Тьюринг представил свою идею того, что сейчас называется машиной Тьюринга. Теоретическая машина Тьюринга стала гипотетическим устройством, теоретизированным для того, чтобы изучать свойства такого оборудования. Предвидя современные компьютеры, которые имеют возможность хранить программы, он описал то, что стало известно, как Универсальная машина Тьюринга.
Машины Тьюринга были разработаны, чтобы формально математически определить, что может быть вычислено с учётом ограничений на вычислительную способность. Если машина Тьюринга может выполнить задачу, то задача считается вычислимой по Тьюрингу. Тьюринг в основном сосредоточился на проектировании машины, которая могла определить, что может быть вычислено. Тьюринг сделал вывод, что, пока существует машина Тьюринга, которая могла бы вычислять приближение числа, это значение исчислимо. Кроме того, машина Тьюринга может интерпретировать логические операторы, такие как AND, OR, XOR, NOT, и «Если-То-Иначе», чтобы определить, является ли функция вычислимой.
На симпозиуме по крупномасштабной цифровой технике в Кембридже Тьюринг сказал: «Мы пытаемся построить машину, чтобы делать различные вещи просто путём программирования, а не путём добавления дополнительного оборудования».
Развитие аппаратного обеспечения
