ΜΗΧΑΝΕΣ ΤΗΣ ΛΟΓΙΚΗΣ

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