-
The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
-
The Concept of the Ruliad
-
Multicomputation with Numbers: The Case of Simple Multiway Systems
-
Multicomputation: A Fourth Paradigm for Theoretical Science
-
How Inevitable Is the Concept of Numbers?
-
Multiway Turing Machines
-
The Empirical Metamathematics of Euclid and Beyond
-
A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics