Il Teorema Enorme è il teorema che classifica i gruppi semplici finiti.
Stiamo parlando di gruppi come li si intendono in algebra. Una cosa che provoca non pochi mal di testa alla maggior parte delle persone.
Michael Aschbacher riceverà il premio Rolf Schock per il suo contributo fondamentale nella dimostrazione del Teorema Enorme, lunga 15.000 pagine scritte da oltre 100 matematici.
L’intera dimostrazione è comprensibile solamente per pochi matematici e, per il momento non ci sono applicazioni concrete che possono beneficiarne.
Giova, tuttavia, ricordare a puro titolo di esempio che l’aritmetica binaria dei computer si basa sull’algebra booleana creata nel XIX secolo da George Boole, che si era basato sui postulati sulla logica enunciati da Gottfried Leibniz nel XVII secolo. (via NewScientist)
Lascia un commento