Abstract

To answer foundational questions in physics, physicists turn more and more to abstract advanced mathematics, even though its physical significance may not be immediately clear. What if we started to borrow ideas and approaches, with appropriate modifications, from the foundations of mathematics? In this paper we explore this route. In reverse mathematics one starts from theorems and finds the minimum set of axioms required for their derivation. In reverse physics we want to start from laws or more specific results, and find the physical concepts and starting points that recover them. We want to understand what physical results are implied by which physical assumptions. As an example of the technique, we will see six different characterizations of classical mechanics, show that the uncertainty principle depends only on the entropy bound on pure states and recast the third law of thermodynamics in terms of the entropy of an empty system. We believe the approach can provide greater insights into both current and new physical theories, put the physical concepts at the forefront of the discussion and provide a more unified view of physics by highlighting common patterns and ideas across different physical theories.