Búsqueda · 30 momentos en 21 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetconjuntura de kepler trabajo halesannals of mathematics publicación halesgigabytes código conjuntura keplerHalesAnnals of MathematicsKeplerFrancis VillatoroPrincetonRobert MacPhersonRobert ManpersonNashGastón GiribetAndrómedaVía Láctea
Annals of Mathematics publicación hales
Con
0:000:301:001:302:002:303:003:15
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.
…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…
Significado #1 · Palabras #1
Francis Villatoro recuerda la enorme distancia entre Andrómeda y la Vía Láctea, estimándola en dos millones de años luz, y explica que los halos galácticos están tan cerca que podrían estar en contacto.
Habla: Francis VillatoroPalabras #17distancia andrómeda vía láctea dos milloneshalos galácticos próximos contactogalaxias moscas en el halo…es solamente la materia bariónica; en torno a ese huevo frito hay una esfera que es mucho más grande de materia oscura, por lo menos esa es nuestra idea. Pues esa esfera de materia oscura es el halo, que llamamos, que a lo mejor está ahí, pero no lo vemos. Hay que recordar que los halos galácticos son enormes; es decir, creo recordar que entre Andrómeda y la Vía Láctea había como un millón de años luz de distancia, algo así. Dos millones creo, 2 millones, y resulta que los halos prácticamente están en contacto, están muy cerca, y se piensa que pueden estar en contacto ambos halos. Los halos son enormes; las galaxias son como moscas en el halo. Galáctico sí, y quizás me expresé mal porque dije que son esféricos y a lo mejor la gente piensa que es como una burbuja con una frontera definida y no es así, o sea, la densidad va cayendo hacia afuera. Es esférico porque tiene simetría esférica pero es más…
Gastón Giribet continúa relatando una anécdota personal sobre su época como postdoc en Princeton, y menciona un cambio abrupto en la decisión editorial de Annals of Mathematics respecto a la publicación de demostraciones asistidas por computadora.
Habla: Gastón GiribetSignificado #2 · Palabras #2robert 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…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 VillatoroSignificado #1 · Palabras #1conjuntura 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 reflexiona sobre el futuro de las matemáticas y cómo los verificadores automáticos están transformando la disciplina.
Habla: Francis VillatoroSignificado #9verificadores automáticos matemáticasasignatura herramientas matemáticas carrerarevistas validación máquina matemática…de casos, pero eran millones de casos que había que estudiar uno a uno y se estudiaban por ordenador, con una serie de propiedades que tenían que cumplir, entonces cada caso había que estudiarlo y siempre estaba con la duda de si se ha dejado algún caso. Acababa obteniéndose una prueba con ese tipo de verificadores automáticos y ahora está de moda. Entonces, el futuro dentro de 10, 15 años es que hay una asignatura en la carrera de matemáticas para aprender a usar estas herramientas y que todo se haga de esta manera. O sea, y que las revistas digan: esto es verdad solo si la máquina lo dice. Y para que la máquina lo diga, tú tienes que haber pasado todo lo que tú has dicho, todo lo que tú has escrito en papel, a la máquina. Pero déjame que lo vuelva a decir, que no sé si yo mismo lo he entendido bien, o sea, no. Es que Tao esté haciendo inteligencia artificial generativa, inventándose cosas, no; la herramienta le ayuda a explorar el código, ¿cómo se llama? Lint Lint, L-A-N, es el demostrador más famoso ahora mismo, y es un metademostrador. Te permite trabajar con un…