Proving physics by making science formal

Alexandre Harvey-Tremblay
Under the expectation that the laws of physics are revealed by the practice of science in nature, we conjectured that a mathematical formalization of such would carry over this expectation and would be able to produce, in a formal setting, the laws of physics as theorems of the practice. Here, we report a mathematical model formalizing the practice of science in nature. The model, which we name formal science, is constructed within the frameworks of...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.