The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
MARCH 7, 2022
But beginning a little more than a century ago there emerged the idea that one could build mathematics purely from formal axioms, without necessarily any reference to what is accessible to sensory experience. But what is the “geography” of this space? So how about logic, or, more specifically Boolean algebra ? ✕.
122 
Let's personalize your content