Alonzo Church

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 22:40 20 dic 2015 por Ascánder (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.
Ir a la navegación Ir a la búsqueda
Alonzo Church
Información personal
Nacimiento 14 de junio de 1903 Ver y modificar los datos en Wikidata
Washington D. C. (Estados Unidos) Ver y modificar los datos en Wikidata
Fallecimiento 11 de agosto de 1995 Ver y modificar los datos en Wikidata (92 años)
Hudson (Estados Unidos) Ver y modificar los datos en Wikidata
Sepultura Cementerio de Princeton Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense
Religión Presbiterianismo Ver y modificar los datos en Wikidata
Educación
Educación Doctor en Filosofía, doctor, doctor y doctor Ver y modificar los datos en Wikidata
Educado en Universidad de Princeton
Supervisor doctoral Oswald Veblen Ver y modificar los datos en Wikidata
Información profesional
Área Matemáticas, Lógica
Empleador Universidad de Princeton 1929–67
UCLA 1967–95
Estudiantes doctorales Martin Davis, Leon Henkin, David Kaplan, John George Kemeny, Stephen Kleene, Michael Oser Rabin, Dana Scott, Raymond Smullyan, Alan Turing, Nicholas Rescher y Nicholas Rescher Ver y modificar los datos en Wikidata
Alumnos Leon Henkin y Alan Turing Ver y modificar los datos en Wikidata
Obras notables Tesis de Church-Turing Ver y modificar los datos en Wikidata
Miembro de

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), 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. 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.[1]

Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen y Raymond Smullyan.

Church publicó entre 1924 y 1995 trabajos sobre Lógica, filosofía, matemáticas y computación. En su trabajo de 1936 An unsolvable problem of elementary number theory Church formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva. Su artículo A note on the entscheidungsproblem presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden. En 1941 publicó su monografía The calculi of lambda-conversión. Este trabajo tiene gran influencia en el área de computación teórica.[2]

El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.

Véase también

Referencias

  1. University of St Andrews (ed.). «Alonzo Church» (en inglés). Consultado el 20 de diciembre de 2015. 
  2. H B Enderton. «In memoriam: Alonzo Church» (en inglés). Consultado el 20 de diciembre de 2015.