Unverified50% confidenceFactExact time
Church-Turing论题推论表明lambda演算与图灵机在计算能力上完全等价
1
Sources
50%
Confidence
Long-term
Relevance
8/13/2026
First Seen
Sources
Related Claims
UnverifiedChurch和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价76% similarUnverifiedGoogle的Sycamore处理器在特定采样任务上声称实现量子优势58% similarUnverified图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想58% similarUnverifiedThe AI's proof used tools from algebraic number theory such as infinite class field towers and Golod–Shafarevich theory, introducing algebraic number theory ideas into the unit distance problem in planar geometry.57% similarUnverifiedAlan Turing posed the question 'Can machines think?' in his 1950 paper 'Computing Machinery and Intelligence'56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/742852API
curl https://kongchang.com/api/v1/knowledge/claims/742852MCP
get_claim(id=742852)