Unverified50% confidenceFactExact time
Lambda calculus was proposed by Alonzo Church in the 1930s and is equivalent in computational power to the Turing machine.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedChurch-Turing论题推论表明lambda演算与图灵机在计算能力上完全等价65% similarUnverified函数式编程根植于20世纪30年代Alonzo Church的λ演算理论，强调不可变性与无副作用65% similarUnverified图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想63% similarUnverifiedCellular automata were proposed by John von Neumann and Stanislaw Ulam in the 1940s, and later became widely known through Conway's Game of Life and Wolfram's research.59% similarUnverifiedChurch和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896795API
curl https://kongchang.com/api/v1/knowledge/claims/896795MCP
get_claim(id=896795)