The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
MARCH 7, 2022
When most working mathematicians do mathematics it seems to be typical for them to reason as if the constructs they’re dealing with (whether they be numbers or sets or whatever) are “real things”. And we can think of that ultimate machine code as operating on things that are in effect just abstract constructs—very much like in mathematics.
Let's personalize your content