Búsqueda · 29 momentos en 15 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetecuaciones fluidos condiciones suavesdemostrar algo fundamentalresolver ecuaciones en situación determinadaecuaciones de fluidos con condiciones suavessolución se comporta bien francisproblema para matemáticos condición inicialFrancis VillatoroGastón GiribetInteligencia ArtificialCódigo LINteorema de PitágorasHéctor SocasMatemáticos
Demostrar algo fundamental
Con
0:000:301:001:302:002:303:003:31
Héctor Socas aclara a los oyentes que el objetivo del problema no es resolver ecuaciones de fluidos con condiciones suaves, sino demostrar algo más fundamental.
…se comporta un fluido cuando comienza comportándose bien. La misma ecuación que gobierna la dinámica de un fluido puede hacer que de repente en algún tiempo finito se comporte mal: ese es el problema del milenio. En general, el problema del milenio se llamó Déjame incidir en una cosa para los oyentes, que como clarificación, no se trata de decir: voy a resolver estas ecuaciones en una determinada situación en la que le pongo un fluido en unas condiciones suaves y voy a resolverlo, no; se trata de demostrar. No es que yo diga: ah pues sí, yo lo resolví para estas condiciones y me salió que todo iba bien, no; no tienes que Demostrar que siempre, para cualquier condición que pongas, cualquier condición inicial que pongas, aquello se va a seguir comportando bien. Claro, pero eso es un problema para matemáticos, ¿no? O sea, gente como Francis se dedica a esas cosas, que son mucho más complicadas que el problema. Resolver esas situaciones es complicado, pero siempre las estarás resolviendo en unas condiciones particulares. Pero esto es que para cualquier, que puedas demostrar que para cualquier, da igual lo que tú le pongas de entrada, se va a comportar bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El…
Significado #1 · Palabras #2
Héctor Socas aclara a los oyentes que el objetivo del problema no es resolver ecuaciones de fluidos con condiciones suaves, sino demostrar algo más fundamental.
Habla: Héctor SocasSignificado #1 · Palabras #2ecuaciones fluidos condiciones suavesdemostrar algo fundamentalresolver ecuaciones en situación determinadaecuaciones de fluidos con condiciones suavessolución se comporta bien francisproblema para matemáticos condición inicial…se comporta un fluido cuando comienza comportándose bien. La misma ecuación que gobierna la dinámica de un fluido puede hacer que de repente en algún tiempo finito se comporte mal: ese es el problema del milenio. En general, el problema del milenio se llamó Déjame incidir en una cosa para los oyentes, que como clarificación, no se trata de decir: voy a resolver estas ecuaciones en una determinada situación en la que le pongo un fluido en unas condiciones suaves y voy a resolverlo, no; se trata de demostrar. No es que yo diga: ah pues sí, yo lo resolví para estas condiciones y me salió que todo iba bien, no; no tienes que Demostrar que siempre, para cualquier condición que pongas, cualquier condición inicial que pongas, aquello se va a seguir comportando bien. Claro, pero eso es un problema para matemáticos, ¿no? O sea, gente como Francis se dedica a esas cosas, que son mucho más complicadas que el problema. Resolver esas situaciones es complicado, pero siempre las estarás resolviendo en unas condiciones particulares. Pero esto es que para cualquier, que puedas demostrar que para cualquier, da igual lo que tú le pongas de entrada, se va a comportar bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El…
Héctor Socas y Gastón Giribet discuten la dificultad relativa de demostrar algo frente a buscar un contraejemplo en matemáticas, especialmente para estudiantes.
Habla: Héctor SocasSignificado #10 · Palabras #18buscar contraejemplo teorema pitágorasdemostrar algo es difícilcontraejemplo más fácil que demostrar…un teorema, y tú tenías que o bien dar una demostración o buscar un contraejemplo. Es eso, es eso lo único que el estudiante, acá es toda la comunidad matemática pero la gracia del asunto es que por lo menos nosotros siempre nos parecía, cuando no tienes. ni idea, demostrar algo es muy difícil y parecía más fácil buscar un contraejemplo y siempre empezaba uno intentando buscar contraejemplo y lo gracioso de esto es que al final parece que buscar contraejemplo ha sido más fácil que demostrar es que si vos sos docente, sos una muy mala persona, si le pedís a un estudiante, demuestre o busque un contraejemplo y la respuesta es que no hay ningún contraejemplo, es como, no sé, no sos docente Es como buscar un contraejemplo al teorema de Pitágoras, ¿no? Te puedes tirar un rato largo Inténtalo, ¿no? Inténtalo La idea es que hace más de 25 años la Klein Mathematical, ¿cómo se llama? Society Instituto Klein de Matemáticas Instituto, eso, claro, CMI El Instituto Klein de Matemáticas propuso una serie de problemas, siete si no recuerdo mal en los cuales algunos están…
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 #3demostració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óndemostración matemática chirríainteligencia artificial para humanoscódigo lin validadodemostración matemática revisada por matemáticoscódigo lin necesita revisión detalladadocumento de 166 páginas con inconsistencias…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 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…