Skip to main content
SpringerLink
Log in

Gleason's theorem is not constructively provable

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Bishop, E. (1967)Foundations of Constructive Analysis (New York: McGraw-Hill).

    Google Scholar 

  • Bridges, D. S. (1979)Constructive Functional Analysis (London: Pitman).

    Google Scholar 

  • Bridges, D. S. (1981) “Towards a Constructive Foundation for Quantum Mechanics,” in F. Richman, ed.,Constructive Mathematics (Berlin: Springer), pp. 260–273.

    Google Scholar 

  • Cooke, R., Keane, M., and Moran, W. (1985) “An elementary Proof of Gleason's Theorem,”Mathematical Proceedings of the Cambridge Philosophical Society (Cambridge, England: Cambridge University Press); reprinted in Hughes, R.I.G.,The Structure and Interpretation of Quantum Mechanics (Cambridge, Mass.: Harvard University Press, 1989), pp. 321–337.

    Google Scholar 

  • Dummett, M. (1977)Elements of Inuitionism (Oxford: Oxford University Press).

    Google Scholar 

  • Gleason, A. M. (1957) “Measures on the Closed Subspaces of a Hilbert Space,”Journal of Mathematics and Mechanics 6(6), 885–893.

    Google Scholar 

  • Hellman, G. P. (1989) “Never say ‘Never’ On the Communication Problem between Intuitionism and Classicism,”Philosophical Topics 17(2), 47–67.

    Google Scholar 

  • Jauch, J. M. (1968)Foundations of Quantum Mechanics (Reading, Mass.: Addison-Wesley).

    Google Scholar 

  • Jordan, T. F. (1969)Linear Operators for Quantum Mechanics (New York: Wiley).

    Google Scholar 

  • Mackey, G. W. (1963)The Mathematical Foundations of Quantum Mechanics (Reading, Mass.: Benjamin).

    Google Scholar 

  • Piron, C. (1976)Foundations of Quantum Physics (Reading, Mass.: Benjamin).

    Google Scholar 

  • Stein, H. (1972) “On the Conceptual Structure of Quantum Mechanics,” in Colodny, R. A., ed.,Paradigms and Paradoxes: The Philosophical Challenge of the Quantum Domain (Pittsburgh: University of Pittsburgh Press), pp. 367–438.

    Google Scholar 

  • Varadarajan, V. S. (1968)Geometry of Quantum Thoery, Volume I (Princeton: Van Nostrand).

    Google Scholar 

  • von Neumann, J. (1955) [1932]Mathematical Foundations of Quantum Mechanics, translated from the German edition by R. T. Beyer (Princeton: Princeton University Press).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Minnesota, 55455, Minneapolis, MN, USA

    Geoffrey Hellman

Authors
  1. Geoffrey Hellman
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This material is based upon work supported by the National Science Foundation (USA) under Grant No. DIR-8922435. I am grateful to Philip Ehrlich and to Stewart Shapiro for useful comments on an earlier draft.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hellman, G. Gleason's theorem is not constructively provable. J Philos Logic 22, 193–203 (1993). https://doi.org/10.1007/BF01049261

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01049261

Search

Navigation