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. and at t steps gives a total number of rules equal to: ✕. So how about logic, or, more specifically Boolean algebra ?
Let's personalize your content