Búsqueda · 33 momentos en 20 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óndemostración en lean por matemáticosfinanciación para revisión de demostracióntrabajo de diego córdobaLeanInstituto CleyFrancis VillatoroDiego CórdobaEspaña
Dos años aceptación demostración
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 extremadamente idiota, con perdón, o sea, es una cosa, no quiero insultar el trabajo de Diego Córdoba, pero es una cosa que tú dices, ¿y esto qué me aporta? ¿Qué me aporta sobre el problema A? Son matemáticos de punta, por supuesto. Lo decimos en el sentido retórico. ¿Qué me aporta el problema A? Gracias por aclararlo, Gastón, que luego los mensajes me llegan a mí. No, claro, claro, o sea, lo decimos en un…
Significado #1 · Palabras #1
Francis Villatoro explica cómo Diego Córdoba, un científico español, demostró entre los años 2000 y 2010 que la interfase entre dos fluidos de densidad constante puede curvarse formando una ola que rompe.
Habla: Francis VillatoroPalabras #6interfase fluidos densidad constanteola que rompe diego córdobainvestigación diego córdoba años 2000…un núcleo singular que se propaga el fluido y genera la singularidad en el fluido. Eso está demostrado hace muchísimo tiempo. Entonces, tanto con contornos como con propiedades físicas que cambian. Por ejemplo, si tengo dos fluidos, un fluido y otro fluido. Diego Córdoba, el español, durante uno de los claves en lo que vamos a hablaros después, como entre el 2000 y el año 2010, se demostró que en la interfase entre dos fluidos de densidad constante, cada uno es de densidad constante, la interfase se puede curvar en ciertas circunstancias formando una especie como de ola que rompe y en el centro de esa ola se genera una singularidad Sí, pero déjame hacer una aclaración en mi defensa nada más, con contorno, me refiero al contorno en el sentido amplio, por ejemplo, no es lo mismo en R3 que en T3, es decir, no es lo mismo pensar en R3 como en un toro y eso también es…
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óndemostración en lean por matemáticosfinanciación para revisión de demostracióntrabajo de diego córdoba…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 extremadamente idiota, con perdón, o sea, es una cosa, no quiero insultar el trabajo de Diego Córdoba, pero es una cosa que tú dices, ¿y esto qué me aporta? ¿Qué me aporta sobre el problema A? Son matemáticos de punta, por supuesto. Lo decimos en el sentido retórico. ¿Qué me aporta el problema A? Gracias por aclararlo, Gastón, que luego los mensajes me llegan a mí. No, claro, claro, o sea, lo decimos en un…