Unverified50% confidenceFactExact time
Philosophers and mathematicians have proposed surveyability as one standard for proof legitimacy, meaning that a proof should be capable of being fully reviewed by a competent reader within a finite amount of time.
1
Sources
50%
Confidence
Long-term
Relevance
10/4/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedPhilosopher of science Karl Popper proposed the concept of Falsifiability.75% similarUnverified布劳威尔为代表的直觉主义学派要求所有证明必须是构造性的74% similarUnverifiedThe proofs of the four-color theorem and Kepler's conjecture both involved computer assistance, sparking philosophical discussions about whether humans truly understand these proofs.69% similarUnverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）67% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/973981API
curl https://kongchang.com/api/v1/knowledge/claims/973981MCP
get_claim(id=973981)