Σάββατο 11 Αυγούστου 2012

Έσχατη Λογική

Richard Elwes
Μια γιγάντια, μαθηματική δομή ανοίγει νέους ορίζοντες για το σύμπαν των μαθηματικών
Οταν ο Ντέιβιντ Χίλμπερτ κατέβηκε από το βάθρο ύστερα από τη διάλεξή του στο Πανεπιστήμιο της Σορβόννης στις 8 Αυγούστου 1900, ελάχιστοι από τους συνέδρους έδειξαν εντυπωσιασμένοι. Σύμφωνα με μια αναφορά της εποχής, η συζήτηση που ακολούθησε σε εκείνο το δεύτερο Διεθνές Συνέδριο των Μαθηματικών ήταν «μάλλον παρεκβατική». Τα πνεύματα φάνηκε να εξάπτονται περισσότερο από ένα επόμενο θέμα σχετικά με το αν η εσπεράντο έπρεπε να υιοθετηθεί ως γλώσσα εργασίας των μαθηματικών.

Παρ’ όλα αυτά, εκείνη η ομιλία του Χίλμπερτ χάραξε την ατζέντα των μαθηματικών για τον 20ό αιώνα. Αποκρυσταλλώνεται σε έναν κατάλογο 23 κρίσιμων αναπάντητων ερωτημάτων, όπως το πώς πρέπει να τοποθετούνται οι σφαίρες ώστε να επιτευχθεί η καλύτερη εκμετάλλευση του διαθέσιμου χώρου ή το αν η υπόθεση του Ρίμαν σχετικά με την κατανομή των πρώτων αριθμών ισχύει.

Σήμερα πολλά από αυτά τα προβλήματα έχουν λυθεί, όπως αυτό της τοποθέτησης των σφαιρών. Αλλα, όπως αυτό της υπόθεσης του Ρίμαν, έχουν δει ελάχιστη ή και καμία πρόοδο. Το πρώτο θέμα στον κατάλογο του Χίλμπερτ ξεχωρίζει ωστόσο για την αλλόκοτη απάντηση που έδωσαν έκτοτε σε αυτό γενεές ολόκληρες μαθηματικών: ότι τα μαθηματικά απλώς δεν έχουν τα μέσα για να το απαντήσουν.

Η «υπόθεση του συνεχούς»
Ο επίμονα άλυτος γρίφος είναι γνωστός ως «υπόθεση του συνεχούς» και αφορά αυτή την τόσο αινιγματική οντότητα, το άπειρο. Σήμερα, 140 χρόνια μετά τη διατύπωσή του, ένας σεβαστός αμερικανός μαθηματικός πιστεύει ότι τον έλυσε. Επιπλέον υποστηρίζει ότι έφθασε στη λύση χρησιμοποιώντας όχι τα μαθηματικά όπως τα γνωρίζουμε αλλά μια νέα, πολύ πιο ισχυρή λογική κατασκευή την οποία ονομάζει «έσχατο L» (ultimate L).

Η διαδρομή ως αυτό το σημείο ξεκίνησε στις αρχές της δεκαετίας του 1870, όταν ο Γερμανός Γκέοργκ Κάντορ έθετε τα θεμέλια της θεωρίας των συνόλων. Η θεωρία των συνόλων ασχολείται με τη μέτρηση και τον χειρισμό συγκεντρωμένων αντικειμένων και προσφέρει το κρίσιμο λογικό υπόβαθρο των μαθηματικών: επειδή οι αριθμοί μπορούν να συνδεθούν με το μέγεθος των συνόλων, οι κανόνες για τον χειρισμό των συνόλων καθορίζουν επίσης τη λογική της αριθμητικής και ο,τιδήποτε άλλου στηρίζεται σε αυτήν.

