Historia de los Algoritmos

El primer caso de algoritmos computacionales proviene del año 1842 de los escritos de la matemática británica Ada Lovelace para la maquina analítica de Charles Babbage. De allí que sea considerada como el primer programador de la historia, que además en su honor a un lenguaje de programación se le ha colocado su nombre, este es el lenguaje de programación Ada. Sin embargo, dado que Babbage nunca terminó su máquina analítica, el algoritmo que realizó no llegó a implementarse. No obstante, su trabajo inspiró a otros investigadores que se dedicaron a este campo. Años más tarde en el 1900 el matemático David Hilbert había propuesto varias preguntas fundamentales sobre problemas teóricos de las matemáticas, como es el caso del problema de la decisión planteada por el matemático Gottfrie Leibniz que decía: "¿Es posible encontrar una manera sencilla de decidir si un problema matemático cualquiera tiene solución?". En el año 1931 el matemático Kurt Gödel publica el Teorema de incompletud donde postula que existen proposiciones que son indecidibles. En base a este problema entre los años 1930 y 1940 derivó el desarrollo teórico y formalización de los algoritmos con los trabajos de Alan Turing, Emil Post, Stephen Kleene y Alonzo Church con el objetivo de resolver este problema o demostrar el Teorema.