Proving physics by making science formal

Alexandre Harvey-Tremblay
We present a mathematical model formalizing the practice of science in nature. The model, which we name formal science, is constructed within the frameworks of algorithmic information theory and that of theoretic computer science. Formal Science is a significant improvement over the informal practice of science as well as a 'clarification tool par excellence' for the foundation of physics, and as such it is able to derive the corpus of physics as a theorem. Formal...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.