The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics

04/04/2022
by   Stephen Wolfram, et al.
0

Both metamathematics and physics are posited to emerge from samplings by observers of the unique ruliad structure that corresponds to the entangled limit of all possible computations. The possibility of higher-level mathematics accessible to humans is posited to be the analog for mathematical observers of the perception of physical space for physical observers. A physicalized analysis is given of the bulk limit of traditional axiomatic approaches to the foundations of mathematics, together with explicit empirical metamathematics of some examples of formalized mathematics. General physicalized laws of mathematics are discussed, associated with concepts such as metamathematical motion, inevitable dualities, proof topology and metamathematical singularities. It is argued that mathematics as currently practiced can be viewed as derived from the ruliad in a direct Platonic fashion analogous to our experience of the physical world, and that axiomatic formulation, while often convenient, does not capture the ultimate character of mathematics. Among the implications of this view is that only certain collections of axioms may be consistent with inevitable features of human mathematical observers. A discussion is included of historical and philosophical connections, as well as of foundational implications for the future of mathematics.

READ FULL TEXT

page 1

page 11

page 18

page 20

page 21

page 36

08/20/2020

Adventures in Mathematical Reasoning

"Mathematics is not a careful march down a well-cleared highway, but a j...
01/08/2018

Three Puzzles on Mathematics, Computation, and Games

In this lecture I will talk about three mathematical puzzles involving m...
04/01/2016

A General World Model with Poiesis: Poppers Three Worlds updated with Software

With the famous Three Worlds of Karl Popper as template, the paper rigor...
10/07/2017

Univalent Foundations and the UniMath Library

We give a concise presentation of the Univalent Foundations of mathemati...
04/30/2019

A Detailed Analysis of Quicksort Algorithms with Experimental Mathematics

We study several variants of single-pivot and multi-pivot Quicksort algo...
04/17/2020

A review on mathematical strength and analysis of Enigma

In this review article, we discussed the Mathematics and mechanics behin...
12/16/2019

Quantum GestART: Identifying and Applying Correlations between Mathematics, Art, and Perceptual Organization

Mathematics can help analyze the arts and inspire new artwork. Mathemati...