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. So how about logic, or, more specifically Boolean algebra ? and Not ) is: &#10005.

Mathematics 119

Mathematics Physics Computer Algebra 119

Stephen Wolfram

NOVEMBER 10, 2021

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. And this is where our pieces of “falsifiable natural science” come in.

Physics 121

Physics Mathematics Computer Construction 121

Stephen Wolfram

JANUARY 9, 2025

And in fact, to my knowledge, my Boolean algebra axiom is actually the only truly unexpected result thats ever been found for the first time using automated theorem proving. But what about something more like a theory in natural science? But, OK, so we know its true. And thats interesting.

Mathematics 96

Mathematics Algebra Computer Natural Sciences 96