Άριστερα βλέπετε το εξώφυλλο του περιοδικού Science (τεύχος 22ης Δεκεμβρίου 2006) ονομάζοντας ανακάλυψη της χρονιάς την απόδειξη της εικασίας Poincare. Η εικασία Poincare (που δε νομίζω ότι είμαι σε θέση να καταλάβω) διατυπώθηκε το 1904 από τον Henri Poincare, χωρίς κάποιος να καταφέρει να την αποδείξει. (Αν καταλαβαίνω καλά μελετάται η τοπολογία επιφανειών διαφόρων διαστάσεων). To Clay Mathematics Institute ανακύρηξε το 2000 την εικασία (και άλλα 6 προβλήματα*) πρόβλημα της χιλιετίας με βραβείο 1 εκατομμυρίου δολλαρίων (για καθένα από τα προβλήματα). Φαίνεται ότι ο Ρώσος Grigori Perelman σε τρεις δημοσιεύσεις άνω των 300 σελίδων έκαστη πέτυχε (μετά από 7 χρόνια απομόνωσης) την απόδειξη... Λέγεται μάλιστα ότι οι μέθοδοι που ανέπτυξε ο Ρώσος θα διαφωτίσουν πτυχές της εξίσωσης Navier-Stokes και την εξίσωση της γενικής σχετικότητας του Einstein.*Τα άλλα 6 προβλήματα είναι εικασία Birch και Swinnerton-Dyer, εικασία Hodge, εικασία Navier-Stokes, P vs NP (easy to find vs easy to check) προβλήματα, υπόθεση Riemann, θεωρία Yang-Mills.
Βασικά διάβασα την περιγραφή για τα P vs NP προβλήματα και έχω πορωθεί. Τα NP γαμάνε...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου