Remove Algebra Remove Equality Remove Natural Sciences Remove Transportation
article thumbnail

How Inevitable Is the Concept of Numbers?

Stephen Wolfram

Let’s say that we’re trying to achieve the objective of having an efficient transportation system for carrying people around. No doubt there’ll at least be some “natural-science-like” characterizations of what’s going on. Ultimately an economic system is based on a large network of transactions. One person wants to get a cookie.

article thumbnail

The Concept of the Ruliad

Stephen Wolfram

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