Για το θεώρημα μη-πληρότητας του Godel

Λίγες ανακαλύψεις έχουν ασκήσει μεγάλη επίδραση στην αντίληψή μας για τις δυνατότητες της ανθρώπινης σκέψης, όσο η απόδειξη από τον Godel στα 1930, ότι οποιοδήποτε λογικό σύστημα, όπως είναι οι συνηθισμένοι κανόνες της αριθμητικής, πρέπει αναπόφευκτα να μην είναι πλήρες, δηλαδή πρέπει να εμπεριέχουν προτάσεις που είναι μεν αληθείς αλλά δεν μπορούν ποτέ να αποδειχθούν, εντός αυτού του συστήματος. Το βιβλίο αυτό, διατυπώνει επακριβώς αυτό το θεώρημα με τρόπο κατανοητό στον καθένα που διαθέτει απλώς γνώσεις λυκείου. Επιπλέον, εισάγει ο συγγραφέας μια νέα μέθοδο απόδειξης του θεωρήματος βασισμένη στην θεωρία των αλγορίθμων, η οποία αποκτά μεγάλο ενδιαφέρον λόγω της σύνδεσης της με τους υπολογιστές.