article thumbnail

The Concept of the Ruliad

Stephen Wolfram

And we can trace the argument for this to the Principle of Computational Equivalence. In essence there’s only one ruliad because the Principle of Computational Equivalence says that almost all rules lead to computations that are equivalent. And this is where our pieces of “falsifiable natural science” come in.

Physics 121
article thumbnail

The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics

Stephen Wolfram

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: α[ ]. &#10005. &#10005. &#10005. or: &#10005.