Axiomatic quantum theory (Q5957422)
From MaRDI portal
scientific article; zbMATH DE number 1716893
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatic quantum theory |
scientific article; zbMATH DE number 1716893 |
Statements
Axiomatic quantum theory (English)
0 references
2 February 2003
0 references
The author defines a formal language AQT (axiomatic quantum theory) whose terms are built from three kinds of variables (scalars, vectors, operators), and among others Dirac's ``kets'' and ``bras''. The axioms are chosen such that elementary properties of operator variables for instance can be derived. The terms of AQT are mapped on complex numbers, column and row vectors of finite-dimensional complex vector spaces, square matrices over the complex numbers, resp., and the wffs of AQT get their truth values inductively as usual. The treatment inside AQT of the more intricate concepts of the theory of operators relevant to quantum mechanics is deferred to forthcoming papers. There are no references to recent literature on quantum logic.
0 references
Dirac backet
0 references
quantum logic
0 references