7 Milioni di Dollari ... anzi 6

Un istituto americano (Clay Institute) ha messo in palio 7 milioni di dollari per 7 problemi di matematica ritenuti molto importanti e che nessuno è mai riuscito a risolvere.

Questo post ha due parti:
Una parte tecnica che potete saltare se vi spaventa.
Una parte curiosa che potete leggere se vi attrae.


Parte Tecnica.
Uno tra i più famosi di questi problemi si chiama "P contro NP" (per motivi tecnici che non posso spiegare) e si riesce in parte a raccontare.
La questione è una questione riguardante i problemi matematici stessi e chiede più o meno questo:
Se è facile verificare che una soluzione data ad un problema è la soluzione corretta, possiamo essere sicuri che il metodo per trovare la soluzione per quel problema sia facile?
Facile in questo ambito significa che richiede poco tempo e pochi passaggi.
In certo senso: se leggo la soluzione ad un problema su un libro e riesco a verificarla facilmente, posso essere sicuro che il metodo per trovare la soluzione sia facile ?
Ovviamente la questione viene scritta in termini molto formali e si tratta di una vera questione matematica e non filosofica.

La maggior parte dei matematici sono convinti che la risposta sia no.
Ossia, si pensa che esistano problemi che sono difficili da risolvere ma per i quali verificare la correttezza della soluzione è facile. Tuttavia nessuno è mai riusciuto a dimostrare che questo è vero.
Per dimostrarlo bisognerebbe trovare un problema per il quale verificare le soluzioni date è facile ma per il quale sia certo che non esistono procedimenti facili per trovare le soluzioni.
Nessuno è mai riuscito a dimostrare che problemi di questo genere esistono, eppure sono quasi tutti convinti che la maggior parte dei problemi rientrano in questa categoria.
Che ne pensate ?

Parte Curiosa
Per essere precisi i milioni di dollari rimasti in palio sono 6 e non più 7.
Uno dei sette problemi (non quello che ho descritto qua sopra) è stato risolto da un brillante ma strano matematico russo di nome Gregori Perelman.
Perelman ha presentato una dimostrazione geniale, ritenuta tra le più brillanti di tutta la storia, la quale oltre a risolvere questo importante problema apre la strada a molte altre possibilità.
Per aver risolto il problema gli è stato offerto il milione di dollari come previsto e la prestigiosissima Medaglia Fields (corrispettiva del Premio Nobel) ma ....
Perelman ha rifiutato soldi e medaglia,
ha smesso di fare il matematico e
si è ritirato a vivere in miseria.
Lontano dalle università e dalle interviste.

Lo so, è strano. Non chiedetemi perché.

Lui ha detto: "Non voglio essere uno scienziato da vetrina"

ciao,
guzman.

Links:
I 7 problemi da un milione di dollari
Perelman