Unverified50% confidenceFactExact time
Church和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价
1
Sources
50%
Confidence
Long-term
Relevance
7/6/2026
First Seen
Sources
贪心算法与背包问题详解：MIT 6.0002第一讲核心笔记
bilibiliAI从零开始学7/3/2026
Related Claims
UnverifiedChurch-Turing论题推论表明lambda演算与图灵机在计算能力上完全等价76% similarUnverified陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理61% similarUnverifiedPolymath 1 成功给出了 Hales-Jewett 定理的组合证明60% similarUnverified数学家科克斯特称凯利的证明为「来自天书的证明」59% similarUnverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/114324API
curl https://kongchang.com/api/v1/knowledge/claims/114324MCP
get_claim(id=114324)