Hay una serie de problemas en matemáticas que han llamado la atención porque parecen ser fáciles de resolver, pero resultan ser extremadamente difíciles. Lo que sucede entonces fue probablemente mejor descrito por Randall Monroe: xkcd: Nerd Sniping. FLT es seguramente el problema más conocido, pero hay otros, como la conjetura de Collatz (por cierto, también mencionada por Monroe: Conjetura de Collatz). Conozco a varios matemáticos que realmente entraron en 2048; uno de ellos quería ejecutar un algoritmo de fuerza bruta para encontrar la mejor estrategia para ganar el juego, se dio cuenta de que tendría que hacerlo en el orden de 10 ^ 16 cálculos para hacerlo. , y así comenzó a planear cómo podría obtener acceso a una supercomputadora para hacerlo.
Mi asesor realmente trabajó en la Conjetura de Collatz, en particular (para aquellos que tienen curiosidad) demostró (junto con Steven Miller) que las secuencias producidas por el mapa 3x + 1 eran Benford ([matemáticas / 0412003] Ley de Benford, valores de funciones L y el problema 3x + 1). Sin embargo, se le aconsejó que volviera a las “matemáticas reales”.
Ese último bit es en realidad bastante indicativo de lo que está sucediendo. Los matemáticos trabajan en problemas de este tipo por diversión, pero por lo general lo hacen a un lado, como un pasatiempo, por así decirlo. Rara vez es rentable dedicarle más tiempo. Los teoremas matemáticos casi nunca existen en el vacío: son de interés porque encajan en una teoría más amplia que le dice cómo resolver una variedad de problemas. FLT realmente no encajaba en ningún marco de este tipo (no era una ecuación de Diophantine que la gente se moría de ganas de resolver), y por esa razón, nadie tenía la confianza real de que FLT se resolvería … hasta 1984.
¿Qué cambió en 1984? Gerhard Frey notó que había una conexión entre la ecuación [matemáticas] a ^ n + b ^ n = c ^ n [/ matemáticas] y la teoría de las curvas elípticas, específicamente, notó que si había una solución no trivial [ matemáticas] (a, b, c) [/ matemáticas], entonces la curva elíptica [matemáticas] y ^ 2 = x (x – a ^ n) (x + b ^ n) [/ matemáticas] tendría algunas propiedades muy extrañas . 1986, Ken Ribet hizo esta observación rigurosa, y al hacerlo redujo el FLT a una conjetura bien conocida (pero a partir de entonces abierta) sobre las curvas elípticas. Tan pronto como esto sucedió, se probaría que ese FLT cambió de inverosímil a casi inevitable. A diferencia de FLT, las curvas elípticas se entrelazan con muchos campos matemáticos diferentes, y probar conjeturas sobre ellas conduciría a muchos resultados e instrumentos nuevos e interesantes (incluso en el mundo real, como sucede, ya que las curvas elípticas se usan en criptografía).
- ¿Es de mal gusto explicar sus planes explícitamente en pruebas?
- ¿Cómo se puede probar que si las raíces de [matemáticas] x ^ 3 – ax ^ 2 + bx – c [/ matemáticas] están en una secuencia aritmética entonces [matemáticas] 2a ^ 3 – 9ab + 27c = 0 [/ matemáticas]?
- ¿Cuál es el uso del comando ‘Prueba’ en Coq?
- ¿Qué se siente hacer un descubrimiento verdaderamente único y elegante en matemáticas? ¿La mayoría de los matemáticos hacen descubrimientos como este?
- ¿Cómo se prueba [matemáticas] a, b \ in \ mathbb {N}, n = \ frac {a ^ 2 + b ^ 2 + 1} {ab} \ in \ mathbb {N} \ Rightarrow n = 3 [/ matemáticas]?
De hecho, en 1993 Andrew Wiles demostró el caso especial necesario de la conjetura de Taniyama-Shimura, de la cual FLT fue un corolario inmediato. (Aunque, para ser completamente exactos, la prueba original de Andrew tenía un error, que logró reparar en 1994).