Yahoo Suche Web Suche

Anmelden

Suchergebnisse

  1. Suchergebnisse:

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

    Alonzo Church. Alonzo Church ( Washington, 14 giugno 1903 – Hudson, 11 agosto 1995) è 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. scholar.google.com › citations‪Alonzo Church‬ - ‪Google Scholar‬

    1996. The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies. A Church. Princeton University Press. , 1941. 2365 *. 1941. The Calculi Of Lambda Conversion. (AM-6) (Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ.

  3. www.philosophenlexikon.de › alonzo-church-geb-1903Alonzo Church (1903 – 1995) | Philosophenlexikon.de

    Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph. Er war der Begründer der theoretischen Informatik und des λ-Kalküls. Von Curch stammen die nach ihm ...

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

  5. human.libretexts.org › Bookshelves › Philosophy1.2: C.2- Alonzo Church - Humanities LibreTexts

    Church continued his work into old age. In 1967 he left Princeton for UCLA, where he was professor until his retirement in 1990. Church passed away on August 1, 1995 at the age of 92. Figure \(\PageIndex{1}\): Alonzo Church. (Portrait of Alonzo Church, undated, photographer unknown. Alonzo Church Papers; 1924–1995, (C0948) Box 60, Folder 3.

  6. pt.wikipedia.org › wiki › Alonzo_ChurchAlonzo Church – Wikipédia, a enciclopédia livre

    Alonzo Church. Alonzo Church ( Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense . Atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação. Entre suas maiores contribuições, estão o cálculo lambda, um sistema matemático formal que ...

  7. quienfue.click › cultura › quien-fue-alonzo-churchDescubre quién fue Alonzo Church, el genio detrás del cálculo...

    Alonzo Church fue un matemático y lógico estadounidense nacido en 1903 en Washington D.C. Estudió matemáticas y filosofía en la Universidad de Princeton, donde se graduó con honores en 1924. Luego, obtuvo su doctorado en matemáticas en la Universidad de Princeton en 1927.