К этому времени было изобретено первое механическое устройство, управляемое бинарной схемой. Промышленная революция дала толчок механизации многих задач, включая ткачество. Перфокарты контролировали работу ткацких станков Жозефа Мари Жаккара, где перфорированное отверстие на карте означало бинарную единицу, а неперфорированное место означало бинарный ноль. Благодаря перфокартам станки имели возможность воспроизводить сложнейшие узоры. Ткацкий станок Жаккара был далек от того, чтобы называться компьютером, но он показывает, что бинарная система могла быть использована для управления механизмами^[17].

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

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

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

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

В 1944 году запущен Марк I — первый американский программируемый компьютер. А в 1948 году был построен «Манчестерский ребёнок» — первый основанный на модели машины Тьюринга практический компьютер, способный запускать хранимые программы.