Αυτές οι στεγνές, ελαφρώς άνοστες λογικές διατυπώσεις απέκτησαν μια σπιρτάδα όταν ο Κάντορ έθεσε ένα κρίσιμο ερώτημα: Πόσο μεγάλα μπορούν να γίνουν τα σύνολα; Η προφανής απάντηση _ άπειρα μεγάλα _ αποδείχθηκε ότι έκρυβε ένα απρόοπτο: το άπειρο δεν είναι τελικά μια οντότητα αλλά έχει πολλά επίπεδα.

Τα επίπεδα του Απείρου
Πώς γίνεται αυτό; Μπορείτε να πάρετε μια γεύση μετρώντας στη σειρά όλους τους αριθμούς: 1, 2, 3, 4, 5... Ως πού μπορείτε να φθάσετε; Ε, φυσικά ως το άπειρο _ δεν υπάρχει μεγαλύτερος ακέραιος αριθμός. Αυτό είναι ένα είδος απείρου - το κατώτερο, «μετρήσιμο» επίπεδο όπου λαμβάνει χώρα η αριθμητική.

Τώρα σκεφθείτε την ερώτηση «πόσα σημεία υπάρχουν σε μια ευθεία;». Μια ευθεία είναι απόλυτα ίσια και ενιαία, χωρίς τρύπες ή κενά. Περιλαμβάνει άπειρα σημεία. Εδώ όμως δεν πρόκειται για το μετρήσιμο άπειρο των ακέραιων αριθμών, όπου ανεβαίνετε προς τα επάνω σε μια σειρά καθορισμένων, ξεχωριστών βαθμίδων. Εδώ πρόκειται για ένα ενιαίο, συνεχές άπειρο το οποίο περιγράφει γεωμετρικά αντικείμενα. Δεν χαρακτηρίζεται από τους ακέραιους αριθμούς αλλά από τους πραγματικούς: τους ακέραιους συν όλους τους ενδιάμεσους αριθμούς που έχουν όσα δεκαδικά ψηφία θέλετε _ 0,1, 0,01, 0,02, π και ούτω καθ’ εξής.

Ο Κάντορ έδειξε ότι αυτό το «συνεχές» άπειρο είναι απείρως μεγαλύτερο από τη μετρήσιμη εκδοχή του των ακέραιων αριθμών. Επιπλέον αποτελεί απλώς μια βαθμίδα σε μια σκάλα που οδηγεί σε όλο και υψηλότερα επίπεδα απείρων τα οποία υψώνονται ως, ναι, το άπειρο.

Υπάρχει απειροστικός «ημιόροφος»;
Ενώ η ακριβής δομή αυτών των ανώτερων απείρων παρέμενε νεφελώδης, ένα πιο άμεσο ερώτημα βασάνιζε τον Κάντορ. Υπήρχε ενδιάμεσο επίπεδο ανάμεσα στο μετρήσιμο άπειρο και στο συνεχές; Υποπτευόταν ότι όχι, αλλά δεν μπορούσε να το αποδείξει. Το προαίσθημά του για την ανυπαρξία αυτού του μαθηματικού ημιωρόφου έγινε γνωστό ως «η υπόθεση του συνεχούς».

Οι προσπάθειες να αποδειχθεί ή να καταρριφθεί η υπόθεση του συνεχούς βασίζονται στην ανάλυση όλων των δυνατών απείρων υποσυνόλων των πραγματικών αριθμών. Αν το καθένα είναι είτε μετρήσιμο είτε έχει το ίδιο μέγεθος με το πλήρες συνεχές, τότε η υπόθεση ισχύει. Αντιστρόφως, έστω και ένα υποσύνολο ενδιάμεσου μεγέθους μπορεί να την καταρρίψει.

Μια τέτοια τεχνική που χρησιμοποιεί υποσύνολα των ακέραιων αριθμών δείχνει ότι δεν υπάρχει επίπεδο απείρου κάτω από το μετρήσιμο. Οσο δελεαστικό και αν είναι να θεωρήσει κανείς ότι οι υπάρχοντες μονοί αριθμοί είναι οι μισοί από το σύνολο των ακεραίων, τα δύο σύνολα μπορούν να αντιστοιχιστούν ακριβώς. Στην πραγματικότητα, κάθε σύνολο ακέραιων αριθμών είναι είτε πεπερασμένο είτε μετρήσιμα άπειρο.

