Búsqueda · 38 momentos en 16 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetdemostración matemática necesita revisiónmatemático reformula demostracióncomprensión de la demostración por matemáticosreescritura para otros matemáticosfalta humanidad en demostraciónFrancis VillatoroLevent AlpoguéGastón GiribetTristan BuckmasterEspañaEstados UnidosCódigo LINMatemáticosInteligencia ArtificialGrigori PerelmanAndrew WeilPhil MedalEfecto StreisandHéctor SocasERCComisión Europea
Reescritura para otros Matemáticos
Con
0:000:301:001:302:002:303:003:31
Francis Villatoro reflexiona sobre una demostración matemática, expresando la necesidad de que un matemático la revise y reformule para facilitar su comprensión a otros profesionales del campo.
…en este problema, pero como eso es irrelevante para el desarrollo de la demostración, te pones en las ecuaciones del perfil y te dice, pero yo tengo un perfil. Y ya está, punto, pelota. ¿Cuál? El primero, cualquiera de ellos sirve. ¿Cualquiera de ellos sirve? Son ese tipo de cosas que cuando lo vas leyendo te van dando una sensación como me falta algo, me falta que un matemático lo dijera es decir, esta demostración matemática, la parte matemática estrictamente requiere que un matemático o un grupo de matemáticos entienda lo que ha ocurrido y lo reescriba para que otros matemáticos lo entendamos Le falta humanidad Y después hay otro punto importante: hay varios lugares en los que la demostración chirría. A mí me chirría. Yo le dije, “No, no, esto no está bien demostrado”. Aquí falla algo. Hay varios puntos en los que te quedas con la duda. Pero después dices, “Ah, pero…
Significado #1 · Palabras #1
Gastón Giribet continúa la discusión sobre la motivación detrás de la resolución de problemas matemáticos complejos, comparando la fama obtenida por Grigori Perelman con la de otros matemáticos reconocidos.
Habla: Gastón GiribetPalabras #16fama de grigori perelmanphil medal andrew weilefecto streisand perelman…te doy el doble, pero no le digo a nadie que fuiste vos, o no te doy la plata, pero te doy el crédito de haberlo hecho, no hay duda de que ninguna de estas personas, porque son personas que se dedicaron su vida a hacer algo que no les iba a dar mucha guita. Eso es importante también Sí, sí, pero bueno, pero no hay que elegir Bueno, hay que elegir para algunas personas Perelman es más famoso que cualquier otro matemático que haya ganado la Phil Medal Salmo, Salmo, Andrew Weil o alguno de esos Al final el tipo no pudo escapar de su fama, le sacan fotos todo el tiempo en el metro Se hizo un efecto Streisand, ¿no? ¿No se llamaba así? Bueno, pues adelante Francis, cuéntanos un poco. Quizás hay que aclarar un par de cositas de lo que ha dicho Gastón, que creo que son relevantes. En el problema del milenio se plantea el problema de valores iniciales de las ecuaciones de Navier Stokes. ¿Eso…
Francis Villatoro, junto con Héctor Socas, reflexiona sobre la financiación de proyectos matemáticos, contrastándola con el apoyo a equipos experimentales y destacando la peculiaridad de asignar grandes sumas a investigadores que trabajan principalmente con lápiz y papel.
Habla: Francis VillatoroSignificado #16financiación proyectos matemáticosmatemático lápiz y papelapoyo equipos experimentalespublicaciones pesos matemáticos…dos cosas, siendo como es la ERC una beca muy prestigiosa y una especie de respaldo, de sello de autoridad que te pone la Comisión Europea a decir: “estoy usted haciendo un trabajo espectacular, tenga usted este dinero para montar su equipo de investigación”. Y recordemos una cosa muy importante: un matemático que trabaja con lápiz y papel, ¿vale? O sea, que no estamos hablando de un equipo experimental que tiene que montar un laboratorio, solo tiene que contratar gente, viajar a congresos y gastarse el dinero en publicaciones o pesos. Eso me sorprende, o sea, ¿cómo sacas un proyecto por esa cantidad para trabajar en matemática analítica cuando efectivamente es lo que dices tú? Tú tienes que justificar para qué es ese dinero y tiene que ser, pues eso, contratar gente, no sé, comprarte un ordenador si acaso y Viajes a Congresos. No es tanta plata para tres años de trabajo; vos tenés que pagarle el sueldo a los postdocs, tenés que ir…
Francis Villatoro explica que la solución propuesta presenta límites moleculares y otros límites físicos, aunque se trata de una construcción matemática.
Habla: Francis VillatoroPalabras #14límites moleculares según gastónfluido deja de ser físicoconstrucción matemática con límites físicos…pequeña; pero esos paquetes, su frecuencia, su frecuencia se hace tender a infinito. Estoy metiendo infinitos paquetes en infinitas ocasiones; voy metiendo energía en el sistema y además de frecuencia tendiente infinito eso físicamente es imposible en física. Tenemos límites, lo que comentaba Gastón. Hay un límite molecular, hay una serie de límites en los que el fluido deja de ser un fluido físico. Esto es matemática; aquí no estamos hablando de física, pero todo esto tiene un mecanismo físico subyacente, un mecanismo muy curioso porque el punto. Clave es ese fenómeno de que la cizalla del fluido, el hecho de que esos paquetitos se alejan en la región anular que rodea al vórtice del núcleo, se alejan y en ese alejamiento por cizalla van generando aumento angular. Ese es un mecanismo en el que…
Francis Villatoro reflexiona sobre una demostración matemática, expresando la necesidad de que un matemático la revise y reformule para facilitar su comprensión a otros profesionales del campo.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostración matemática necesita revisiónmatemático reformula demostracióncomprensión de la demostración por matemáticosreescritura para otros matemáticosfalta humanidad en demostración…en este problema, pero como eso es irrelevante para el desarrollo de la demostración, te pones en las ecuaciones del perfil y te dice, pero yo tengo un perfil. Y ya está, punto, pelota. ¿Cuál? El primero, cualquiera de ellos sirve. ¿Cualquiera de ellos sirve? Son ese tipo de cosas que cuando lo vas leyendo te van dando una sensación como me falta algo, me falta que un matemático lo dijera es decir, esta demostración matemática, la parte matemática estrictamente requiere que un matemático o un grupo de matemáticos entienda lo que ha ocurrido y lo reescriba para que otros matemáticos lo entendamos Le falta humanidad Y después hay otro punto importante: hay varios lugares en los que la demostración chirría. A mí me chirría. Yo le dije, “No, no, esto no está bien demostrado”. Aquí falla algo. Hay varios puntos en los que te quedas con la duda. Pero después dices, “Ah, pero…
Francis Villatoro explica que la demostración matemática generada por inteligencia artificial necesita ser revisada a fondo por un grupo de matemáticos.
Habla: Francis VillatoroSignificado #14demostración matemática revisada por matemáticoscódigo lin necesita revisión detalladadocumento de 166 páginas con inconsistencias…Aquí falla algo. Hay varios puntos en los que te quedas con la duda. Pero después dices, “Ah, pero es que este es el documento en PDF que la inteligencia artificial ha generado para los pobres humanos”, en realidad el código LIN que ha sido validado no. Debe de incluir este problema y tiene que aclararlo, ¿vale? O sea, yo no me he puesto a leer el código LIN, o sea, lo que pide esta demostración a gritos es que alguien, un grupo de matemáticos, se lea el código LIN en todo detalle y seguramente descubrirá que hay varios puntos en el documento que tenemos de 166 páginas que son mentiras porque chirrían, o sea, son cosas que tú dices, no me lo creo, no me. Lo creo. La intuición matemática, pero claro, uno siempre piensa que en el Lean tiene que estar bien. Ahí hay que mirarlo, hay que ver exactamente en esos puntos qué es lo que está pasando y ver cómo en el Lean lo resuelve, que seguramente lo resolverá. Yo no…
Gastón Giribet menciona a Levent Alpogué y su colaboración con otros investigadores en una universidad específica, siguiendo la línea de investigación iniciada por matemáticos españoles.
Habla: Héctor SocasPalabras #11colaboración levent alpogué investigadoresmatemáticas españolas vía ataquetrabajos seminales matemáticos españoles…de ataque a este problema, todo el mundo reconoce su contribución, ellos están ahí, de hecho, incluso luego los otros par de investigadores, muy importantes, Tristan Buckmaster, hemos hablado aquí; este es australiano, que creo que trabaja contigo, Gastón. En otra universidad, en otro departamento de matemáticos. Sí, contigo quiero decir en la misma universidad. Y Levent Alpogué, que es turco-estadounidense, y entre los dos, siguiendo un poco esa vía de ataque que habían abierto estos matemáticos españoles, ellos habían hecho un avance. Dándoles todo el crédito al trabajo de los españoles como trabajos seminales de esta línea de investigación. Ahí no está la controversia. De hecho, Buckmaster decía que debían darle la medalla Fields a Diego Córdoba. Diego Cotoba ya tiene cincuenta y tantos, 53 o 55; igual ellos dicen, reconocen que el gran aporte es el de Diego, no hay duda de eso. Y ellos lo que…