Búsqueda · 32 momentos en 20 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetmillones de casos teorema colorescódigo terrible teorema coloresFrancis Villatoro
Millones de casos teorema colores
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro comenta sobre una demostración manual del teorema de los cuatro colores, destacando su extensión considerable y la complejidad del código utilizado.
…ad hoc que sepa matemáticas, a mí me parece lícita. Mientras que la otra siempre te queda, como decía Héctor, pero ¿no se les habrá olvidado el caso del subcaso del tercer caso? Sí, el problema más famoso es el de los cuatro colores, todavía no tenemos. Una demostración a mano del teorema de los cuatro colores. Es verdad, ¿cuántas hojas tenía eso? Era increíble. El código era terrible, o sea, es una cosa absolutamente... no recuerdo el número de casos, pero eran millones de casos que había que estudiar uno a uno y se estudiaban por ordenador, con una serie de propiedades que tenían que cumplir, entonces cada caso había que estudiarlo y siempre estaba con la duda de si se ha dejado algún caso. Acababa obteniéndose una prueba con ese tipo de verificadores automáticos y ahora está de moda. Entonces, el futuro dentro de 10, 15 años es que hay una asignatura en la carrera de matemáticas para aprender a usar estas herramientas y que todo se haga de esta…
Significado #1 · Palabras #1
Francis Villatoro reflexiona sobre las demostraciones matemáticas realizadas con la ayuda de ordenadores y el riesgo de no poder verificar completamente su validez debido al gran número de casos que estos pueden probar.
Habla: Francis VillatoroSignificado #7 · Palabras #16validéz demostraciones matemáticas ordenadoresmillones casos ordenador verificaciónordenadores pruebas miles millones casos…con qué técnicas, qué camino se ha seguido, qué problemas se han resuelto que antes no se podían resolver, ¿no? Entonces, esa es la belleza de las demostraciones. Y eso se pierde un poco con las demostraciones que dependen mucho de programas de ordenador. Sobre todo cuando un ordenador ha tenido que probar, yo qué sé, miles de millones de casos o millones de casos. Y no se les ha escapado a uno. O sea, ¿cómo estoy seguro de que no se les ha escapado a uno? Ahí volvemos al no estar del todo seguro, porque son dos cosas distintas, una cosa es no estar del todo seguro de algo, o acaso aunque vos confíes y que estás seguro de esa demostración, esa idea de caja negra en el sentido de que, bueno, sí, pero si no puedo ver los detalles ¿Sabes por qué te pregunto esto?…
Francis Villatoro comenta sobre una demostración manual del teorema de los cuatro colores, destacando su extensión considerable y la complejidad del código utilizado.
Habla: Francis VillatoroSignificado #1 · Palabras #1millones de casos teorema colorescódigo terrible teorema colores…ad hoc que sepa matemáticas, a mí me parece lícita. Mientras que la otra siempre te queda, como decía Héctor, pero ¿no se les habrá olvidado el caso del subcaso del tercer caso? Sí, el problema más famoso es el de los cuatro colores, todavía no tenemos. Una demostración a mano del teorema de los cuatro colores. Es verdad, ¿cuántas hojas tenía eso? Era increíble. El código era terrible, o sea, es una cosa absolutamente... no recuerdo el número de casos, pero eran millones de casos que había que estudiar uno a uno y se estudiaban por ordenador, con una serie de propiedades que tenían que cumplir, entonces cada caso había que estudiarlo y siempre estaba con la duda de si se ha dejado algún caso. Acababa obteniéndose una prueba con ese tipo de verificadores automáticos y ahora está de moda. Entonces, el futuro dentro de 10, 15 años es que hay una asignatura en la carrera de matemáticas para aprender a usar estas herramientas y que todo se haga de esta…