The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
MARCH 7, 2022
One can view a symbolic expression such as f[g[x][y, h[z]], w] as a hierarchical or tree structure , in which at every level some particular “head” (like f ) is “applied to” one or more arguments. So how about logic, or, more specifically Boolean algebra ? We’ve looked at axioms for group theory and for Boolean algebra.
Let's personalize your content