待验证50% 置信事实精确时间
Church-Turing论题推论表明lambda演算与图灵机在计算能力上完全等价
1
来源数
50%
置信度
长期有效
时效性
2026/8/13
首次发现
来源
相关事实
待验证Church和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价76% 相似待验证Google的Sycamore处理器在特定采样任务上声称实现量子优势58% 相似待验证图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想58% 相似待验证AI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题57% 相似待验证Alan Turing posed the question 'Can machines think?' in his 1950 paper 'Computing Machinery and Intelligence'56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/742852API
curl https://kongchang.com/api/v1/knowledge/claims/742852MCP
get_claim(id=742852)