Unverified50% confidenceFactExact time
Sanderson proposes that mathematicians' work includes: proving theorems, judging which problems are worth pursuing (taste judgment), building theoretical frameworks, and applying abstract results to science and engineering.
1
Sources
50%
Confidence
Long-term
Relevance
10/16/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedSanderson proposes that proof is being demoted from a proxy indicator of understanding to raw data, and should be regarded as something akin to numerical computation—useful raw material for theory building, but far from being the endpoint itself.71% similarUnverifiedThe Conway conjecture was proposed by mathematician John Horton Conway and is an open problem in the field of combinatorics or number theory.66% similarUnverifiedTrue mathematical proof requires abstract thinking, logical reasoning, and creative insight.65% similarUnverifiedIn 1931, Gödel proved that formal mathematical systems can encode propositions about themselves and their own provability.64% similarVerifiedThe proofs of the four-color theorem and Kepler's conjecture both involved computer assistance, sparking philosophical discussions about whether humans truly understand these proofs.63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1049750API
curl https://kongchang.com/api/v1/knowledge/claims/1049750MCP
get_claim(id=1049750)