**Authors:** Alexandre Harvey-Tremblay

In this work, I present a minimalist approach to first-order logic and show how it implies an irrefutable equation which connects the field of algorithmic information theory (AIT) to our major theories of physics. The construction of the irrefutable equation produces a new theory of physics where the universe is to be interpreted as the result of a universal Turing machine maximizing the entropy during the calculation of its halting probability, Omega. The construction is sufficiently specific to derive General Relativity and the Dirac equation from pure reason. The minimalist approach is, in many ways, similar to the constructivist project in mathematics but taken to the extreme. The approach starts from first-order logic with no axioms and further removes all rules of inference with the exception of the proof by construction. Although this severely cripples first-order logic it nonetheless gives it the following advantage: From an argument originally made by Plato, I argue that any axioms or rules of inference that are removed increases the "epistemological irrefutability" of the theory. Taken to the extreme, once all axioms and all rules of inference are removed, the theory becomes entirely irrefutable and specifically in the case of this approach, as the first-order logic system is minimal, the epistemological irrefutability of its theorems is maximal. Using this approach, I construct a universal language defined by a small list of first-order sentences. Each of the sentences claims the existence of an object of language which is provable by construction, the only rule of inference allowed by the minimalist system. As a result of being a theorem of a minimal system, the existence of the constructed universal language is therefore maximally irrefutable. This minimalist method loosely resembles René Descartes' derivation of the 'cogito ergo sum', an irrefutable statement, obtained by progressively removing any and all uncertain statements and cataloguing what remains. Like Descartes' method, the minimalist method also produces a statement that cannot be denied. But, unlike Descartes, as the proof is written in the language of first order logic, the irrefutable statement obtained is an actual equation. The equation applies to the group of all statements that cannot be refuted by the application of Descartes' universal doubt method. Part I is the minimalist derivation of the irrefutable equation. The equation obtained is formulated as a Gibbs ensemble and relates the algorithmic notions of provable-sentences to that of entropy. Part II is the derivation of the physical laws. I recover, from the irrefutable equation, the exact mathematical formulation of the major theories of physics; including statistical mechanics, quantum mechanics (QM), special and general relativity (GR) and the holographic principle. These equations are derived entirely from pure reason with no appeal to physical observations. All physical laws obtained are shown to be emergent from the entropy associated with the group of statements irrefutably proven to exist by the minimalist method. Naturally, deriving both the Dirac equation and general relativity from the same theory is highly suggestive that the irrefutable equation should be promoted to a tentative Theory of Everything (ToE)-candidate. This result motivates the liberal use of the ToE label throughout the paper.

**Comments:** 66 Pages.

**Download:** **PDF**

[v1] 2017-05-18 09:56:01

[v2] 2017-05-18 12:57:31

[v3] 2017-05-23 14:09:54

[v4] 2017-05-26 07:05:40

[v5] 2017-07-11 20:36:09

[v6] 2017-07-12 07:20:57

[v7] 2017-07-21 13:53:03

[v8] 2017-07-22 05:29:56

[v9] 2017-07-23 13:00:22

[vA] 2017-07-24 06:58:20

[vB] 2017-07-25 12:50:01

[vC] 2017-07-25 19:07:22

[vD] 2017-07-26 07:05:11

[vE] 2017-07-26 08:04:32

[vF] 2017-08-14 10:34:44

[vG] 2017-08-16 20:21:03

[vH] 2017-09-11 12:00:42

[vI] 2017-09-12 09:43:06

[vJ] 2017-09-17 15:07:54

[vK] 2017-09-25 12:31:29

[vL] 2017-09-26 08:01:33

[vM] 2017-10-27 14:06:00

[vN] 2017-10-30 07:48:29

[vO] 2017-10-31 14:32:32

**Unique-IP document downloads:** 308 times

Vixra.org is a pre-print repository rather than a journal. Articles hosted may not yet have been verified by peer-review and should be treated as preliminary. In particular, anything that appears to include financial or legal advice or proposed medical treatments should be treated with due caution. Vixra.org will not be responsible for any consequences of actions that result from any form of use of any documents on this website.

**Add your own feedback and questions here:**

*You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful. *