Charles Babbage
Charles Babbage (26. joulukuuta 1791 – 18. lokakuuta 1871) oli englantilainen matemaatikko ja filosofi. Hän oli ensimmäisiä tieteilijöitä, jotka keksivät ajatuksen ohjelmoitavasta tietokoneesta.
Tietokone
Matematiikan professori Charles Babbage kehitti jo 1800-luvulla mekaanisen tietokoneen nimeltä Analyyttinen kone. Yksi tunnetuimmista tietokoneen matemaattisista malleista on Turingin kone, jonka kehitti englantilainen matemaatikko Alan Turing. Tietojenkäsittelyn ekvivalenssiperiaatteen mukaan kaikki tietokoneet pystyvät suoriutumaan samoista tehtävistä, mikäli käytössä on riittävästi tallennustilaa ja aikaa. Jos siis koneella tai formaalilla järjestelmällä (esimerkiksi ohjelmointikielellä) voi toteuttaa Turingin koneen, sillä voi toteuttaa myös minkä tahansa algoritmin tai ohjelman, jonka Turingin kone pystyy ratkaisemaan. Nykyaikaiset yleistietokoneet perustuvat elektroniikkaan ja John von Neumannin mallin mukaiseen rakenteeseen, ja Turingin kone esiintyy vain tietojenkäsittelyteorian oppikirjoissa. Erikoissovelluksissa voi olla käytössä Neumannin mallista poikkeavia tietokoneita. Esimerkiksi signaalinkäsittelyyn tarkoitetut suorittimet ovat usein Harvard-arkkitehtuurin mukaisia.
Useimmat tietokoneet toteuttavat John von Neumannin mallia, jossa sekä ohjelma että sen käsittelemä tieto ovat samaan muistiin tallennettua dataa. Harvinaisemmassa Harvard-arkkitehtuurissa ohjelma ja sen käsittelemä tieto ovat omissa muisteissaan.