Why Mathematical Proof Is a Social Compact | Quanta Magazine

Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach.

Why Mathematical Proof Is a Social Compact | Quanta Magazine Home Why Mathematical Proof Is a Social Compact Read Later Share Copied! Comments Read Later Read Later Q&A Why Mathematical Proof Is a Social Compact By Jordana Cepelewicz August 31, 2023 Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. Read Later Andrew Granville on the campus of the University of Montreal. Alex Tran for Quanta Magazine Introduction By Jordana Cepelewicz Math Editor August 31, 2023 View PDF/Print Mode artificial intelligence computer science computer-

related reading

• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• Using spaced repetition systems to see through a piece of mathematicscognitivemedium.com
• Titans of Mathematics Clash Over Epic Proof of ABC Conjecture | Quanta Magazinequantamagazine.org
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• How Do Mathematicians Know Their Proofs Are Correct? | Quanta Magazinequantamagazine.org
• The fall of the theorem economydavidbessis.substack.com
• There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
• How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. | Quanta Magazinequantamagazine.org
• How Unknowable Math Can Help Hide Secrets | Quanta Magazinequantamagazine.org
• How Gödel’s Proof Works | Quanta Magazinequantamagazine.org
• Intro to Proofs for the Morbidly Curiousweb.evanchen.cc
• Yitang Zhang’s Pursuit of Beauty in Math | The New Yorkernewyorker.com