Búsqueda · 29 momentos en 16 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribeteuler matemática símbolos límitescochí relaciones númerosfrancis villatoro euler ramajuanresultados euler ramanujan verdad falsedaddemostración resultados nadie recuerdaLeonhard EulerFrancis VillatoroSrinivasa RamanujanEulerLeansiglo XIXsiglo XXIRamanujan
Euler matemática símbolos límites
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro compara el trabajo de Leonhard Euler con el de Srinivasa Ramanujan, destacando cómo ambos operaban en un contexto pre-demostración y rigor matemático, jugando con símbolos sin límites ni condiciones.
…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…
Significado #1 · Palabras #1
Francis Villatoro explica cómo las pruebas matemáticas generadas con Lean son equivalentes a las tradicionales, aunque actualmente ocupan más espacio en formato digital.
Habla: Francis VillatoroPalabras #15pruebas matemáticas lean equivalentes tradicionalesfactor de 10 pruebas lean vs papeldemostraciones lean mejorando tamaño…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 lenguaje bastante próximo al humano, pero es un lenguaje formal, ¿verdad? Si no me equivoco, Francis. Con lo cual, una vez que tienes la prueba, es equivalente a una prueba matemática tradicional con todos los símbolos matemáticos. Ahora mismo el factor es del orden de un factor de 10. Es decir, si en hojas de papel, a mano, a ti te ha cubierto, yo que sé, 100 páginas, en Lean vas a obtener algo que lo puedes escribir en unas 1.000 páginas. y está mejorando, ¿eh? Se está mejorando para reducir ese tamaño y que un matemático entonces ya puede leer esa demostración, es quita por Lean. Se tiene que acostumbrar; hay que acostumbrarse a eso, ¿no? Entonces ahora mismo está liderando esa nueva manera de ver la labor del matemático Tao y estamos autorizando que muchísima gente se esté planteando en serio el sistemáticamente pasar todas las…
Francis Villatoro compara el trabajo de Leonhard Euler con el de Srinivasa Ramanujan, destacando cómo ambos operaban en un contexto pre-demostración y rigor matemático, jugando con símbolos sin límites ni condiciones.
Habla: Francis VillatoroSignificado #1 · Palabras #1euler matemática símbolos límitescochí relaciones númerosfrancis villatoro euler ramajuanresultados euler ramanujan verdad falsedaddemostración resultados nadie recuerda…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…
Francis Villatoro reflexiona sobre la revolución actual en matemáticas y su impacto en las diferentes generaciones de matemáticos, especialmente en relación con herramientas como Lean.
Habla: Francis VillatoroPalabras #8revolución matemáticas fronteralean y nuevas generaciones matemáticoseuler matemáticas siglo xixmatemáticas siglo xxi lean…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 gracias a formalizar en Lean, pero la gente joven acabará ganándolo y dominando. ¿Cómo se hacían matemáticas en la época de Euler, finales del siglo XIX? No tiene nada que ver cómo se hacían matemáticas a finales del siglo XX o cómo se hacen matemáticas ya en el siglo XXI. Héctor, apunta lo que ha dicho Francis: que en el episodio 1000 de Coffee Break nos va a traer una demostración por Linn, estoy convencido; hecha por él. Va a ser una demostración muy linda, digo que lo que es fascinante es como este programa adquiere vida…