En primer lugar, al decir que Fermat estaba “faroleando” acerca de tener una prueba que tergiversa lo sucedido, tomó nota de que tenía una prueba al margen de un libro que estaba leyendo. Siendo realistas, no hubiera esperado que nadie más lo viera, solo fue una pequeña nota que se escribió a sí mismo. La mayoría de nosotros probablemente no imaginamos que, después de nuestras muertes, nuestros hijos van a publicar nuestro scratchwork.
(Debo aclarar que probablemente estaba haciendo estas notas con la intención de eventualmente limpiarlas y publicarlas, pero ciertamente no esperaba que nadie más que él mirara sus notas en su forma cruda).
En segundo lugar, escribió esta nota cuando era relativamente joven y pasó una cantidad considerable de tiempo en sus últimos años solo trabajando en casos especiales, por lo que en sus últimos años sin duda era consciente de que no tenía una prueba del caso general. .
Ahora, en cuanto a lo que él pensó que era la prueba, no podemos decirlo con certeza, pero hay un par de argumentos que funcionan para una n pequeña que no se generaliza a toda n , pero parece que deberían hacerlo si usted no los pases con un peine de dientes finos. Una es la prueba defectuosa presentada originalmente por Lame, que se basa en el “hecho” de que todos los anillos son dominios únicos de factorización, y otra es la prueba basada en el descenso que el propio Fermat dio más tarde para algunos casos particulares. Presumiblemente, a Fermat se le ocurrió algo parecido a uno de estos, no se dio cuenta de inmediato de que estaba mal, ciertamente no pensó en la importancia del problema y solo hizo una pequeña nota al respecto.
- Las pruebas de los grandes problemas matemáticos parecen ser cada vez más largas y complejas. ¿Sugiere esto que la tasa de progreso en matemáticas puede eventualmente disminuir a cero?
- ¿Cómo te vuelves mejor en las pruebas?
- ¿Cuál fue la mentira más concertada jamás contada por los matemáticos?
- ¿Se puede decir que ocurra algo sin dejar una pizca de evidencia?
- ¿Cómo se explica que la longitud de un vector en [math] \ mathbb R ^ n [/ math] (donde [math] n> 3 [/ math]) puede determinarse mediante el teorema de Pitágoras?
El último teorema de Fermat se hizo famoso porque era elemental en su estado y extremadamente difícil, pero no tiene un significado real en su cara; Hay muchos otros problemas fáciles de determinar que han permanecido sin resolver durante siglos, y no hay una aplicación inmediata particular del FLT. Fermat ciertamente no podría haber tenido ninguna idea de que el problema se convertiría en lo que hizo.