он описал то, что стало известно, как Универсальная машина Тьюринга27.
Машины Тьюринга были разработаны, чтобы формально математически определить, что может быть вычислено с учётом ограничений на вычислительную способность. Если машина Тьюринга может выполнить задачу, то задача считается вычислимой по Тьюрингу. Тьюринг в основном сосредоточился на проектировании машины, которая могла определить, что может быть вычислено. Тьюринг сделал вывод, что, пока существует машина Тьюринга, которая могла бы вычислять приближение числа, это значение исчислимо. Кроме того, машина Тьюринга может интерпретировать логические операторы, такие как AND, OR, XOR, NOT, и "Если-То-Иначе", чтобы определить, является ли функция вычислимой27.
На симпозиуме по крупномасштабной цифровой технике в Кембридже Тьюринг сказал: "Мы пытаемся построить машину, чтобы делать различные вещи просто путём программирования, а не путём добавления дополнительного оборудования"23.
Шеннон и теория информацииправить править код
До и во время 1930-х годов инженеры-электрики смогли построить электронные схемы для решения математических и логических задач, но большинство из них делали это специальным образом, не имея никакой теоретической строгости. Все изменилось с публикацией диссертации магистра 1937 году Клода Элвуда Шеннона на тему: Символический анализ релейных соединений и соединение с коммутацией каналов (A Symbolic Analysis of Relay and Switching Circuits). Шеннон, находящийся под воздействием работы Буля, признал, что она может быть использована для организации электромеханических реле для решения логических задач (затем стала использоваться в телефонных коммутаторах). Эта концепция (об использовании свойств электрических переключателей) лежала в основе всех электронны
Страницы: << < 6 | 7 | 8 | 9 | 10 > >>