Este documento explica la Tesis de Church-Turing. Propone que no existe un algoritmo que pueda determinar si una proposición dada en un sistema formal es cierta o falsa. Church y Turing demostraron de forma independiente en 1936 que las funciones computables son equivalentes a las funciones que pueden ser calculadas por una máquina de Turing. La Tesis de Church-Turing establece que las funciones computables son aquellas que pueden ser expresadas a través del cálculo lambda.
4. PÁGINA 3
INTRODUCCION
DADA UNA PROPOSICION EN UN SISTEMA FORMAL, ¿EXISTE UN
ALGORITMO TAL QUE PUEDA DECIDIR SI LA PROPOSICION ES CIERTA O
FALSA?
PUES BIEN AMIGOS ACONTINUACION DAREMOS UNA BREVE EXPLICACION
SOBRE ESTA INTERROGANTE, ACOMPAÑANOS……
6. PÁGINA 5
TESIS DE CHURCH-TURING
LA TESIS DE CHURCH-TURING FORMULA HIPOTETICAMENTE LA
EQUIVALENCIA ENTRE LOS CONCEPTOS DE FUNCION COMPUTABLE Y
MAQUINA DE TURING, QUE EXPRESADO EN LENGUAJE CORRIENTE
VENDRIA A SER “TODO ALGORITMO ES EQUIVALENTE A UNA
MAQUINA DE TURING”.
LA TESIS DE CHURCH-TURING CONSISTE EN LA ASERCION DE QUE
ESTE CONJUNTO CONTIENE TODA FUNCION CUYOS VALORES PUEDEN
OBTENERSE POR UN METODO QUE SATISFAGA LAS CONDICIONES DE
EFICACIA.
EN 1936 ALONZO CHURCH Y ALAN TURING PROBARON, DE FORMA
INDEPENDIENTE, LA IMPOSIBILIDAD DE LA EXISTENCIA DE TAL
ALGORITMO, USANDO EL CALCULO DE LAMBDA Y LA MAQUINA DE
TURING. EN 1936, CHURCH LOGRA DEMOSTRAR QUE TANTO LAS
FUNCIONES –DEFINIBLES COMO LAS FUNCIONES RECURSIVAS DE
HERBRAND-GODEL SON EQUIVALENTES, A TRAVES DE LA TESIS QUE
LLEVA SU NOMBRE:
“LA CLASE DE LAS FUNCIONES QUE PUEDEN SER CALCULADAS
MEDIANTE UN ALGORITMO COINCIDE CON LA CLASE DE LAS
FUNCIONES RECURSIVAS.” (TESIS DE CHURCH).
TURING DEMOSTRO QUE NO HAY NINGUNA MAQUINA DE TURING
QUE PUEDA DETERMINAR, EN UN NUMERO FINITO DE PASOS, SI UNA
FORMULA DADA DEL CALCULO DE PREDICADOS ES O NO UN
TEOREMA DEL CALCULO, EN OTRAS PALABRAS DADA CUALQUIER
EXPRESION EN LA NOTACION DEL SISTEMA, PUEDA DETERMINARSE
SI BIEN ES VERDADERO O FALSO.
PARA TURING EL MOTIVO DE ESTE ACERCAMIENTO A LA REALIDAD
ERA EL DE SIMPLIFICAR LOS CALCULOS AL MAXIMO, DESCRIBIENDO
UNA SERIE DE PROCEDIMIENTOS BASICOS, A LOS QUE PUEDE
REDUCIRSE A CUALQUIER OTRO.
TURING DESCRIBIA EN SU ARTICULO QUE A TRAVES DE SU MAQUINA
HABIA CONSEGUIDO CARACTERIZAR DE UN MODO MATEMATICO EL
NÚMERO DE FUNCIONES CALCULABLES, USANDO PARA ELLO UN
ALGORITMO, ESTE HECHO SE CONOCE COMO:
7. PÁGINA 6
LA CLASE DE LAS FUNCIONES QUE PUEDEN SER CALCULADAS
MEDIANTE UN METODO DEFINIDO QUE COINCIDE CON LA CLASE DE
LAS FUNCIONES CALCULABLES MEDIANTE UNA MAQUINA DE
TURING. (TESIS DE TURING).
MIENTRAS QUE CHURCH HABIA LLEGADO AL MISMO RESULTADO
NEGATIVO UNOS MESES ANTES, EMPLEANDO EL CONCEPTO DE
DEFINIBILIDAD-LAMBDA EN LUGAR DE LA COMPUTABILIDAD DE
TURING.
PERO TURING ESTABLECIO QUE EL APARATO DE LAMBDA-
DEFINIBILIDAD Y SU PROPIO APARATO DE COMPUTABILIDAD SON
EQUIVALENTES. PUES LAS PALABRAS “FUNCION RECURSIVA DE LOS
ENTEROS POSITIVOS” PUEDE REEMPLAZARSE POR LAS PALABRAS
“FUNCION DE LOS ENTEROS POSITIVOS COMPUTABLE POR UNA
MAQUINA DE TURING.
8. PÁGINA 7
CONCLUSION
LA TESIS DE CHURCH-TURING CONSISTE EN AFIRMAR QUE LAS FUNCIONES
COMPUTABLES SON AQUELLAS QUE PUEDEN SER EXPRESADAS A TRAVES
DEL CALCULO LAMBDA. TURING LOGRO LA EQUIVALENCIA ENTRE SU
MAQUINA TEORICA Y ESTE CALCULO EN 1937.