Αν εφαρμοστεί στους πραγματικούς αριθμούς ωστόσο αυτή η προσέγγιση αποδίδει ελάχιστα, για λόγους που σύντομα γίνονται προφανείς. Το 1885 ο σουηδός μαθηματικός Γκέστα Μίταγκ-Λέφλερ είχε εμποδίσει τη δημοσίευση μιας από τις εργασίες του Κάντορ υποστηρίζοντας ότι ήταν «100 χρόνια πριν από την εποχή». Οπως έδειξε ο βρετανός μαθηματικός και φιλόσοφος Μπέρτραντ Ράσελ το 1901, ο Κάντορ είχε πράγματι βιαστεί. Αν και τα συμπεράσματά του για το άπειρο ήταν σωστά, η λογική βάση της θεωρίας των συνόλων του έπασχε, βασιζόμενη σε μια άτυπη και τελικά παράδοξη αντίληψη του τι είναι τα σύνολα.

Μόνο το 1922 δύο γερμανοί μαθηματικοί, ο Ερνστ Τσερμέλο και ο Αμπραχαμ Φρένκελ, εξήγαγαν μια σειρά κανόνων για τον χειρισμό των συνόλων οι οποίοι φαίνονταν αρκετά σθεναροί ώστε να στηρίξουν τον πύργο των απείρων του Κάντορ και να σταθεροποιήσουν τα θεμέλια των μαθηματικών. Δυστυχώς όμως οι κανόνες αυτοί δεν έδιναν ξεκάθαρη απάντηση στην υπόθεση του συνεχούς. Στην πραγματικότητα, φαινόταν μάλιστα να υποδηλώνουν ότι ίσως να μην υπήρχε καν απάντηση.

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

Το αξίωμα της επιλογής πρεσβεύει ότι αν έχετε μια σειρά συνόλων μπορείτε πάντα να σχηματίσετε ένα νέο σύνολο επιλέγοντας ένα αντικείμενο από το καθένα από αυτά. Αυτό ακούγεται ανώδυνο, εμπεριέχει όμως ένα «αγκάθι»: προσφέρει τη δυνατότητα να επινοήσετε κάποια παράδοξα αρχικά σύνολα τα οποία παράγουν ακόμη πιο παράδοξα σύνολα όταν επιλέγετε ένα στοιχείο από το καθένα. Οι πολωνοί μαθηματικοί Στέφαν Μπάναχ και Αλφρεντ Τάρσκι έδειξαν πώς το αξίωμα μπορούσε να χρησιμοποιηθεί για να διαιρέσει το σύνολο των σημείων που καθορίζουν μια σφαιρική μπάλα σε έξι υποσύνολα τα οποία στη συνέχεια μπορούσαν να παραγάγουν δύο μπάλες του ίδιου μεγέθους με την αρχική. Αυτό αποτελούσε σύμπτωμα ενός θεμελιώδους προβλήματος: το αξίωμα επέτρεπε την ύπαρξη δύστροπων συνόλων πραγματικών αριθμών των οποίων οι ιδιότητες δεν μπορούσαν ποτέ να καθοριστούν. Υπό αυτές τις συνθήκες, η προοπτική για την απόδειξη της υπόθεσης του συνεχούς φαινόταν δυσοίωνη.

Το «L» του Γκέντελ
Η ανακάλυψη αυτή έφθασε σε μια στιγμή κατά την οποία η έννοια του «αναπόδεικτου» είχε μόλις αρχίσει να γίνεται της μόδας. Το 1931 ο αυστριακός επιστήμονας της Λογικής Κουρτ Γκέντελ διατύπωσε το περίφημο «θεώρημα της μη πληρότητας». Αυτό δείχνει ότι ακόμη και με τους πιο «σφιχτούς» βασικούς κανόνες θα υπάρχουν πάντα διατυπώσεις συνόλων αριθμών που τα μαθηματικά δεν θα μπορούν ούτε να επαληθεύσουν ούτε να καταρρίψουν.

