Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

On definitions of validity applied to quantum theories

  • 59 Accesses

  • 3 Citations


In this work, quantum theories are considered which consist in essence of a map from state preparation proceduresw to states and a map from decision proceduresQ to probability operator measures. Two definitions of validity, similar to that given elsewhere, are given and compared for these theories. One definition is given in terms of one carrying out of somew followed by someQ, denoted by(Q, w). The other is given in terms of infinite repetitions(Q, w) ofw followed byQ. Both definitions are discussed in terms of the comparison of limit empirical means with theoretical expectation values. Particular attention is given to the use of outcome sequences of(Q, w) and of(Q, w) to determine properties of the probability measures the physical theory assigns to each(Q, w) in its domain.

This is a preview of subscription content, log in to check access.


  1. 1.

    P. A. Benioff,J. Math. Phys. 11, 2553 (1970).

  2. 2.

    P. A. Benioff,J. Math. Phys. 12, 360 (1971).

  3. 3.

    P. A. Benioff,J. Math. Phys. 13, 231 (1972).

  4. 4.

    P. A. Benioff,J. Math. Phys. 13, 908 (1972).

  5. 5.

    J. von Neumann,Mathematical Foundations of Quantum Mechanics, transl. by R. T. Beyer (Princeton Univ. Press, Princeton, N. J., 1955), pp. 335, 351.

  6. 6.

    E. B. Davies and J. T. Lewis,Commun. Math. Phys. 17, 239 (1970); E. B. Davies,J. Functional Analysis 6, 318 (1970); P. Benioff, to appear inJ. Math. Phys.

  7. 7.

    P. A. Benioff, unpublished work.

  8. 8.

    C. H. Randall and D. J. Foulis,Am. Math. Monthly 77, 363 (1970).

  9. 9.

    M. Born,Kgl. Danske Videnskab. Selskab. Mat-Fys. Medd. 30, No. 2 (1955).

  10. 10.

    G. Ludwig,Lecture Notes on Physics 4 (Springer-Verlag, Berlin).

  11. 11.

    W. Feller,An Introduction to Probability Theory and Its Applications (Wiley, New York, 1966), Vol. II, Chap. 5, Sections 2, 3.

  12. 12.

    M. Loeve,Probability Theory, 3rd ed. (Van Nostrand, Princeton, N. J., 1963), Section 11.

  13. 13.

    N. Dunford and J. T. Schwartz,Linear Operators (Interscience, New York, 1957), Part I, Chap. III, Section 5.

  14. 14.

    P. Halmos,Measure Theory (Van Nostrand, Princeton, N. J., 1950), p. 157.

Download references

Author information

Additional information

Based on work performed under the auspices of the U.S. Atomic Energy Commission.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Benioff, P. On definitions of validity applied to quantum theories. Found Phys 3, 359–379 (1973). https://doi.org/10.1007/BF00708678

Download citation


  • Quantum Theory
  • Physical Theory
  • State Preparation
  • Outcome Sequence
  • Probability Operator