The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
MARCH 7, 2022
And if we’re going to make a “general theory of mathematics” a first step is to do something like we’d typically do in natural science, and try to “drill down” to find a uniform underlying model—or at least representation—for all of them. But what is the “geography” of this space? ✕. and Not ) is: ✕.
120 
Let's personalize your content