Sponsor of the Day:
Jerkmate
https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/
The Empirical Metamathematics of Euclid and Beyond—Stephen Wolfram Writings
Surprising finds from the Wolfram Physics Project trigger a forming theory of metamathematics. These finds prompt Stephen Wolfram to re-contemplate empirical...
wolfram writingsempiricalmetamathematicseuclid
https://maa.org/book-reviews/kurt-godel-the-genius-of-metamathematics/
Kurt Gödel: The Genius of Metamathematics – Mathematical Association of America
mathematical associationkurtgeniusmetamathematicsamerica
https://www.wolfram-media.com/products/metamathematics-foundations-and-physicalization/
Metamathematics: Foundations & Physicalization
Book by Stephen Wolfram shows how both mathematics and physics as experienced by humans can be seen to emerge from the unique underlying computational...
metamathematicsfoundationsphysicalization
https://www.wolframscience.com/metamathematics/
The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Online book by Stephen Wolfram. Results from samplings of the unique ruliad structure that corresponds to the entangled limit of all possible computations....
physicalizationmetamathematicsimplicationsfoundations