Yahoo Italia Ricerca nel Web

Entra

Risultati di ricerca

  1. it.wikipedia.org › wiki › Alonzo_ChurchAlonzo Church - Wikipedia

    Alonzo Church è stato un matematico e logico statunitense. Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica. Dimostrò per primo il cosiddetto paradosso della conoscibilità di Church-Fitch.

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

  3. Video

    Mostra tutto

  4. plato.stanford.edu › entries › churchAlonzo Church (Stanford Encyclopedia of Philosophy)

    21 ott 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.

  5. mathshistory.st-andrews.ac.uk › Biographies › ChurchAlonzo Church - MacTutor History of Mathematics Archive

    11 ago 1995 · 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.

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

    30 apr 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.

    • The Editors of Encyclopaedia Britannica

  7. www.treccani.it › enciclopedia › alonzo-church_(EnciclopediaCHURCH, Alonzo in "Enciclopedia Italiana" - Treccani - Treccani

    CHURCH, Alonzo Logico matematico statunitense, nato a Washington il 14 giugno 1903. Studiò a Princeton, dove ottenne nel 1927 il Ph. D., nel 1929 un incarico di assistente di matematica, e dove è stato dal 1939 al 1947 professore associato di matematica e poi professore di matematica e di filosofia.

  8. Immagini

    • Biografia de Alonzo Church
    • Alonzo Church (Stanford Encyclopedia of Philosophy)
    • Alonzo Church – Computer Timeline
    • Alonzo Church (1903 - 1995) - Biography - MacTutor History of Mathematics
    • Alonzo Church Biography, Alonzo Church's Famous Quotes - Sualci Quotes 2019

    Mostra tutto

  9. www.treccani.it › enciclopedia › alonzo-churchChurch, Alonzo nell'Enciclopedia Treccani - Treccani - Treccani

    Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia all'univ. di California. Nel 1936 enunciò la proposizione oggi chiamata tesi (o ipotesi o legge) di Ch ., la quale afferma che ogni funzione ...