A constructive formulation of Gleason's theorem

DOI10.1023/A:1004275113665zbMATH Open0907.03025MaRDI QIDQ1372943FDOQ1372943

Authors: Helen Billinge 

Publication date: 4 November 1997

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

Recommendations

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• An elementary proof of Gleason's theorem
• Title not available (Why is that?)
• Gleason's theorem is not constructively provable

Cited In (4)

• A constructive proof of Gleason's theorem
• Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem
• Gleason's theorem has a constructive proof
• The multi-form generalised Gleason 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)