Daniel Andres G omez c odigo 153596 Teor a de la Computaci on Rodrigo de Castro Tesis de Church-Turing Alrededor de 1930, los matem

aticos intentaban entender la noci on de computaci on efectiva ya que conoc an varios algoritmos para realizar c alculos pero no lograban denir con precisi on el concepto de efectivamente computable. Ellos quer an llegar a distinguir entre lo computable y lo no computable. Para tal efecto, surgieron varios conceptos individuales que intentaban precisar esta noci on. Cada modelo parec a encarnar la noci on de efectivamente computable, por lo cual Alonzo Church se atrevi o a armar que todo algoritmo puede ser descrito por una m aquina de Turing. Esta armaci on es conocida como la tesis de Church-Turing. Cabe resaltar que esta armaci on no es un enunciado matem atico que pueda ser demostrado ya que embarca una noci on intuitiva de algoritmo. Sin embargo, esta es una armaci on que podr a ser refutada con alg un contraejemplo pero tal contraejemplo no existe hasta la fecha. En principio esta no es una armaci on que parezca obvia, pero existen motivos para creer en su veracidad. Al agregar recursos computacionales; como pistas, cintas o no determinismo, su poder computacional no diere del poder del modelo b asico. Por otra parte, todos los modelos computacionales para describir la noci on de algoritmo han resultado equivalentes a la m aquina de Turing, es decir que toda tarea que se puede realizar con estas m aquinas tambi en se puede realizar con una m aquina de Turing y viceversa. Esto sugiere que la m aquina de Turing es el l mite de lo que un dispositivo computacional puede hacer. Ahora, la tesis de Church-Turing no implica que la m aquina de Turing sea el modelo m as efectivo para implementar un algoritmo. En efecto existen otras m aquinas que pueden realizar las mismas computaciones m as r apido o utilizando menos memoria. Lo que la tesis se nala es que si alguna tarea se puede hacer con la m aquina de Turing entonces esta es factible. En otras palabras, la m aquina de Turing es una prueba de factibilidad computacional. Para poner en contexto la magnitud de esta armaci on, hay que recordar que fue hecha mucho antes de la invenci on del computador o de lenguajes de programaci on.

BIBLIOGRAF IA

1. D. Kozen, Automata and Computability, Springer, 1997. 2. J. Savage, Models of Computation, Addison-Wesley, 1998. 3. R. de Castro, Teor a de la Computaci on, UNIBIBLOS, 2004.