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. and zero arguments: α[ ]. ✕. ✕. ✕. or: ✕.
120 
Let's personalize your content