Quanta, logic and spacetime
In 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 i...
Saved in:
| Main Author | |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
River Edge, N.J
World Scientific
2003
World Scientific Publishing Company WORLD SCIENTIFIC World Scientific Publishing |
| Edition | 1 |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9812386912 9789812386915 981279493X 9789812794932 |
| DOI | 10.1142/5421 |
Cover
| Abstract | In 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, including gravity. The logic of this process is now subject to greater formal rigor than was possible in the first edition, and the central thesis — that quantum physics at a fundamental level may itself be realized as a species of quantum computation — is strongly underscored. |
|---|---|
| AbstractList | In 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, including gravity. The logic of this process is now subject to greater formal rigor than was possible in the first edition, and the central thesis - that quantum physics at a fundamental level may itself be realized as a species of quantum computation - is strongly underscored.ErrataErrata (159 KB)Sample Chapter(s)Foundations (207 KB)Contents:Preliminaries:FoundationsQuantum SetsGroup Duality, Coherence and Cyclic ActionsComputational Paradigms:Natural DeductionQuantum LogicThe Computational Resources of Quantum LogicThe Plenum:A Quantum NetTowards a Correspondence Principle for the Quantum NetA Correspondence Principle for the Quantum NetDynamics IDynamics IIComparisons, Interpretations and SpeculationsReadership: Mathematicians and physicists. In 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, including gravity. The logic of this process is now subject to greater formal rigor than was possible in the first edition, and the central thesis - that quantum physics at a fundamental level may itself be realized as a species of quantum computation - is strongly underscored. In 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, including gravity. The logic of this process is now subject to greater formal rigor than was possible in the first edition, and the central thesis — that quantum physics at a fundamental level may itself be realized as a species of quantum computation — is strongly underscored. |
| Author | Selesnick, S. A. (Stephen Allan) |
| Author_xml | – sequence: 1 fullname: Selesnick, S. A. (Stephen Allan) |
| BackLink | https://cir.nii.ac.jp/crid/1130000795881203712$$DView record in CiNii |
| BookMark | eNpFkFlLAzEUhSNasdsv6EsfBBGsZl8etdQFCiKI-BaSTKbGjhOdTO3fN3WKhkvC5X73cHIG4KiOtQdghOAlQhRfMYrRARgoibBQVJHXw64hkiuEe2CAISSQMy7hMehLoSBmDPMTME7pHeaDCUJE9sHkaWPq1lxMq7gKbmrqYpo-jfNt-PAj0CtNlfx4_w7By-3ieX4_Wz7ePcyvlzPDkSRqxmhpODGkpLawlmUHHDEiDFMM2oKVMrtCSHjLleNGFdQ6x4VAnnJPLDVkCM47YZPWfpveYtUm_V15G-M6aSXk3z_xP7uNTVUkF3zdhjI43cEI6l1AehdQZs869rOJXxufWv0r6fJKYyq9uJkjLnPJTE72pG8qv4p7NUkVxTBPT7tpHYJ2YXfn9HYxCsVk9gaJyNn_ACfrcUA |
| ContentType | eBook Book |
| DBID | RYH YSPEL |
| DEWEY | 530.12 |
| DOI | 10.1142/5421 |
| DatabaseName | CiNii Complete Perlego |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Physics |
| EISBN | 981279493X 9789812794932 9814483621 9789814483629 |
| Edition | 1 2 2nd Ed. |
| ExternalDocumentID | 9789812794932 10.1142/5421 EBC1681688 849420 BA66020228 |
| Genre | Electronic books |
| GroupedDBID | -VQ -VX 089 20A 38. 9WS A4I A4J AABBV AATMT ABARN ABCYV ABIAV ABMRC ABQPQ ACLGV ACZWY ADVEM AERYV AFOJC AHWGJ AIXPE AJFER AKHYG ALMA_UNASSIGNED_HOLDINGS ALUEM AMYDA AZZ BBABE CZZ DUGUG EBSCA ECOWB GEOUK HF4 IWG J-X JJU MYL PE2 PQQKQ PVBBV RYH WMAQA XI1 YSPEL IVK |
| ID | FETCH-LOGICAL-a61839-54fa63a3f4bdbb569161537a5950bd5f8386117eb69c6a9d4bcc6771e46e3b4a3 |
| ISBN | 9812386912 9789812386915 981279493X 9789812794932 |
| IngestDate | Fri Nov 08 00:02:38 EST 2024 Sat Mar 08 06:02:03 EST 2025 Wed Sep 10 01:18:01 EDT 2025 Tue Sep 02 22:29:33 EDT 2025 Thu Jun 26 22:01:26 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Keywords | Logic Quanta Spacetime |
| LCCN | 2003065680 |
| LCCallNum_Ident | QC174.12.S444 2003 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a61839-54fa63a3f4bdbb569161537a5950bd5f8386117eb69c6a9d4bcc6771e46e3b4a3 |
| Notes | Includes bibliographical references and index |
| OCLC | 879025526 |
| PQID | EBC1681688 |
| PageCount | 1 online resource (488 pages) |
| ParticipantIDs | askewsholts_vlebooks_9789812794932 nii_cinii_1130000795881203712 worldscientific_books_10_1142_5421 perlego_books_849420 proquest_ebookcentral_EBC1681688 |
| PublicationCentury | 2000 |
| PublicationDate | 2003 20031200 2003-12-04 |
| PublicationDateYYYYMMDD | 2003-01-01 2003-12-01 2003-12-04 |
| PublicationDate_xml | – year: 2003 text: 2003 |
| PublicationDecade | 2000 |
| PublicationPlace | River Edge, N.J |
| PublicationPlace_xml | – name: River Edge, N.J – name: Singapore |
| PublicationYear | 2003 |
| Publisher | World Scientific World Scientific Publishing Company WORLD SCIENTIFIC World Scientific Publishing |
| Publisher_xml | – name: World Scientific – name: World Scientific Publishing Company – name: WORLD SCIENTIFIC – name: World Scientific Publishing |
| SSID | ssj0000231138 |
| Score | 1.8685052 |
| Snippet | In this expanded edition of Quanta, Logic and Spacetime, the logical base is greatly broadened and quantum-computational aspects of the approach are brought to... |
| SourceID | askewsholts worldscientific proquest perlego nii |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | 1929 Finkelstein, David Ritz Finkelstein, David Ritz, 1929 Formal Specification (Software Engineering, Mathematical Logic) High Energy Physics Mathematical Physics Particle Physics Pure Mathematics Quantum theory SCIENCE Special relativity (Physics) Theoretical Physics |
| TableOfContents | Intro -- 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 -- 5.2 Quantum Logic Proper: Hilbert Models -- 5.2.1 Observables and States for Hilbert Lattices -- 5.2.2 The Kochen-Specker Theorem a les lsham and Butterfield -- 5.3 Critique of Quantum Logic -- 6. The Computational Resources of Quantum Logic -- 6.1 An Orthological Toy -- 6.2 GQ: A Minimal Intuitionisitic Propositional Sequent Calculus for Quantum Resources -- 6.3 Intuitionistic Orthologic and GQ -- 6.3.1 A Translation Theorem 6.3.2 The Model Category -- 6.3.3 A Model of Computation and the Emergence of the Qubit -- 6.3.4 Quantum Duplication as Entanglement -- 6.4 Quantum Computing in Classical Time: An Algebraic Model -- 6.5 Conclusions -- Part III The Plenum -- 7. A Quantum Net -- 7.1 Symmetries of the Qubit -- 7.2 A Superconducting Quantum Net -- 7.2.1 Some Remarks on Types and Reductions -- 7.3 A Geometrical Approach to the Net -- 8. Towards a Correspondence Principle for the Quantum Net -- 8.1 Vectors -- 8.2 Transport Curves and a little Chenism -- 9. A Correspondence Principle for the Quantum Net -- 9.1 Spinor Duality -- 9.2 Variation Derivation and the Dirac Maps -- 9.3 The A Operators -- 9.4 The Real Subspace Frame Choices and Dirac Matrices -- 9.4.1 General Transformations -- 9.5 The Correspondence Principle -- 10. Dynamics I -- 10.1 Dynamic Transport and the Lagrangian -- 10.2 Problems with the Dirac Operator -- 10.3 Feynman Path Integral and Field Equations -- 10.3.1 Solving the Weyl Equations by (Quantum) Thinking! -- 11. Dynamics II -- 11.1 The Defect's New Clothes -- 11.2 Dynamic Transport and the Lagrangian Revisited -- 11.2.1 The Interaction Term -- 11.2.2 The Kinetic Term -- 11.2.3 Ghosts -- 11.3 Resolution and Rescaling -- 12. Comparisons Interpretations and Speculations -- 12.1 An Abbreviated Sketch of the Standard Model -- 12.2 Asymptotic Freedom and Grand Unification -- 12.3 Superconduction and Electroweak Unification -- 12.4 Long Distance Topological Implications -- 12.5 Quantization Connections and Loop Quantum Gravity -- 12.6 Outlook -- References -- Citation Index -- Notational Index and Glossary -- Subject Index |
| Title | Quanta, logic and spacetime |
| URI | https://cir.nii.ac.jp/crid/1130000795881203712 https://www.perlego.com/book/849420/quanta-logic-and-spacetime-2nd-edition-pdf https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=1681688 https://www.worldscientific.com/doi/10.1142/5421 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9789812794932&uid=none |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3db9MwED-xItCGhIAxMcZQhHgbKUn8Efuxm4omJHhhoL1F_spUMWVoKTzw13PnuOlWkBC8WHGa2vVdevc7-z4AXvuCM8s0y6UILOetNigHsVu2MlTaeTICyNviozz9zN-fi_N1LcAYXbK0U_fzj3El_8NVvId8pSjZf-DsOCjewGvkL7bIYWw3wO_YHTNfdAPsi6IrngCgaHCBSsWPmyaoUfouVUr_ND2aTQlOJreuoxnyv1vtA6zMfrZh9g-uNvH_H32KbpmFGrU2U1IPgZK_C0lOSVcFH0KTN9JNH8-kRAhZVWoLtupaTeAuKsj5h3HjihLGlUwNyYvWM6HFO3aq-_AgTfSWptmBHdN_RaGNAn3ZoxbvFgu0N76F68twcXUL2z-MiWL7cV03lP3ZI5hQAMhjuBO6J3Avusi6fhcOBqK_ySLJMyR5NpL8KXx5Nz87Oc1TaYncSMKEueCtkcywlltvrcAfTci3NkKLwnrRKlxIWVLBGO2k0Z5b52Rdl4HLwCw3bA8m3VUXnkEWFIUyBukLwyn1ptZWOI8ayNSF177Yh1c3Vt_8uIzH4H2TyIcCETH0PhwiURq3oLakM0YEb1oofICSKuLnu4lczfBtxTWvcOxsRbsmDptcepv58UkpqaaKwuk3aJpGGELSq4Y49Pwv0x_A9volfAGT5fX3cIhobGlfpvfjF25-Jp0 |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Quanta%2C+logic+and+spacetime&rft.au=Selesnick%2C+S.+A.+%28Stephen+Allan%29&rft.date=2003-01-01&rft.pub=World+Scientific&rft.isbn=9789812386915&rft_id=info:doi/10.1142%2F5421&rft.externalDocID=BA66020228 |
| thumbnail_l | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.perlego.com%2Fbooks%2FRM_Books%2Fworld_scientific_pub_rlpceeul%2F9789812794932.jpg |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97898127%2F9789812794932.jpg |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.worldscientific.com%2Faction%2FshowCoverImage%3Fdoi%3D10.1142%2F5421 |