Σήμερα, οι υπολογιστές βρίσκονται παντού: στους εργασιακούς χώρους, σε εργαστήρια τέχνης, στις τράπεζες, στα σούπερ μάρκετ καθώς και σε σπίτια σε όλο τον πλανήτη. Μερικές φορές, μάλιστα, βρίσκονται ακόμα και μέσα στις τσέπες μας. Παρ` όλα αυτά, για πολλούς από εμάς εξακολουθούν να παραμένουν αντικείμενα αμείωτου μυστηρίου. Πώς μπορεί η σημερινή ηλεκτρονική μαγεία να εκτελεί μια τόσο εκπληκτική ποικιλία εργασιών αν οι υπολογισμοί δεν είναι παρά αναβαθμισμένοι αριθμητικοί λογαριασμοί; Η απάντηση, όπως μας εξηγεί με σαφήνεια και διαύγεια ο Martin Davis, βρίσκεται στο ότι οι υπολογιστές είναι, ουσιαστικά, μηχανές λογικής, οι οποίες χρησιμοποιούν έννοιες που αναπτύχθηκαν βαθμιαία από πρωτοπόρους μαθηματικούς στη διάρκεια των αιώνων.

[Απόσπασμα από το κείμενο στο οπισθόφυλλο της έκδοσης]