✳flâneur — a map of the web's best reading
Why Mathematical Proof Is a Social Compact | Quanta Magazine
quantamagazine.org · 3,638 words · saved by 1 readers
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-
Explore this link on the map →related reading
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- Mathematics for Computer Sciencepeople.csail.mit.edu
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- Declaration — Math and AImathandai.org
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- Knowledge Collapse - Boston Reviewbostonreview.net
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- startup review: axiom mathil0vemilktea.substack.com
- The Dark Night of Mathematics - by Kirwin Hampshirekirwinhampshire.substack.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com