Búsqueda · 24 momentos en 14 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetrevistas científicas evitan resultados negativosbúsqueda de contraejemplos sin éxitoerdős y publicación de resultadosErdősFrancis VillatoroRedes socialesMatemáticosHéctor SocasStar TrekSpokeGastón GiribetPlanetaconjetura de Erdősconjetura de Ries
Búsqueda infructuosa contraejemplo villatoro
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20264 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica cómo las revistas científicas suelen evitar publicar resultados negativos, especialmente aquellos relacionados con la búsqueda de contraejemplos.
…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…
Significado #12 · Palabras #1
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 #9 · Palabras #8conjetura 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…
Héctor Socas describe una estrategia común entre estudiantes cuando enfrentan problemas matemáticos difíciles, especialmente aquellos que requieren demostración o búsqueda de contraejemplos.
Habla: Héctor SocasSignificado #13 · Palabras #4estudiantes buscan contraejemplos matemáticosproblemas matemáticos requieren demostraciónestrategia de estudiantes héctor socassesgos en resolución problemas matemáticoscontraejemplos señor spoke star trekfalta de emocionalidad mente racional…Lo del sesgo con el que afrontamos estos problemas me recuerda a ese mismo sesgo que teníamos en la carrera, en las asignaturas de matemáticas, típicamente la pregunta de examen era, te daban una proposición y te decían, ¿demostrar o buscar un contraejemplo? Y siempre cuando uno no sabía, 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 #12 · Palabras #1revistas 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 llegó a un resultado demostrable gracias a la búsqueda infructuosa de un contraejemplo, y menciona al matemático Erdős.
Habla: Francis VillatoroSignificado #1búsqueda de planetas sin resultadospublicación de resultados negativos matemáticassupersimetría bajo tal energíabúsqueda de contraejemplos matemáticospublicación de búsquedas activastrabajo publicable descartar rangoredes sociales matemáticosresultados 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 villatoro…matemáticas, muy diferente, ¿no? De todas formas, por aclarar a nuestros oyentes, sí deberían, o sea, en determinadas circunstancias si son publicables resultados negativos y es positivo que se publiquen porque ayuda a guiar a los que vengan detrás, ¿no? No sé, si estás buscando un planeta haces una búsqueda y no lo encuentras, pues está bien que lo publiques si esa búsqueda tiene algo de novedoso, claro. Si estás repitiendo cosas de hecho no hay supersimetría bajo tal energía también claro, exacto, exacto pero yo digo que cuesta mucho más trabajo, que es mucho más difícil, mucho menos atractivo entonces. Ahora parece que han salido, por redes sociales; ha habido 4 o 5 matemáticos han empezado a decir: nosotros sí estábamos buscando contraejemplos, lo intentamos pero claro, como no salió, pues no lo publicamos, ¿no? Como diciendo realmente búsquedas activas de contraejemplos publicadas no ha habido. Claro, pero es diferente porque 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…