Yahoo España Búsqueda web

Entrar

Search results

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

    Alonzo Church. 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.

  2. Imágenes

    • Biografia de Alonzo Church
    • Alonzo Church · e-bergi
    • Alonzo Church – Store norske leksikon
    • Alonzo Church (Stanford Encyclopedia of Philosophy)
    • Historia y evolución de la teoría de autómatas y lenguajes formales ...

    Ver todo

  3. en.wikipedia.org › wiki › Alonzo_ChurchAlonzo Church - Wikipedia

    Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.

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

    11 de ago. de 1995 · His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science. Early contributions included the papers On irredundant sets of postulates (1925), On the form of differential equations of a system of paths (1926), and Alternatives to Zermelo's assumption (1927).

  5. 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.

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

    Alonzo Church fue un matemático estadounidense que se especializó en lógica matemática, metalógica y metamatemática. Fue pionero en el cálculo cuantificacional elemental, el cálculo de conversión lambda y la lógica de primer orden. Conoce su vida, sus obras y sus aportaciones a la informática.

  7. www.britannica.com › biography › Alonzo-ChurchAlonzo Church | Lambda Calculus, Computability & Logic

    30 de abr. de 2024 · Alonzo Church (born June 14, 1903, Washington, D.C., U.S.—died Aug. 11, 1995, Hudson, Ohio) was a U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science.

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

    MANZANO, María: « Vida, obra y algunos milagros de Alonzo Church», Ágora : Papeles de Filosofía, ISSN 0211-6642, Vol. 18, N. 1 (1999), 107-132. Resumo: Este artículo está dedicado a Alonzo Church, que falleció en Agosto de 1995, tras una larga vida dedicada a la lógica.