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.
Ένα βιβλίο και για (εμάς) τους μη γνώστες. Καλογραμμένο (όπως και η μετάφρασή του) και προσιτό, περιέχει βιογραφικά στοιχεία για τον εκάστοτε επιστήμονα, κάτι που το κάνει πολύ συμπαθητικό και ξεκουράζει κατά την ανάγνωση, αφήνοντας την αίσθηση πως διηγείται ιστορίες, με έναν πιο ακαδημαϊκό τρόπο.