Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

  1. www.biografiasyvidas.com › biografia › cBiografia de Alonzo Church - Biografias y Vidas .com

    Alonzo Church (Washington, 1903 - Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton y en la de California, se especializó en lógica matemática, metalógica y metamatemática.

    • Alan Turing

      Pasó sus primeros trece años en la India, donde su padre...

  2. es.wikipedia.org › wiki › Alonzo_ChurchAlonzo Church - Wikipedia, la enciclopedia libre

    Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de 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.

  3. www.wikiwand.com › es › Alonzo_ChurchAlonzo Church - Wikiwand

    Alonzo Church, matemático y lógico estadounidense creador de 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.

  4. www.ecured.cu › Alonzo_ChurchAlonzo Church - EcuRed

    • Trayectoria
    • Discípulos
    • Publicaciones

    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 los años 1929 y 1967. Se especializó en lógica matemática, metalógica y metamatemática.

    Ver lista completa en ecured.cu

    Entre los más conocidos estudiantes de doctorado de Church están. 1. Stephen Cole Kleene. 2. J. Barkley Rosser. 3. Leon Henkin. 4. John George Kemeny. 5. Michael O. Rabin. 6. Dana Scott. 7. Simon Kochen. 8. Raymond Smullyan.

    Ver lista completa en ecured.cu

    Destacan, dentro de su abundante producción teórica, sus obras. 1. Cálculo de conversión lambda 1941. 2. Introducción a la lógica matemática 1944. 3. Journal of Symbolic Logic, publicación que él mismo dirigía y editaba desde 1936.

    Ver lista completa en ecured.cu

    • 11 de agosto de 1995Hudson, Estados Unidos
    • Alonzo Church.
    • 14 de junio de 1903Washington, Estados Unidos

  5. minerva.usc.es › xmlui › handleVida, obra y algunos milagros de Alonzo Church

    Este artículo está dedicado a Alonzo Church, que falleció en Agosto de 1995, tras una larga vida dedicada a la lógica. A él le debemos el cálculo lambda, la tesis que lleva su nombre y la solución al Entscheidungsproblem.

    • María Manzano
    • pg_109-136_agora18-1.pdf
    • 1999
    • 3.009 Mb

  6. plato.stanford.edu › entries › churchAlonzo Church - Stanford Encyclopedia of Philosophy

    21 de oct. de 2021 · Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell.

  7. mathshistory.st-andrews.ac.uk › Biographies › ChurchAlonzo Church (1903 - 1995) - Biography - MacTutor History of ...

    11 de ago. de 1995 · Summary. Alonzo Church made important contributions to mathematical logic and theoretical computer science. View two larger pictures. Biography. Alonzo Church's parents were Mildred Hannah Letterman Parker and Samuel Robbins Church. His father was a judge.