Frases de Alonzo Church

Bueno, no fue exactamente una disertación en la lógica, por lo menos no el tipo de lógica que te encuentras en Whitehead y Russell Principia Mathematica por ejemplo. Se parecía más a las matemáticas; se utilizó lenguaje formalizado.

Frase de Matemáticas | Alonzo Church

Alonzo Church

Matemático que nació en Estados Unidos.

Nació el 14 de junio de 1903.
Murió el 11 de agosto de 1995. (92 años)

Alonzo Church , matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos.

Frases de Alonzo Church

Alonzo Church

Autores relacionados