Аристотель рассуждал механистически, Лейбниц строил калькуляторы со вложенными циклами. Чарльзу Беббиджу обязаны компьютером, Аде Лавлейс программированием. Джордж Буль проработал двоичные преобразования, Давид Гильберт формализовал 23 нерешённые проблемы. Курт Гёдель определил неполноту и закодировал строку символов. Алан Тьюринг предложил важный тест интеллекта, а Клод Шеннон синтезировал схемы.
