Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick

• Autore: Selesnick S. A (Stephen Allan)
• Pubblicazione: River Edge, NJ, : World Scientific, c2003
• Edizione: 2nd ed.
• Descrizione fisica: 1 online resource (487 p.)
• Disciplina: 530.12
• Soggetto topico: Quantum theory; Special relativity (Physics)
• Soggetto genere / forma: Electronic books.
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. 429-441) and indexes.
• Nota di contenuto: Contents ; 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 ; 2.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 ; 3.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 ; 3.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 ; 4.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 ; 5.1.5 Orthomodular Foundations for Quantum Mechanics
• Sommario/riassunto: In this expanded edition of <i>Quanta, Logic and Spacetime</i>, 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
• Titolo autorizzato: Quanta, logic and spacetime
• ISBN: 1-281-93541-7; 9786611935412; 981-279-493-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910454321803321
• Lo trovi qui: Univ. Federico II