O ιδιόρρυθμος Ρώσος επιστήμονας, Γκριγκόρι Πέρελμαν, έλυσε έναν από τους δυσκολότερους γρίφους του 20ού αιώνα!!!!!!!
Πριν από οκτώ περίπου χρόνια συγκλόνισε την παγκόσμια επιστημονική κοινότητα, ανακοινώνοντας ότι έλυσε έναν από τους μεγαλύτερους γρίφους των σύγχρονων Μαθηματικών, τη λεγόμενη «υπόθεση του Πουανκαρέ», ένα πρόβλημα που έμενε άλυτο από το 1904, όταν διατυπώθηκε για πρώτη φορά. Την Τρίτη,22-08-2002 ο Γκριγκόρι Πέρελμαν, ο ιδιόρρυθμος Ρώσος μαθηματικός με τη μακριά γενειάδα και το αφηρημένο ύφος, έλαμψε διά της απουσίας του από το διεθνές μαθηματικό συνέδριο της Μαδρίτης, όπου επρόκειτο να του απονεμηθεί η ύψιστη τιμητική διάκριση, το βραβείο Φιλντς (αντίστοιχτο των βραβείων Νομπέλ στα Μαθηματικά) για το επίτευγμά του. Ο 40χρονος επιστήμονας αδιαφορεί για την αναγνώριση και τα χρηματικά έπαθλα. Εχει δηλώσει μάλιστα ότι δεν τον ενδιαφέρει ούτε το βραβείο του ενός εκατομμυρίου δολαρίων που ενδέχεται να του απονείμει το αμερικανικό ίδρυμα Κλέι για την επίλυση του μεγάλου γρίφου -δεύτερο επίτευγμα αυτού του επιπέδου κατά τα τελευταία χρόνια, μετά την απόδειξη του περίφημου θεωρήματος του Φερμά. Το πρόβλημα είναι ότι ο Πέρελμαν δεν είναι ένας Μαθηματικός σαν τους άλλους. Οπως και οι συνάδελφοί του, λατρεύει την επιστήμη του, αλλά αδιαφορεί για τις δημόσιες σχέσεις. Αντί να δημοσιεύει επιστημονικές μελέτες σε επιθεωρήσεις Μαθηματικών, πρώτο βήμα για τη διεθνή αναγνώριση και την απόκτηση ακαδημαϊκών τίτλων και θώκων, ο Πέρελμαν προτιμά να δημοσιεύει μερικές διάσπαρτες σημειώσεις του στο Ίντερνετ. Συνηθίζει επίσης να εξαφανίζεται, χωρίς να προειδοποιεί κανέναν, καθώς όλοι οι συνάδελφοί του στο Ινστιτούτο Στεκλόφ της Αγίας Πετρούπολης ξέρουν ότι προτιμά τα ρωσικά δάση από τις συζητήσεις και τις επαφές με τους ανθρώπους. 
Το Νοέμβριο του 2002, δημοσιεύει σε ιστοσελίδα του Πανεπιστημίου Κορνέλ ορισμένες ενδείξεις, που λένε ότι η Υπόθεση του Πουανκαρέ έχει αποδειχθεί. Προσφέρει ορισμένες κατευθυντήριες γραμμές, βασισμένες στο ερευνητικό έργο άλλων Μαθηματικών, αλλά η πρόζα του δεν αποτελεί σε καμιά περίπτωση απόδειξη της Υπόθεσης. Η πρώτη αυτή δημοσίευση προκαλεί, ωστόσο, σεισμό στο χώρο των Μαθηματικών. 
Στις αρχές του 2003, ο Πέρελμαν δημοσιεύει δύο νέα μηνύματα (γιατί για τέτοια πρόκειται) αναφέροντας χωρίς περιστροφές ότι κατέχει τη λύση. Τα κείμενα αυτά, όμως, στερούνται και πάλι λεπτομερειών. «Ο Πέρελμαν ανήκει στην κατηγορία αυτή των Μαθηματικών, οι οποίοι δεν έχουν χρόνο για λεπτομέρειες. Τα γραπτά του περιέχουν ελάχιστους υπολογισμούς, αποδείξεις και βασικές έννοιες», εξηγεί Μαθηματικός του Πρίνστον. 
Ρώσος συνάδελφός του απλουστεύει τα πράγματα: «Ο Γκριγκόρι αδιαφορεί για τα χρήματα. Ερχεται, εξηγεί αυτό που θέλει και όλα τα άλλα είναι περιττά». 
7.000.000 δολάρια για δυνατούς λύτες
Το Μάιο του 2000, το έγκριτο Ινστιτούτο Μαθηματικών Κλέι ανακοίνωσε την αθλοθέτηση επτά χρηματικών βραβείων, αξίας 1 εκατομμυρίου δολαρίων το κάθε ένα, για την επίλυση ισάριθμων μαθηματικών προβλημάτων, τα οποία ομάδα διεθνούς φήμης Μαθηματικών είχε χαρακτηρίσει ως τα δυσκολότερα και πιο σημαντικά άλυτα προβλήματα της εποχής μας. Τα προβλήματα αυτά έγιναν γνωστά ως Προβλήματα της Χιλιετίας. 
Η ανακοίνωση του διαγωνισμού είχε ιστορική, όσο και επιστημονική αξία. Το 1900, ο Μαθηματικός Ντέιβιντ Χίλμπερτ είχε δώσει διάλεξη, στην οποία κατέγραψε τα είκοσι τρία σημαντικότερα άλυτα προβλήματα της εποχής, δίνοντας το έναυσμα για την πλέον παραγωγική περίοδο μαθηματικής έρευνας του 20ού αιώνα. Εναν αιώνα αργότερα, όλα τα προβλήματα του Χίλμπερτ (εκτός από ένα) είχαν επιλυθεί ή είχε αποδεχθεί ότι κάποιο χαρακτηριστικό τους καθιστούσε τη λύση τους αδύνατη. Η πρωτοβουλία του Ινστιτούτου Κλέι υπήρξε μοναδική στο είδος της, καθώς τα Προβλήματα της Χιλιετίας είναι τόσο περίπλοκα, που δεν υπάρχει η παραμικρή περίπτωση να τα καταλάβουν οι αδαείς. Ο Μαθηματικός και συγγραφέας του βιβλίου «The Millenium Problems», Κιθ Ντέβλιν, λέει: «Αν και υπήρξα Μαθηματικός για τριάντα χρόνια, χρειάστηκα πολύ προσπάθεια, για πολλές εβδομάδες και συζητήσεις με ειδικούς, ώστε να μπορέσω να γράψω τα σχετικά κεφάλαια του βιβλίου μου. Ομολογώ ότι δεν θα αποτολμούσα ποτέ να λύσω τα προβλήματα αυτά». 
Υπόθεση του Πουανκαρέ 
Το πρόβλημα που διατύπωσε το 1904 ο Γάλλος επιστήμονας Ανρί Πουανκαρέ αφορά την Τοπολογία, ένα κλάδο των Μαθηματικών που δεν ενδιαφέρεται για το ακριβές σχήμα των στερεών σωμάτων (σφαίρα, κύβος, πυραμίδα κ.λπ.), αλλά για τα ποιοτικά χαρακτηριστικά τους, π.χ. αν είναι συμπαγή ή αν έχουν τρύπες. Οι εφαρμογές αυτού του σχετικά νέου κλάδου των Μαθηματικών είναι εξαιρετικά σημαντικές σε τομείς όπως τα δίκτυα υπολογιστών και συγκοινωνιών, όπου δεν μας ενδιαφέρουν τα ακριβή σχήματα, αλλά οι «κόμβοι» και οι διασυνδέσεις (σκεφθείτε, για παράδειγμα, το λειτουργικό διάγραμμα του μετρό, που δεν απεικονίζει ακριβώς τη γεωγραφία της πόλης, αλλά μας επιτρέπει εύκολα να βρούμε τον δρόμο μας). 
Σε χοντρικές γραμμές, η υπόθεση Πουανκαρέ καθορίζει ποια στερεά σώματα (ή «πολλαπλότητες» σε αφηρημένους μαθηματικούς χώρους άνω των τριών διαστάσεων) είναι ισοδύναμα, από τοπολογική άποψη με μια σφαίρα και ποια όχι. Π.χ., ένας κύβος από πλαστελίνη είναι ισοδύναμος με σφαίρα, αφού μπορούμε να τον «πλάσουμε» σε στυλ σφαίρας, ενώ ένα ντόνατ δεν είναι, γιατί έχει τρύπα στη μέση. 
Φαντασθείτε ότι έχετε ένα λάστιχο, ένα μήλο και ένα ντόνατ με τρύπα στη μέση. Αν τραβήξετε το λάστιχο και το τοποθετήσετε περιμετρικά γύρω από το μήλο, θα μπορείτε να μετακινήσετε το λάστιχο από τον «ισημερινό» στον «πόλο» του μήλου, χωρίς να σκίσετε το λάστιχο και χωρίς να εγκαταλείψετε την επιφάνεια του μήλου. Αν, όμως, το λάστιχο τοποθετηθεί πάνω στην επιφάνεια του ντόνατ, τότε δεν υπάρχει τρόπος να μετακινήσουμε το λάστιχο σε όλη την επιφάνεια του ντόνατ, χωρίς να σκίσουμε ή το ένα ή το άλλο. Ο Πουανκαρέ υπέθεσε ότι κάτι ανάλογο συμβαίνει και στον τετραδιάστατο χώρο, ενώ σύγχρονοι μαθηματικοί απέδειξαν ότι κάτι τέτοιο συμβαίνει και σε χώρο περισσότερων των τεσσάρων διαστάσεων. Αγνωστο παρέμενε, όμως, μέχρι την εμφάνιση του Πέρελμαν στη σκηνή, εάν η αρχική Υπόθεση του Πουενκαρέ ισχύει. Αν η απόδειξη του Ρώσου μαθηματικού στέκει, τότε αυτό θα έχει σημαντικές πρακτικές εφαρμογές στον τομέα του σχεδιασμού και της κατασκευής ηλεκτρονικών κυκλωμάτων, αλλά και συγκοινωνιακών δικτύων. 
O Πουανκαρέ χαρακτηρίσθηκε ως «ο τελευταίος αναγεννησιακός άνθρωπος», ένας μαθηματικός που αισθανόταν άνετα σε κάθε τομέα των Μαθηματικών, όπως την ανάλυση, την άλγεβρα, την τοπολογία, την αστρονομία και τη θεωρητική φυσική. Ο Γάλλος μαθηματικός ήταν μεγάλος οραματιστής και πρώτος εξέφρασε τη βασική αρχή της Θεωρίας του Χάους, ότι δηλαδή «μικρές διαφορές στις αρχικές συνθήκες προκαλούν μεγάλες διαφορές στο τελικό αποτέλεσμα». 
Πρόβλημα P v. NP 
Οι επιστήμονες των ηλεκτρονικών υπολογιστών αναγνώρισαν δύο είδη προβλημάτων, που μπορεί να επιλύσει ένας υπολογιστής. Προβλήματα τύπου Ρ μπορούν να επιλυθούν «αποτελεσματικά», δηλαδή να δώσουν λύση έπειτα από «λογικό» αριθμό αριθμητικών πράξεων. Προβλήματα τύπου Ε, αντίθετα, απαιτούν υπολογιστική ισχύ, που ξεπερνάει σε πολυπλοκότητα τον συνολικό αριθμό ατόμων στο Σύμπαν. 
Υπάρχει, όμως, και τρίτο είδος προβλήματος, τύπου ΝΡ, που συμπεριλαμβάνει τις περισσότερες περίπλοκες ασκήσεις που η βιομηχανία και ο εμπορικός τομέας θα ήθελαν να επιλύουν οι υπολογιστές. Ασκηση τύπου ΝΡ μπορεί να επιλυθεί αποτελεσματικά από υπολογιστή, εφόσον σε κρίσιμα σημεία του υπολογισμού, το μηχάνημα λαμβάνει έτοιμη την απάντηση, αντί να εργαστεί για να φθάσει σε αυτή. Το ζήτημα είναι βέβαια θεωρητικό, καθώς παραμένει το ζήτημα από πού θα εξασφαλίσει ο υπολογιστής την απάντηση. 
Αν ένας υπολογιστής είχε την ικανότητα αυτή, το εύρος των προβλημάτων που μπορεί να αναλάβει θα αυξανόταν άραγε σημαντικά; Η προφανής απάντηση είναι, ναι. Ισως, όμως, και όχι. Ισως όλες οι ασκήσεις τύπου ΝΡ είναι στην πραγματικότητα ασκήσεις τύπου Ρ. Ισως δηλαδή η αποτελεσματικότητα στην επίλυση προβλημάτων που θα ακολουθούσε την τροφοδότηση του μηχανήματος με έτοιμες απαντήσεις να είναι εφικτή, χάρη σε έξυπνο προγραμματισμό του υπολογιστή. 
Αντικείμενο του προβλήματος P v. NP είναι να προσδιορίσει εάν αυτό ισχύει. Εάν αυτό αποδειχθεί, τότε οι πρακτικές εφαρμογές σε βιομηχανία, εμπόριο, αλλά και στην ασφάλεια του Ιντερνετ θα είναι σημαντικές. 
Υπόθεση του Χοτζ
Πρόκειται για ένα από τα σημαντικότερα άλυτα μαθηματικά προβλήματα της αλγεβρικής γεωμετρίας. Κατά τη διάρκεια του 20ού αιώνα, πολλοί μαθηματικοί ανακάλυψαν καλές μεθόδους έρευνας περίπλοκων αντικειμένων. Η βασική ιδέα αφορά το ερώτημα, σε ποιο βαθμό μπορούμε να πλησιάσουμε τη μορφή ενός δεδομένου αντικειμένου, κολλώντας μεταξύ τους απλά γεωμετρικά δομικά στοιχεία, αυξανόμενου μεγέθους. 
Η τεχνική αυτή αποδείχθηκε τόσο χρήσιμη, που γενικεύθηκε με πολλούς διαφορετικούς τρόπους, οδηγώντας τελικά στη δημιουργία πανίσχυρων εργαλείων, που επέτρεψαν στους μαθηματικούς να πραγματοποιήσουν άλματα στην ταξινόμηση της ποικιλίας αντικειμένων, που συναντούσαν στις έρευνές τους. Δυστυχώς, η γεωμετρική προέλευση της μεθόδου χάθηκε μέσα στην περιπλοκότητα του ορισμού της. Υπό μία έννοια, κατέστη αναγκαίο να προστεθούν τμήματα που στερούνταν γεωμετρικής ερμηνείας. Η υπόθεση του Χοτζ έρχεται να βάλει τάξη σε αυτό το χάος, δημιουργώντας μια γέφυρα μεταξύ αλγεβρικών δομών και της γεωμετρίας τους. Προέκυψε ως αποτέλεσμα του ερευνητικού έργου του μαθηματικού Χ. Ντ. Χοτζ μεταξύ 1930 και 1940. 
Εξίσωση Νέιβιερ - Στόουκς 
Κύματα ακολουθούν τη βάρκα μας, καθώς κινούμαστε στην επιφάνεια μιας λίμνης, ενώ κύματα αέρος ακολουθούν τα σύγχρονα αεροσκάφη, καθώς αυτά πετούν στον αέρα. Μαθηματικοί και φυσικοί πιστεύουν ότι μπορεί να βρεθεί εξήγηση και να προβλεφθεί η συμπεριφορά των κυμάτων αυτών, μέσα από την κατανόηση της λύσης της Εξίσωσης Νέιβιερ - Στόουκς. 
Αν και οι εξισώσεις αυτές καταγράφηκαν τον 19ο αιώνα, ακόμη και σήμερα αδυνατούμε να τις κατανοήσουμε. Οι μαθηματικοί καλούνται σήμερα να εκπονήσουν μαθηματική θεωρία, η οποία θα ξεκλειδώσει τα μυστικά που κρύβει η Εξίσωση Νέιβιερ - Στόουκς. 
Θεωρία Γιανγκ - Μιλς 
Οι νόμοι της κβαντικής Φυσικής είναι για τον κόσμο των στοιχειωδών σωματιδίων ό,τι και οι Νόμοι του Νεύτωνα για τον γύρω μας κόσμο. 
Σχεδόν πριν από πενήντα χρόνια, οι μαθηματικοί Γιανγκ και Μιλς εισήγαγαν εντυπωσιακό νέο πλαίσιο, για την περιγραφή των στοιχειωδών σωματιδίων, χρησιμοποιώντας δομές που συναντιούνται και στη Γεωμετρία. Η Κβαντική Θεωρία Γιανγκ - Μιλς αποτελεί σήμερα τη βάση σχεδόν όλων των θεωριών στοιχειωδών σωματιδίων, ενώ οι προβλέψεις της έχουν τύχει πειραματικής μελέτης σε πολλά εργαστήρια. Η μαθηματική της βάση παραμένει, όμως, ασαφής. Η επιτυχημένη χρήση της θεωρίας Γιανγκ - Μιλς για την περιγραφή των ισχυρών αλληλεπιδράσεων στοιχειωδών σωματιδίων εξαρτάται από μιαν ανεπαίσθητη κβαντική μηχανική ιδιότητα, που ονομάζουμε «χάσμα μάζας»: τα κβαντικά σωματίδια έχουν θετική μάζα, παρότι τα κλασικά κύματα μετακινούνται με την ταχύτητα του φωτός. Η ιδιότητα αυτή ανακαλύφθηκε πειραματικά από φυσικούς και επιβεβαιώθηκε με τη βοήθεια προσομοιώσεων σε ηλεκτρονικούς υπολογιστές, χωρίς ωστόσο να έχει εκφρασθεί θεωρητικά. 
Η πρόοδος στην επιβεβαίωση της θεωρίας Γιανγκ - Μιλς θα απαιτήσει, όμως, την υιοθέτηση θεμελιωδών νέων ιδεών στη Φυσική και τα Μαθηματικά. 
Υπόθεση του Ρίμαν
Το 1859, ο Μπέρνχαρτ Ράιμαν παρουσίασε την υπόθεση, που είναι η μόνη που απομένει αναπόδεικτη από τον κατάλογο του Χίλμπερτ. Η υπόθεση αφορά την αλληλουχία των πρώτων αριθμών μεταξύ των θετικών ακέραιων. Πρώτος είναι κάθε θετικός αριθμός, εκτός του 1, ο οποίος δεν διαρείται παρά μόνο από τον εαυτό του και το 1. 
Οι πρώτοι δέκα πρώτοι αριθμοί είναι οι 2, 3, 5, 7, 11, 13, 17, 19, 23 και 29. Οι πρώτοι αριθμοί είναι άπειροι, αλλά η συχνότητά τους μειώνεται όσο επεκτείνεται η σειρά θετικών ακεραίων προς το άπειρο. Από τους οκτώ αρχικούς θετικούς ακέραιους αριθμούς, οι μισοί είναι πρώτοι, αλλά από τους αρχικούς εκατό, μόλις το ένα τέταρτο είναι πρώτοι, ενώ από τους αρχικούς ένα εκατομμύριο θετικούς ακέραιους, μόλις ο ένας στους δέκα τρεις είναι πρώτος. 
Αυτό δημιουργεί το ερώτημα εάν μπορούμε να εξαγάγουμε κάποιο αξιόλογο συμπέρασμα για τον ακριβή τρόπο, με τον οποίο το ποσοστό αυτό μειώνεται σταδιακά. Το αρχικό πρότυπο της ακολουθίας πρώτων αριθμών και όσα γνωρίζουμε για τα μετέπειτα πρότυπα δεν είναι, όμως, ενθαρρυντικά. Τα διαστήματα μεταξύ των αρχικών δέκα πρώτων, για παράδειγμα, είναι 1, 2, 2, 4, 2, 4, 2, 4 και 6, μία ακολουθία που δεν μοιάζει να έχει εμφανή περιοδικότητα. 
Άσχετα από το πόσο μακριά φθάνουμε στην αλληλουχία θετικών ακεραίων, ανακαλύπτουμε ομάδες πολλών πρώτων, συγκεντρωμένες κοντά η μία στην άλλη, καθώς και διαστήματα, όσο μεγάλα θέλει κανείς, στα οποία δεν συναντούμε κανέναν πρώτο αριθμό. 
Οι μαθηματικοί, όμως, πέτυχαν να κατανοήσουν -εν μέρει- τον τρόπο με τον οποίο το ποσοστό των πρώτων αριθμών μειώνεται. Αν και η κατανόηση αυτή προήλθε από άλλο κλάδο των Μαθηματικών, που μοιάζει εντελώς άσχετος με τη θεωρία των θετικών ακεραίων, καθώς ασχολείται με τη διαρκή διακύμανση ενός μεγέθους σε σχέση με ένα άλλο. Παρ' όλα αυτά, η απόδειξη της Υπόθεσης του Ρίμαν, εάν και εφόσον επιτευχθεί, θα μπορούσε και αυτή να έχει σημαντικές πρακτικές εφαρμογές στη Φυσική και την τεχνολογία των επικοινωνιών. 
Υπόθεση Μπερτς και Σουίνερτον - Ντάιερ 
Οι μαθηματικοί ανέκαθεν ενδιαφέρονταν για το πρόβλημα της ανακάλυψης ακέραιων λύσεων για εξισώσεις του τύπου x2+y2=z2. 
Ο Ευκλείδης έδωσε την πλήρη λύση στην εξίσωση αυτή, αλλά για περισσότερο περίπλοκες εξισώσεις, αυτό καθίσταται πολύ δύσκολο. Πράγματι, το 1970, ο Ματιγιάσεβιτς έδειξε ότι το δέκατο πρόβλημα στον κατάλογο του Χίλμπερτ είναι άλυτο, δεν υπάρχει δηλαδή γενική μέθοδος επιβεβαίωσης, ότι τέτοιες εξισώσεις έχουν λύσεις σε πλήρεις αριθμούς. Αλλά σε ορισμένες ειδικές περιπτώσεις, μπορεί να έχουμε καλύτερη τύχη. 
Η Υπόθεση Μπερτς και Σουίνερτον - Ντάιερ αφορά τις λύσεις ορισμένων τέτοιων, ειδικών περιπτώσεων.

Φίλιππος Χατζόπουλος

Μια σχετική εργασία από τον συνάδελφο Ζήνωνα Λυγάτσικα θα βρείτε Εδώ!!!