The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
MARCH 7, 2022
We can think of the ruliad as the entangled limit of all possible computations—or in effect a representation of all possible formal processes. Many of these consequences are incredibly complicated, and full of computational irreducibility. But now we can make a bridge to mathematics. So is something similar happening with mathematics?
Let's personalize your content