待验证50% 置信事实精确时间

Church和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价

1

来源数

50%

置信度

长期有效

时效性

2026/7/6

首次发现

来源

贪心算法与背包问题详解：MIT 6.0002第一讲核心笔记

bilibiliAI从零开始学2026/7/3

相关事实

待验证Church-Turing论题推论表明lambda演算与图灵机在计算能力上完全等价76% 相似待验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理61% 相似待验证Polymath 1 成功给出了 Hales-Jewett 定理的组合证明60% 相似待验证数学家科克斯特称凯利的证明为「来自天书的证明」59% 相似待验证数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/114324

API

curl https://kongchang.com/api/v1/knowledge/claims/114324

MCP

get_claim(id=114324)