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. We can view these in some sense as the “observed phenomena” of (human) mathematics.
Let's personalize your content