A sheaf model for intuitionistic quantum mechanics (Q1346410): Difference between revisions
From MaRDI portal
Removed claims |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Murray Adelman / rank | |||
Normal rank | |||
Property / author | |||
Property / author: John Vincent Corbett / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3254057 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3050433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of filters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean topoi and the theory of sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5593817 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two Applications of Logic to Mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4726915 / rank | |||
Normal rank |
Latest revision as of 12:36, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A sheaf model for intuitionistic quantum mechanics |
scientific article |
Statements
A sheaf model for intuitionistic quantum mechanics (English)
0 references
4 April 1995
0 references
The sheaf model discussed is the topos of sheaves on a certain topological space, namely a ``state space'' \(E\) associated to some Hilbert space \(H\). Because of the way \(E\) arises as a space of operators on \(H\), it carries a rich structure, in particular, there is a sheaf of real valued functions on it squeezed in between the sheafs of locally constant, and of all, continuous real valued functions on \(E\). These two may, from the viewpoint of the internal logic of the topos, be seen as the Cauchy real numbers and the Dedekind real numbers, respectively, as is well known. The in-between sheaf is called the ``quantum real numbers''. They are not closed under ordinary multiplication of Dedekind reals, but carry some other algebraic and geometric structure (investigated in particular for the case where \(H\) is two-dimensional). It is argued that response for slit-experiments is describable in terms of response functions with values in these quantum numbers. The advantage of seeing the particular sheaf theory here as intuitionistic set theory is not evident to the reviewer.
0 references
quantum mechanics
0 references
quantum real numbers
0 references
sheaf model
0 references
topos of sheaves
0 references
response functions
0 references
quantum numbers
0 references
intuitionistic set theory
0 references