The solution of the sixth Hilbert problem: the ultimate Galilean revolution.
 Citation data:

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences, ISSN: 14712962, Vol: 376, Issue: 2118, Page: 20170224
 Publication Year:
 2018
 Repository URL:
 http://philsciarchive.pitt.edu/id/eprint/14652
 PMID:
 29555798
 DOI:
 10.1098/rsta.2017.0224
 Author(s):
 Publisher(s):
 Tags:
 Mathematics; Engineering; Physics and Astronomy
review description
I argue for a full mathematization of the physical theory, including its axioms, which must contain no physical primitives. In provocative words: 'physics from no physics'. Although this may seem an oxymoron, it is the royal road to keep complete logical coherence, hence falsifiability of the theory. For such a purely mathematical theory the physical connotation must pertain only the interpretation of the mathematics, ranging from the axioms to the final theorems. On the contrary, the postulates of the two current major physical theories either do not have physical interpretation (as for von Neumann's axioms for quantum theory), or contain physical primitives as 'clock', 'rigid rod', 'force', 'inertial mass' (as for special relativity and mechanics). A purely mathematical theory as proposed here, though with limited (but relentlessly growing) domain of applicability, will have the eternal validity of mathematical truth. It will be a theory on which natural sciences can firmly rely. Such kind of theory is what I consider to be the solution of the sixth Hilbert problem. I argue that a prototype example of such a mathematical theory is provided by the novel algorithmic paradigm for physics, as in the recent informationtheoretical derivation of quantum theory and free quantum field theory.This article is part of the theme issue 'Hilbert's sixth problem'.