Кроме того, результатом её работы с Бэббиджем было предсказание того, что компьютеры будут не только выполнять математические расчеты, но и манипулировать различными символами, не только математическими. Она не могла видеть результаты своей работы, так как "аналитическая машина" не была создана при её жизни, но начиная с 1940-х годов, её усилия не остались незамеченными22.
До 1920-х годов компьютерами (что-то вроде вычислительной машины) были клерки, выполнявшие вычисления. Много тысяч таких компьютеров было занято в коммерции, работали в правительстве и научно-исследовательских учреждениях. "Компьютерами", в большинстве своём, являлись женщины, которые имели специальное образование. Некоторые выполняли астрономические вычисления для календарей22.
Математические основы современной информатики были заложены Куртом Гёделем в его теореме о неполноте (1931). В этой теореме, он показал, что существуют пределы того, что может быть доказано и опровергнуто с помощью формальной системы. Это привело к определению и описанию Гёделем и другими формальных систем, в том числе были определены такие понятия, как μ-рекурсивная функция и λ-определимые функции.
1936 был ключевым годом для информатики. Алан Тьюринг и Алонзо Черч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и "чисто механическую" модель для вычисления.
Алан Тьюринг и его аналитическая машинаправить править код
Модель машины Тьюринга, воссозданная Майком Давье в 2012 году
После 1920-х годов выражение вычислительная машина относят к любым машинам, которые выполняли работу человека-компьютера, особенно к тем, которые были разработаны в соответствии с эффективными методами тезиса Чёрча -- Тьюр
Страницы: << < 4 | 5 | 6 | 7 | 8 > >>