O Μάρτιν Ντέιβις επιτυγχάνει στο βιβλίο του Μηχανές της λογικής (μτφ. Στάθης Ζάχος, Εκκρεμές 2007) να τιθασεύσει ένα δύσκολο υλικό και να το κάνει προσιτό στον αναγνώστη, ακόμα και σ΄ εκείνον που δεν έχει καλή σχέση με τις θετικές επιστήμες, συνδέοντας τη «μοίρα» των υπολογιστών με τα μαθηματικά και τη λογική των μαθηματικών συλλογισμών. Η απλή γλώσσα και οι αναφορές του συγγραφέα σε σπουδαίους μαθηματικούς και φιλοσόφους είναι μερικές από τις αρετές του βιβλίου, που το κάνουν ελκυστικό στο ευρύ κοινό. Τι είναι όμως ο υπολογιστής; Πού κρύβεται το μυστήριό του; Πώς γεννήθηκε; Είναι μερικά ερωτήματα, τα οποία με σαφήνεια απαντά ο Μάρτιν Ντέιβις, ένας από τους σημαντικότερους μαθηματικούς της εποχής μας, καθώς ακολουθεί και παρακολουθεί την εξελικτική πορεία των μαθηματικών. Μπορεί κανείς να συνομιλήσει με τον υπολογιστή; Ήδη το 1950, μας πληροφορεί ο Ντέιβις, ο Άλαν Τούριγκ, σε άρθρο του, προέβλεπε ότι μέχρι τα τέλη του 20ού αιώνα θα λειτουργούσαν προγράμματα ηλεκτρονικών υπολογιστών, που θα μπορούσαν «να διεξάγουν πραγματικό διάλογο με τόση ευκολία, που θα ήταν αδύνατον για κάποιον να ξεχωρίσει με βεβαιότητα αν συνομιλούσε με άλλο πρόσωπο ή με τον ηλεκτρονικό υπολογιστή…». Τα πράγματα δεν αναπτύχθηκαν έτσι, ωστόσο τα διαλογικά προγράμματα σήμερα είναι εξελιγμένα, χωρίς όμως να κατορθώνουν να ξεπεράσουν τη γλωσσική ευκολία ενός παιδιού. Παρ΄ όλ΄ αυτά οι δυνατότητες του υπολογιστή είναι μεγάλες και αυτές βελτιώνονται λεπτό προς λεπτό. Το βιβλίο αυτό ας γίνει το εγχειρίδιο του καλού χρήστη των υπολογιστών και όχι μόνον.

Η Χρύσα Σπυροπούλου είναι συγγραφέας