Open AccessThe decision problem for mathematical structures of quantum theory
Author(s) -
A. Benedetti,
G. Teppati
Publication year - 1971
Publication title -
lettere al nuovo cimento della societa italiana di fisica/lettere al nuovo cimento
Language(s) - English
Resource type - Journals
eISSN - 0375-930X
pISSN - 0024-1318
DOI - 10.1007/bf02799244
Subject(s) - undecidable problem , axiom , mathematical structure , decidability , discrete mathematics , predicate (mathematical logic) , rule of inference , sentence , mathematics , categorical quantum mechanics , logical equivalence , pure mathematics , calculus (dental) , equivalence (formal languages) , algebra over a field , computer science , quantum , physics , quantum mechanics , quantum process , medicine , mathematics education , geometry , dentistry , artificial intelligence , quantum dynamics , programming language
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom