Decision Procedures in Quantum Mechanics
- 1 June 1972
- journal article
- research article
- Published by AIP Publishing in Journal of Mathematical Physics
- Vol. 13 (6) , 908-915
- https://doi.org/10.1063/1.1666075
Abstract
The results of an earlier paper on finite and infinite sequences of measurements are here extended to include decision procedures. It is shown that with each decision procedure Q there is uniquely associated a probability operator measure OQ, which gives the statistical properties of Q. None, some, or all of the paths of Q can be infinitely long. A result of this association is that there are two methods of measuring the probability that carrying out Q on a system in state ρ gives an outcome sequence in some set F. A remarkable aspect of this equivalence is that the purely physical operation of one method is equivalent to, or can replace, the physical operation and mathematical decision procedure of the other method.Keywords
This publication has 7 references indexed in Scilit:
- Operator Valued Measures in Quantum Mechanics: Finite and Infinite ProcessesJournal of Mathematical Physics, 1972
- TreesThe Journal of Symbolic Logic, 1971
- Some Aspects of the Relationship between Mathematical Logic and Physics. IIJournal of Mathematical Physics, 1971
- Some Aspects of the Relationship between Mathematical Logic and Physics. IJournal of Mathematical Physics, 1970
- An Approach to Empirical LogicThe American Mathematical Monthly, 1970
- An Approach to Empirical LogicThe American Mathematical Monthly, 1970
- On integration in Banach spaces, ICzechoslovak Mathematical Journal, 1970