Quanta, Logic and SpacetimeWorld Scientific, 2003 - 488 pàgines 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 OCo and an introduction to OCo 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 OCo that quantum physics at a fundamental level may itself be realized as a species of quantum computation OCo is strongly underscored. Errata. Errata (159 KB). Sample Chapter(s). Foundations (207 KB). Contents: Preliminaries: Foundations: Quantum Sets; Group Duality, Coherence and Cyclic Actions; Computational Paradigms: Natural Deduction; Quantum Logic; The Computational Resources of Quantum Logic; The Plenum: A Quantum Net; Towards a Correspondence Principle for the Quantum Net; A Correspondence Principle for the Quantum Net; Dynamics I; Dynamics II; Comparisons, Interpretations and Speculations. Readership: Mathematicians and physicists." |
Continguts
on a Compact Group | 3 |
Foundations | 5 |
Quantum Sets | 23 |
Group Duality Coherence and Cyclic Actions | 43 |
Natural Deduction | 73 |
Quantum Logic | 91 |
Butterfield | 134 |
A Quantum Net | 179 |
A Correspondence Principle for the Quantum Net | 233 |
Dynamics I | 279 |
Dynamics II | 315 |
Comparisons Interpretations and Speculations | 377 |
References | 429 |
| 443 | |
| 451 | |
| 457 | |
Altres edicions - Mostra-ho tot
Quanta, Logic And Spacetime: Variations On Finkelstein's Quantum Relativity Selesnick Steve A Previsualització limitada - 1998 |
Frases i termes més freqüents
act of injecting action vectors adjoint algebra map algebra structure amplitude analog associated axiom bispinor Boolean bosons chapter choice classical closed subspaces coalgebra commutative component continuum deduction defect defined denotes diagram Dirac maps dual eigenvalue elements EndW equivalent expression exterior algebra fermions finite dimensional Finkelstein follows formula function gauge geometrical given hand side Hilbert space Hopf algebra infinitesimal initial act interaction interpretation intuitionistic Isham isomorphism Kripke Lagrangian last equation Lie algebra line bundle linear map macroscopic experimenters manifold matrix modal namely natural deduction notation notion obtain operator ortholattice orthomodular lattice pair physical proof proposition quan quantum logic quantum set qubit replaced representation represents resolution result reticular right-hand side second quantization selective acts sequence sequent calculus set theory side of equation spacetime spinor subalgebra superposition symmetry theorem tion transformations transition underlying vector space yields