Stephen Wolfram

MAY 25, 2021

Instead, what happens is that the universe evolves by virtue of lots of elementary updating events happening throughout the network. No doubt there’ll at least be some “natural-science-like” characterizations of what’s going on. But at the lowest level in our models, time doesn’t work that way. But there is a subtlety here.

Mathematics 53

Mathematics Physics Computer Algebra 53

Stephen Wolfram

MARCH 7, 2022

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.

Mathematics 120

Mathematics Physics Computer Algebra 120

Stephen Wolfram

NOVEMBER 10, 2021

For integers, the obvious notion of equivalence is numerical equality. For example, we know (as I discovered in 2000) that (( b · c ) · a ) · ( b · (( b · a ) · b )) = a is the minimal axiom system for Boolean algebra , because FindEquationalProof finds a path that proves it.

Physics 122

Physics Mathematics Computer Construction 122