Download - Tesis de church
Transcript
¿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.