Búsqueda · 22 momentos en 13 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetálgebra de cuerpos erdősnúmeros enteros anillo matemáticonúmeros racionales cuerpo matemáticodivisión en números racionalescuerpos matemáticos con números racionaleseuler y cuerpos de números algebraicosraíz cuadrada de 2 en cuerposnúmeros primos relativos entre sícuerpos matemáticos soluciones ecuaciónsoluciones racionales reales limitadafrancis villatoro cuerpos matemáticoscuerpos cm complexificación multiplicaciónunidad imaginaria en cuerpos cmraíz cuadrada de tres cuerpos cmexpresión irracional cuerpos cmmultiplicidad de soluciones cuerpos matemáticospropiedades algebraicas cuerposestimación cantidad de solucionesEulerRaíz cuadrada de 2Francis VillatoroNúmeros EnterosAnilloCuerpoNúmeros RacionalesErdősx al cuadrado más y cuadrado igual a 1Star TrekSpokeGastón Giribetx² + y² = 1Teoría de cuerposNúmero primoIdealDimensiónCardinalidadOpenAIGPT 5.6 Procuerpos CMraíz cuadrada de 3raíz cuadrada de 21Inteligencia Artificial
Números Racionales cuerpo Matemático
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 se pueden construir cuerpos matemáticos utilizando pares, tríos o tuplas de números racionales, haciendo referencia a trabajos anteriores de Euler.
…cuadrado O sea tienes que resolver la ecuación algebraica x al cuadrado más y al cuadrado igual a 1 En apariencia es una ecuación fácil de resolver en el plano pero la idea que usa Erdős y que otros matemáticos han tratado también de explotar es ¿por qué no ¿Uso un cuerpo de números racionales? Fijaros que los números enteros forman un anillo, yo puedo sumarlos y multiplicarlos pero no puedo dividir; si yo divido me salgo fuera de los enteros. Pero los racionales, que son cocientes de enteros, forman un cuerpo. Yo puedo dividirlo, obviamente no puedo dividir por cero, pero salvo dividir por cero, yo puedo sumar, restar, multiplicar y dividir números racionales. Una cosa que yo puedo hacer para construir un cuerpo es considerar pares o tríos o tuplas con varios números racionales, por ejemplo, los cuerpos de números algebraicos que ya introdujo en su momento Euler hace siglos Las parejitas, por ejemplo, x más y por la raíz cuadrada de 2. Esos números, si x y y son racionales, forman un cuerpo. Y yo puedo utilizar, por ejemplo, raíces cuadradas de números primos. yo puedo tomar, pongamos cuatro números primos, el 3, el 5, vamos a poner un número que sea mi primo, el 15 y el 21, tomo estos cuatro números que son primos relativos entre sí y puedo construir los números A más B por la raíz cuadrada de 3 más C por la raíz cuadrada de 5 más D por la raíz cuadrada del 15 más E por la raíz cuadrada del 21, ¿vale? Si son los mismos cuatro números que yo dije. Este tipo de construcción nos permite obtener un cuerpo en el que yo puedo trabajar teniendo muchas soluciones de la ecuación x al cuadrado más y cuadrado igual a 1. Porque esa creación en los racionales y en los reales tiene solamente dos soluciones, el 1 y el menos 1. El 1 y el menos 1 elevado al cuadrado me da 1 y son dos soluciones. Pero en un cuerpo Así extendido, estos cuerpos se llaman cuerpos CM. Se refiere básicamente a una especie de complexificación por multiplicación. Es decir, yo estoy usando la multiplicación compleja que utilizo con la unidad imaginaria, pero no la estoy usando con la unidad imaginaria; la estoy usando con una expresión irracional como puede ser la raíz cuadrada de 3 o como puede ser la raíz cuadrada de 21. entonces, usando ese tipo de cuerpos lo que se observa es que yo tengo una multiplicidad de soluciones de la ecuación x al cuadrado más y al cuadrado igual a 1, y esa multiplicidad de soluciones me permite aprovechar propiedades estrictamente algebraicas de los cuerpos para determinar una estimación de la cantidad de soluciones que yo tengo, que multiplicado por el número de puntos me dará la cantidad de posibles, el número máximo de distancias unitarias que yo tengo en mi problema. Es decir, yo puedo formular un problema puramente geométrico, de geometría combinatoria; lo puedo formular con un problema puramente algebraico y entonces esa aproximación ha sido propuesta ya en varios artículos y se han hecho cosas pero en la línea de…
Significado #1 · Palabras #1
Francis Villatoro explica cómo se pueden construir cuerpos matemáticos utilizando pares, tríos o tuplas de números racionales, haciendo referencia a trabajos anteriores de Euler.
Habla: Francis VillatoroSignificado #1 · Palabras #1álgebra de cuerpos erdősnúmeros enteros anillo matemáticonúmeros racionales cuerpo matemáticodivisión en números racionalescuerpos matemáticos con números racionaleseuler y cuerpos de números algebraicosraíz cuadrada de 2 en cuerposnúmeros primos relativos entre sícuerpos matemáticos soluciones ecuaciónsoluciones racionales reales limitadafrancis villatoro cuerpos matemáticoscuerpos cm complexificación multiplicaciónunidad imaginaria en cuerpos cmraíz cuadrada de tres cuerpos cmexpresión irracional cuerpos cmmultiplicidad de soluciones cuerpos matemáticospropiedades algebraicas cuerposestimación cantidad de soluciones…cuadrado O sea tienes que resolver la ecuación algebraica x al cuadrado más y al cuadrado igual a 1 En apariencia es una ecuación fácil de resolver en el plano pero la idea que usa Erdős y que otros matemáticos han tratado también de explotar es ¿por qué no ¿Uso un cuerpo de números racionales? Fijaros que los números enteros forman un anillo, yo puedo sumarlos y multiplicarlos pero no puedo dividir; si yo divido me salgo fuera de los enteros. Pero los racionales, que son cocientes de enteros, forman un cuerpo. Yo puedo dividirlo, obviamente no puedo dividir por cero, pero salvo dividir por cero, yo puedo sumar, restar, multiplicar y dividir números racionales. Una cosa que yo puedo hacer para construir un cuerpo es considerar pares o tríos o tuplas con varios números racionales, por ejemplo, los cuerpos de números algebraicos que ya introdujo en su momento Euler hace siglos Las parejitas, por ejemplo, x más y por la raíz cuadrada de 2. Esos números, si x y y son racionales, forman un cuerpo. Y yo puedo utilizar, por ejemplo, raíces cuadradas de números primos. yo puedo tomar, pongamos cuatro números primos, el 3, el 5, vamos a poner un número que sea mi primo, el 15 y el 21, tomo estos cuatro números que son primos relativos entre sí y puedo construir los números A más B por la raíz cuadrada de 3 más C por la raíz cuadrada de 5 más D por la raíz cuadrada del 15 más E por la raíz cuadrada del 21, ¿vale? Si son los mismos cuatro números que yo dije. Este tipo de construcción nos permite obtener un cuerpo en el que yo puedo trabajar teniendo muchas soluciones de la ecuación x al cuadrado más y cuadrado igual a 1. Porque esa creación en los racionales y en los reales tiene solamente dos soluciones, el 1 y el menos 1. El 1 y el menos 1 elevado al cuadrado me da 1 y son dos soluciones. Pero en un cuerpo Así extendido, estos cuerpos se llaman cuerpos CM. Se refiere básicamente a una especie de complexificación por multiplicación. Es decir, yo estoy usando la multiplicación compleja que utilizo con la unidad imaginaria, pero no la estoy usando con la unidad imaginaria; la estoy usando con una expresión irracional como puede ser la raíz cuadrada de 3 o como puede ser la raíz cuadrada de 21. entonces, usando ese tipo de cuerpos lo que se observa es que yo tengo una multiplicidad de soluciones de la ecuación x al cuadrado más y al cuadrado igual a 1, y esa multiplicidad de soluciones me permite aprovechar propiedades estrictamente algebraicas de los cuerpos para determinar una estimación de la cantidad de soluciones que yo tengo, que multiplicado por el número de puntos me dará la cantidad de posibles, el número máximo de distancias unitarias que yo tengo en mi problema. Es decir, yo puedo formular un problema puramente geométrico, de geometría combinatoria; lo puedo formular con un problema puramente algebraico y entonces esa aproximación ha sido propuesta ya en varios artículos y se han hecho cosas pero en la línea de…
Francis Villatoro explica cómo se pueden utilizar teoremas relacionados con ideales en cuerpos para estimar soluciones a un problema.
Habla: Francis VillatoroSignificado #17ideales representando distancias unitariasteoremas para contar elementos idealesfactorización de cuerpos no principalestraslación al mundo algebraico cuerpos…los humanos estaban haciendo era utilizar esta estructura algebraica que extiende los puntos que están en el plano y los convierte en una especie de objetos abstractos que se encuentran en un cuerpo. Estos cuerpos se pueden factorizar en ideales y se puede Hacer que haya unos ideales que representen, entre comillas, el número de distancias unitarias que tengo en mi problema. Entonces, puedo utilizar teoremas que me cuentan cuántos elementos tienen los ideales, que no necesariamente son principales; muchos de ellos no son ideales principales que factorizan ese cuerpo, me permiten estimar este problema. Es decir, puedo hacer una especie de traslación al mundo algebraico de los cuerpos, de la teoría de cuerpos. La teoría de cuerpos para la gente joven que no está viendo es una cosa súper desconocida, pero para la gente que tiene mi edad o la de Héctor, pues lo estudiamos en EGB. En EGB nos obligaron a estudiar lo que era un cuerpo, lo que era un grupo, semigrupo,…
Francis Villatoro explica cómo el uso de cuerpos adecuados con números primos enormes permite reducir una constante en un problema, pero se encuentra una barrera o 'plató' en el proceso.
Habla: Francis VillatoroSignificado #6 · Palabras #19inteligencia artificial sorprende matemáticosgeometría combinatoria álgebra de cuerposproblema específico técnica inteligencia artificialartículos famosos publicados líneainteligencia artificial sorprende a matemáticosteoremas propiedades descomposiciones cuerposperturbación de cuerpos unidadesnúmeros primos con cientos de dígitosteoremas de la teoría de cuerposcuerpos adecuados números primos erdősconstante problema erdős barrera platónúmero de lados unidad grafosinteligencia artificial exponente n1 epsilon…que tienen ahora; cuando lo saquen, no sé, lo sacarán en un mes o tres meses o cuatro meses; harán algo mejor, pero esto es lo que en el futuro será el 5.6 Pro. Lo han aplicado a este problema, pero de hecho lo han aplicado a todos los formas de disk, ¿vale? Y en este programa en concreto la inteligencia artificial ha ofrecido una solución que ha dejado alucinados a todos los matemáticos. En lugar de utilizar el camino que los pocos matemáticos que estaban trabajando con este tipo de técnica, porque recuerdo, hay que ser experto en geometría combinatoria y hay que ser experto en álgebra de cuerpos, que eso no todo el mundo lo es, pero los que han usado estas herramientas, que hay varios artículos famosos publicados en esa línea, habían atacado el problema desde el punto de vista perturbo los puntos y fijo el cuerpo y lo que se Le ocurre de manera sorprendente a la inteligencia artificial es hacer lo contrario. Hay teoremas que me hablan de las propiedades de las descomposiciones de cuerpos de forma genérica y yo puedo perturbar los cuerpos, no considerar cuerpos cuyas unidades. Yo os he contado el caso de creo que era 3, 5, 15, 21. Pues imaginar cuerpos que tienen ese elemento de base, pues Un número muy grande. Pero no solo un número muy grande, sino que esos números son muy grandes. Son números enormes. Un número primo de 200 dígitos y otro número primo de 300 dígitos. No importa porque los teoremas de la teoría de cuerpos que me permiten calcular la dimensión, el número, la cardinalidad de estos ideales, no les preocupa qué tamaño tengan los primos. Pero a la hora de calcular el numerito resulta que usando cuerpos adecuados de enorme contenido, contenidos son números primos enormes o coprimos enormes, se logra rebajar la constante del problema de Erdős, pero aparece 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…
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 GiribetPalabras #4sesgos 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…