Búsqueda · 32 momentos en 15 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetcomunidad matemática averstockcondición inicial suave fluido suavepremio del milenio averstocksingularidades en fluidos averstockproblema fefferman formulacion cequipo diego córdoba averstockAverstockFrancis VillatoroPremio del MilenioDiego CórdobaFormulación AHéctor SocasLeanInstituto CleyInstituto Klein de MatemáticasGastón GiribetNavier StokesFefferman
Comunidad matemática averstock
Con
0:000:301:001:302:002:303:003:31
Francis Villatoro explica cómo la percepción sobre una formulación específica para el Premio del Milenio cambió alrededor del año 2010 dentro de la comunidad matemática que trabaja en Averstock.
…la leyó en 1998, y estamos hablando de que esto lo propuso en el año 2000 para el Premio del Milenio, cuando lo invitaron a hacer la formulación. Este camino no había sido muy explorado; mucha gente había pensado que era un camino tramposo y que tenía más espinas de lo que parecía, pero alrededor del año 2010 fue cambiando la comunidad de matemáticos que trabajan en Averstock, que es un poco la sensación, y mucha gente empezó a pensar que realmente la idea original de que condición inicial suave conduce a fluido suave siempre, en todo tiempo. no era correcta y que puede haber fluidos que generen singularidades y eso cambia el foco y ahora la gente ya no se concentra en el problema A, en la formulación A, sino en la formulación C y uno de ellos pues el propio equipo de Diego Córdoba, entonces ellos Atacaron básicamente con esta idea: la idea de yo inyecto una solución, meto, genero automáticamente un forzamiento, utilizo ese forzamiento para perturbar la solución que he obtenido, esa solución perturbada me vuelve a generar un nuevo forzamiento que me…
Significado #1 · Palabras #1
Héctor Socas recuerda una experiencia común durante sus estudios de matemáticas: la necesidad de demostrar un teorema o buscar un contraejemplo en exámenes y problemas de clase.
Habla: Héctor SocasSignificado #15 · Palabras #6demostrar teorema en matemáticascontraejemplo en problemas de claseproposición teorema exámenes matemáticas…ver que, habiendo comenzado comportándose bien el fluido en un tiempo finito, en tiempo finito, puede ser largo pero finito, se comporta enfermamente. Es decir, alguna cantidad física relevante, la energía, el flujo de velocidad, lo que fuera, diverge. Bueno, Este es un problema. Hay una cosa curiosa, yo no sé si ustedes tenían esa experiencia, pero recuerdo cuando estaban en la carrera, en las asignaturas de matemáticas era muy habitual un problema, en los exámenes o en problemas de clase, que tenías que demostrar o buscar un contraejemplo. Te daban una proposición, a lo mejor 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…
Gastón Giribet explica que el Instituto Klein de Matemáticas propuso una serie de problemas hace más de 25 años, algunos relacionados con la física debido a su conexión con ecuaciones físicas.
Habla: Gastón GiribetPalabras #10problemas instituto klein matemáticasecuaciones navier stokes físicaderivadas en ecuaciones físicasmotivación problemas matemática física…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 muy relacionados con la física no porque el problema en sí sea físico, el problema es de matemática, pero bueno, de ecuaciones que tienen que ver con la física que vienen de ahí porque uno podría inventarse cualquier ecuación a hacerse estas preguntas, ¿no? Por ejemplo, podría complicar la ecuación de Unanivestock poniendo otro término más complicado con tres derivadas sería más inasequible el problema, pero también más irrelevante, porque los fluidos no tienen ese término entonces hay como una comunicación entre física y matemática aquí, pero solo en la motivación del problema El problema es un problema de matemática, es probar o buscar un contraejemplo, y es muy complicado, por ejemplo, cualquier Físico aprende en la carrera la ecuación de Navier-Stokes, o la vio alguna vez; pero agarras uno de estos papers y es imposible leerlos, o sea, incluso para mis amigos expertos en fluidos como físicos, no podrían entender estos papers. Ellos dirían que…
Francis Villatoro explica cómo la percepción sobre una formulación específica para el Premio del Milenio cambió alrededor del año 2010 dentro de la comunidad matemática que trabaja en Averstock.
Habla: Francis VillatoroSignificado #1 · Palabras #1comunidad matemática averstockcondición inicial suave fluido suavepremio del milenio averstocksingularidades en fluidos averstockproblema fefferman formulacion cequipo diego córdoba averstock…la leyó en 1998, y estamos hablando de que esto lo propuso en el año 2000 para el Premio del Milenio, cuando lo invitaron a hacer la formulación. Este camino no había sido muy explorado; mucha gente había pensado que era un camino tramposo y que tenía más espinas de lo que parecía, pero alrededor del año 2010 fue cambiando la comunidad de matemáticos que trabajan en Averstock, que es un poco la sensación, y mucha gente empezó a pensar que realmente la idea original de que condición inicial suave conduce a fluido suave siempre, en todo tiempo. no era correcta y que puede haber fluidos que generen singularidades y eso cambia el foco y ahora la gente ya no se concentra en el problema A, en la formulación A, sino en la formulación C y uno de ellos pues el propio equipo de Diego Córdoba, entonces ellos Atacaron básicamente con esta idea: la idea de yo inyecto una solución, meto, genero automáticamente un forzamiento, utilizo ese forzamiento para perturbar la solución que he obtenido, esa solución perturbada me vuelve a generar un nuevo forzamiento que me…
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 #9 · Palabras #18demostració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 expresa su escepticismo inicial sobre una demostración matemática generada con Lean, pero admite que podría ser correcta y que el Instituto Cley probablemente exigirá un período de revisión por la comunidad científica.
Habla: Francis VillatoroPalabras #9demostración matemática con leaninstituto cley revisión científicados años aceptación demostración…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 niego que la demostración sea correcta. Así que este trabajo, probablemente el Instituto Cley exige dos años de aceptación de la demostración por toda la comunidad; probablemente ahora empiecen a contar los dos años y habrá muchos grupos de matemáticos que serán financiados y algunos con mucho dinero para poder verificar esa demostración en Lean y redactar esta demostración y cuando la veamos bonita será mucho más sencilla y mucho más natural, pero aún así la idea es…