Loogika aine ja ajalugu
kuid kaugeltki mitte ainsad 20. sajandi loogika fundamentaalsetest teoreemidest, mille autoriks on Gödel. Oma elu
jooksul jõudis Gödel publitseerida aukartustäratava hulga artikleid ning käsitleda pea kõiki loogikavaldkondi.
2.5.6 Automaadid, programmeerimine ning lahenduvus
Tuhandeid aastaid on lisaks sõrmedele kasutatud arvutamise juures abiks arvutuspulki, arvelaudu jm. Selliseid
abivahendeid ei saa nimetada arvutusmasinateks, sest arvutamise meetodid pidid olema ikkagi kasutaja peas. Esimesed
mehaanilised arvutusmasinad leiutati Euroopas 17. sajandil, tuntumad neist on Prantsuse filosoofi Blaise Pascali
liitmise-lahutamise masin ning Leibnizi masin, mis suutis lisaks korrutada, jagada ja ruutjuuri arvutada. 1822. ehitas
inglane Charles Babbage prototüübi esimese programmeeritava arvuti prototüübi: Babbage' masinale sai kasutaja vabalt
annaabi.ee 
