Unverified50% confidenceEventExact time
In 1994, William Thurston published "On proof and progress in mathematics" in the Bulletin of the American Mathematical Society, responding to the debate at the time about "what constitutes a rigorous proof."
1
Sources
50%
Confidence
Long-term
Relevance
10/14/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedFermat's Last Theorem was proposed by Fermat in 1637, proved by Andrew Wiles in 1995, and had puzzled the mathematical community for 358 years.65% similarUnverified1979年，Richard DeMillo、Richard Lipton 和 Alan Perlis 发表了论文《Social Processes and Proofs of Theorems and Programs》，质疑形式化验证的可行性64% similarUnverifiedThe 'knowledge gap' theory was first systematically proposed in 1994 by Carnegie Mellon University behavioral economist George Loewenstein.62% similarUnverified这个问题最早由英国数学家詹姆斯·约瑟夫·西尔维斯特于1893年在《教育时报》上以问题形式提出，但没有给出证明62% similarUnverifiedAndrew Wiles completed the proof of Fermat's Last Theorem in 1994; the proof was 129 pages long and combined elliptic curves, modular forms, and the Taniyama–Shimura conjecture.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1022693API
curl https://kongchang.com/api/v1/knowledge/claims/1022693MCP
get_claim(id=1022693)