Búsqueda · 32 momentos en 13 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetterence tao medalla phil españaterence tao euler modernodemostraciones de euler no rigurosasTerence TaoMedalla FieldsEspañaEulerThomas BloomPaul ErdősInteligencia ArtificialMatemáticoFrancis VillatoroGrothendieckHéctor SocasLeonhard Euler
Demostraciones de Euler no rigurosas
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro habla sobre Terence Tao, un matemático galardonado con la Medalla Fields en España en 2006 y considerado el 'Euler moderno', comparándolo con Euler y Ramanujan.
…libros que recopilan algunos, algunos cientos de esos problemas. Y hasta hace muy poco tiempo no había ningún repositorio, no había ninguna página web que, digamos, sistemáticamente los pusiera. Entonces es una cosa que hizo un matemático, Thomas Bloom. a petición de Terence Tao Territau es de Medalla Phil en España en 2006 y es el gran genio de la matemática y es el Euler moderno. No Euler, por las técnicas de demostración de Euler, porque Euler era muy pachanguero a la hora de demostrar, era como Ramanoyen, era una persona que me inspira, me inspiran los dioses y yo hago... Entonces sus demostraciones eran muy, hoy en día no les llamamos rigurosas, son formales, pero no son rigurosas, muchas se Han convertido en rigurosas con matemáticos posteriores, pues Territau es un gran agregador de personas. Se parece mucho a Paul Erdős en el sentido de que ha colaborado con muchísima gente. Entonces incitó a este señor, a este matemático, Thomas Bloom, a…
Significado #1 · Palabras #1
Francis Villatoro recuerda brevemente la figura del matemático Paul Erdős, destacando su prolífica producción de artículos.
Habla: Francis VillatoroPalabras #13paul erdős matemático prolíficoproducción de artículos paul erdőseuler obras completas apuntesartículos leonhard euler siglo xx…Bueno, Francis nos va a contar ahora todo sobre este tema y a ver si me entero de algo, porque yo estuve intentando leer el paper este que nos compartiste del archive y te tengo que confesar que no entiendo nada. Así que a ver si nos pones en contexto. Sí, bueno, básicamente recordar muy brevemente la figura de Paul Erdős. Paul Erdős es el gran matemático productor de artículos del siglo XX y probablemente el segundo después de Euler. Leonhard Euler publicó, claro, en aquella época los artículos se publicaban de otra manera; del orden de menos de 900, del orden de 900 artículos, pero sus obras completas basadas en los apuntes que tenía son del orden de miles de artículos, el equivalente a 3.000 artículos o algo así ¿vale? Pero publicados como tales son unos 900. Paul Erdős publicó unos 1500 y no tenemos unas obras completas que incluyan los apuntes personales de Paul Erdős, pero tiene un matemático muy curioso; emigró a los Estados Unidos relativamente joven y era un genio de…
Francis Villatoro habla sobre Terence Tao, un matemático galardonado con la Medalla Fields en España en 2006 y considerado el 'Euler moderno', comparándolo con Euler y Ramanujan.
Habla: Francis VillatoroSignificado #1 · Palabras #1terence tao medalla phil españaterence tao euler modernodemostraciones de euler no rigurosas…libros que recopilan algunos, algunos cientos de esos problemas. Y hasta hace muy poco tiempo no había ningún repositorio, no había ninguna página web que, digamos, sistemáticamente los pusiera. Entonces es una cosa que hizo un matemático, Thomas Bloom. a petición de Terence Tao Territau es de Medalla Phil en España en 2006 y es el gran genio de la matemática y es el Euler moderno. No Euler, por las técnicas de demostración de Euler, porque Euler era muy pachanguero a la hora de demostrar, era como Ramanoyen, era una persona que me inspira, me inspiran los dioses y yo hago... Entonces sus demostraciones eran muy, hoy en día no les llamamos rigurosas, son formales, pero no son rigurosas, muchas se Han convertido en rigurosas con matemáticos posteriores, pues Territau es un gran agregador de personas. Se parece mucho a Paul Erdős en el sentido de que ha colaborado con muchísima gente. Entonces incitó a este señor, a este matemático, Thomas Bloom, a…
Francis Villatoro describe cómo la inteligencia artificial está logrando demostrar resultados matemáticos utilizando técnicas y estrategias de demostración ya conocidas.
Habla: Francis VillatoroSignificado #3inteligencia artificial demuestra resultados matemáticosdemostraciones lean aristótelesmatemático experto no replica demostración ia…o lo que sea la intensidad artificial te lo hace en un rato, en un par de horas. Y si lo ha hecho bien, maravilloso. Y si lo ha hecho mal, pues nada, se olvida como si nunca hubiera ocurriendo. Entonces, lo que está ocurriendo ahora mismo es que estamos Logrando con intensidad artificial demostrar, con demostraciones un poquito más cortas, un poquito más largas, resultados que en principio son una aplicación natural de las técnicas de demostración, las estrategias de demostración conocidas; y que un matemático experto en ese área podría haberlo hecho. Le ocurre que está ocurriendo que no lo está haciendo. Un matemático experto en ese área, lo están haciendo matemáticos expertos en otras cosas o informáticos y gente así que le gusta trabajar en estas cosas de matemática recreativa, entre comillas, de demostrar problemas de RIS. Hasta ahora no se ha demostrado…
Francis Villatoro y Héctor Socas comentan sobre la dificultad de demostrar problemas matemáticos a pesar de su fácil formulación, contrastando con el estilo de demostración de Grothendieck donde la prueba está implícita en el enunciado.
Habla: Francis VillatoroSignificado #6demostraciones grothendieck implícitasenunciado como demostración grothendieckproblemas matemáticos difíciles de demostrar…tanto la demostración que ya es prácticamente imposible sacar. Sí, es eso, es ir al detalle. ¿Sabéis quién hizo el primer resultado no trivial? El BIS. El 1940 dio la primera cota. Claro, pero la cota es enorme. Pero ya os digo, ese tipo de problemas son muy fáciles de formular y muy difíciles de demostrar. Pero eso no lo sabes hasta que te pones a demostrarlo. El enunciado no tiene nada que ver con las demostraciones de Grotendi. la demostración de Grothendieck en la que el enunciado de lo que quieres demostrar es bastante largo, es como un párrafo y contiene la demostración. Entonces la demostración es obvio por el enunciado, punto. Te lo lees y dices pues sí, pues es verdad. Fíjate que es una demostración en la que no hay que demostrar nada porque está todo escrito en el propio enunciado. O sea, están todos los extremos. Bueno, venga, siguiente tema, Juan Carlos, esto de las burbujas que se mueven así como les da la gana Burbujitas galopantes, y veréis luego por qué se llama así, pues sí, las burbujitas estas que parecen unos chismes absolutamente triviales y sin embargo llevan troleando a la física bastante tiempo. El mismo Leonardo da Vinci ya se fijó en que las burbujas en…