A constructive formulation of Gleason's theorem (Q1372943)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A constructive formulation of Gleason's theorem |
scientific article; zbMATH DE number 1083183
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A constructive formulation of Gleason's theorem |
scientific article; zbMATH DE number 1083183 |
Statements
A constructive formulation of Gleason's theorem (English)
0 references
4 November 1997
0 references
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.
0 references
constructive mathematics
0 references
Gleason's Theorem
0 references
Hellman's counterexample
0 references
representation of states in quantum mechanics
0 references
