Programmazione.it v6.4
Ciao, per farti riconoscere devi fare il login. Non ti sei ancora iscritto? Che aspetti, registrati adesso!
Info Pubblicit� Collabora Autori Sottoscrizioni Preferiti Bozze Scheda personale Privacy Archivio Libri Corsi per principianti Forum
18 matematici per la soluzione di strutture simmetriche a 248 dimensioni
Scritto da Christian Bencivenni il 23-03-2007 ore 10:20
Intel System Studio
La matematica non unopinione, ma opinione comune che le equazioni complesse, anche quelle a tre dimensioni, siano difficili da comprendere e da risolvere. Immaginate quindi quanto pu essere difficile risolverne una a 248 dimensioni. In gergo questo problema viene chiamato E8 (in inglese e eight) per lungo tempo ritenuto senza soluzione. Almeno fino a qualche giorno fa.

Il 19 marzo scorso infatti stata data notizia che un agguerrito gruppo di matematici del MIT e di altre facolt americane e non, riuscito a produrre una soluzione algoritmica al problema grazie ad un articolato progetto informatico, che ha richiesto quattro anni di lavoro, 18 ricercatori, lutilizzo di parecchi computer con 3 giorni di elaborazione ininterrotta e ha prodotto una soluzione da 60 gigabyte di dati. Se la soluzione a E8 fosse scritta su carta richiederebbe un foglio grande come Manhattan.

I risultati sono stati presentati da David Vogan, professore del Dipartimento di Matematica del MIT in un intervento dal titolo "The Character Table for E8, or How We Wrote Down a 453,060 x 453,060 Matrix and Found Happiness". Secondo Vogan il progetto, e il risultato ottenuto sono importanti per parecchi motivi. Innanzi tutto si riusciti a far lavorare insieme professori di matematica, famosi per il loro spirito solitario, ma soprattutto il massiccio utilizzo di computer che ha reso possibile il lavoro e che, si spera, sar utile per risolvere altri problemi di questo tipo. Comprendere e classificare la rappresentazione E8 era un problema critico di comprensione tra diverse aree della matematica e di scienze come algebra, geometria, teoria dei numeri, fisica e chimica. Questo progetto senza prezzo per il futuro degli scienziati secondo Peter Sarnak, professore di matematica alla Princeton University.

E8 stato scoperto nel 1887 ed un esempio di Gruppo Lie (si pronuncia Lee), ovvero un insieme logico per lo studio di oggetti simmetrici, come le sfere, che prende il nome dal matematico norvegese del diciannovesimo secolo Sophus Lie. E8, con le sue 248 dimensioni la pi grande funzione tra i gruppi Lie con il pi alto numero di dimensioni. Secondo Vogan Lunicit di E8 mi fa sperare che ci saranno applicazioni pratiche perfino della teoria della fisica moderna.

Il progetto stato patrocinato dallAmerican Institute of Mathematics (AIM), unorganizzazione non profit fondata nel 1994 il cui scopo ampliare la conoscenza matematica attraverso progetti di ricerca, sponsorizzazione di conferenze e lo sviluppo di una biblioteca on line di matematica, mentre i 18 matematici, tutti ricercatori, provenivano dal gi citato MIT, dalla Cornell University, dallUniversit del Michigan e da quella di Poitiers, in Francia.
Precedente: Il Semantic Web destinato a fallire?
Successiva: HTTP 404, alcuni spunti per creare la pagina not found ideale
Intervento di Ux Xu a.k.a. uranox del 23-03-2007 ore 12:18, Bologna (BO)
Nobile
Nobile

(58 interventi)
Iscritto il 25-01-2005
Prima di accetare la dimostrazione di E8 prodotta da un algoritmo e dalla sua implementazione a computer, avranno dimostrato la correttezza dell'algoritmo? Intendo una dimostrazione formale, che possa essere matematicamente accettabile.
Intervento di Christian Bencivenni a.k.a. xtian del 23-03-2007 ore 13:32, Ravenna (RA)
Plebeo
Plebeo
(39 interventi)
Iscritto il 21-05-2003
Citazione:
Prima di accetare la dimostrazione di E8 prodotta da un algoritmo e dalla sua implementazione a computer, avranno dimostrato la correttezza dell'algoritmo? Intendo una dimostrazione formale, che possa essere matematicamente accettabile.

Una bella domanda.
nel sito dell'AIM al riguardo non vengono dati dettagli sull'algoritmo in s, ed normale perch sarebbe troppo complicato, ma viene fornita almeno qualche informazione sul modo in cui hanno lavorato e sviluppato. Considerate le parti in causa e che ci sono voluti 4 anni per arrivare ad una soluzione (di cui per ottimizzare l'iplementazione software) io sono fiducioso.
Copyright Programmazione.it™ 1999-2015. Alcuni diritti riservati. Testata giornalistica iscritta col n. 569 presso il Tribunale di Milano in data 14/10/2002. Pagina generata in 0.206 secondi.