programación en c++

Tesis Church-Turing

INTRODUCCION:
En el año de 1928 Hilbert Ackermann aun publicado en un libro sobre la logica de el primer orden, proporcionando un conjunto de reglas para la realizacion delas educaciones logicas. Asi como tambien demostraron como la logica de primer orden fue formalizando parte de las matematicas.
Uno de los mayores problemas para Hilbert y Ackermann era en determinarsi su infeencia era valida si se utilixaba un algoritmo que consistia en encontrar un algoritmo en el que validase la conclusion obtenida utilizando las reglas de Hilbert-Ackermann.
Pero el principaly sin embargo uno de los mayores problemas de Hilbert y Ackermann era el de determinar si su inferencia era valida solo utilizando un algoritmo en el que consistia en encontrar un algritmo quevalidase la conclusion de obtener solo utilizando las reglas de Hilbert-Ackermann.
El principa proble de la logica matematica recide el nombre del "problema decisorio, ya que si se encuentra en unalgoritmo que determine si una inferencia es valida o no, eto nos permitira resolver cualquier problema matematica utilizando simplemente la logica de primer orden.

La tesis de Church-Turing fue formuladapor Alan Turing y Alonzo Church, de forma en que independientemente a mediado del siglo XX, y a pesar de que han existido multiples formulaciones equivalentes, se utilizara una formula simple yaceptada como dicha tesis, que se a ontenido apartir de las reviciones conjuntas entre dicho autores con respecto a sus trabajos.
Puesto que se puede probar matemáticamente que para cualquier programa decomputadora es posible crear una máquina de Turing equivalente. Esta prueba resulta de la Tesis de Church-Turing.
Eso implica que las máquinas de Turing realmente capturan la noción de lo que es unalgoritmo o un procedimiento efectivo llevado a cabo por un humano o por una máquina.




Aunque no se puede dar ninguna prueba formal de que una máquina pueda tener esa propiedad, Turing dió un...