Búsqueda · 25 momentos en 12 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetresultados negativos en matemáticascontraejemplos sin resultadodescartar hipótesis hector socaserdős publica resultados positivoscontraejemplos inspiran a erdősartículos de erdős incluyen comentariosteoremas nuevos según erdősbúsqueda infructuosa contraejemplo villatoromatemático erdős referencia villatorolicuando resultado demostrable villatoromatemático erdős superó a eulereuler siglo xviii ruso alemánleonard euler ceguera progresivaErdősFrancis Villatoroconjetura de Erdősconjetura de RiesStar TrekSpokeGastón GiribetHéctor SocasLeonard EulerRusiaAlemania
Contraejemplos inspiran a Erdős
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20267 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica cómo Erdős solía publicar resultados positivos, complementándolos con comentarios sobre otros temas que le habían inspirado y los contraejemplos que había considerado.
…tienes que, o sea, para que sea útil tu trabajo y publicable tiene que, o sea, para que sea útil para los demás, tiene que descartar algún cierto rango. Tienes que decir: hemos hecho esta búsqueda por este lado y ya por aquí no busquen porque aquí no está. Pero claro, si yo digo: me puse a mirar contraejemplos y no encontré ninguno; decir no encontrar ninguno no es útil. Tienes que expresarlo, tienes que poder presentarlo de alguna forma que puedas descartar algo, o sea, descartar es útil, yo creo; creo que ahí es donde está la clave, que puedas descartar Lo que hacía Erdős era sacar un resultado positivo y decorar el resultado positivo con algunos comentarios de cosas que tenía en mente de otros temas que ese resultado positivo lo había obtenido pensando en contraejemplos y ese tipo de cosas, te las mencionaba en el artículo, te presentaba el resultado Nuevo teorema, no sé qué, que puedo Demostrar. Fíjate que para llegar aquí saqué no sé qué porque estaba pensando en un tal contra ejemplo y no me funcionó porque estaba licuando y después me encontré con esto. No sé si dijimos quién es Erdisch; para nosotros es como famoso, pero quizá déjenme hacer esta nota al bien. ¿Cómo? Sí, sí, que sí, que dilo siempre lo decimos cuando hablamos de Erdisch. Erdisch es el matemático; muchos dicen el más prolífico de la historia. Lo cierto es que es el matemático al menos más prolífico de la historia desde Euler, desde Leonard Euler, que nació en 1707, murió en 1783, siglo XVIII, era un matemático muy famoso que trabajó en Rusia y luego en Alemania; que quedó ciego, al menos de un ojo al principio y luego del otro. Leonard Euler era un celebérrimo matemático que se estima que escribió 800 páginas por año de matemática nueva estamos hablando del siglo XVIII, mucha de la matemática nueva de esa época puede ser para nosotros un poco puerir pero mucha de esas no lo es y son…
Significado #1 · Palabras #1
Francis Villatoro explica por qué existe un interés específico en el problema de la distancia unitaria propuesto por Erdős.
Habla: Francis VillatoroPalabras #12problema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autor…al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de…
Francis Villatoro explica la conjetura de Erdős sobre el número de distancias unitarias entre puntos, indicando que al aumentar 'n' tiende a un valor cercano a uno.
Habla: Francis VillatoroSignificado #12conjetura de erdős número distancias unitariaserdős exponente logaritmo del logaritmo nfrancis villatoro conjetura de erdős…¿por qué no conjeturar eso directamente? Conjeturar que el número de distancias unitarias es n elevado a 1 más un épsilon tendiendo a cero, ¿vale? O sea, básicamente 1 más algo muy pequeño respecto a 1. Esa es la conjetura de este problema, el problema de. La distancia unitaria de Erdős es conjeturar que cuando n tiende a infinito, él tiene un ejemplo que es un ejemplo muy bueno. Muy bueno porque el exponente es uno más, repito, del orden de el uno partido del logaritmo del logaritmo de n. Y entonces conjetura que es uno más, pues algo muy pequeño, algo despreciable, algo que es prácticamente uno, ¿vale? N elevado a uno. Entonces, ¿qué pasó con este problema al que varias veces ha reentrado Erdős en su carrera? Y es que este problema, que parece muy sencillo de describir, se ha ido convirtiendo en un problema rodeado de un cierto aura de que en este campo de…
Francis Villatoro explica la importancia de un ejemplo específico propuesto por Erdős en 1946, destacando su resistencia a mejoras a pesar de los intentos de modificación.
Habla: Francis VillatoroSignificado #3 · Palabras #13ejemplo erdős resistencia a mejorasdistribución puntos artículo erdős 1946orden asintótico erdős logaritmo nlenguaje anticuado artículo erdősconjetura de erdős validez percibidaartículos modernos vs antiguos…nuevas cosas, nuevas maneras de ver este tipo de problemas, y se lo voy a probar con este problema de ERDIS. Entonces es un problema bastante trabajado en el que hay bastantes artículos que se han publicado durante mucho tiempo, y lo que ha permeado el campo. Es que ese ejemplo que nos pone Erdős en 1946 es prácticamente el mejor ejemplo conocido. Se ha tratado en varios artículos de modificar, de perturbar esa distribución de puntos, pero no se ha logrado mejorar ese orden asintótico de 1 partido logaritmo de logaritmo de n que observó Erdős. Es decir, parece como que este ejemplo particular, en el artículo original de Erdős del 46. El artículo hay que leerlo porque tiene un lenguaje muy antiguo; no son como los artículos modernos, pero bueno, se lee fácil y se entiende bien. Entonces eso ha hecho que mucha gente tuviera la sensación de que la conjetura de Erdős era verdadera y los humanos tenemos un gran defecto y es que a veces Sesgamos nuestra investigación en una línea. Cuando una conjetura puede ser verdadera o falsa, si la comunidad cree que es verdadera, tú te enfrentas a tratar de demostrarlo y te enfrentas a un problema imposible. Si la conjetura es falsa, el problema de…
Francis Villatoro explica cómo la inteligencia artificial ha descubierto un contraejemplo formal a la conjetura de Erdős y refuta la conjetura de Ries.
Habla: Francis VillatoroSignificado #2 · Palabras #2conjetura de erdos inteligencia artificialcontraejemplo formal conjetura de riesteorema clasificación ideales expertos…un plató, aparece una barrera. El valor del exponente del número de lados unidad que hay en estos grafos con un número virtualmente infinito de puntos resulta ser n1 más un épsilon muy pequeño. Entonces eso es lo que descubre la inteligencia artificial. Descubre que no es verdad la conjetura de Ries. Descubre un contraejemplo formal. Aquí es una demostración de existencia. Lo que demuestra la inteligencia artificial es que existe al menos un contraejemplo de la conjetura de Erdős. Si tú utilizas un cuerpo con elementos suficientemente grandes y que tenga unas propiedades relativamente clásicas, y para ello todo eso se apoya en un teorema de clasificación de ideales de 1965, que es conocido por todos los expertos que han hecho esto. Todos los expertos que han combinado ambos mundos, que son poquitos, conocían ese resultado. A nadie se le ha ocurrido considerar ese caso. Eso ha llamado enormemente la atención a los matemáticos que trabajan en este área, porque de repente se les ha abierto la mente y han dicho: ¿Cómo? ¿Por qué a nosotros que somos idiotas? ¿Qué nos ha pasado? ¿Por…
Gastón Giribet continúa reflexionando sobre los sesgos en la resolución de problemas matemáticos, comparando la búsqueda de contraejemplos con el comportamiento de un personaje de Star Trek y mencionando al matemático Erdich.
Habla: Gastón GiribetSignificado #6sesgos en resolución problemas matemáticoscontraejemplos señor spoke star trekfalta de emocionalidad mente racional…pues siempre, cuando no tenías ni idea, lo que uno intentaba era buscar contraejemplos, porque si no tengo ni idea de cómo demostrar una cosa, el otro por lo menos es probar y digo: bueno, a ver si encuentro alguna situación en la que esto no se cumpla, ¿no? Así que el sesgo del mal estudiante es el de buscar, refutar, ¿no? Buscar el contraejemplo. Pensé que ibas a agarrar para otro lado, que es, a mí me hace guardar el señor Spoke, el de Star Trek, porque ahí se veía la falta de emocionalidad de una mente racional, si es que se permite este tipo de dicotomía, de esa falsa dicotomía entre las dos cosas, entre lo racional y lo emocional, la falta de emocionalidad ayudaba, no, era como que la emocionalidad resultaba una obstrucción a la hora de pensar racionalmente, ¿no? y el sesgo sobre un matemático famoso como Erdillo, como quien fuera, es emocional, este tipo no puede estar equivocado, ¿Por qué? Estuvo equivocado; no solamente está bien, muchas veces, si lo dice Whitney está bien, si lo dijo Hawking, ese tipo de cosas, bueno, señor Spock; en este caso esta máquina no tendría esos sesgos emocionales; yo me fijo, acá jugó un poco eso me…
Francis Villatoro explica cómo las revistas científicas suelen evitar publicar resultados negativos, especialmente aquellos relacionados con la búsqueda de contraejemplos.
Habla: Francis VillatoroSignificado #5 · Palabras #4revistas científicas evitan resultados negativosbúsqueda de contraejemplos sin éxitoerdős y publicación de resultados…de cuánto importaba ese sesgo en la falta de imaginación para encontrar contraejemplos. Pero en este caso, claramente, la compu. Así que sé yo; aquí en Erzerdich, no me vengas con eso, humano; y tus ídolos. Es la máquina iconoclasta, más que la capaz. En ciencia, en general, la mayor parte de las revistas no publican resultados negativos. Entonces, cuando tú tratas de construir un contraejemplo y no lo logras, no lo puedes publicar. Si tú tratas de buscar un contraejemplo y lo logras, pues publicas el contraejemplo. Pero si no lo logras, ¿qué publicas? Entonces, gente como Erdős tenía, le publicaban casi lo que hiciera; tenía esa costumbre de vez en cuando en un Artículo que va de una cosa metía sus cositas de otras cuestiones que le venían a la cabeza porque era otra manera de hacer matemáticas, muy diferente, ¿no? De todas formas, por aclarar a nuestros oyentes, sí deberían, o sea, en determinadas circunstancias si…
Francis Villatoro explica cómo Erdős solía publicar resultados positivos, complementándolos con comentarios sobre otros temas que le habían inspirado y los contraejemplos que había considerado.
Habla: Francis VillatoroSignificado #1 · Palabras #1resultados negativos en matemáticascontraejemplos sin resultadodescartar hipótesis hector socaserdős publica resultados positivoscontraejemplos inspiran a erdősartículos de erdős incluyen comentariosteoremas nuevos según erdősbúsqueda infructuosa contraejemplo villatoromatemático erdős referencia villatorolicuando resultado demostrable villatoromatemático erdős superó a eulereuler siglo xviii ruso alemánleonard euler ceguera progresiva…tienes que, o sea, para que sea útil tu trabajo y publicable tiene que, o sea, para que sea útil para los demás, tiene que descartar algún cierto rango. Tienes que decir: hemos hecho esta búsqueda por este lado y ya por aquí no busquen porque aquí no está. Pero claro, si yo digo: me puse a mirar contraejemplos y no encontré ninguno; decir no encontrar ninguno no es útil. Tienes que expresarlo, tienes que poder presentarlo de alguna forma que puedas descartar algo, o sea, descartar es útil, yo creo; creo que ahí es donde está la clave, que puedas descartar Lo que hacía Erdős era sacar un resultado positivo y decorar el resultado positivo con algunos comentarios de cosas que tenía en mente de otros temas que ese resultado positivo lo había obtenido pensando en contraejemplos y ese tipo de cosas, te las mencionaba en el artículo, te presentaba el resultado Nuevo teorema, no sé qué, que puedo Demostrar. Fíjate que para llegar aquí saqué no sé qué porque estaba pensando en un tal contra ejemplo y no me funcionó porque estaba licuando y después me encontré con esto. No sé si dijimos quién es Erdisch; para nosotros es como famoso, pero quizá déjenme hacer esta nota al bien. ¿Cómo? Sí, sí, que sí, que dilo siempre lo decimos cuando hablamos de Erdisch. Erdisch es el matemático; muchos dicen el más prolífico de la historia. Lo cierto es que es el matemático al menos más prolífico de la historia desde Euler, desde Leonard Euler, que nació en 1707, murió en 1783, siglo XVIII, era un matemático muy famoso que trabajó en Rusia y luego en Alemania; que quedó ciego, al menos de un ojo al principio y luego del otro. Leonard Euler era un celebérrimo matemático que se estima que escribió 800 páginas por año de matemática nueva estamos hablando del siglo XVIII, mucha de la matemática nueva de esa época puede ser para nosotros un poco puerir pero mucha de esas no lo es y son…