Búsqueda · 22 momentos en 18 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetcharla robert macpherson princetonescuela de ciencias naturales princetonmatemáticos famosos spencer wilesrobert manperson charla annals of mathematicsnash emérito escuela de matemáticaprinceton postdoc robert manpersonFrancis VillatoroPrincetonRobert MacPhersonSpencer WilesDe LingNashWilesYimura TaniyamaRibetLeanÚltimo teorema de FermatTerence TaoRobert ManpersonAnnals of MathematicsGastón Giribet
Spencer Wiles
Con
0:000:301:001:302:002:303:003:15
Gastón Giribet introduce una anécdota personal sobre su época como postdoc en Princeton hace más de 20 años, recordando con admiración charlas de matemáticos famosos como Robert MacPherson.
…el no Rupert Pedro Sí, el ejemplo más ajustado, conocido, creo que era que la diferencia era como 0,50, un 2 Eso es, es que estaba... Era un encaje prácticamente perfecto Es que parece que nuestro universo estaba hecho para que copiese todo, Jorín Y eso de... Una pregunta personal, Francis. ¿Una pregunta privada como matemático? No, porque recordé esto que hablabas de las pruebas por computadora, o las pruebas, como dicen los matemáticos, asistidas por computadoras, ¿no? Al menos en inglés la traducción sería esa. Había, yo me acuerdo cuando yo era postdoc en Princeton, estoy hablando hace más de 20 años, me acuerdo de una charla de MacPherson, de Robert MacPherson, el famoso matemático, estar en Princeton en esa época, yo estaba en la escuela de ciencias naturales, pero ver a los matemáticos era como, si sos muy nerdes, como estar adelante, como ser cholulo con las estrellas de rock. Estaba MacPherson, De Ling, en ese momento Nash estaba vivo, esos tipos, Spencer y Wiles. Bueno, La idea es que Manperson dio una charla en la cual se discutía cuándo Annals of Mathematics, la conspicua... Robert Manperson sigue vivo, pero es emérito ahora, pero en ese momento estaba en la escuela de matemática. Sí, todos los que mencioné siguen vivos, sacando Nash, son todos eméritos ahí. Entonces la cuestión es, en ese momento había un cambio abrupto en la decisión. Editorial de Annals of Mathematics, acaso la más importante de la revista de Matemática, también editada por Princeton. ¿Qué era empezar a aceptar demostraciones asistidas por computadora para ser publicadas? No porque no se aceptaran como demostraciones,…
Significado #1 · Palabras #1
Gastón Giribet introduce una anécdota personal sobre su época como postdoc en Princeton hace más de 20 años, recordando con admiración charlas de matemáticos famosos como Robert MacPherson.
Habla: Gastón GiribetSignificado #1 · Palabras #1charla robert macpherson princetonescuela de ciencias naturales princetonmatemáticos famosos spencer wilesrobert manperson charla annals of mathematicsnash emérito escuela de matemáticaprinceton postdoc robert manperson…el no Rupert Pedro Sí, el ejemplo más ajustado, conocido, creo que era que la diferencia era como 0,50, un 2 Eso es, es que estaba... Era un encaje prácticamente perfecto Es que parece que nuestro universo estaba hecho para que copiese todo, Jorín Y eso de... Una pregunta personal, Francis. ¿Una pregunta privada como matemático? No, porque recordé esto que hablabas de las pruebas por computadora, o las pruebas, como dicen los matemáticos, asistidas por computadoras, ¿no? Al menos en inglés la traducción sería esa. Había, yo me acuerdo cuando yo era postdoc en Princeton, estoy hablando hace más de 20 años, me acuerdo de una charla de MacPherson, de Robert MacPherson, el famoso matemático, estar en Princeton en esa época, yo estaba en la escuela de ciencias naturales, pero ver a los matemáticos era como, si sos muy nerdes, como estar adelante, como ser cholulo con las estrellas de rock. Estaba MacPherson, De Ling, en ese momento Nash estaba vivo, esos tipos, Spencer y Wiles. Bueno, La idea es que Manperson dio una charla en la cual se discutía cuándo Annals of Mathematics, la conspicua... Robert Manperson sigue vivo, pero es emérito ahora, pero en ese momento estaba en la escuela de matemática. Sí, todos los que mencioné siguen vivos, sacando Nash, son todos eméritos ahí. Entonces la cuestión es, en ese momento había un cambio abrupto en la decisión. Editorial de Annals of Mathematics, acaso la más importante de la revista de Matemática, también editada por Princeton. ¿Qué era empezar a aceptar demostraciones asistidas por computadora para ser publicadas? No porque no se aceptaran como demostraciones,…
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 VillatoroPalabras #3terence 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…