The incompleteness of extensional object languages of physics and time reversal. Part 2.

Publication Year:
Usage 280
Downloads 280
Repository URL:
Holster, Andrew
preprint description
This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be defined. This is applied to solve the problems used as examples in Part 1. A proof of a general theorem that such an operator must be defineable (for any general transformation) is sketched. A number of related issues about the interpretation of theories of physics, including classical and quantum mechanics and classical EM theory are discussed.