Μηχανές της Λογικής

οι Μαθηματικοί και οι Απαρχές του Υπολογιστή

Martin Davis

Κεφάλαιο 1 - Το όνειρο του Leibniz
Κεφάλαιο 2 - Ο Boole μετατρέπει τη λογική σε άλγεβρα
Κεφάλαιο 3 - Frege: από τη σημαντική ανακάλυψη στην απόγνωση
Κεφάλαιο 4 - Cantor: παράκαμψη μέσω του απείρου
Κεφάλαιο 5 - Ο Hilbert σπεύδει σε βοήθεια
Κεφάλαιο 6 - Ο Gödel ανατρέπει τα πάντα
Κεφάλαιο 7 - Ο Turing συλλαμβάνει την ιδέα του υπολογιστή γενικής χρήσης
Κεφάλαιο 8 - Η κατασκευή των πρώτων καθολικών υπολογιστών
Κεφάλαιο 9 - Πέρα από το όνειρο του Leibniz

Μηχανές της Λογικής - όλα τα κεφάλαια σε ένα αρχείο (τελευταία έκδοση 25-02-2007)