Act5_ArevaloDiego

En este texto se hablara de las diferencias
del algoritmo creado por Alan Turing y el
Cálculo lambda creado por Alonzo church y
Sthephen kleene

Conceptos de
los
algoritmos
de Turing y
church
DiegoAlejandro Arévalo García

Sistema propuesto por Alan:
Turing muestra que de forma matemática una máquina que opera sobre una cinta. En esta cinta
hay símbolos que la máquina puede escribir o leer, unoa la vez. Las operaciones que la máquina
puede realizar están determinadas por un conjunto finito de instrucciones elementales como “si el
estado es 6 y el valor es 0 escribe 1 y pasa al estado 27”Con esta máquina se pudieron lograr muchas cosas ya que permitía hacer cualquier tipo de dato
gracias a su cinta infinita para meter información y leerla una de las ventajas de esta máquina que
sucabeza podía moverse de manera bidireccional.
Este tipo de compatibilidad permitió además clasificar las funciones que existe para los algoritmos
el problema que se presentaba en ese tiempo existíanproblemas no solucionable por dicha
máquina, porque no tenían una solución algoritmia
Tesis de Turing
Esta tesis se llevó a cabo ya que Alan quería demostrar que podía resolver el problema presentado
porHilbert (el Entscheidumgsproblem) utilizando el concepto lo más abstracto posible de una
maquina el objetivo de esta máquina era poder simplificar los cálculos de una forma más básica, y
gracias a susesfuerzos pudo desarrollar una método matemático con funciones calculables este
método lo llevo a cabo de un algoritmo que se me muestra a continuación..

Gracia a estas investigaciones alana Turingpudo lograr demostrar que existen funciones que son
calculables y otros no.
Para este entonces Turing no sabía acerca de church & kleene pero cuando supo que estos
hablaban
Los incluyó en su apéndiceen el que demostraba usando su máquina que los conceptos de
función-definible y función-calculable, eran equivalentes por este motivo las aportaciones de estos
personajes son muy parecidas. Porque...