Беббідж і Тюрінг: конструкція та теорія
Історичний план Аналітичної машини Беббіджа 1840 року; проєкт, не фото завершеного комп’ютера / Historical 1840 plan for Babbage’s Analytical Engine; a design, not a photograph of a completed computer. Credit: ArnoldReinhold; CC BY 4.0. https://creativecommons.org/licenses/by/4.0 Source: https://commons.wikimedia.org/?curid=69497631
Чарльз Беббідж у XIX столітті проєктував механічні обчислювальні машини: різницеву для таблиць і аналітичну як програмовану машину ширшого призначення. Повну аналітичну машину за його життя не збудували. Алан Тюрінг 1936 року сформулював теоретичну модель покрокового обчислення та універсальної машини, здатної наслідувати інші машини цієї моделі. Це важливі, але різні внески: механічний проєкт, математична модель і пізніший електронний комп’ютер не є одним винаходом однієї дати.