Ταυτοχρόνως όμως ο Γκέντελ είχε ένα φαινομενικά τρελό προαίσθημα σχετικά με το πώς μπορούν να γεμίσουν τα περισσότερα από αυτά τα κενά: χτίζοντας απλώς πολλά επίπεδα απείρου. Αυτό αντιβαίνει σε οποιονδήποτε λογικό οικοδομικό κανονισμό, αλλά η υπόθεση του Γκέντελ αποδείχθηκε εμπνευσμένη. Το απέδειξε το 1938. Ξεκινώντας από μια απλή σύλληψη συνόλων συμβατών με τους κανόνες του Τσερμέλο και του Φρένκελ και στη συνέχεια σχεδιάζοντας προσεκτικά την υπερδομή του απείρου του, δημιούργησε ένα μαθηματικό περιβάλλον στο οποίο τόσο το αξίωμα της επιλογής όσο και η υπόθεση του συνεχούς ισχύουν ταυτόχρονα. Ονόμασε τον νέο κόσμο του «κατασκευάσιμο σύμπαν» ή απλώς «L».

Το L είναι ένα γοητευτικό περιβάλλον για τα μαθηματικά, σύντομα όμως εμφανίστηκαν λόγοι για τους οποίους θα μπορούσε να αμφιβάλλει κανείς ως προς το αν ήταν το «σωστό» περιβάλλον. Κατ’ αρχάς η σκάλα του απείρου του δεν ανέβαινε αρκετά ψηλά ώστε να γεμίσει όλα τα κενά που είναι γνωστό ότι υπάρχουν στην υποκείμενη δομή. Το 1963 ο Πολ Κοέν του Πανεπιστημίου Στάνφορντ στην Καλιφόρνια έδωσε μια προοπτική αναπτύσσοντας μια μέθοδο για την παραγωγή μιας πληθώρας κατά παραγγελία μαθηματικών συμπάντων που όλα τους ήταν συμβατά με τους κανόνες του Τσερμέλο και του Φρένκελ.

Μαθηματική αρχιτεκτονική
Αυτή ήταν η αρχή ενός οργασμού κατασκευαστικής δραστηριότητας. «Τον τελευταίο μισό αιώνα οι θεωρητικοί των συνόλων έχουν ανακαλύψει μια τεράστια ποικιλία μοντέλων της θεωρίας των συνόλων» λέει ο Τζόελ Χάμκινς του Πανεπιστημίου City της Νέας Υόρκης. Ορισμένα είναι «κόσμοι τύπου L» με υπερδομές σαν το L του Γκέντελ, διαφέροντας μόνο στο εύρος των έξτρα επιπέδων απείρου που περιλαμβάνουν. Αλλα έχουν εξαιρετικά ετερόκλητα αρχιτεκτονικά στυλ με εντελώς διαφορετικά επίπεδα και σκάλες απείρου που οδηγούν προς κάθε είδους κατεύθυνση.

Για τις περισσότερες λειτουργίες η ζωή μέσα σε αυτές τις δομές είναι η ίδια: στο μεγαλύτερο μέρος τους τα καθημερινά μαθηματικά δεν διαφέρουν μέσα στην καθεμιά τους ούτε και οι νόμοι της φυσικής. Η ύπαρξη όμως αυτού του μαθηματικού «πολυσύμπαντος» φαινόταν να διαλύει κάθε ιδέα επίλυσης της υπόθεσης του συνεχούς. Οπως κατόρθωσε να δείξει ο Κοέν, σε ορισμένους λογικά δυνατούς κόσμους η υπόθεση ισχύει και δεν υπάρχει ενδιάμεσο επίπεδο απείρου μεταξύ του μετρήσιμου και του συνεχούς. Σε άλλους το ενδιάμεσο επίπεδο υπάρχει. Σε κάποιους άλλους υπάρχουν άπειρα. Με τη μαθηματική λογική όπως τη γνωρίζουμε απλώς δεν υπάρχει τρόπος να βρούμε σε ποιο είδος κόσμου βρισκόμαστε.

