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
    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
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers