Ο Αυστρο-αμερικανός μαθηματικός και επιστήμονας της λογικής, Κουρτ Γκέντελ υπήρξε ένας από τους σημαντικότερους στοχαστές του 20ού αιώνα.
Τα δύο θεωρήματα μη πληρότητας που δημοσίευσε το 1931 άλλαξαν τα μαθηματικά, επηρέασαν καθοριστικά την εξέλιξη της σύγχρονης λογικής και άνοιξαν, εμμέσως, τον δρόμο προς την ψηφιακή εποχή.
Σχεδόν έναν αιώνα αργότερα, η AI, μία από τις κατακτήσεις της ψηφιακής εποχής, βοήθησε τους επιστήμονες να ανακαλύψουν πόσα περισσότερα είχε πετύχει και ανακαλύψει ο Γκέντελ, χωρίς να τα δημοσιεύσει ποτέ.
Hidden secrets unlocked in Gödel’s notebooks, with AI translating the mysterious Gabelsberger script, finding numerous unknown proofs, including an argument for the consistency of the negation of the axiom of choice. https://t.co/1RPHtKC6Vm
— Joel David Hamkins (@JDHamkins) November 13, 2026
Τα σημειωματάρια του Κουρτ Γκέντελ που αποκρυπτογράφησε η AI
Μετά τις εργασίες του τη δεκαετία του 1930, ο Γκέντελ πραγματοποίησε ελάχιστες επιστημονικές δημοσιεύσεις. Άφησε πίσω του δεκάδες χιλιάδες σελίδες αδημοσίευτου υλικού, το οποίο εξακολουθεί να παρουσιάζει τεράστιο ενδιαφέρον για τους ιστορικούς της επιστήμης και τους μαθηματικούς.
Από το 2017, ο Φινλανδός λογικός, Γιαν φον Πλάτο, ηγείται στο Πανεπιστήμιο του Ελσίνκι ενός προγράμματος με στόχο την αποκρυπτογράφηση 16 σημειωματαρίων που έγραψε ο Κουρτ Γκέντελ στις αρχές της δεκαετίας του 1940.
Πρόκειται για 1.009 σελίδες πυκνογραμμένου κειμένου πάνω στα μαθηματικά και τη λογική. Μεγάλο μέρος τους είναι γραμμένο σε Gabelsberger, ένα παλιό γερμανικό σύστημα στενογραφίας που θεωρούνταν ξεπερασμένο ακόμη και την εποχή που το χρησιμοποιούσε ο Γκέντελ.
Η κατανόηση του υλικού προχωρούσε εξαιρετικά αργά, περίπου μία σελίδα την εβδομάδα. Μέχρι που, τον περασμένο Σεπτέμβριο, ο φον Πλάτο αποφάσισε να ζητήσει τη βοήθεια του μοντέλου τεχνητής νοημοσύνης, Claude.
Μέσα σε λίγες ημέρες, το AI παρήγαγε μία ευρύτερη ανάλυση του αδημοσίευτου υλικού, υποδεικνύοντας ότι ο Κουρτ Γκέντελ είχε αποδείξει εκατοντάδες θεωρήματα για τα οποία κανείς μέχρι σήμερα δεν γνώριζε.
There are many wonderful elements to this story about AI discovering gems in Godel’s famously impenetrable notebooks 1/.. https://t.co/XEuRTn1idX
— Alex Bellos (@alexbellos) November 13, 2026
Άναυδοι με τη συμβολή της AI στο έργο του Κουρτ Γκέντελ
«Έμεινα άναυδος», δήλωσε ο φον Πλάτο. «Τα σημειωματάρια όχι μόνο περιέχουν δεκάδες αποτελέσματα που προαναγγέλλουν ανακαλύψεις οι οποίες έγιναν γνωστές μόλις τις δεκαετίες του 1970 και του 1980, αλλά περιλαμβάνουν επίσης 14 θεματικές στη λογική που δεν έχουν ερευνηθεί. Ο Γκέντελ ήταν πολύ μπροστά από την εποχή του».
Όσον αφορά τον ίδιο, ο Κουρτ Γκέντελ άλλαξε την ιστορία της λογικής αποδεινύοντας ότι υπάρχουν όρια σε όσα μπορούν να αποδειχθούν μέσα σε ένα μαθηματικό σύστημα.
Τα θεωρήματα μη πληρότητας δείχνουν, σε γενικές γραμμές, ότι σε επαρκώς ισχυρά τυπικά μαθηματικά συστήματα υπάρχουν προτάσεις που δεν μπορούν ούτε να αποδειχθούν ούτε να διαψευστούν χρησιμοποιώντας μόνο τους κανόνες του ίδιου του συστήματος.
Η ανακάλυψη αποτέλεσε ισχυρό, όπως το χαρακτηρίζει ο Guardian, «πλήγμα« για προηγούμενες γενιές επιστημόνων της λογικής, οι οποίες ήλπιζαν ότι όλες οι μαθηματικές αλήθειες θα μπορούσαν τελικά να αποδειχθούν.
Ταυτόχρονα, όμως, έστρεψε το πεδίο προς νέες κατευθύνσεις. Το έργο του Γκέντελ επηρέασε τον Άλαν Τούρινγκ, ο οποίος το 1936 δημοσίευσε την ιστορική εργασία που έθεσε τα θεμέλια της σύγχρονης θεωρίας των υπολογισμών.
Το 1940, ο Κουρτ Γκέντελ εγκατέλειψε την Αυστρία, η οποία βρισκόταν υπό ναζιστικό έλεγχο, και εγκαταστάθηκε στο Πρίνστον του Νιου Τζέρσεϊ. Στο Institute for Advanced Study ανέπτυξε στενή φιλία με τον Άλμπερτ Αϊνστάιν.
Στα τελευταία χρόνια της ζωής του νόσησε από παρανοϊκούς ιδεασμούς και αρνούνταν να φάει φαγητό που δεν είχε μαγειρέψει η σύζυγός του. Πέθανε το 1978 από ασιτία.
AI helps unlock Gödel’s notebooks https://t.co/AD53zRfwzk
— Logic & Applications (@LogicPractice) November 13, 2026
Πώς έγινε η αποκρυπτογράφηση
Ο Γιαν φον Πλάτο άρχισε το ερευνητικό πρόγραμμα το 2017, όταν πλησίαζε η υποχρεωτική συνταξιοδότησή του από το Πανεπιστήμιο του Ελσίνκι: «Τι θα μπορούσα να κάνω για να γίνω απαραίτητος; Α, ναι, θα αρχίσω να διαβάζω τις αινιγματικές στενογραφημένες σελίδες του Γκέντελ!», θυμάται.
Εξασφάλισε χρηματοδότηση 2,5 εκατ. ευρώ από το Ευρωπαϊκό Συμβούλιο Έρευνας, έμαθε μόνος του τη στενογραφία Gabelsberger και συγκρότησε μια μικρή ερευνητική ομάδα.
Σύμφωνα με τον ίδιο, είναι σήμερα ένας από τους μόλις έξι ανθρώπους στον κόσμο που μπορούν να διαβάσουν το συγκεκριμένο σύστημα στενογραφίας.
Τον Αύγουστο του 2026, σε συνέδριο στη Γαλλία σχετικά με την τεχνητή νοημοσύνη και την απόδειξη θεωρημάτων, συνάντησε επιστήμονες, οι οποίοι εξειδικεύονται στην πληροφορική και του πρότειναν να χρησιμοποιήσει το Claude, για να αναλύσει τα σημειωματάρια.
Επιστρέφοντας στο Ελσίνκι, έδωσε στο μοντέλο τις μεταγραφές των σημειωματαρίων, έξι βιβλία που είχε γράψει ο ίδιος σχετικά με τον Γκέντελ, καθώς και άλλη σχετική επιστημονική βιβλιογραφία.
Το αποτέλεσμα ήταν σχεδόν άμεσο: «Μέσα σε δύο ημέρες είχα μπροστά μου μια εξήγηση 650 σελίδων για τα σημειωματάρια», συμπληρώνει.
Η ανάλυση έπρεπε στη συνέχεια να ελεγχθεί από τους ερευνητές σελίδα προς σελίδα. Ωστόσο, σύμφωνα με τον ίδιο, η AI μπόρεσε να πραγματοποιήσει μια σύνθεση που θα ήταν σχεδόν αδύνατη για έναν άνθρωπο: «Οι άνθρωποι διαβάζουμε μία σελίδα κάθε φορά και έχουμε την τάση να ξεχνάμε πράγματα. Χρειαζόμαστε έναν χρόνο για να διαβάσουμε περίπου 50 σελίδες. Απλώς δεν μπορούμε να έχουμε ταυτόχρονα στο μυαλό μας όλα τα διαφορετικά μέρη».
Η τεχνητή νοημοσύνη, αντίθετα, μπορούσε να συνδέσει στοιχεία διάσπαρτα σε 1.000 σελίδες και να συγκροτήσει το σύνολο των γραπτών του Γκέντελ ως ένα ενιαίο έργο.
A logician in Helsinki used Claude and the Coq proof assistant to decipher 1,009 pages of Kurt Gödel’s 1940s shorthand. They verified 400 previously unknown theorems. 🤯 https://t.co/8DnL57sUHE
— Tekon Burns (@TekonBurns) November 15, 2026
Η απόδειξη που ο Γκέντελ έλεγε ότι είχε βρει
Ένα από τα μεγαλύτερα ερωτήματα αφορούσε έναν ισχυρισμό που είχε κάνει ο ίδιος ο Γκέντελ δεκαετίες μετά τη συγγραφή των σημειωματάριων.
Ειδικότερα, το 1966, ο Αμερικανός μαθηματικός Πολ Κοέν τιμήθηκε με το Μετάλλιο Fields, τη σημαντικότερη διάκριση στα μαθηματικά, για το έργο του σχετικά με τη διάκριση δύο διάσημων μαθηματικών προτάσεων, της υπόθεσης του συνεχούς και του αξιώματος της επιλογής.
Ο Γκέντελ αντέδρασε τότε υποστηρίζοντας ότι είχε ήδη αποδείξει το αποτέλεσμα από τη δεκαετία του 1940. Όταν, όμως, οι συνάδελφοί του τού ζήτησαν την απόδειξη, δεν κατάφερε να την ανασυνθέσει από τις σημειώσεις του.
Έτσι, ένα από τα πρώτα πράγματα που ζήτησε ο φον Πλάτο από το Claude ήταν να εξετάσει εάν στα σημειωματάρια υπήρχε πράγματι μια απόδειξη για την ανεξαρτησία του αξιώματος της επιλογής.
Η απάντηση ήταν: σχεδόν: «Απείχε μόλις ένα βήμα», αφηγείται ο φον Πλάτο.
Σύμφωνα με τον ίδιο, ο Γκέντελ είχε χρησιμοποιήσει λανθασμένα έναν ορισμό. Το εντυπωσιακό, όμως, είναι ότι είχε καταγράψει τον σωστό ορισμό δύο χρόνια νωρίτερα. Ο φον Πλάτο θεωρεί πιθανό ότι, αν είχε συνεχίσει την έρευνά του για μερικούς ακόμη μήνες, θα είχε φτάσει στο σωστό αποτέλεσμα.
«Για μένα, η αρχιτεκτονική της απόδειξής του είναι απλώς υπέροχη», λέει.
Όπως εξηγεί, ο Κουρτ Γκέντελ δεν ξεκινούσε παίζοντας με μαθηματικούς τύπους και περιμένοντας να δει πού θα καταλήξει. Ξεκινούσε από πολύ συγκεκριμένες ιδέες και στη συνέχεια προχωρούσε μεθοδικά, βήμα προς βήμα, μέχρι να πετύχει τον στόχο του.
Με πληροφορίες από Guardian
