Les dejo la referencia de este artículo: In Computers We Trust? As math grows ever more complex, will computers reign? por Natalie Wolchover
https://simonsfoundation.org/features/science-news/in-computers-we-trust/
Había una vez un par de matemáticos, Kenneth Appel y Wolfgang Haken, que querían demostrar un teorema, el de los Cuatro Colores. Para hacerlo se les ocurrió usar la computadora creando los 1,936 mapas distintos posibles y buscar un contraejemplo de dicho teorema en cada uno de ellos. Es decir fue una búsqueda exhaustiva en todo el espacio de búsqueda, esto sólo es posible con de forma automatizada con una máquina. Posteriormente, en el 97 y luego en el 2005 aparecieron otras dos demostraciones más sencillas pero que se basaban en el uso de las computadoras también. Las matemáticas no volvieron a ser las mismas.
En este artículo Natalie Wolchover recaba la opinión de varios matemáticos y computólogos sobre la necesidad de programar, incluso su opinión sobre la importancia misma de la Demostración o bien sobre las implicaciones de que estas se hagan de manera automatizada por una computadora. Honestamente creo que es una pregunta que hay que hacerse ¿qué buscamos con una demostración?
Algo que parece innegable en todas las áreas de la Ciencia (Matemáticas incluidas) es que hay que aprender a programar.
No comments:
Post a Comment