Unverified50% confidenceOpinionExact time
Sanderson 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.
1
Sources
50%
Confidence
Long-term
Relevance
10/16/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedSanderson 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.71% similarUnverified置换检验是一种非参数统计推断方法,由罗纳德·费雪在20世纪30年代奠定理论基础63% similarUnverifiedRate-distortion theory, proposed by Claude Shannon, studies the minimum level to which data can be compressed given a specified distortion tolerance.63% similarUnverifiedThe concept of sufficiency in sufficient statistics was proposed by Ronald Fisher.61% similarUnverifiedIn 1931, Gödel proved that formal mathematical systems can encode propositions about themselves and their own provability.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1049758API
curl https://kongchang.com/api/v1/knowledge/claims/1049758MCP
get_claim(id=1049758)