Pages that link to "Item:Q2366249"
From MaRDI portal
The following pages link to Gleason's theorem is not constructively provable (Q2366249):
Displayed 10 items.
- Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem (Q720586) (← links)
- A constructive proof of Gleason's theorem (Q1283029) (← links)
- A constructive formulation of Gleason's theorem (Q1372943) (← links)
- Gleason's theorem has a constructive proof (Q1582232) (← links)
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem (Q1802394) (← links)
- Can constructive mathematics be applied in physics? (Q1818378) (← links)
- Constructive mathematics and unbounded operators -- a reply to Hellman (Q1902560) (← links)
- 1995 Annual Meeting of the Association for Symbol Logic (Q4858811) (← links)
- Toward a constructive theory of unbounded linear operators (Q4953226) (← links)
- Pluralism in mathematics (Q5301858) (← links)