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% similarUnverifiedAI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题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)