Unverified50% confidenceFactExact time
布劳威尔为代表的直觉主义学派要求所有证明必须是构造性的
1
Sources
50%
Confidence
Long-term
Relevance
8/23/2026
First Seen
Sources
Related Entities
Related Claims
Unverified卡尔·萨根提出的'非常之声明需要非常之证据'至今仍是科学共同体的核心准则67% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."67% similarUnverifiedMathematician Paul Erdős proposed that God has a book (The Book) containing the most elegant proof of every theorem64% similarUnverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）63% 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% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/791301API
curl https://kongchang.com/api/v1/knowledge/claims/791301MCP
get_claim(id=791301)