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…
Hacer un comentario