Axiomatization of physics

also: **axiomatisation of physics**

Greek: αξιωματικοποίηση της φυσικής

You claimed (PBS Space Time) that Max Tegmark is biased = correctly because he doesn't differentiate mathetics created for calculations and allomathematics which are based on different axiomatics = list, algorithm or hybrid, to express universes. You claimed that language in physics is "other than mathematics". Of course language isn't an axiomatic system. But it is convertible to some allomathematics/ and the ontophysics = ontologically correct physics and not merely scientophysics (what we know)... the ontophysics should express EVERYTHING WITHIN ONE UNIVERSE (theory of the small everything, only within one universe; the true everything has to by a set of all sets/a system of all systems/an axiomatics of all axiomatics... which is impossible for many reasons [I have texts on it]).... The "words in physical texts" should be part of the allomathematics of physics. Matt O'Dowd is wrong. Only mathematics and allomathematics exists/is possible. Mistakes can seem unmathematical, but they're based on physical worlds... books with mistakes, computers which make mistakes (the human brain is a personhood-yielding computer/yes data-processor/information-processor)... Mistakes are bad sematic mappings, peudorandom and/or random generators etc. Ontological mistakes = unmathematics is an impossibility. Matt you mistake is that you only focus on common mathematics. Any rigorous allomathematics = logical system based on different axiomatics (list of axioms or axiomatic algorithm or hybrid axiomatics)... is still mathematically logical. Without mathematical logic as the physical foundations, there are no characteristics, thus no identity, thus the unmathematical is impossible as a possible reality. Mistakes can seem unmathematical if we take them at face value, but if we rigorously analyze them (for example a brain/personhood-yielding computer with too many erroneous semantic mappings and too open to randomness and pseudorandomness; bad filtering; bad error correction, etc.).... then even mistakes being ontologically = truly expressed, they are actually mathematical/allomathematical. (Infinite allomathematics are possible = different mathematical systems; not necessarily useful. Some are mutually transcribeable as a whole at the axiomatic level, some in a case-by-case basis but not at the axiomatic level, and some might be very incompatible/unworkable... but still transcribeable, because only logic can exist as a specific foundation for characteristics. Even the brain of the insane doesn't violate physics/allomathematics... but it simply doesn't deliver a properly personhooded and functional brain (see: gradience of personhood; in some mental illnesses even personhood is affected). // Why allomathematics is important? Well, it's VERY important to mention if you can immediately convert math to physics without extras, or if these extras can be encoded mathematically by a different mathematical system, which meets the criteria of self-causality of the ontological Turing machine (= a universe or other substantial cosmos), and also physical allomathematics have to workaround (but cannot cancel at least all) the problems of the axiomatic systems/the problems of axiomaticity (incompleteness, inconsistency and incalculability... you can avoid one is some axiomatic systems, but you have to workaround the other problems via entropy, uncertainty, algorithm for axiom creation and other tricks/different set of tricks per different universe-family/substantiality family).

## comment 1

Separate the "generic everything which cannot exist as a whole" from the "small everthing" = axiomatics of our universe. If you don't you are trapped. Alternative ontoaxiomatics = physics = allomathematics that meet the criteria of substantiality and are universe-like are possible, but there is no omniaxiomatics = the axiomatic system which is compatible and includes all axiomatic systems.

## videography

* What If The Universe Is Math? · PBS Space Time · YouTube