Stephen Wolfram

MARCH 7, 2022

And in what follows we’ll see the great power that arises from using this to combine the achievements and intuitions of physics and mathematics—and how this lets us think about new “general laws of mathematics”, and view the ultimate foundations of mathematics in a different light. So how about logic, or, more specifically Boolean algebra ?

Mathematics 120

Mathematics Physics Computer Algebra 120

Stephen Wolfram

MAY 25, 2021

How do we achieve this? 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. Will there still be “human-level descriptions” that involve numbers?

Mathematics 53

Mathematics Physics Computer Algebra 53

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