Unverified50% confidenceFactExact time
Mathematician Coxeter called Kelly's proof "a proof from The Book."
1
Sources
50%
Confidence
Long-term
Relevance
8/8/2026
First Seen
Sources
Related Claims
Unverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）72% similarUnverifiedMathematician Paul Erdős proposed that God has a book (The Book) containing the most elegant proof of every theorem69% similarUnverifiedThe Taniyama–Shimura conjecture, which was the core tool Andrew Wiles used to prove Fermat's Last Theorem, is a special case of the Langlands program.62% similarUnverifiedKarl Popper proposed that the core characteristic of a scientific theory is falsifiability.61% similarUnverifiedCAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/706770API
curl https://kongchang.com/api/v1/knowledge/claims/706770MCP
get_claim(id=706770)