Intro to Proofs for the Morbidly Curious
web.evanchen.cc · 5,167 words · saved by 1 readers
N/A
Intro to Proofs for the Morbidly Curious EVAN CHEN《陳誼廷》 30 April 2026 It’s weird how we taught students to encode their understanding of math in their understanding of social permission (what they’re “allowed” to do). Permission has nothing to do with it. The question is what procedures…
saved by
related reading
- startup review: axiom mathsubstack.com
- CalculusIntuitiveExplanations.pdfintuitiveexplanations.com
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- Mathematics for Computer Sciencepeople.csail.mit.edu
- How To Prove Itia800501.us.archive.org
- HOW TO PROVE IT: A Structured Approach, Second Editionusers.metu.edu.tr
- Lean Game Serveradam.math.hhu.de
- Formalizing Fermat's Last Theoremanthropic.com
- The fall of the theorem economydavidbessis.substack.com
- Why Mathematical Proof Is a Social Compact | Quanta Magazinequantamagazine.org
- A slightly longer Lean 4 proof tour | What's newterrytao.wordpress.com
- 2510.01346arxiv.org