Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

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

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

    Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, and the Church–Rosser theorem.

  3. Imágenes

    • Biografia de Alonzo Church
    • Alonzo Church (Stanford Encyclopedia of Philosophy)
    • Alonzo Church - Alchetron, The Free Social Encyclopedia
    • Alonzo Church - Galois, Inc.
    • Alonzo Church – Computer Timeline

    Ver todo

  4. www.biografiasyvidas.com › biografia › cBiografia de Alonzo Church

    Matemático estadounidense que se especializó en lógica matemática, metalógica y metamatemática. Conocido por su concepto de calculabilidad, su demostración de la indecidibilidad de la lógica de primer orden y el cálculo de conversión lambda.

  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.britannica.com › biography › Alonzo-ChurchAlonzo Church | Lambda Calculus, Computability & Logic |...

    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 .

  7. www.wikiwand.com › es › articlesAlonzo Church - Wikiwand

    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.

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

    11 de ago. de 1995 · Alonzo Church was a prominent logician and computer scientist who created the λ-calculus and proved Church's Theorem and Church's Thesis. He taught at Princeton and Los Angeles, founded the Journal of Symbolic Logic, and wrote several books on mathematical logic.