LEADER 05018nam 2200661Ia 450 001 9910782117103321 005 20200520144314.0 010 $a1-281-93541-7 010 $a9786611935412 010 $a981-279-493-X 035 $a(CKB)1000000000537808 035 $a(EBL)1681688 035 $a(OCoLC)879025526 035 $a(SSID)ssj0000231138 035 $a(PQKBManifestationID)11947245 035 $a(PQKBTitleCode)TC0000231138 035 $a(PQKBWorkID)10198692 035 $a(PQKB)11505391 035 $a(MiAaPQ)EBC1681688 035 $a(WSP)00005421 035 $a(Au-PeEL)EBL1681688 035 $a(CaPaEBR)ebr10255933 035 $a(CaONFJC)MIL193541 035 $a(PPN)164634053 035 $a(EXLCZ)991000000000537808 100 $a20030925d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aQuanta, logic and spacetime$b[electronic resource] /$fS.A. Selesnick 205 $a2nd ed. 210 $aRiver Edge, NJ $cWorld Scientific$dc2003 215 $a1 online resource (487 p.) 300 $aDescription based upon print version of record. 311 $a981-238-691-2 320 $aIncludes bibliographical references (p. 429-441) and indexes. 327 $aContents ; Part I Preliminaries ; 1. Foundations ; 1.1 Physics without Objects ; 1.2 Observables ; 1.3 Finite Dimensional Heuristics ; 2. Quantum Sets ; 2.1 Logics and Lattices ; 2.2 Some First-order Quantum Aggregates ; 2.2.1 Finite Products ; 2.2.2 Sequences ; 2.2.3 Sets 327 $a2.2.4 Sibs 2.3 Quantum Set Theory ; 3. Group Duality Coherence and Cyclic Actions ; 3.1 The Duality of Groups and Hopf Algebras ; 3.1.1 Algebras ; 3.1.2 Coalgebras ; 3.1.3 Bialgebras and Hopf Algebras ; 3.1.4 The Additive Affine Group ; 3.1.5 Finite Group Algebras 327 $a3.1.6 Topological Hopf and Coalgebras 3.1.7 The Algebra of Representative Functions on a Compact Group ; 3.1.8 Tensor Symmetric and Exterior Algebras ; 3.1.9 The Universal Enveloping Algebra of a Lie Algebra ; 3.2 Quantum Versions of Cyclic Groups 327 $a3.2.1 Quantum Permutations: from SI(n C) to Zn 3.2.2 Condensation and Coherence ; 3.2.3 Quantizing Cycles: from Zn to SI(n C) ; Part II Computational Paradigms ; 4. Natural Deduction ; 4.1 Natural Deduction for a Minimal System ; 4.2 The Curry-Howard Isomorphism 327 $a4.3 The Gentzen Sequent Calculus 5. Quantum Logic ; 5.1 Orthologic and its Model Theory ; 5.1.1 Orthologic as a Deductive System ; 5.1.2 Modal Logic and Kripke Models ; 5.1.3 A Modal Translation Theorem ; 5.1.4 The Implication Problem and Orthomodular Logic 327 $a5.1.5 Orthomodular Foundations for Quantum Mechanics 330 $aIn this expanded edition of Quanta, Logic and Spacetime, the logical base is greatly broadened and quantum-computational aspects of the approach are brought to the fore. The first two parts of this edition may indeed be regarded as providing a self-contained and logic-based foundation for - and an introduction to - the enterprise known as quantum computing. The rest of the work takes on the task (as in the first edition) of computing from first principles certain dynamical expressions which turn out to compare favorably with the Lagrangian densities of the (massless) Standard Model, i 606 $aQuantum theory 606 $aSpecial relativity (Physics) 615 0$aQuantum theory. 615 0$aSpecial relativity (Physics) 676 $a530.12 700 $aSelesnick$b S. A$g(Stephen Allan)$0626249 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782117103321 996 $aQuanta, logic and spacetime$91218877 997 $aUNINA