Mathematicians have shown Fermat's Last Theorem can be proved using only a small portion of Grothendieck's work. Specifically, the theorem can be justified using "finite order arithmetic."
Fuente : http://feeds.sciencedaily.com/~r/sciencedaily/~3/t...
Fuente : http://feeds.sciencedaily.com/~r/sciencedaily/~3/t...