Η λύση στο... ρετιρέ
Ο Χιου Γούντιν του Πανεπιστημίου της Καλιφόρνιας στο Μπέρκλεϊ έχει μια πρόταση σε αυτό. Η απάντηση, λέει, μπορεί να βρεθεί βγαίνοντας έξω από τον συμβατικό μαθηματικό κόσμο και περνώντας σε ένα ανώτερο επίπεδο.

Ο Γούντιν είναι ένας εξαιρετικά σεβαστός θεωρητικός των συνόλων και έχει ήδη αποσπάσει την ύψιστη τιμή στο αντικείμενό του: ένα επίπεδο στην κλίμακα του απείρου με το όνομά του. Το επίπεδο αυτό, το οποίο βρίσκεται πολύ ψηλότερα από οτιδήποτε υπήρχε στο L του Γκέντελ, κατοικείται από γιγαντιαίες οντότητες οι οποίες είναι γνωστές ως απόλυτοι του Γούντιν.

Οι απόλυτοι του Γούντιν απεικονίζουν πώς η πρόσθεση ρετιρέ στο οικοδόμημα των μαθηματικών μπορεί να λύσει προβλήματα σε λιγότερο «αραιά» κατώτερα επίπεδα. Το 1988 οι αμερικανοί μαθηματικοί Ντόναλντ Μάρτιν και Τζον Στιλ έδειξαν ότι, αν οι απόλυτοι του Γούντιν υπάρχουν, τότε όλα τα προβαλλόμενα σύνολα των πραγματικών αριθμών έχουν ένα μετρήσιμο μέγεθος. Σχεδόν όλα τα συνηθισμένα γεωμετρικά αντικείμενα μπορούν να περιγραφούν υπό τους όρους αυτού του συγκεκριμένου είδους συνόλου, οπότε αυτή ήταν ακριβώς η δικλίδα που χρειαζόταν για την προστασία των συμβατικών μαθηματικών απέναντι σε δυσάρεστες εκπλήξεις όπως η μπάλα του Μπάναχ και του Τάρσκι.

Ωστόσο, παρά τις επιτυχίες αυτές, ο Γούντιν παρέμενε ανικανοποίητος. «Τι νόημα έχει μια αντίληψη του σύμπαντος των συνόλων στην οποία υπάρχουν πολύ μεγάλα σύνολα αν δεν μπορούμε να εξαγάγουμε βασικές ιδιότητες των μικρών συνόλων;» αναρωτιέται. Ακόμη και 90 χρόνια αφότου ο Τσερμέλο και ο Φρένκελ υποτίθεται ότι διόρθωσαν τα θεμέλια των μαθηματικών, οι ρωγμές ήταν πολλές. «Η θεωρία των συνόλων είναι γεμάτη άλυτα ζητήματα. Σχεδόν όποιο ερώτημα και να θέσεις είναι άλυτο» λέει. Ακριβώς στην καρδιά αυτού του προβλήματος βρίσκεται η υπόθεση του συνεχούς.

