待验证50% 置信事实精确时间
蒂博尔·加莱于1944年给出了该定理的第一个正确证明
1
来源数
50%
置信度
长期有效
时效性
2026/8/8
首次发现
来源
相关事实
待验证数学家科克斯特称凯利的证明为「来自天书的证明」59% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的58% 相似待验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明53% 相似待验证CAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明53% 相似待验证数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）51% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/705806API
curl https://kongchang.com/api/v1/knowledge/claims/705806MCP
get_claim(id=705806)