Resultado da Busca
11 de ago. de 1995 · Member (elected 1978) Alonzo Church was a mathematical logician whose contributions helped to establish the foundations of theoretical computer science. His most renowned accomplishments were Church’s theorem, the Church-Turing thesis, and the creation of λ-calculus, or the Church λ operator. In his 1936 paper, Church’s theorem proved ...
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician whose best-known accomplishment is the proposal about the notion of computability, called the Church-Turing thesis. The basic idea of the thesis is that any computation or calculation that is possible can be performed by an algorithm running on a simple ...
阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家，1936年发表可计算函数的第一份精确定义，对计算理论的系统发展做出巨大贡献。邱奇在普林斯顿受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。并且，他发明了著名的λ演算。
Alonzo Church (* 14. Juni 1903 in Washington, D.C. ; † 11. August 1995 in Hudson , Ohio ) war ein US-amerikanischer Mathematiker , Logiker und Philosoph und einer der Begründer der theoretischen Informatik .
Alonzo Church foi um matemático estadunidense. Introdução Alonzo Church; A Tese de Church-Turing; Referências; Ver também; Ligações externas
1996. The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies. A Church. Princeton University Press. , 1941. 2372 *. 1941. The Calculi Of Lambda Conversion. (AM-6) (Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ.
Alonzo Church was born in Washington, DC, on 14 June 1903, the son of Samuel Robbins Church, Justice of the Municipal Court of the District of Columbia, and Mildred Hannah Church (née Parker). The Church family was of considerable civic and academic distinc- tion; Church's great grandfather, also named Alonzo Church, was a professor of ...
