Unverified50% confidenceConceptExact time
Thurston distinguished between "formal proof" and "mathematical understanding": the former is a chain of logic written on paper, while the latter is a knowledge structure in the mathematician's mind that is transferable, explainable, and open to further development.
1
Sources
50%
Confidence
Long-term
Relevance
10/14/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThurston's core argument is that progress in mathematics cannot be measured solely by "whether a theorem has been proved"; real progress lies in changes in how humans understand.72% similarUnverifiedTrue mathematical proof requires abstract thinking, logical reasoning, and creative insight.70% similarUnverifiedTheorem proving in applied mathematics often relies on vast theoretical systems, and proving a single theorem may require invoking dozens of prerequisite lemmas spanning multiple branches of mathematics.68% similarUnverifiedIn 1854, George Boole published The Laws of Thought, expressing logical relationships using algebraic equations (AND corresponding to multiplication, OR to addition, NOT to complementation), proving that logical reasoning could be reduced to symbolic computation.67% 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.65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1022695API
curl https://kongchang.com/api/v1/knowledge/claims/1022695MCP
get_claim(id=1022695)