Notes & Thanks - Metamathematics
× 33 Notes & Thanks For more than 25 years Elise Cawley has been telling me her thematic (and rather Platonic) view of the foundations of mathematics—and that basing everything on constructed axiom systems is a piece of modernism that misses the point. From what’s described here, I now finally realize that, yes, despite my repeated insistence to the contrary, what she’s been telling me has been
× 33 Notes & Thanks For more than 25 years Elise Cawley has been telling me her thematic (and rather Platonic) view of the foundations of mathematics—and that basing everything on constructed axiom systems is a piece of modernism that misses the point. From what’s described here, I now finally realize that, yes, despite my repeated insistence to the contrary, what she’s been telling me has been on the right track all along! I’m grateful for extensive help on this project from James Boyd and Nik Murzin, with additional contributions by Brad Klee and Mano Namuduri. Some of the early core…
related reading
- In Memory of My Wife, Elise Cawley (1961–2026), with Thanks for 36 Wonderful Years-Stephen Wolfram Writingswritings.stephenwolfram.com
- Using spaced repetition systems to see through a piece of mathematicscognitivemedium.com
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematicswolframscience.com
- The fall of the theorem economydavidbessis.substack.com
- Napkin.pdfvenhance.github.io
- startup review: axiom mathil0vemilktea.substack.com
- How To Think Real Good | Meta-rationalitymetarationality.com
- Stephen Wolfram Writingswritings.stephenwolfram.com
- The Genius Who Invented Reverse Mathematicsyoutube.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- startup review: axiom mathsubstack.com