Búsqueda · 22 momentos en 13 episodios
Teorema de Fermat
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro expresa su falta de satisfacción al saber que el teorema de Fermat ha sido demostrado, enfatizando su interés en comprender los métodos y técnicas utilizados para llegar a esa conclusión.
…¿Entender esa demostración? De tratar de entender los elementos y el juego de ideas que se ha llevado en esa demostración, esa es la belleza y el placer de la demostración. El saber por saber que algo es verdad, saber que uno más uno es igual a dos, pues para Mí no me genera ningún tipo de placer, o sea, saber que el teorema de Fermat se ha demostrado; pues ya está, pues el último teorema de Fermat. Pero quiero saber cómo se ha demostrado, con qué técnicas, qué camino se ha seguido, qué problemas se han resuelto que antes no se podían resolver, ¿no? Entonces, esa es la belleza de las demostraciones. Y eso se pierde un poco con las demostraciones que dependen mucho de programas de ordenador. Sobre todo cuando un ordenador ha tenido que probar, yo qué sé, miles de millones de casos o millones de casos. Y no se les ha escapado a uno. O sea, ¿cómo estoy seguro de que no se les ha escapado a uno? Ahí volvemos al no estar del todo seguro, porque son…
Significado #1 · Palabras #1
Francis Villatoro expresa su falta de satisfacción al saber que el teorema de Fermat ha sido demostrado, enfatizando su interés en comprender los métodos y técnicas utilizados para llegar a esa conclusión.
Habla: Francis VillatoroSignificado #1 · Palabras #1teorema fermat demostrado técnicasbelleza demostraciones problemas resueltos…¿Entender esa demostración? De tratar de entender los elementos y el juego de ideas que se ha llevado en esa demostración, esa es la belleza y el placer de la demostración. El saber por saber que algo es verdad, saber que uno más uno es igual a dos, pues para Mí no me genera ningún tipo de placer, o sea, saber que el teorema de Fermat se ha demostrado; pues ya está, pues el último teorema de Fermat. Pero quiero saber cómo se ha demostrado, con qué técnicas, qué camino se ha seguido, qué problemas se han resuelto que antes no se podían resolver, ¿no? Entonces, esa es la belleza de las demostraciones. Y eso se pierde un poco con las demostraciones que dependen mucho de programas de ordenador. Sobre todo cuando un ordenador ha tenido que probar, yo qué sé, miles de millones de casos o millones de casos. Y no se les ha escapado a uno. O sea, ¿cómo estoy seguro de que no se les ha escapado a uno? Ahí volvemos al no estar del todo seguro, porque son…
Francis Villatoro explica el proceso de formalización de la demostración de Wiles sobre el último teorema de Fermat en Lean, un lenguaje de verificación matemática, destacando la enorme cantidad de conocimiento matemático previo involucrado.
Habla: Francis VillatoroSignificado #3 · Palabras #9terence tao lidera nueva visión matemáticodemostraciones wiles lean última versiónúltimo teorema fermat escrito en leandemostración wiles en lenguaje leanconjetura yimura formas modularesafirmaciones ribet implicancia teoremaformalización demostración teorema fermat…te ha cubierto, yo que sé, 100 páginas, en Lean vas a obtener algo que lo puedes escribir en unas 1.000 páginas. y está mejorando, ¿eh? Se está mejorando para reducir ese tamaño y que un matemático entonces ya puede leer esa demostración, es quita por Lean. Se tiene que acostumbrar; hay que acostumbrarse a eso, ¿no? Entonces ahora mismo está liderando esa nueva manera de ver la labor del matemático Tao y estamos autorizando que muchísima gente se esté planteando en serio el sistemáticamente pasar todas las demostraciones. Ahora mismo uno de los temas, por ejemplo, la demostración de Wiles, el último teorema de Fermat, está ahora mismo escribiéndose en Lean. Ahora mismo eso puede costar del orden de un año, ¿por qué? Porque hay que pasar toda la demostración de Wiles, pero además todo lo publicado previo en lo que se basa en Wiles. Porque Wiles se basa en 30 años de matemática, entonces tienes que codificar una barbaridad de conocimiento de matemática. La conjetura de Yimura Taniyama primero de las formas modulares y las L-series y todo eso, después las afirmaciones que eran Ribet y todos esos que mostraban cuál era la implicancia mutua entre las conjeturas y el teorema. Todo eso ahora mismo lo están formalizando y los rumores eran que era inminente que acabaran, o sea que puede ser para mediados del año que viene o para finales del año que viene que lo tengan listo y entonces podrás certificar que no hubo ningún error. y ahora mismo incluso Tao está haciendo otra cosa que es también maravillosa que es desarrollar nuevas demostraciones apoyado en los códigos de Lean. O sea, conforme tú estás buscando ideas para demostrar algo, las vas formalizando en ejemplos más o menos…