Remove Calculus Remove Computer Science Remove Equality Remove Natural Sciences
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 at t steps gives a total number of rules equal to: &#10005. &#10005.

article thumbnail

The Concept of the Ruliad

Stephen Wolfram

For integers, the obvious notion of equivalence is numerical equality. Then (by the assumed properties of equality) it follows that. But what about other models of computation—like cellular automata or register machines or lambda calculus? And this is where our pieces of “falsifiable natural science” come in.

Physics 122