 |
Si puedo hacer un alto para comentar alguna cosa, permitanme que lo haga.
La computación es una ciencia que se divide en tres ramas: algorítmica, teoría de la complejidad y teoría de calculabilidad. En orden inverso debería haberlas citado...
El caso es que la máquina de Turing inició una larga odisea en lo que es la ciencia moderna. El descubrimiento más curioso de todos es que puede llegarse a una misma definición de algoritmia si partimos de circuitos lógicos, de funciones recurrentes, y de un tercer origen, que, espero me perdonen, ahora no recuerdo. Esta definición, parece por tanto, inherente a la naturaleza, algo que sólo pueden discutirle algunas disciplinas como la matemática más pura. Ahora bien, no todo en la naturaleza es suficientemente computable (coste, corrección, terminación y eficiencia suficientemente próximas de lo que se espera). ¿Entonces, qué queremos? Si echamos un vistazo a los problemas del milenio veremos que ahora el objetivo no es encontrar la solución, sino saber generar posibles soluciones para luego comprobar cual es la verdaders (algo así como P vs NP). ¡Hasta donde hemos llegado!
|
| |
|
3/01/2007 23:46
Re: Pi, Turing y el mismísimo demonio (parte II)
