Yahoo España Búsqueda web

Entrar

  1. Anuncio

    relacionado con: Alonzo Church
  2. www.amazon.es/Libros

    alonzo church - Amazon.es - Las Mejores Ofertas de Libros

    amazon.es ha recibido la visita de +1.000.000 usuarios el último mes

    Encuentra bestsellers, clásicos, las últimas novedades, audiolibros y mucho más

Search results

  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. Vídeos

    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. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem ("decision problem"), the Frege–Church ...

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

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

  7. Imágenes

    • Biografia de Alonzo Church
    • Alonzo Church - Alchetron, The Free Social Encyclopedia
    • Alonzo Church – Store norske leksikon
    • Alonzo Church (1903-1995) @ University of Berkeley
    • Alonzo Church (Stanford Encyclopedia of Philosophy)

    Ver todo

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

    Un artículo dedicado al lógico Alonzo Church, autor del cálculo lambda, de la tesis de Church-Turing y de la prueba de completud de Henkin. Se repasa su vida, su obra y su influencia en el campo de la lógica matemática.

  9. www.wikiwand.com › es › Alonzo_ChurchAlonzo 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. Datos rápidos Información personal ...

  1. Anuncio

    relacionado con: Alonzo Church
  2. www.amazon.es/Libros

    alonzo church - Amazon.es - Las Mejores Ofertas de Libros

    amazon.es ha recibido la visita de +1.000.000 usuarios el último mes

    Encuentra bestsellers, clásicos, las últimas novedades, audiolibros y mucho más