Case Western Reserve University's Colin McLarty has 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://www.eurekalert.org/pub_releases/2013-03/cwr...
Fuente : http://www.eurekalert.org/pub_releases/2013-03/cwr...