ΤΟ ΟΝΕΙΡΟ ΤΗΣ ΛΟΓΙΚΗΣ

Παρουσίαση

Στο πέρασμα των τριάντα πρώτων χρόνων του περασμένου αιώνα, δύο επιφανείς λογικιστές κλόνισαν τους πυλώνες του μαθηματικού οικοδομήματος που δημιουργήθηκε από τον Ευκλείδη. Ορισμένοι είδαν στα έργα του Bertrand Russel και του Kurt Godel την ήττα της λογικής. Αντιθέτως, άλλοι τα χρησιμοποίησαν για να προάγουν νέους και συναρπαστικούς κλάδους, όπως την πληροφορική και την ασαφή λογική.

Περιεχόμενα

Πρόλογος
1 Η αξιωματική μέθοδος
2 Τα παράδοξα
3 Το πρόγραμμα Hilbert
4 Τα θεωρήματα του Godel
5 Οι μηχανές Turing
6 Ό,τι δεν τελειώνει είναι καλό
Βιβλιογραφία
Αναλυτικό Ευρετήριο