Hilbert's sixth problem

Hilbert's sixth problem is to axiomatize those branches of science in which mathematics is prevalent. It occurs on the list of Hilbert's problems, given out in 1900.

In the decade that followed, new foundational physics in the form of quantum theory and special relativity arose. These, clearly, could not have been anticipated when Hilbert formulated the problem. He himself subsequently worked on the axiomatic approach to more classical parts of physics.

When it came to formulating general relativity, Hilbert had an influence. The abstract approach of Dirac to the developed quantum mechanics of the 1920s resembles an axiomatic study; but would not be considered to be a complete axiomatisation in mathematical terms. Efforts have been made to put quantum field theory on some axiomatic basis. While the programme suggested by Hilbert has had some influence, therefore, it cannot be said to have been fulfilled along the lines suggested. In fact fundamental physics still eludes any precise description.