Búsqueda · 35 momentos en 18 episodios
Ignacio CrespoBorja TosarJosé EdelsteinIsabel CorderoFrancis VillatoroHéctor Socasdemostraciones matemáticas como hijascuidado de demostraciones por matemáticosterence tao en el icm 2026mucho fricuo y las demostracionesdifusión de demostraciones matemáticasasimilación de demostración comunidad matemáticaincorporación demostración conocimiento matemáticoimportancia asimilar demostración francis villatorodemostraciones complejas expertos matemáticoslógica clara en demostraciones sinuosasatajos imposibles en demostracionesguías matemáticas carecen de concienciaFrancis VillatoroLeanVATNúcleoMucho FricuoICM 2026Terence TaoFiladelfia
Guías Matemáticas carecen de Conciencia
Ep565: Introgresión; Eclipse; Inestabilidad Kelvin-Helmholtz; Piezoquiralidad
6 de agosto de 20263 momentos
Con
0:000:301:001:302:002:303:003:34
Francis Villatoro explica cómo los matemáticos expertos dedican años a detallar el funcionamiento de las demostraciones complejas, destacando que es un proceso sinuoso pero con una lógica clara.
…y el futuro de las matemáticas en el ICM 2026, también en Filadelfia. Y Terence Tao ha dicho: lo voy a tratar con mis palabras porque no tengo las palabras exactas de Terence en la cabeza, pero básicamente ha dicho que una demostración es como una hija. A una hija no tienes que parirla, no basta con parirla y abandonarla. A una hija la tienes que cuidar, la tienes que cuidar, la tienes que educar, la tienes que transformar en un adulto, un adulto productivo, feliz y que tenga una buena vida. Y los matemáticos tratamos a nuestras demostraciones como si fueran nuestros hijos y las cuidamos. Entonces, una demostración, cuando tú haces una gran demostración, un matemático hace una gran demostración, no hace la demostración y dice: señores, como dice Mucho Fricuo, ya he cumplido, aquí no hay que hacer nada más, ya está, ahí tenéis la demostración, buscaros la vida. No, hombre, sino tienes que ir a conferencias científicas y contar la demostración, a dar seminarios, a dar cursos, a vender tu demostración para que la comunidad matemática pueda asimilar esa demostración, pueda incorporar esa demostración. Esa parte de asimilación y de incorporación de la demostración al común conocimiento matemático de esa área es mucho más importante que la propia demostración. Y eso es lo que los matemáticos han estado haciendo. De las grandes demostraciones, los grandes matemáticos se tiran años contando cómo funciona la demostración, los detalles, porque la demostración es un camino muchas veces sin trabas. es un camino perfectamente, muy sinuoso, dando mucha vuelta, pero perfectamente llega al final y todo el mundo se puede decir, ¿y por qué aquí no tomaste un atajo? Ah, no, porque no funciona, porque pasa tal y cual y cual, eso se lo puede contar el que lo ha hecho pero las guías no pueden, porque las guías no saben lo que han hecho, no son conscientes de lo que han hecho han producido un código link, dice, no, bueno, no puedo hacerlo porque no se puede hacer, punto pelota ¿Por qué no? Pues yo creo que cuando jugaba al Go, AlphaGo o AlphaCero, que aprendió sola. Bueno, es que yo he evaluado la partida y el lugar donde hay que poner una pieza es aquí. Aquí tengo que poner una piedra. ¿Y por qué? No, no, porque lo he evaluado y hay que…
Significado #1 · Palabras #4
Francis Villatoro explica cómo los matemáticos expertos dedican años a detallar el funcionamiento de las demostraciones complejas, destacando que es un proceso sinuoso pero con una lógica clara.
Habla: Francis VillatoroSignificado #1 · Palabras #4demostraciones matemáticas como hijascuidado de demostraciones por matemáticosterence tao en el icm 2026mucho fricuo y las demostracionesdifusión de demostraciones matemáticasasimilación de demostración comunidad matemáticaincorporación demostración conocimiento matemáticoimportancia asimilar demostración francis villatorodemostraciones complejas expertos matemáticoslógica clara en demostraciones sinuosasatajos imposibles en demostracionesguías matemáticas carecen de conciencia…y el futuro de las matemáticas en el ICM 2026, también en Filadelfia. Y Terence Tao ha dicho: lo voy a tratar con mis palabras porque no tengo las palabras exactas de Terence en la cabeza, pero básicamente ha dicho que una demostración es como una hija. A una hija no tienes que parirla, no basta con parirla y abandonarla. A una hija la tienes que cuidar, la tienes que cuidar, la tienes que educar, la tienes que transformar en un adulto, un adulto productivo, feliz y que tenga una buena vida. Y los matemáticos tratamos a nuestras demostraciones como si fueran nuestros hijos y las cuidamos. Entonces, una demostración, cuando tú haces una gran demostración, un matemático hace una gran demostración, no hace la demostración y dice: señores, como dice Mucho Fricuo, ya he cumplido, aquí no hay que hacer nada más, ya está, ahí tenéis la demostración, buscaros la vida. No, hombre, sino tienes que ir a conferencias científicas y contar la demostración, a dar seminarios, a dar cursos, a vender tu demostración para que la comunidad matemática pueda asimilar esa demostración, pueda incorporar esa demostración. Esa parte de asimilación y de incorporación de la demostración al común conocimiento matemático de esa área es mucho más importante que la propia demostración. Y eso es lo que los matemáticos han estado haciendo. De las grandes demostraciones, los grandes matemáticos se tiran años contando cómo funciona la demostración, los detalles, porque la demostración es un camino muchas veces sin trabas. es un camino perfectamente, muy sinuoso, dando mucha vuelta, pero perfectamente llega al final y todo el mundo se puede decir, ¿y por qué aquí no tomaste un atajo? Ah, no, porque no funciona, porque pasa tal y cual y cual, eso se lo puede contar el que lo ha hecho pero las guías no pueden, porque las guías no saben lo que han hecho, no son conscientes de lo que han hecho han producido un código link, dice, no, bueno, no puedo hacerlo porque no se puede hacer, punto pelota ¿Por qué no? Pues yo creo que cuando jugaba al Go, AlphaGo o AlphaCero, que aprendió sola. Bueno, es que yo he evaluado la partida y el lugar donde hay que poner una pieza es aquí. Aquí tengo que poner una piedra. ¿Y por qué? No, no, porque lo he evaluado y hay que…
Francis Villatoro explica cómo las guías están utilizando inteligencia artificial para detectar errores en código, incluyendo fallos en el núcleo de Lean.
Habla: Francis VillatoroPalabras #2errores en código núcleo leanvat número 7000 en leanguías usan inteligencia artificial…automáticos. Eso me hace pensar que quizás se puede aprovechar; le puedes pedir a una IA que te demuestre algo que sabes que es falso y si te lo demuestra, te puede servir para encontrar errores en Lean, por ejemplo, en el código que sea que estás usando. Sí, de hecho las guías están usando para detectar bugs en código y se está aplicando también ese tipo de cosas, ¿no? El núcleo de Lean se suponía que estaba certificado matemáticamente de que era correcto y ha tenido un error absolutamente terrible; de hecho los detalles del error se publicaron y no te lo crees que haya podido ocurrir, pero puede ocurrir, ¿vale? Y era el error, el VAT número 7000 y pico, o sea, hay errores en este tipo de código. Por lo tanto, el matemático no puede confiar sobre eso. El matemático tiene que comprender, aprender, asimilar, meter dentro de sí. Pero es la base de toda la ciencia; al final tiene que ser verificable, reproducible, no basta con un resultado, tiene que ser revisado, verificado, comprobado por la comunidad para…
Francis Villatoro continúa hablando sobre la dificultad de comprender demostraciones matemáticas complejas, comparándolas con poesía y explicando que se puede apreciar su belleza incluso sin entenderlas completamente.
Habla: Francis VillatoroSignificado #14belleza de la poesía matemáticademostraciones matemáticas complejasdocumento de 241 páginas sin demostraciones…lo puedo creer, no me lo creo”. Y no me lo creo yo, que soy un ignorante, porque yo no soy un experto; son súper técnicas, son conceptos técnicos terribles, o sea, estas cosas que trabajan 20 personas en el mundo y que fuera ese circulito nadie más entiende. Pero bueno, hay un cuerpo genérico que te permite, tú vas leyendo con el lenguaje matemático y es como la poesía; te va gustando, te va agradando y vas diciendo que maravilla, que bien fluye esto, que bien razonado está esto, aunque no te enteres. Hay un disfrute de esa poesía matemática y en este documento de 241 páginas esas 10 demostraciones no las hay, entonces es muy aburrido, cuesta muchísimo. Vamos a ir con más preguntas, entonces, y quedaba José que tenías que hablar de la cena y escuchar la legislativa. ¿Que no sé si quieres contestarla o prefieres pasar? José, puedo decir algo brevemente respecto a lo anterior; lo ideal sería cuando te tira la…