Búsqueda · 34 momentos en 25 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 manpersonannals of mathematics demostraciones computacionalescambio editorial annals of mathematicsmacpherson desacuerdo demostraciones computacionalesRobert ManpersonAnnals of MathematicsNashPrincetonGastón GiribetFrancis VillatoroRobert MacPhersonSpencer WilesDe LingHalesKeplerSrinivasa Ramanujan
Robert Manperson charla Annals of Mathematics
Con
0:000:301:001:302:002:303:003:15
Gastón Giribet continúa relatando una anécdota personal sobre su época como postdoc en Princeton, mencionando a Robert Manperson y destacando que muchos de los matemáticos con los que interactuó siguen vivos, aunque algunos son ahora eméritos.
…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, sino como la revista dice: no, con esas huevadas a mí no me vengan. Pero era la primera vez que la revista se abría, hace 20 años, a la posibilidad de empezar a publicar esas cosas. Se notaba en MacPherson que él no parecía estar muy de acuerdo; no parecía mostrar su aquiescencia con esa idea. Pero en ese momento se estaba discutiendo acerca de una de las demostraciones sobre la conjetura de Kepler, que en algún sentido tiene un espíritu parecido a esto: las formas óptimas de apilar esferas en generalizaciones dimensionales de los tetraedros.…
Significado #1 · Palabras #1
Gastón Giribet continúa relatando una anécdota personal sobre su época como postdoc en Princeton, mencionando a Robert Manperson y destacando que muchos de los matemáticos con los que interactuó siguen vivos, aunque algunos son ahora eméritos.
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 manpersonannals of mathematics demostraciones computacionalescambio editorial annals of mathematicsmacpherson desacuerdo demostraciones computacionales…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, sino como la revista dice: no, con esas huevadas a mí no me vengan. Pero era la primera vez que la revista se abría, hace 20 años, a la posibilidad de empezar a publicar esas cosas. Se notaba en MacPherson que él no parecía estar muy de acuerdo; no parecía mostrar su aquiescencia con esa idea. Pero en ese momento se estaba discutiendo acerca de una de las demostraciones sobre la conjetura de Kepler, que en algún sentido tiene un espíritu parecido a esto: las formas óptimas de apilar esferas en generalizaciones dimensionales de los tetraedros.…
Francis Villatoro menciona el trabajo de Hales sobre la conjuntura de Kepler, destacando que fue publicado en Annals of Mathematics y consistió en gigabytes de código.
Habla: Francis VillatoroPalabras #4conjuntura de kepler trabajo halesannals of mathematics publicación halesgigabytes código conjuntura kepler…una posición, bueno, no importa, pero resolviste tu problema. O algunas personas pueden decir, sí, pero ¿cuánto de eso es entender? ¿Y qué es física si no entender la naturaleza? Tú has comentado el caso de la demostración de la conjuntura de Kepler, ¿no? El trabajo famoso de Hales desde el 98. Ese acabó, fue el tema que tú has comentado, ¿no? Acabó publicándose en Anas Mathematics. El problema que tenía es que eran gigabytes de código. O sea, que no eran, no estamos hablando de un código de cien líneas o de mil líneas. Era un código con un tamaño tremendo, súper matematizado y súper no sé qué, donde se podía colar un error en cualquier lugar. Eso generaba una cierta tensión, una cierta duda. Pero la belleza de la matemática es comprender. entonces, si tú tienes un código, si una máquina comprende por ti, has perdido el gran elemento de belleza que tienen las matemáticas es decir, ya es una matemática fea, porque está entendiendo a alguien por ti…
Francis Villatoro continúa hablando sobre Srinivasa Ramanujan y la matemática transfinita, explicando que sin una verificación posterior, estas ideas permanecen como conjeturas.
Habla: Francis VillatoroSignificado #11matemática transfinita ramananujanconjeturas sin verificación ramananujandemostración matemática resultados ramananujan…no sabía demostrar, no era capaz de demostrar, no valoraba demostrar. Era un matemático que se dedicaba a jugar con desarrollos convergentes y divergentes y a operar con ellos, y era muy bueno, muy rápido haciendo eso. Entonces, gran parte de la matemática. De Ramanujan, que es lo que se llama matemática transfinita, es una matemática que si no viene alguien detrás y demuestra, pues son solamente conjeturas. Por fortuna, Ramanuján ha tenido mucha suerte porque ha habido toda una generación de matemáticos en los últimos 50 años que ha estado demostrando mucho de sus resultados y encontrando que muchos son falsos, que eso a veces no se Publicita, pero muchos son falsos, pero no pasa nada; si es falso pues se tira a la basura y se olvida. Lo importante es lo que es correcto, entonces lo que se está publicando es lo que es correcto, pero claro, Ramanuján no demostraba; es decir, Ramanuján no…