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. So how about logic, or, more specifically Boolean algebra ? And in a way our Physics Project begins from a similar place.
Let's personalize your content