Quanta, Logic and SpacetimeWorld Scientific, 2003 - 465 pages 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. |
Autres éditions - Tout afficher
Expressions et termes fréquents
action vectors algebra map algebra structure analog associated axiom basis bispinor Boolean bosons chapter choice classical coalgebra commutative component continuum correspondence principle defect defined denotes diagram Dirac maps dual dynamical elements EndW equivalent expression fermions field finite dimensional Finkelstein formal formula function gauge given hand side Hilbert space Hopf algebra infinitesimal initial acts interpretation intuitionistic isomorphism Kripke Lagrangian last equation lattice Lie algebra line bundle linear map macroscopic experimenters manifold matrix modal namely natural deduction notation notion obtain operator ortholattice orthomodel orthomodular orthomodular lattice pair physical proof proposition quantum logic quantum set qubit replaced representation represents resolution result reticular right-hand side rules second quantization selective acts sequence sequent calculus side of equation spacetime spinor subalgebra subspaces superposition theorem theory tion transformations transition trivial underlying vector space Weyl equations yields