Εάν θέλαμε να χαρακτηρίσουμε μονολεκτικά αυτό το βιβλίο θα αρκούσε η λέξη «πάθος». Η ιστορία των Μεταμαθηματικών μοιάζει με ένα «ανθρώπινο δράμα»: ιδιοφυείς μαθηματικοί εφαρμόζουν -ανά εποχές- τις μεθόδους τους προκειμένου να «σκάψουν» βαθιά στις ρίζες των μαθηματικών και να αμφισβητήσουν τους περιορισμούς της ίδιας της επιστήμης τους. Τα μαθηματικά ταυτίζονται με τον φορμαλισμό, την τελειότητα, τον απόλυτο υπολογισμό, την πλήρη τυπικότητα, την πληρότητα, την αδιαμφισβήτητη βεβαιότητα. Ή μήπως όχι; Μήπως ταυτίζονται με την τυχαιότητα, το αίνιγμα και το παράδοξο; Ο «βασιλιάς των Μεταμαθηματικών», ο εκκεντρικός Κουρτ Γκέντελ, το 1931 δημοσίευσε το φημισμένο του θεώρημα της μη πληρότητας. Ο «πατέρας των υπολογιστών», ο ιδιοφυής ’λαν Τιούρινγκ, το 1936 συγκλόνισε τον κόσμο παρουσιάζοντας τον πρώτο ψηφιακό υπολογιστή και τη θεωρία του για τη μη υπολογισιμότητα. Στις μέρες μας, στ αχνάρια αυτών των δύο γιγάντων του 20ού αιώνα, ο πρωτοπόρος διανοητής Γκρέγκορι Τσέιτιν, κλονίζει συθέμελα το οικοδόμημα των μαθηματικών και ρίχνει το γάντι στους θεωρητικούς παρουσιάζοντας τον απόλυτο συμβολισμό της άπειρης πολυπλοκότητας: τον αριθμό Ω. Ωστόσο, το όραμα του Χίλμπερτ -που ήθελε τον φορμαλισμό να είναι η Θεωρία των Πάντων στα μαθηματικά-, μολονότι έχει συμπληρώσει έναν αιώνα ζωής, σηματοδοτεί ακόμη την πορεία πολλών μαθηματικών. Όμως, ο φορμαλισμός απευθύνεται στις μηχανές, όχι στους ανθρώπους - είναι πλέον καιρός να συνέλθουμε από αυτή την ασθένεια! «Η μαγεία των μαθηματικών έγκειται στη δημιουργικότητά τους, στη σύλληψη νέων εννοιών, στην αλλαγή οπτικής γωνίας, όχι στη μηχανική αναπαραγωγή κανόνων και ιδεών. Όταν επεξεργάζομαι στον υπολογιστή μου μια καινούρια ιδέα, σταματώ τις συνηθισμένες μου δραστηριότητες, δεν πληρώνω τους λογαριασμούς μου, ακυρώνω τα ραντεβού μου με τους γιατρούς. Για μένα τα μαθηματικά είναι η πύλη για τη φιλοσοφία?