Unverified50% confidenceFactExact time
蒂博尔·加莱于1944年给出了该定理的第一个正确证明
1
Sources
50%
Confidence
Long-term
Relevance
8/8/2026
First Seen
Sources
Related Claims
UnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."59% similarUnverifiedThe Curry–Howard correspondence reveals the structural correspondence in which propositions correspond to types, proofs correspond to programs, and proof normalization corresponds to program execution, and was gradually discovered between 1934 and 196958% similarUnverifiedThe computer-assisted proof of the four-color theorem was first published by Kenneth Appel and Wolfgang Haken in 1976, requiring computer verification of 1,936 irreducible configurations, and is the first important theorem proof in the history of mathematics to essentially depend on a computer53% similarUnverifiedCAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明53% similarUnverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）51% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/705806API
curl https://kongchang.com/api/v1/knowledge/claims/705806MCP
get_claim(id=705806)