Si Fermat hubiera logrado garabatear la totalidad de la prueba de Taylor-Wiles (incluidas todas las obras de las que dependía) en los márgenes de su cuaderno, la prueba habría sido correcta incluso en aquel entonces.
Esto podría ser sorprendente porque la prueba de Taylor-Wiles utilizaba nociones como curvas elípticas, que ni siquiera se habían definido en los días de Fermat. Sin embargo, las curvas elípticas se pueden definir en términos de nociones más elementales. Hubiera sido posible para alguien hacer la misma definición en el siglo XVII. No sucedió porque nadie descubrió que sería una definición útil.
Cuando los matemáticos definen algo nuevo, no están cambiando lo que es verdad en matemáticas. Simplemente se están dando una forma abreviada de caracterizar algo. Los principios también son ciertos antes de que se prueben, pero no sabemos si son ciertos hasta que encontremos una prueba correcta. Una vez que se ha probado un teorema, podemos decir que siempre ha sido cierto (incluso si no siempre hemos sabido que era cierto).
- ¿Cuál es la diferencia entre inyección y biyección (con referencia al mapeo de conjuntos BTWN)?
- ¿Cuáles son los usos de las derivaciones físicas en la vida práctica?
- ¿Puedes refutar matemáticamente la multa por exceso de velocidad para esta situación?
- ¿Quién me puede proporcionar la prueba matemática del hecho de que un negativo dividido por un positivo es negativo?
- ¿Cómo funciona la operación 'redondear a par'?
Cuando hablamos de que las matemáticas son “nuevas”, solo significa que se han entendido recientemente. Lo que es cierto en matemáticas hoy es lo mismo que lo que fue cierto en los días de Fermat. Simplemente sucede que los matemáticos entienden más ahora que antes. Y hay muchas verdades matemáticas que aún no se han descubierto.