The Physicalization of Metamathematics and Its Implications

Results from samplings of the unique ruliad structure that corresponds to the entangled limit of all possible computations. General physicalized laws of mathematics are discussed, associated with concepts such as metamathematical motion, inevitable dualities, proof topology and metamathematical singularities.

Related Keywords

Hanoi , Han I , Vietnam , Republic Of , Greece , Greek , Tim Gowers , Richard Assar , Maryanthe Malliaris , Elise Cawley , Mario Carneiro , Principia Mathematica , Jonathan Gorard , Mano Namuduri , Nik Murzin , Assaf Peretz , Vladimir Voevodsky , Brad Klee , Xerxes Arsiwalla , Michael Trott , Andrej Bauer , Tom Hales , Hatem Elshatlawy , Dana Scott , Lou Kauffman , James Boyd , Matthew Szudzik , Harvey Friedman , Wolfram Alpha , Kevin Buzzard , Jeremy Avigad , Symbolic Manipulation Program , Physics Have , Physics Project , Second Law , Underlying Structure , Wolfram Language , Peano Arithmetic , Computational Equivalence , Some Simple Examples , Rules Applied , Accumulative String , Beyond Substitution , Some First Metamathematical , Automated Theorem , Axiom Systems , New Kind , Middle Ages , Continuum Hypothesis , Physicalized Laws , Big Bang , Relativistic Effects , Fundamental Theorem , How Mathematics Relates , Some Historical , Personal History , Doing Mathematics , Greg Chaitin , Norm Megill , Wolfram Physics Project ,