Answer:
*Partially solved, cannot be fully solved, even in the most complex of mathematicians.
— Attempts at axiomatizing are useful even beyond mathematics: they help to clarify the basic assumptions and keep the mind in order. This is good and encouraging.
— This order may be much more complicated and counter-intuitive than the preceding chaos. This is not so encouraging, but not too bad: axiomatizing is a powerful tool, and its use requires accuracy.
— The road to rigour is infinite. This is neither encouraging nor discouraging: this is reality.
Explanation:
‘One can say that, with the birth of quantum theory, Hilbert’s sixth problem was split into three different questions:
(i) Axiomatize classical probability.
(ii) Axiomatize the new (quantum) probability.
(iii) Clarify the connections between the two.’
The essence of the sixth problem as a programmatic call for the axiomatization of the physical sciences.
We can try to outline the possible ‘semantic of physical reality’ that complements semantics of physical theories, is simple, abstract and free from theoretical allusions. Let us just follow the machine learning abstractions. There are two alphabets: perceptions Inline Formula and actions Inline Formula.
The ‘person’ selects and sends ‘outwards’ the symbols from Inline Formula (actions) and receives symbols from Inline Formula (the answers to actions or just signals from ‘outside’).
There is the ‘freedom of will’: selection of a symbol from Inline Formula has no restrictions (Inline Formula models commands to actuators; the real actions and their results return to the person with the Inline Formula feedback).
10 problems, namely {3,7,10,11,13,14,17,19,20,21}, have a resolution that is accepted by a general consensus of the mathematical community. On the other hand, the solutions proposed for seven problems, namely {1,2,5,9,15,18,22}, are only partially accepted as resolving the corresponding problems.
Therefore, my conclusion, is that my brain is fried, and this cannot be fully solved.