Qu es la Teora Computacional?

Esta teora explora los lmites de la posibilidad de solucionar problemas mediante

algoritmos. Gran parte de las ciencias computacionales estn dedicadas a resolver
problemas de forma algortmica, de manera que el descubrimiento de problemas
imposibles es una gran sorpresa. La teora de la computabilidad es til para no
tratar de resolver algoritmicamente estos problemas, ahorrando as tiempo y
esfuerzo.
Historia y antecedentes de la Teora Computacional as como personajes que
han aportado a la materia.
La teora de la computacin comienza propiamente a principios del siglo XX, poco
antes que las computadoras electrnicas fuesen inventadas. En esta poca varios
matemticos se preguntaban si exista un mtodo universal para resolver todos los
problemas matemticos. Para ello deban desarrollar la nocin precisa de mtodo
para resolver problemas, es decir, la definicin formal de algoritmo.
Algunos de estos modelos formales fueron propuestos por precursores como
Alonzo Church (clculo Lambda), Kurt Gdel (funciones recursivas) y Alan Turing
(mquina de Turing). Se ha mostrado que estos modelos son equivalentes en el
sentido de que pueden simular los mismos algoritmos, aunque lo hagan de
maneras diferentes. Entre los modelos de cmputo ms recientes se encuentran
los lenguajes de programacin, que tambin han mostrado ser equivalentes a los
modelos anteriores; esto es una fuerte evidencia de la conjetura de Church-Turing,
de que todo algoritmo habido y por haber se puede simular en una mquina de
Turing, o equivalentemente, usando funciones recursivas. En 2007 Nachum
Dershowitz y Yuri Gurevich publicaron una demostracin de esta conjetura
basndose en cierta axiomatizacin de algoritmos.
Uno de los primeros resultados de esta teora fue la existencia de problemas
imposibles de resolver algoritmicamente, siendo el problema de la parada el ms
famoso de ellos. Para estos problemas no existe ni existir ningn algoritmo que
los pueda resolver, no importando la cantidad de tiempo o memoria se disponga
en una computadora.
Asimismo, con la llegada de las computadoras modernas se constat que algunos
problemas resolubles en teora eran imposibles en la prctica, puesto que dichas
soluciones necesitaban cantidades irrealistas de tiempo o memoria para poderse
encontrar.