Στο τέλος αυτoύ του εξαιρετικού άρθρου, το οποίο επιλέξαμε να αναδημοσιεύσουμε, παραθέτουμε κι ένα ενδιαφέρον βίντεο που βρήκαμε στο youtube, για τον μεγάλο επιστήμονα που άκουγε στο όνομα Kurt Gödel...
"...ο Godel έδειξε ότι σε οποιοδήποτε τυπικό σύστημα, υπάρχει πάντα μια δήλωση για τους φυσικούς αριθμούς που είναι αληθινή, αλλά που δεν μπορεί να αποδειχθεί στο σύστημα. Με άλλα λόγια, τα μαθηματικά δεν θα είναι ποτέ το αυστηρό κι ακλόνητο σύστημα που οι μαθηματικοί ονειρεύονταν επί χιλιετίες."
" Το αποτέλεσμα όλων αυτών είναι ότι ο πολυπόθητος στόχος της διαμόρφωσης ενός τέλειου τυπικού συστήματος αποκαλύπτεται ότι είναι χιμαιρικός. Όλα τα τυπικά συστήματα - τουλάχιστον αυτά που είναι αρκετά ισχυρά να είναι ενδιαφέροντα - αποδεικνύονται ελλιπή επειδή είναι σε θέση να διατυπώσουν δηλώσεις που λένε για το εαυτό τους ότι δεν μπορούν να αποδειχθούν. Αυτό, εν συντομία, εννοούμε όταν λέμε ότι ο Godel το 1931 κατέδειξε τη «μη πληρότητα των μαθηματικών». Δεν είναι ακριβώς τα μαθηματικά τα ίδια που δεν έχουν πληρότητα, αλλά οποιοδήποτε τυπικό σύστημα που προσπαθεί να συλλάβει όλες τις αλήθειες των μαθηματικών σε πεπερασμένο σύνολό αξιωμάτων και κανόνων."
"Eχει επίσης (το θεώρημα του Γκέντελ) χρησιμοποιηθεί για να υποστηρίξει ότι δεν θα γίνουμε ποτέ κατανοητοί από τον εαυτό μας, δεδομένου ότι το μυαλό σας, είναι κι αυτό ένα κλειστό σύστημα. Όπως δεν μπορούμε να δούμε τα πρόσωπά μας με τα μάτια μας, δεν μπορούμε να καθρεπτίσουμε πλήρως τις διανοητικές μας δομές στον ίδιο μας τον εγκέφαλο.
Ένα άλλο παραπλήσιο πόρισμα του θεωρήματος είναι πως δεν μπορούμε ποτέ να είμαστε βέβαιοι πως δεν έχουμε παραφρονήσει. Ο παράφρων ερμηνεύει τον κόσμο μέσω της (παραδόξως) συνεπούς λογικής του. Πώς μπορούμε να αποφανθούμε εάν η λογική μας είναι παράδοξη ή όχι, δεδομένου ότι έχουμε μόνο τη λογική μας για να το κρίνουμε;"
" Όμως η πιο σοβαρή συνέπεια του θεωρήματος της μη πληρότητας στην φιλοσοφία είναι η εξής: Αν και το θεώρημα μπορεί να δηλωθεί και να αποδειχθεί με έναν αυστηρά μαθηματικό τρόπο, αυτό που φαίνεται να λέει είναι ότι η λογική σκέψη δεν μπορεί ποτέ να διεισδύσει στην τελική αλήθεια… Προφανώς, για τους σπουδαστές της λογικής, η πλήρης κατανόηση του θεωρήματος είναι μια ανατρεπτική εμπειρία. Κι ίσως το να καταλάβει κανείς την ουσιαστικά αδιέξοδη φύση ενός λαβυρίνθου αποτελεί και ενός είδους απελευθέρωσης από αυτόν. "
" Το άρθρο του 1931 του Godel έκανε άλλα πράγματα: εφηύρε τη θεωρία των «recursive functions», η οποία είναι σήμερα η βάση μιας σημαντικής θεωρίας προγραμματισμού ηλεκτρονικών υπολογιστών."
"Το θεώρημα του Godel έχει χρησιμοποιηθεί για να υποστηρίξει ότι ένας υπολογιστής δεν μπορεί ποτέ να γίνει τόσο έξυπνος όσο ένας άνθρωπος επειδή η έκταση της γνώσης του πρώτου περιορίζεται από ένα δεδομένο σύνολο αξιωμάτων, ενώ οι άνθρωποι μπορούν να ανακαλύψουν τα απροσδόκητες αλήθειες… Παίζει ρόλο στις σύγχρονες γλωσσικές θεωρίες, οι οποίες υπογραμμίζουν τη δύναμη της γλώσσας να βρίσκει νέους τρόπους να εκφραστούν οι ιδέες."
- Το θεώρημα της μη πληρότητας και φιλοσοφικές προεκτάσεις
Η δύναμη αυτού του μηχανιστικού οράματος των μαθηματικών ήταν ότι εξάλειπτε την ανάγκη για τη σκέψη ή την κρίση. Εφ' όσον τα αξιώματα ήταν σωστά και εφ' όσον οι κανόνες με τους οποίους γινόταν η χρήση τους διατηρούσαν την αλήθεια, τα μαθηματικά δεν θα μπορούσαν να εκτροχιαστούν σε αναλήθειες. Η αλήθεια ήταν εξασφαλισμένη μέσω μιας αυτόματης θεωρητικής μεθοδολογίας.
Ένας από τους μεγάλους μαθηματικούς στόχους ήταν να μειωθεί η όλη θεωρία αριθμών σε ένα τελικό τυπικό σύστημα. Όπως στη γεωμετρία του Ευκλείδη, ένα τέτοιο σύστημα θα άρχιζε με μερικά απλά αξιώματα που είναι σχεδόν αναμφισβήτητα, και θα παρείχε τα θεωρήματα με έναν μηχανικό τρόπο. Η ιδέα ήταν ότι αυτό το σύστημα θα εμπεριείχε κάθε δήλωση που θα μπορούσαμε να κάνουμε για τους φυσικούς αριθμούς. Έτσι εάν κάναμε τη δήλωση «κάθε ζυγός αριθμός μεγαλύτερος από 2 είναι το άθροισμα δύο πρώτων» θα ήμασταν σε θέση να αποδείξουμε αυστηρά, από τα αξιώματα, είτε ότι είναι αληθής είτε ότι είναι ψευδής. Οι λέξεις «αληθές» και «ψευδές» θα γίνονταν συνώνυμα των «αποδείξιμο» και «διαψεύσιμο» αντίστοιχα, μέσα στο σύστημα αυτό. Το Principia Mathematica των Russell και Whitehead ήταν η διασημότερη προσπάθεια να βρεθεί ένα τέτοιο σύστημα.
Το θεώρημα του Godel κατέρριψε την ελπίδα αυτήν εντελώς. Δε βρήκε απλά μια ρωγμή στο συλλογισμό των Russell και Whitehead, η οποία πιθανώς θα μπορούσε να επιδιορθωθεί. Έδειξε ότι ο ολόκληρος στόχος είναι ανεπίτευκτος! Πιο συγκεκριμένα, ο Godel έδειξε ότι σε οποιοδήποτε τυπικό σύστημα, υπάρχει πάντα μια δήλωση για τους φυσικούς αριθμούς που είναι αληθινή, αλλά που δεν μπορεί να αποδειχθεί στο σύστημα. Με άλλα λόγια, τα μαθηματικά δεν θα είναι ποτέ το αυστηρό κι ακλόνητο σύστημα που οι μαθηματικοί ονειρεύονταν επί χιλιετίες.
Αλλά ας προσεγγίσουμε λίγο τον συλλογισμό της αποδεικτικής του.
Το σύνολο συμβόλων με το οποίο οι δηλώσεις στα τυπικά συστήματα γράφονται συμπεριλάμβαναν συνήθως, χάριν σαφήνειας, τους αριθμούς, πρόσημα, παρενθέσεις και ούτω καθ' εξής. Αυτά όμως δεν είναι απαραίτητα. Οι δηλώσεις θα μπορούσαν εξίσου καλά να χτιστούν πάνω σε εικόνες που αντιπροσωπεύουν δαμάσκηνα, πορτοκάλια, ή οποιοδήποτε εντελώς αυθαίρετο σύνολο, εφ' όσον κάθε δαμάσκηνο εμφανιζόταν πάντα στις κατάλληλες θέσεις και μόνο σε αυτές. Έγινε προφανές ότι οι μαθηματικές δηλώσεις σε τέτοια συστήματα δεν ήταν κάτι περισσότερο από ακριβή δομημένα σχέδια φτιαγμένα επάνω σε αυθαίρετα σύμβολα.
Σύντομα μερικές οξυδερκείς ψυχές, με πρώτον τον Godel, συνειδητοποίησαν ότι αυτός ο τρόπος σκέψης για τα πράγματα άνοιγε έναν ολοκαίνουργιο κλάδο των μαθηματικών και συγκεκριμένα, τα μετα-μαθηματικά. Οι γνώριμη μέθοδος της μαθηματικής ανάλυσης θα μπορούσε να εφαρμοστεί πάνω στην ίδια τη διαδικασία που διαμόρφωσε την ουσία των τυπικών συστημάτων. Γιατί τα μαθηματικά δεν ήταν παρά ένα «υπόθεμα», το αρχικό παράδειγμα, πάνω στα οποία χτίστηκαν. Έτσι τα μαθηματικά αρχίζουν να μοιάζουν σαν ένα φίδι που τρώει τον εαυτό του.
Τώρα ας φανταστούμε ότι θελήσαμε να μιλήσουμε για τη γενική φύση όλων των θεωρημάτων των μαθηματικών. Εάν κοιτάξουμε στα εγχειρίδια των Αριανών, όλα τα ανάλογα θεωρήματα θα φαίνονται στα μάτια μας σαν απλοί αριθμοί. Και έτσι θα μπορούσαμε να αναπτύξουμε μια επιμελημένη θεωρία για το ποιοι αριθμοί θα μπορούσαν να εμφανιστούν στα Αριανά εγχειρίδια και ποιοι αριθμοί δεν θα εμφανίζονταν ποτέ. Φυσικά δεν θα μιλούσαμε πραγματικά για τους αριθμούς, αλλά μάλλον για τις σειρές των συμβόλων που σε μας μοιάζουν με αριθμούς. Και όμως, μήπως θα ήταν ευκολότερο για μας να ξεχάσουμε τι σημαίνουν αυτές οι σειρές των συμβόλων στους Αριανούς και να τους αντιληφθούμε ως απλούς αριθμούς;
Ο Godel χρησιμοποίησε μια τέτοια απλή μετατόπιση της προοπτικής. Το τέχνασμά του είναι να φανταστούμε ότι μελετούμε αυτό που θα ονομάζαμε «Αριανικής-παραγωγής αριθμοί» (εκείνους τους αριθμούς που είναι στην πραγματικότητα θεωρήματα στα Αριανά εγχειρίδια), και να υποβάλλουμε ερωτήσεις όπως, «είναι ή δεν είναι ο αριθμός 8030974 Αριανικής παραγωγής;» Δηλαδή, «η δήλωση «8030974» θα εμφανιστεί ή όχι σε ένα Αριανό εγχειρίδιο;».
Ο Godel, αφού σκέφτηκε πολύ προσεκτικά αυτό το μάλλον σουρεαλιστικό σενάριο, σύντομα συνειδητοποίησε (κι αυτό το σημείο είναι κρίσιμο) ότι η ιδιότητα του να είναι ένας αριθμός «Αριανικής παραγωγής» δεν ήταν και τόσο διαφορετική από γνωστές έννοιες όπως ο «πρώτος αριθμός» «περιττός αριθμός» και ούτω καθ' εξής. Το σύνολο των «Αριανικής παραγωγής» αριθμών, δηλαδή, διαφέρει ουσιωδώς από ένα σύνολο τυχαίων αριθμών. Κατά συνέπεια γήινοι θεωρητικοί μελετητές των αριθμών θα μπορούσαν, με τα τυποποιημένα εργαλεία τους, να αντιμετωπίσουν ερωτήσεις όπως, παραδείγματος χάριν, «Ποιοι αριθμοί είναι αριθμοί «Αριανικής παραγωγής», και ποιοι δεν είναι;» ή «υπάρχουν απείρως πολλοί «μη Αριανικής παραγωγής» αριθμοί;» Τα προηγμένα μαθηματικά εγχειρίδια – τόσο στη γη, όσο και στον Άρη- θα μπορούσαν να έχουν ολόκληρα τα κεφάλαια για τους αριθμούς «Αριανικής παραγωγής».Και έτσι, σε μια από τις πιο ευφυείς συλλήψεις στην ιστορία των μαθηματικών, ο Godel επινόησε μια εκπληκτική δήλωση που έλεγε απλά «ο Χ δεν είναι ένας αριθμός «Αριανικής παραγωγής» » όπου το Χ είναι ο ακριβής αριθμός που διαβάζουμε όταν η δήλωση «ο Χ δεν είναι ένας αριθμός «Αριανικής παραγωγής» » είναι γραμμένη με την Αριανή σημειολογία. Ας το σκεφτούμε λίγο. Γραμμένη με την Αριανή σημειολογία, η δήλωση «Χ δεν είναι ένας αριθμός «Αριανικής παραγωγής»» θα μοιάζει σε μας σαν μια τεράστια σειρά των ψηφίων. Αλλά αυτή η σειρά (Αριανικών) ψηφίων είναι η δική μας σημειολογία του αριθμού Χ (για την οποία η ίδια η δήλωση μιλά). Αυτές οι απίθανες περιπλοκές ήταν η ειδικότητα του Godel.
Αντιλαμβανόμενος έτσι τα θεωρήματα ως σχέδια συμβόλων, ο Godel ανακάλυψε ότι είναι δυνατό για μια δήλωση σε ένα τυπικό σύστημα όχι μόνο να μιλήσει για το ίδιο, αλλά και για να αρνηθεί την ίδια την θεωρητική του μεθοδολογία. Οι συνέπειες αυτής της απροσδόκητης «εμπλοκής» που κρύβεται μέσα στα μαθηματικά ήταν καταλυτικές και - παραδόξως - είναι πολύ λυπηρές για τους Αριανούς. Γιατί λυπηρές; Επειδή οι Αριανοί –όπως και οι Russell και Whitehead - είχαν ελπίσει, όπως προανέφερα, ότι το τυπικό τους σύστημα θα περιελάμβανε όλες τις αληθινές δηλώσεις των μαθηματικών. Εάν η δήλωση Godel είναι αληθινή, δεν είναι ένα θεώρημα που βρίσκεται στα εγχειρίδιά τους και δεν θα εμφανιστεί ποτέ- αφού λέει ότι δεν θα εμφανιστεί! Εάν εμφανιζόταν στα εγχειρίδιά τους, αυτό που λέει για τον εαυτό του θα ήταν λανθασμένο. Τα μαθηματικά τους εγχειρίδια θα αναγνώριζαν αναλήθειες ως αληθινές.
Το αποτέλεσμα όλων αυτών είναι ότι ο πολυπόθητος στόχος της διαμόρφωσης ενός τέλειου τυπικού συστήματος αποκαλύπτεται ότι είναι χιμαιρικός. Όλα τα τυπικά συστήματα - τουλάχιστον αυτά που είναι αρκετά ισχυρά να είναι ενδιαφέροντα - αποδεικνύονται ελλιπή επειδή είναι σε θέση να διατυπώσουν δηλώσεις που λένε για το εαυτό τους ότι δεν μπορούν να αποδειχθούν. Αυτό, εν συντομία, εννοούμε όταν λέμε ότι ο Godel το 1931 κατέδειξε τη «μη πληρότητα των μαθηματικών». Δεν είναι ακριβώς τα μαθηματικά τα ίδια που δεν έχουν πληρότητα, αλλά οποιοδήποτε τυπικό σύστημα που προσπαθεί να συλλάβει όλες τις αλήθειες των μαθηματικών σε πεπερασμένο σύνολό αξιωμάτων και κανόνων. Ίσως πλέον αυτό να μη μας κλονίζει τόσο, αλλά για τους μαθηματικούς στη δεκαετία του '30, ανετράπη ολόκληρη η κοσμοθεώρησή τους και τα μαθηματικά δεν θα ήταν ποτέ τα ίδια.
Το θεώρημα του Godel έχει χρησιμοποιηθεί για να υποστηρίξει ότι ένας υπολογιστής δεν μπορεί ποτέ να γίνει τόσο έξυπνος όσο ένας άνθρωπος επειδή η έκταση της γνώσης του πρώτου περιορίζεται από ένα δεδομένο σύνολο αξιωμάτων, ενώ οι άνθρωποι μπορούν να ανακαλύψουν τα απροσδόκητες αλήθειες… Παίζει ρόλο στις σύγχρονες γλωσσικές θεωρίες, οι οποίες υπογραμμίζουν τη δύναμη της γλώσσας να βρίσκει νέους τρόπους να εκφραστούν οι ιδέες.
Eχει επίσης χρησιμοποιηθεί για να υποστηρίξει ότι δεν θα γίνουμε ποτέ κατανοητοί από τον εαυτό μας, δεδομένου ότι το μυαλό σας, είναι κι αυτό ένα κλειστό σύστημα. Όπως δεν μπορούμε να δούμε τα πρόσωπά μας με τα μάτια μας, δεν μπορούμε να καθρεπτίσουμε πλήρως τις διανοητικές μας δομές στον ίδιο μας τον εγκέφαλο.
Ένα άλλο παραπλήσιο πόρισμα του θεωρήματος είναι πως δεν μπορούμε ποτέ να είμαστε βέβαιοι πως δεν έχουμε παραφρονήσει. Ο παράφρων ερμηνεύει τον κόσμο μέσω της (παραδόξως) συνεπούς λογικής του. Πώς μπορούμε να αποφανθούμε εάν η λογική μας είναι παράδοξη ή όχι, δεδομένου ότι έχουμε μόνο τη λογική μας για να το κρίνουμε; Αναφέρω εδώ και το δεύτερο θεώρημα Godel, το οποίο καταδεικνύει ότι τα μόνα αριθμητικά τυπικά συστήματα που είναι ασυνεπή είναι αυτά που βεβαιώνουν τη συνέπειά τους. Αυτό μοιάζει να υπαινίσσεται πως όποιος πιστεύει με βεβαιότητα πως δεν είναι παράφρων, σίγουρα θα είναι…
Όμως η πιο σοβαρή συνέπεια του θεωρήματος της μη πληρότητας στην φιλοσοφία είναι η εξής: Αν και το θεώρημα μπορεί να δηλωθεί και να αποδειχθεί με έναν αυστηρά μαθηματικό τρόπο, αυτό που φαίνεται να λέει είναι ότι η λογική σκέψη δεν μπορεί ποτέ να διεισδύσει στην τελική αλήθεια… Προφανώς, για τους σπουδαστές της λογικής, η πλήρης κατανόηση του θεωρήματος είναι μια ανατρεπτική εμπειρία. Κι ίσως το να καταλάβει κανείς την ουσιαστικά αδιέξοδη φύση ενός λαβυρίνθου αποτελεί και ενός είδους απελευθέρωσης από αυτόν.
(Το κείμενο αυτό είναι μια εργασία του Δημήτρη Μουρούλη βασιμένη στο άρθρο του Douglas Hofstadter των Times: Kurt Godel: He turned the lens of mathematics on itself and hit upon his famous "incompleteness theorem" driving a stake through the heart of formalism).
το διαβάσαμε ΕΔΩ
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου