阿隆佐·邱奇 - 维基百科，自由的百科全书
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
Wikipedia · CC-BY-SA 许可下的文字- 查看更多
前往 Wikipedia 查看全部内容Alonzo 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 … 展开
Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was a justice of the peace and the judge of the Municipal Court for the District of … 展开
Church is known for the following significant accomplishments:
• His proof that the Entscheidungsproblem, which asks for a decision … 展开Church’s elaboration of a methodology involving the logistic method, his philosophical criticisms of nominalism and his defense of realism, his argumentation leading to conclusions about the theory of meaning, and the detailed construction of the Fregean and … 展开
Over the course of his academic career, Church oversaw 31 doctoral students. Many of them have led distinguished careers in mathematics, computer science, and other academic subjects, including Peter B. Andrews, George A. Barnard, 展开
Books
• Alonzo Church, Introduction to Mathematical Logic (1944) (ISBN 978-0-691-02906-1)
• Alonzo Church, The Calculi of Lambda-Conversion (1941) (ISBN 978-0-691-08394-0) 展开• O'Connor, John J.; Robertson, Edmund F., "Alonzo Church", MacTutor History of Mathematics Archive, University of St Andrews
• Princeton University Library, Manuscripts Division, The Alonzo Church Papers, 1924–1995: finding aid. 展开CC-BY-SA 许可证中的维基百科文本 阿隆佐·邱奇 - 维基百科，自由的百科全书 - zh.wikipedia.org
网页阿隆佐·邱奇 （Alonzo Church，1903年6月14日—1995年8月11日）是 美国 数学家，1936年发表 可计算函数 的第一份精确定义，对 算法 理论的系统发展做出巨大贡献。. 邱奇在 …
- 预计阅读时间：40 秒
Alonzo Church - Stanford Encyclopedia of Philosophy
网页2021年10月21日 · Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the …
Alonzo Church | Lambda Calculus, Computability & Logic
网页2024年8月7日 · 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 …
Alonzo Church - Simple English Wikipedia, the free encyclopedia
网页Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of …
- 其他用户还问了以下问题
Alonzo Church - MacTutor History of Mathematics Archive
网页1995年8月11日 · His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science. Early contributions included the papers On …
Church, Alonzo - Encyclopedia.com
网页Church, Alonzo (b. 14 June 1903 in Washington, D.C.; d. 11 August 1995 in Hudson, Ohio), mathematician, logician, philosopher of mathematics, and computer scientist best …
Church, Alonzo (1903–1995) - Encyclopedia.com
网页Alonzo Church, an American logician and philosopher, was born in Washington, D.C. He received his PhD from Princeton in 1927, having written his dissertation under Oswald …
Alonzo Church - Stanford Encyclopedia of Philosophy
网页According to Church, the proposition expressed by a sentence is its meaning—“that which is grasped when one understands the sentence” (1956a: §04). The proposition is also …
