MARTIN DAVIS
Ένας, από τους σημαντικότερους μαθηματικούς της εποχής μας, ο Αμερικανός Martin Davis, ξεδιπλώνει στο βιβλίο αυτό τη συμβολή των μαθηματικών στην ανάπτυξη των ηλεκτρονικών υπολογιστών. Κάνοντας μία ιστορική αναδρομή στα κορυφαία προβλήματα της λογικής, της φιλοσοφίας και των μαθηματικών, ο συγγραφέας αποδεικνύει ότι ο υπολογιστής δεν ήταν ένα είδος «κεραυνού εν αιθρία» στο τοπίο της μαθηματικής επιστήμης. Σχετίζεται με την προσπάθεια του Leibniz για «ένα αλφάβητο της ανθρώπινης σκέψης» τη φιλοδοξία του George Boole να μετατρέψει τη λογική σε άλγεβρα, το επίτευγμα του Gotlob Frege , να θέσει τα φιλοσοφικά θεμέλια της αριθμητικής, την επανάσταση του Georg Cantor με τα άπειρα σύνολα, την εμμονή του Hilbert ότι δεν υπάρχουν άλυτα προβλήματα και τη μοιραία απάντηση του Kurt Gundel με το θεώρημα της μη πληρότητας. Η ξενάγηση ολοκληρώνεται βέβαια με τον Alan Turing και τον υπολογιστή γενικής χρήσης.
ΜΤΦΡ. ΣΤΑΘΗΣ ΖΑΧΟΣ
ΕΚΚΡΕΜΕΣ 2007
ΣΕΛ. 363, ΤΙΜΗ € 25.20
