Ο Kurt Gödel θεωρείται ένας από τους σημαντικότερους μαθηματικούς και λογικούς του 20ού αιώνα. Αν και το έργο του είναι εξαιρετικά δύσκολο, οι ιδέες του άλλαξαν ριζικά τον τρόπο με τον οποίο αντιλαμβανόμαστε τα μαθηματικά, τη λογική και ακόμη και τα όρια της ανθρώπινης γνώσης.
Γεννήθηκε το 1906 στο Μπρνο, πόλη που τότε ανήκε στην Αυστροουγγαρία. Από μικρός είχε τεράστια περιέργεια και συνήθιζε να ρωτά συνεχώς «γιατί». Οι συμμαθητές του τον αποκαλούσαν «κύριο γιατί». Σπούδασε στο Πανεπιστήμιο της Βιέννης, όπου ήρθε σε επαφή με τον περίφημο Κύκλο της Βιέννης, μια ομάδα επιστημόνων και φιλοσόφων που πίστευαν ότι όλα μπορούσαν να εξηγηθούν λογικά και μαθηματικά.
Η μεγαλύτερη προσφορά του ήρθε το 1931, όταν δημοσίευσε τα περίφημα «Θεωρήματα Μη Πληρότητας». Μέχρι τότε πολλοί μαθηματικοί πίστευαν ότι ήταν δυνατό να δημιουργηθεί ένα τέλειο μαθηματικό σύστημα που θα μπορούσε να αποδείξει κάθε αλήθεια μέσω κανόνων και λογικής. Ο Gödel απέδειξε ότι αυτό είναι αδύνατο.
Με απλά λόγια, έδειξε ότι σε κάθε αρκετά πολύπλοκο μαθηματικό σύστημα υπάρχουν προτάσεις που είναι αληθείς αλλά δεν μπορούν να αποδειχθούν μέσα στο ίδιο το σύστημα.
Η ιδέα αυτή συγκλόνισε τον μαθηματικό κόσμο. Ήταν σαν να αποδείκνυε ότι τα μαθηματικά έχουν εγγενή όρια και ότι καμία θεωρία δεν μπορεί να εξηγήσει τα πάντα.
Το βασικό νόημα των θεωρημάτων του συνοψίζεται στην ιδέα:
Αργότερα ο Gödel μετακόμισε στις Ηνωμένες Πολιτείες και εργάστηκε στο Institute for Advanced Study στο Πρίνστον, όπου γνώρισε τον Albert Einstein. Οι δυο τους έγιναν στενοί φίλοι και περπατούσαν συχνά μαζί συζητώντας για φυσική, φιλοσοφία και λογική.
Παρά τη μεγαλοφυΐα του, η προσωπική ζωή του Gödel ήταν δύσκολη. Υπέφερε από έντονη παράνοια και φοβόταν ότι κάποιοι προσπαθούσαν να τον δηλητηριάσουν. Στα τελευταία χρόνια της ζωής του έτρωγε μόνο φαγητό που δοκίμαζε πρώτα η σύζυγός του. Όταν εκείνη αρρώστησε και δεν μπορούσε να τον φροντίσει, ο Gödel αρνήθηκε να φάει κανονικά και πέθανε το 1978 από ασιτία.
Η ζωή του δείχνει πως πολλές φορές η ιδιοφυΐα συνδυάζεται με βαθιά ψυχική πίεση. Παρ’ όλα αυτά, το έργο του επηρέασε όχι μόνο τα μαθηματικά αλλά και την πληροφορική, τη φιλοσοφία και τη θεωρία της τεχνητής νοημοσύνης.
Σήμερα, ο Kurt Gödel παραμένει σύμβολο της ανθρώπινης προσπάθειας να κατανοήσει τα όρια της γνώσης και της λογικής.
