A constructive formulation of Gleason's theorem

DOI10.1023/A:1004275113665MaRDI QIDQ1372943zbMATH OpenFDO

Authors Helen Billinge

Publication date 4 November 1997

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1004275113665

zbMATH Keywords

constructive mathematicsGleason's TheoremHellman's counterexamplerepresentation of states in quantum mechanics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Applications of functional analysis in quantum physics (46N50) Constructive functional analysis (46S30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

The paper is devoted to a constructive reformulation of Gleason's Theorem, classically equivalent to the standard formulation, such that for this form of the theorem Hellman's counterexample [\textit{G. Hellman}, J. Philos. Logic 22, No. 2, 193-203 (1993; Zbl 0785.03041)], is not valid. However, the constructive proof of Gleason's Theorem is not known yet. Gleason's Theorem is a fundamental theorem for representation of states in quantum mechanics. Its constructive form would have great mathematical and philosophical consequences.

Recommendations

• Gleason's theorem is not constructively provable
• Gleason's theorem has a constructive proof
• A constructive proof of Gleason's theorem

Cites work

• An elementary proof of Gleason's theorem
• Constructivism in mathematics. An introduction. Volume I
• Gleason's theorem is not constructively provable
• scientific article; zbMATH DE number 3987248 (Why is no real title available?)
• scientific article; zbMATH DE number 3804205 (Why is no real title available?)

Cited in

(5)

• The multi-form generalised Gleason theorem
• A constructive proof of Gleason's theorem
• Gleason's theorem has a constructive proof
• Gleason's theorem is not constructively provable
• Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem

This page was built for publication: A constructive formulation of Gleason's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1372943)