The Universal Computer: The Road from Leibniz to Turing

by Martin D. Davis

Computers are everywhere today -- at work, in the bank, in artist's studios, sometimes even in our pockets -- yet they remain to many of us objects of irreducible mystery. How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.

Genres: Computer Science, Science, Nonfiction, Mathematics, History, Technology, Computers

257 pages, Hardcover

First published October 1, 2000

About the author

Martin David Davis (born 1928) is Professor Emeritus at New York University's Computer Science Department.

Reviews

[Ville · Rating 4 out of 5]

Kiinnostava kirja kaikille, joiden opintoihin on joskus sisältynyt yliopistotason matematiikkaa. Kirja käy läpi eri matemaattikoiden ja loogikoiden elämiä sekä matemaattisia pohdintoja ja saavutuksia 1600-luvulta 1900-luvulle asti. Kaikki (kirjan potentiaalisen yleisön edustajat) ovat kuulleet esimerkiksi Boolen algebrasta, mutta mikä tuo Boole oikeastaan oli miehiään? Entä äärettömyyksiä tutkinut Georg Cantor? Kurt Gödel? Alan Turing?

Aivan kirjan lopussa pohditaan vielä muutaman sivun verran, tietävätkö tietokoneet oikeastaan yhtään mitään, ja mitä itse asiassa on älykkyys tai tietoisuus. Näitä selitetään kiinalaisen huoneen ajatuskokeella sekä Turingin testillä. Kirja on vuodelta 2000, ja onkin hieman hupaisaa, että siinä kerrotaan vielä viisivuotiaan lapsenkin käyttävän kieltä sujuvammin kuin paraskaan tietokoneohjelma tekee, ja että Turingin testin läpäisevän ohjelman valmistuminen on vielä "kaukana tulevaisuudessa". Näin ChatGPT:n aikakaudella voitaneen jo todeta, että "kaukana tulevaisuudessa" tarkoitti noin 22 vuotta.