Búsqueda · 27 momentos en 22 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetdemostración matemática con leaninstituto cley revisión científicados años aceptación demostraciónLeanInstituto CleyFrancis VillatoroInstituto ClayGrigori PerelmanTristan BookmasterCurant InstituteUniversidad de Nueva YorkInstituto Klein de MatemáticasGastón GiribetNavier StokesFefferman
Instituto Cley
Con
0:000:301:001:302:002:303:003:31
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.
…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…
Significado #1 · Palabras #1
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 #18problemas 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…
Gastón Giribet explica que el Instituto Clay incluyó un problema complejo en una serie de desafíos conocidos como 'Problemas del Milenio', destacando que solo uno ha sido resuelto hasta la fecha.
Habla: Gastón GiribetPalabras #13problemas del milenio instituto clayperelman resolvió problema del mileniotristan bookmaster curant institutedepartamento matemática universidad nueva york…de contorno, si encuentran un contraejemplo y parten de que el fluido se comporta bien, pero la evolución temporal lo lleva a que de repente explota, entonces eso se alcanza como contraejemplo. No me importa si este caso tiene o no aplicación física. Entonces, es un problema muy muy complejo, el Instituto Clay lo incluyó en una serie de problemas Los problemas del milenio son problemas que no fueron resolucionados hasta ahora, salvo uno Que es aquel que resolvió Perelman en el año 2002, circa, porque es una serie de trabajos Y luego otra gente que publicó los trabajos de él de manera más prolija Que también estaba en el Current Institute acá, donde uno de los personajes de los que luego entrarán en la historia de la controversia trabaja Tristan Bookmaster, pero Perelman estaba visitando el Curant Institute, el Departamento de Matemática de la Universidad de Nueva York y él resolvió en ese momento uno de los problemas del milenio, el único que ha sido resuelto hasta ahora. El único que ha sido resuelto hasta ahora, los que resuelven el problema del milenio ganan un millón de dólares, Perelman rechazó el millón de dólares y como era menor de 40 años también se le ofreció la medalla Field, porque la medalla Field te la dan, si…
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 VillatoroSignificado #1 · Palabras #1demostració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…