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
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematicswolframscience.com
- In Memory of My Wife, Elise Cawley (1961–2026), with Thanks for 36 Wonderful Years-Stephen Wolfram Writingswritings.stephenwolfram.com
- Axiomatic system - Wikipediaen.wikipedia.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- startup review: axiom mathil0vemilktea.substack.com
- Type theory - Wikipediaen.wikipedia.org
- Will Computers Redefine the Roots of Math? | Quanta Magazinequantamagazine.org
- What do we mean by "the foundations of mathematics"?lawrencecpaulson.github.io
- Why Math’s Final Axiom Proved So Controversial | Quanta Magazinequantamagazine.org
- startup review: axiom mathsubstack.com
- The fall of the theorem economydavidbessis.substack.com
- Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu