Búsqueda · 32 momentos en 21 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetresolución problemas comprensión físicademostración conjuntura keplernaturaleza física entendimientoconjuntura de kepler trabajo halesannals of mathematics publicación halesgigabytes código conjuntura keplerHalesAnnals of MathematicsKeplerFrancis Villatoroconjetura de KeplerGastón Giribet
Gigabytes código conjuntura Kepler
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.
…el análogo en la física sería el empleo técnicas de, no sé, Machine Learning, Inteligencia Artificial también dan esta idea de que en algún sentido hay cosas que se vuelven una caja negra que antes no lo eran para nosotros. Y la pregunta es, and so what? O sea, mucha gente puede tener 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
Gastón Giribet relaciona la discusión sobre una demostración de la conjetura de Kepler, que involucra apilar esferas en generalizaciones dimensionales de tetraedros, con el debate anterior sobre demostraciones asistidas por computadora.
Habla: Gastón GiribetSignificado #4conjetura de kepler apilar esferasdemostraciones asistidas por computadora tetraedroscómputo casos infinitos…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. Entonces, esas demostraciones también eran asistidas por computadora; uno podía probar, no sé, probaba algo y si estaba seguro con 124 casos o con 1026 casos, entonces probaba los infinitos. Pero esos 1020 y tantos casos había que hacerlo por computadora. Entonces, vos siendo matemático, pero siendo más afín a otras ciencias en las cuales el cálculo, el cómputo es importante, ¿vos cómo te sentís acerca de las demostraciones asistidas por computadora? Acá viene lo personal. Bueno, a nivel personal, al matemático de toda la vida lo que nos gusta es disfrutar de la comprensión de la demostración; o sea, el avance en matemáticas es un avance a base de comprender objetos, de comprender cosas. Hay una serie de…
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 #1resolución problemas comprensión físicademostración conjuntura keplernaturaleza física entendimientoconjuntura de kepler trabajo halesannals of mathematics publicación halesgigabytes código conjuntura kepler…el análogo en la física sería el empleo técnicas de, no sé, Machine Learning, Inteligencia Artificial también dan esta idea de que en algún sentido hay cosas que se vuelven una caja negra que antes no lo eran para nosotros. Y la pregunta es, and so what? O sea, mucha gente puede tener 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…