Búsqueda · 22 momentos en 14 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetmatemáticos rechazan leanramanujan frente a leanrevisión artículo dos añosramanujan desarrollos convergentes divergentesmatemáticas ramanujan sin demostraciones formalesramanujan operación rápida desarrollosmatemática transfinita ramananujanconjeturas sin verificación ramananujandemostración matemática resultados ramananujanramanujan no era matemático modernoramanujan oileriano sin verificación formalpublicación de resultados correctos ramanojuaneuler matemática símbolos límitescochí relaciones númerosfrancis villatoro euler ramajuanresultados euler ramanujan verdad falsedaddemostración resultados nadie recuerdaintuiciones complejas ramanujanmatemática expresiones complicadas ramanujanramanujan generó matemáticaramanujan mito demostración matemáticademostración pasos firme investigación matemáticafórmulas complejas verificación rigurosapelícula el hombre que conocía infinitofrancis villatoro casting sorpresacoffee break futura películaSrinivasa RamanujanFrancis VillatoroRamanujánHardyEl hombre que conocía el infinitoCoffee BreakGastón GiribetEulerLeanLeonhard EulerMartin GarnerScientific American
Matemática expresiones complicadas Ramanujan
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro continúa hablando sobre Srinivasa Ramanujan y cómo sus ideas fueron intuiciones complejas, pero no demostraciones formales.
…que abarco en mis matemáticas y me parece fascinante lo que está haciendo. O sea, y ya te digo, está generando una tendencia en la que muchos matemáticos están empezando a valorar esto porque hace un año y medio el 99,9% de los matemáticos puede asegurar que Se negaba rotundamente a usar Lean. Eso es de inútiles, solo los inútiles requieren formalizar y que la máquina les diga que lo han hecho bien. No, no, no: aquí el matemático de pro tiene que mirárselo página a página y si para revisar un artículo hay que dedicarse dos años de revisión, pues le dedicamos dos años de revisión. Y ahora me imaginaba a Ramanujan con el link este delante; os imagináis. Ramanujan era otra cosa; es que Ramanujan 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 era un matemático, era un oileriano. Hacía lo Mismo que hacía Euler en su época, que era una cosa pre-cochí, pre-demostraciones y rigor, era jugar con la matemática y con los símbolos como si cualquier cosa se pudiera hacer sin ningún tipo de límite y condición. Eso es lo que hacía Euler. Lo que hacía cochí eran cochinadas. Pero si no recuerdo mal, Francis se sigue utilizando una de sus relaciones para calcular números. Dígitos de pi de forma muy rápida. Muchísimas, hay muchísimas resultados de Euler que son verdad y muchos que son mentiras y hay muchos resultados de Ramanujan que son verdad y muchos que son mentiras, pero los que son verdad, una vez que se demuestra que son verdad, ya se puede ¿Qué pasa? Que nadie se acuerda de quién demostró los resultados de. Ramanujan, es que Ramanujan lo intuyó, lo intuyó, pero no podemos decir lo demostró a Ramanujan; entonces claro, Ramanujan generó mucha matemática, expresiones matemáticas muy complicadas que tú dices. Es tan complicada que hoy en día la única manera que a alguien se le ocurriera una barbaridad de este tipo es que lo demostrara, pero porque hoy en día le obligamos a la gente a demostrar, a dar todos los pasos en firme, a no enfangarse, a no meterse en el barro, hundirse, ahogarse, casi morir y salir vivo de repente con una fórmula súper maravillosa y súper bella estéticamente, pero que nadie sabe si es verdad o no. pero tú dices, no, pero como sobreviví del fango debe de ser verdad, porque soy Ramanujan y pues hasta que alguien lo demuestre no lo es, entonces, bueno, Ramanujan tiene mucho mito a su alrededor Recomiendo la película El hombre que conocía el infinito, ¿no? donde relata su viaje a Hardy. Bueno, es muy amable, muy agradable; no sé cuánto es verdad. Con un actor súper delgado, Ramanujan era muy gordo. Ah, sí, Ramanujan era un gordo. El día que hagan una película sobre vos, Francis, yo voy a hacer el casting; no te vamos a consultarte. Para vos va a ser una sorpresa: vas a ir a la premiere y no vas a saber nada. Bueno, bueno, no sé; vamos a hacer la película de Coffee Break y vamos a buscar; yo me voy a encargar del casting de todos. Estamos viviendo un momento fascinante en la revolución de lo que está ocurriendo en matemáticas en la frontera y nos va a afectar a todos; los que ya tenemos una cierta edad nunca vamos a aprender. No voy a tener la capacidad de ganar intuiciones matemáticas…
Significado #1 · Palabras #1
Francis Villatoro explica cómo matemáticos aficionados comenzaron a investigar si el fenómeno observado con el cubo RGB también ocurría con otros sólidos regulares y poliedros, tras el desarrollo de ordenadores y la popularización de la matemática recreativa en revistas como Scientific American.
Habla: Francis VillatoroPalabras #18matemáticos aficionados cubo rgbtetraedro icosaedro dodecaedroscientific american matemática recreativamartin garner sólidos regulares poliedros…la sombra de una cara del cubo es más pequeña y cabe dentro de la sombra del cubo colocado así con los dos contravértices alineados. Claro, la cuestión es: ¿y esto ocurre con otros objetos? Pues sorprendentemente, eso ya es una cosa a posteriori, cuando Empezaron a desarrollarse los ordenadores y se puso de moda la matemática recreativa en revistas como Scientific American, etc.; el famoso Martin Garner, pues muchos matemáticos aficionados, pues se les ocurrió ver si con otros sólidos regulares, otros poliedros, también ocurría. Y se supone que sí, que ocurre con el tetraedro, que ocurre con el icosaedro, que ocurre con el dodecaedro. Y después ya empezaron a complicar a poliedros más complicados, que mezclan caras de diferentes tipos. Y prácticamente en todos los que se estudiaban ocurre. Entonces tú decías: ¿esto ocurre siempre? Entonces se conjeturó que todos los poliedros cumplían con esta propiedad, a la que se llamó propiedad de Rupert, o de Ruperto en español. Claro, una conjetura; hay dos maneras de trabajar con ella, de resolver el problema de la conjetura, o de mostrar que es…
Francis Villatoro continúa hablando sobre Srinivasa Ramanujan y cómo sus ideas fueron intuiciones complejas, pero no demostraciones formales.
Habla: Francis VillatoroSignificado #1 · Palabras #1matemáticos rechazan leanramanujan frente a leanrevisión artículo dos añosramanujan desarrollos convergentes divergentesmatemáticas ramanujan sin demostraciones formalesramanujan operación rápida desarrollosmatemática transfinita ramananujanconjeturas sin verificación ramananujandemostración matemática resultados ramananujanramanujan no era matemático modernoramanujan oileriano sin verificación formalpublicación de resultados correctos ramanojuaneuler matemática símbolos límitescochí relaciones númerosfrancis villatoro euler ramajuanresultados euler ramanujan verdad falsedaddemostración resultados nadie recuerdaintuiciones complejas ramanujanmatemática expresiones complicadas ramanujanramanujan generó matemáticaramanujan mito demostración matemáticademostración pasos firme investigación matemáticafórmulas complejas verificación rigurosapelícula el hombre que conocía infinitofrancis villatoro casting sorpresacoffee break futura película…que abarco en mis matemáticas y me parece fascinante lo que está haciendo. O sea, y ya te digo, está generando una tendencia en la que muchos matemáticos están empezando a valorar esto porque hace un año y medio el 99,9% de los matemáticos puede asegurar que Se negaba rotundamente a usar Lean. Eso es de inútiles, solo los inútiles requieren formalizar y que la máquina les diga que lo han hecho bien. No, no, no: aquí el matemático de pro tiene que mirárselo página a página y si para revisar un artículo hay que dedicarse dos años de revisión, pues le dedicamos dos años de revisión. Y ahora me imaginaba a Ramanujan con el link este delante; os imagináis. Ramanujan era otra cosa; es que Ramanujan 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 era un matemático, era un oileriano. Hacía lo Mismo que hacía Euler en su época, que era una cosa pre-cochí, pre-demostraciones y rigor, era jugar con la matemática y con los símbolos como si cualquier cosa se pudiera hacer sin ningún tipo de límite y condición. Eso es lo que hacía Euler. Lo que hacía cochí eran cochinadas. Pero si no recuerdo mal, Francis se sigue utilizando una de sus relaciones para calcular números. Dígitos de pi de forma muy rápida. Muchísimas, hay muchísimas resultados de Euler que son verdad y muchos que son mentiras y hay muchos resultados de Ramanujan que son verdad y muchos que son mentiras, pero los que son verdad, una vez que se demuestra que son verdad, ya se puede ¿Qué pasa? Que nadie se acuerda de quién demostró los resultados de. Ramanujan, es que Ramanujan lo intuyó, lo intuyó, pero no podemos decir lo demostró a Ramanujan; entonces claro, Ramanujan generó mucha matemática, expresiones matemáticas muy complicadas que tú dices. Es tan complicada que hoy en día la única manera que a alguien se le ocurriera una barbaridad de este tipo es que lo demostrara, pero porque hoy en día le obligamos a la gente a demostrar, a dar todos los pasos en firme, a no enfangarse, a no meterse en el barro, hundirse, ahogarse, casi morir y salir vivo de repente con una fórmula súper maravillosa y súper bella estéticamente, pero que nadie sabe si es verdad o no. pero tú dices, no, pero como sobreviví del fango debe de ser verdad, porque soy Ramanujan y pues hasta que alguien lo demuestre no lo es, entonces, bueno, Ramanujan tiene mucho mito a su alrededor Recomiendo la película El hombre que conocía el infinito, ¿no? donde relata su viaje a Hardy. Bueno, es muy amable, muy agradable; no sé cuánto es verdad. Con un actor súper delgado, Ramanujan era muy gordo. Ah, sí, Ramanujan era un gordo. El día que hagan una película sobre vos, Francis, yo voy a hacer el casting; no te vamos a consultarte. Para vos va a ser una sorpresa: vas a ir a la premiere y no vas a saber nada. Bueno, bueno, no sé; vamos a hacer la película de Coffee Break y vamos a buscar; yo me voy a encargar del casting de todos. Estamos viviendo un momento fascinante en la revolución de lo que está ocurriendo en matemáticas en la frontera y nos va a afectar a todos; los que ya tenemos una cierta edad nunca vamos a aprender. No voy a tener la capacidad de ganar intuiciones matemáticas…
Francis Villatoro concluye una extensa discusión sobre matemáticas, señalando que han terminado con el tema y definiendo la matemática recreativa como aquella cuyo enunciado es comprensible para cualquier persona.
Habla: Francis VillatoroSignificado #11matemática recreativa enunciado comprensibleconjeturas chimura matemáticas relativasenunciado matemática recreativa cualquiera entiende…esto lo contamos en breve; de repente cobra vida y se convierte en esta discusión que me ha tenido a mí aquí sentado pero vamos, sin poder ni abrir la boca, fascinado totalmente con todo esto que han estado ustedes contando sobre matemáticas. O sea, me flipa. pues nada, si quieren rápidamente, no sé si hemos terminado o queda algún detalle. Sí, yo creo que sí, básicamente hemos terminado. Yo digo, esto son curiosidades matemáticas muy llamativas porque son de matemáticas recreativas; se llama matemática recreativa a la matemática que cualquiera puede entender el enunciado. Si yo te hablo de las conjeturas, yo qué sé, de chimura de no sé qué, pues eso nadie entiende lo que estás diciendo, pero es matemática relativa. Cuando el enunciado es capaz de ser entendido por cualquiera y eso es muy llamativo porque a la gente le encanta poder entender enunciados, no demostraciones; las demostraciones son muy duras. claro, si en este caso lo del cubo y hacer un hueco y que pase por sí mismo o la conjetura de collage Esas cosas que son muy, muy, muy, muy facilitas, pero luego tira de ellas Bueno, pues estamos casi sin tiempo, vamos a sacar un par de preguntitas solamente…