MARTIN DAVIS

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

Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών. Από τον Leibniz ως τον Turing.

Μετάφραση: Στάθης Ζάχος

(Σφαίρα)

Ο Martin Davis, ένας από τους πρωτοπόρους της ανάπτυξης της επιστήμης των υπολογιστών, παρουσιάζει μια μαγευτική εικόνα της ιστορίας της δημιουργίας και εξέλιξης των υπολογιστών. Σ’ αυτό το βιβλίο, παρακολουθούμε την πορεία της αποκρυστάλλωσης των λογικών εννοιών πάνω στις οποίες βασίζονται οι υπολογιστές μέσα από τις ζωές μιας ομάδας λαμπρών νεωτεριστών, κυρίως Γερμανών και Βρετανών, που καλύπτουν μια περίοδο τριών αιώνων: των G. W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Godel και Alan Turing. Κάθε ένας από αυτούς με τον έναν ή τον άλλο τρόπο, ενδιαφερόταν για τη φύση των ανθρώπινων συλλογισμών και ήταν αποφασισμένος να συμβάλει στην ανάπτυξη μιας βαθύτερης κατανόησης του τρόπου με τον οποίο οι άνθρωποι εξάγουν συμπεράσματα, με λίγα λόγια, πώς χρησιμοποιούμε τη λογική. Κανείς από αυτούς, εκτός από τον Turing που έζησε στη δική μας εποχή, τον 20ό αιώνα, δεν κατάλαβε πως το έργο τους θα αποτελούσε το διανοητικό πλαίσιο μέσα από το οποίο θα αναδυόταν ο ψηφιακός υπολογιστής γενικής χρήσης. Αυτό το βιβλίο δίνει μια σφαιρική εικόνα της ιστορίας και υπογραμμίζει τη δύναμη των ιδεών. Οι αναγνώστες θα αποκομίσουν μια αποκαλυπτική κατανόηση του πώς και γιατί λειτουργούν οι υπολογιστές καθώς και πώς προέκυψαν οι αλγόριθμοι που βρίσκονται μέσα τους. Σήμερα, οι υπολογιστές βρίσκονται παντού: στους εργασιακούς χώρους, σε εργαστήρια τέχνης, στις τράπεζες, τα σουπερμάρκετ καθώς και σε σπίτια σε όλον τον πλανήτη. Μερικές φορές, μάλιστα, βρίσκονται ακόμα και μέσα στις τσέπες μας. Παρ' όλα αυτά για πολλούς από εμάς εξακολουθούν να παραμένουν αντικείμενα αμείωτου μυστηρίου. Πώς μπορεί η σημερινή ηλεκτρονική μαγεία να εκτελεί μια τόσο εκπληκτική ποικιλία εργασιών αν οι υπολογισμοί δεν είναι παρά αναβαθμισμένη αριθμητική λογαριασμοί; Η απάντηση, όπως μας εξηγεί με σαφήνεια και διαύγεια ο Martin Davis, βρίσκεται στο ότι οι υπολογιστές είναι, ουσιαστικά, μηχανές λογικής, οι οποίες χρησιμοποιούν έννοιες που αναπτύχθηκαν βαθμιαία από πρωτοπόρους μαθηματικούς στη διάρκεια των αιώνων. «Επιτέλους, ένα βιβλίο για τις απαρχές του υπολογιστή που διεισδύει στην καρδιά του θέματος: στην ανθρώπινη πάλη για τη λογική και την αλήθεια. Ευρυμαθής, συναρπαστικός και βαθιά ανθρώπινος, ο Martin Davis παρουσιάζει τα εξαιρετικά πνεύματα που θεμελίωσαν τους υπολογιστές, με αποκορύφωση τον Alan Turing, του οποίου η καθολική μηχανή παίζει, στην εποχή μας, κυρίαρχο ρόλο στην παγκόσμια οικονομία». Andrew Hodges, συγγραφέας του Alan Tyring: The Enigma «Όποια δουλεύει με υπολογιστές σήμερα, όποιος ψάχνει ένα παράθυρο στο ηλεκτρονικό μέλλον, μπορεί να επωφεληθεί ιδιαίτερα από αυτό τον γοητευτικό περίπατο του Davis στην ιστορία της λογικής και στις ζωές των πρωτοπόρων της». John McCarthy, Πανεπιστήμιο του Stanford «Ένα επιμελημένα διασκεδαστικό δείγμα βιογραφικών πορτρέτων και θεωρητικών μαθηματικών... γεμάτο με καλογραμμένες ιστορίες και σημαντικές λεπτομέρειες ». Publishers Weekly «Μια κομψή εξιστόρηση της αναζήτησης των ορίων της λογικής και των μηχανών που ζουν μέσα σ' αυτά. Ανακατεύοντας μαθηματικές λεπτομέρειες και πικάντικες βιογραφικές ιστορίες, ο Davis εξηγεί πώς καταλήξαμε στην κατανόηση των ορίων των υπολογιστών και της λογικής σκέψης... Το βιβλίο [του] είναι ένας πλήρης οδηγός ενός σημαντικού κλάδου των μαθηματικών και της λογικής ». Peter Wayner, Wired

ISBN 978-960-7651-54-9
Σελίδες 365
Τιμή 28,00€

MARTIN DAVIS

O Martin Davis (Nέα Υόρκη, 1928) είναι διακεκριμένος λογικός, γνωστός για την πρωτοποριακή εργασία του πάνω στην αυτόματη παραγωγή θεωρημάτων και για τη συμβολή του στην επίλυσή του δέκατου προβλήματος του Hilbert, για την οποία τιμήθηκε από τη Mathematical Association of America με τα Βραβεία Chauvenet και Lester P. Leroy R. Ford, καθώς και με το Βραβείο Leroy R. Steele από την American Mathematical Society. Τo 1950 πήρε το Ph.D από το Πανεπιστήμιο του Princeton με επιβλέποντα τον Alonzo Church. Επινόησε μαζί με τον Putnam τον αλγόριθμο DPLL. Το βιβλίο του Computability and Unsolvability (1958) χαρακτηρίστηκε ως ένα από τα ελάχιστα πραγματικά κλασικά έργα για την επιστήμη των υπολογιστών. Τα βιβλία του έχουν μεταφραστεί σε πολλές γλώσσες. Ο Davis είναι ο ομότιμος καθηγητής στο Courant Institute of Mathematical Science του Πανεπιστημίου της Νέας Υόρκης, όπου δίδασκε από το 1965 μαθηματικά και υπολογιστές. Σήμερα είναι επισκέπτης καθηγητής στο Πανεπιστήμιο της Καλιφόρνιας, στο Μπέρκλεϋ, όπου διαμένει.