I'm interested in physical theories taking the form of precise, unambiguous mathematical statements. What significant work has been done to axiomize physical theories? What is left to be done? The theories I'm referring to are:
- Newtonian mechanics and its equivalents
- General relativity
- Classical electrodynamics (relativistic and otherwise)
- Whatever big theories of cosmology there are
- Quantum mechanics (I know von Neumann wrote about this subject)
- Statistical mechanics (though it might not be a single theory)
- Thermodynamics (as it might not all have been reducecd to statistical mechanics)
- The kinetic theory of gases (probably follows from another theory)
- Quantum mechanics
- Quantum field theory
- Quantum electrodynamics
- Quantum chromodynamics
- The standard model of particle physics
- Any big condensed matter theories