The Concept of the Ruliad
Stephen Wolfram
NOVEMBER 10, 2021
For integers, the obvious notion of equivalence is numerical equality. Then (by the assumed properties of equality) it follows that. In other words, we’re concerned more with what computational results are obtained, with what computational resources, rather than on the details of the program constructed to achieve this.
Let's personalize your content