Nació el 14 de junio de 1903 en la ciudad de Washington y muere el 11 de agosto de 1995 él fue un matemático y lógico norteamericano, creo la base de la computación teórica. Se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, donde ejerció como profesor entre 1929 y 1967.
Su acto más conocido es el desarrollo del cálculo lambda, y el 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. Luego de revisar la tesis doctoral de Turing, demostraron que el cálculo lambda y la máquina de Turing utilizada para expresar el problema de parada tenían igual poder de expresión; posteriormente demostraron que una variedad de procesos mecánicos alternos para realizar cálculos tenían poder de cómputo equivalente. Como resultado se postuló la Tesis de Church-Turing.
No hay comentarios:
Publicar un comentario