Пионеры вычислительной техники

Чарльз Бэббидж считается пионером вычислительной техники. Бэббидж имел чёткое представление о механических вычислениях чисел и таблиц. С 1810-х годов он начал воплощать свои идеи в реальность, разработав калькулятор для вычисления чисел до 8 знаков после запятой. Продолжая успех этой идеи, Бэббидж работал над созданием машины, которая могла вычислять числа до 20 знаков после запятой. К 1830 году Бэббидж придумал план, как разработать машину, которая могла использовать перфокарты для выполнения арифметических операций. Предполагалось, что машина должна хранить числа в блоках памяти и содержать форму последовательного управления. Это означает, что операции должны проводиться последовательно таким образом, чтобы машина возвращала ответ в виде удачи или неудачи. Эта машина стала известной как «аналитическая машина», которая стала первым прототипом современного компьютера. Гораздо позже, 21 января 1888, прошло частичное испытание «Аналитической машины Бэббиджа», которую построил его сын. На этом устройстве было успешно вычислено число Пи с точностью до 29 знаков.

Ада Лавлейс является пионером компьютерного программирования. Лавлейс начала работать у Чарльза Бэббиджа в качестве помощницы, в то время как Бэббидж работал над «Аналитической машиной». За время работы с Бэббиджем Ада Лавлейс стала разработчиком первого компьютерного алгоритма, который мог вычислить числа Бернулли. Кроме того, результатом её работы с Бэббиджем было предсказание того, что компьютеры будут не только выполнять математические расчеты, но и манипулировать различными символами, не только математическими. Она не могла видеть результаты своей работы, так как «аналитическая машина» не была создана при её жизни, но начиная с 1940-х годов, её усилия не остались незамеченными.

До 1920-х годов компьютерами (что-то вроде вычислительной машины) были клерки, выполнявшие вычисления. Много тысяч таких компьютеров было занято в коммерции, работали в правительстве и научно-исследовательских учреждениях. «Компьютерами», в большинстве своём, являлись женщины, которые имели специальное образование. Некоторые выполняли астрономические вычисления для календарей.

Математические основы современной информатики были заложены Куртом Гёделем в его теореме о неполноте (1931). В этой теореме, он показал, что существуют пределы того, что может быть доказано и опровергнуто с помощью формальной системы. Это привело к определению и описанию Гёделем и другими формальных систем, в том числе были определены такие понятия, как μ-рекурсивная функция и λ-определимые функции.

1936 был ключевым годом для информатики. Алан Тьюринг и Алонзо Черч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и «чисто механическую» модель для вычисления.