He encontrado una demostración realmente admirable, pero el margen del libro es muy pequeño para ponerla Es lo que el matemático francés del siglo
XVII Pierre de
Fermat escribió al enunciar su su ltimo teorema a>. El último problema de
Fermat tardó tres décadas en ser hallado entre los papeles del matemático y otros tres siglos hasta que fuera descubierta esa admirable prueba.
Enseñárselo a un ordenador. El nuevo reto es el de lograr hacer que un ordenador logre probar el esquivo teorema. Ese es el objetivo de un nuevo proyecto, Formalising
Fermat, liderado por el Imperial College London.
El problema de
Fermat. El ltimo teorema de
Fermat postula que, si a, b y c son números naturales y no iguales a cero, la ecuación an+bn=cn no tiene solución si n es mayor que dos. Demostrar formalmente algo no es tan fácil como probarlo por ensayo y error, y esta demostración, demasiado compleja para el exiguo margen del cuaderno de
Fermat quedaría perdida durante siglos.
El problema fue resuelto en 1994 por el británico Andrew Wiles, quien había comenzado a resolver este rompecabezascon tan solo 10 años. En 2016 Wiles fue galardonado con el Premio Abel, el galardón considerado el Nobel de las matemáticas p>
Casi un millón de libras.
Ranking de blogs
