UNIVERSIDAD NACIONAL DE COLOMBIA.

DEPARTAMENTO DE MATEMTICAS. BOGOT D.C.

INTRODUCCIN A LA TEORA DE LA COMPUTACIN.

Autor: Andrs Sebastin Ros Gutirrez. Cdigo: 153860 Presentado a: Rodrigo de Castro.

TAREA1 .
EN QU CONSISTE LA TESIS DE CHURCH-TURING?
Fecha: 09/Diciembre/2015.

La idea central:

La tesis de Church-Turing enuncia bsicamente que el concepto de recursin se corresponde con el

concepto intuitivo de computabilidad efectiva, en otras palabras, sta tesis arma que todo algoritmo2
es equivalente a una mquina de Turing (Ref. [1]).

Las deniciones bsicas:

Una pregunta interesante para sta poca donde se computa la informacin, es la siguiente: qu
problemas es capaz de computar una mquina?. Antes de intentar responder ste pregunta, se hace
necesario introducir unas deniciones bsicas. La primera es que por problema se entender como una
pregunta exacta sobre un conjunto de elementos, que tiene como solucin otro conjunto de elementos.
Matemticamente, el problema viene siendo una funcin entre un conjunto de elementos (dominio) y
otro conjunto de elementos (rango).

Resolver el problema es el procedimiento de aplicar una secuencia nita de acciones (no ambiguas3 )
sobre el dominio para obtener el rango. Un problema ser computable si la funcin se puede calcular
con ayuda de un algoritmo y una mquina ser un modelo computacional para resolver problemas.
Este modelo est determinado por unas funciones primitivas y unas reglas de aplicacin sobre stas
(Ref. [2]).

Un pequeo bosquejo histrico:

En 1900 Hilbert propuso a la comunidad matemtica unos problemas para resolver en el correspon-
diente siglo entrante. Uno de stos problemas propuso probar la consistencia o no de un sistema
axiomtico4 , es decir, determinar la existencia de un algoritmo para vericar la verdad o falsedad
1
Como parte de la evaluacin del 4 parcial de Introduccin a la teora de la computacin 2015-II-Grupo 1.
2
Por algoritmo se entender como un conjunto de operaciones sistemticas que permite resolver un problema, por
ejemplo, matemtico.
3
Por ambigua se quiere decir que tiene dos o ms interpretaciones distintas.
4
Un sistema axiomtico, es un sistema el cual tiene unos axiomas, los cules se tomarn como verdades indemostrables.

1
de una proposicin. Gdel en 1931, demostr que un sistema axiomtico siempre est incompleto.
Basndose en stos trabajos Chuch y Turing, por separado, demostraron que no existe un algoritmo
capaz de decidir el valor de verdad de una proposicin, por lo menos, en la teora de nmeros. Church
desarroll lo que se conoce como el calculus y Turing dise la mquina de Turing, ambos modelos
computacionalmente equivalentes y los cules concluyeron con las Tesis de Chuch-Turing.

No existe un mtodo ms poderoso que el calculus, ni una mquina ms potente que la Mquina
de Turing. La anterior frase, de manera bastante intuitiva, corresponde a la Tesis de Church-Turing,
una tesis que al da de hoy no ha sido ni refutada ni demostrada (no se puede demostrar como se
observar ms adelante). Lo que s es demostrable es el hecho de que el calculus y la Mquina de
Turing tienen el mismo poder computacional, es decir, pueden resolver los mismos problemas. (Ref.
[3]). De hecho, modelos propuestos hasta en la actualidad como el modelo de Gdel-Kleene, el modelo
de Post, las mquinas de registro, etc. son computacionalmente equivalente a la MT (Ref. [4]).

Ms sobre la tesis de Church-Turing.

Dado que la mquina de Turing es el modelo computacional ms poderoso que existe, se puede con-
vertir cualquier computador en una MT, y de esta forma se podr describir el algoritmo que se
ejecuta en l. Un problema en cual una mquina de Turing no es capaz de decidir es un problema que
no es computable. La mquina de Turing slo es capaz de reconocer los conjuntos recursivamente
enumerables, es decir conjuntos para los cules existe una funcin recursiva para la cual los elementos
del conjunto son la imagen de la funcin. Una funcin es recursiva si permite determinar qu elementos
son o no son del conjunto, dado el conjunto sobre el que se aplica la funcin.

De acuerdo a la armacin principal del prrafo anterior se tiene que los problemas computables son
aquellos que reconocen los conjuntos recursivamente enumerables. De acuerdo a la referencia [4], se
tiene que de acuerdo a la Tesis de Church-Turing todo algoritmo puede ser descrito por medio de una
mquina de Turing. Esta tesis no puede ser probada porque utiliza la nocin intuitiva de algoritmo.

Una de las ventajas de la mquina de Turing es que el poder computacional no incrementa al usar
recursos como mltiples cintas, dos pilas, etc. El modelo bsico de la MT es lo sucientemente poderoso
para simular las acciones computacionalmente vlidas (Ref. [4]). Intuitivamente se tendr que todo lo
computable es aceptado por las mquinas de Turing.

BIBLIOGRAFA:

[1] Manzano M. [2013]. La Tesis de Chuch-Turing. Academia Mexicana de la Lgica. pp 1-3.

[2] De la Fuente R. Mquinas de Turing: Problemas indecidibles. UNED. Versin 20100922. pp. 7-11.
[3] Martnez P., Pedraza M., Alegre C. [1997]. Problemas de matemtica discreta. Ed. 1. Universidad
Politcnica de Valencia.
[4] De Castro R., Teora de la computacin. Seccin 6.8. La Tesis de Church Turing. Universidad
Nacional de Colombia. Portal UN Virtual. pp 1-2.
Web: http://www.virtual.unal.edu.co/cursos/ciencias/2001018/lecciones/Cap6s8.pdf