TESIS DE CHURCH

Lenguajes Formales y Automatas

¿En que consiste la Tesis de Church?

Se compone de dos partes:

• ALONZO CHURCH

• ALAN TURINGDada un proposición en un sistema formal, ¿existe un algoritmo tal que pueda decidir si la proposición es verdadera o falsa?

ALONZO CHURCH

• CALCULO LAMBDAUso la expresión (informal) para indicar Que hay un método efectivo para calcular Los valores de la función.

Funcion computableFunciones recursivas

ALAN TURING

Demostro que dada cualquier expresión en la notación del sistema, pueda determinarse si es falso o verdadero.

CONCLUCION

La tesis de Church-Turing

son equivalentes, y no puede ser

probada por eso de tesis.