Το υπερσύμπαν του «έσχατου L»
Ο Γούντιν και οι συνεργάτες του εντόπισαν τον «σπόρο» σε μια νέα, πιο ριζοσπαστική προσέγγιση ενώ διερευνούσαν συγκεκριμένα πρότυπα πραγματικών αριθμών τα οποία εμφανίζονται σε διάφορους κόσμους τύπου L. Τα πρότυπα, γνωστά ως καθολικά σύνολα Baire, άλλαζαν ελαφρώς τη γεωμετρία του κάθε κόσμου και φαινόταν ότι λειτουργούν σαν ένα είδος κώδικα ταυτότητάς του. Οσο περισσότερο τα κοίταζε ο Γούντιν τόσο περισσότερο έβλεπε ότι υπήρχαν σχέσεις ανάμεσα στα πρότυπα φαινομενικά διαφορετικών κόσμων. Συνδυάζοντας τα πρότυπα αυτά μεταξύ τους, τα όρια ανάμεσα στους κόσμους σιγά σιγά εξαφανίζονταν και άρχιζε να διαφαίνεται ο χάρτης ενός ενιαίου μαθηματικού υπερσύμπαντος. Προς τιμήν της αρχικής έμπνευσης του Γκέντελ ο Γούντιν ονόμασε αυτή τη γιγαντιαία λογική δομή «έσχατο L».

Μεταξύ άλλων το έσχατο L προσφέρει για πρώτη φορά έναν οριστικό απολογισμό του φάσματος των υποσυνόλων των πραγματικών αριθμών: σε κάθε «σταυροδρόμι» ανάμεσα σε διαφορετικούς κόσμους που ανοίγουν οι μέθοδοι του Κοέν μόνο μια πιθανή οδός είναι συμβατή με τον χάρτη του Γούντιν. Ιδιαίτερα υποδηλώνει ότι η υπόθεση του Κάντορ ισχύει αποκλείοντας οτιδήποτε ανάμεσα στο μετρήσιμο άπειρο και στο συνεχές. Αυτό σημαίνει όχι μόνο το τέλος μιας σπαζοκεφαλιάς 140 ετών αλλά και μια προσωπική μεταστροφή για τον Γούντιν: πριν από δέκα χρόνια υποστήριζε ότι η υπόθεση του συνεχούς πρέπει να θεωρηθεί λανθασμένη.

Το έσχατο L δεν σταματάει εδώ. Ο μεγάλος, ευρύχωρος χώρος του επιτρέπει την πρόσθεση επιπλέον βαθμίδων στην κορυφή της κλίμακας του απείρου με τρόπο ώστε να γεμίσουν τα κενά που υπάρχουν πιο κάτω, επαληθεύοντας το προαίσθημα του Γκέντελ για την επίλυση του προβλήματος του αναπόδεικτου που ταλάνιζε τα μαθηματικά. Το θεώρημα της μη πληρότητας του Γκέντελ δεν καταργείται, αλλά μπορεί να το «σπρώξει» κανείς όσο ψηλά θέλει στη σκάλα, οδηγώντας το στη σοφίτα του απείρου των μαθηματικών.

Η προοπτική της απαλλαγής από τη λογική μη πληρότητα που βάραινε ακόμη και βασικούς τομείς όπως η θεωρία των αριθμών έχει ενθουσιάσει πολλούς μαθηματικούς. Απομένει μόνο ένα ζήτημα: Ισχύει το έσχατο L;

Το 2010 ο Γούντιν παρουσίασε τις ιδέες του στο ίδιο φόρουμ στο οποίο είχε μιλήσει ο Χίλμπερτ περισσότερο από έναν αιώνα πριν, στο Διεθνές Συνέδριο των Μαθηματικών, τη φορά αυτή στο Ιντεραμπάντ της Ινδίας. Ο Χίλμπερτ είχε υπερασπιστεί κάποτε τη θεωρία των συνόλων με την περίφημη φράση «κανένας δεν θα μας αποπέμψει από τον παράδεισο που δημιούργησε ο Κάντορ». Σε αυτόν τον παράδεισο όμως προχωρούσαμε στα τυφλά χωρίς να ξέρουμε ακριβώς πού βρισκόμαστε. Ισως τώρα να έχουμε επιτέλους έναν οδηγό, ο οποίος ενδεχομένως μπορεί να μας οδηγήσει σε αυτόν τον αιώνα και ακόμη πιο πέρα.

πηγή: http://www.tovima.gr/science/article/?aid=429708, New Scientist

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου