- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Quantum Physics, Topology, Formal Languages, Computation: A Categorical View as Homage to David Hilbert
Perspectives on Science 22 (1):98-114 (2014)
Abstract
. The deep structural properties of a quantum information theoretic approach to formal languages and universal computation, as well as those of the topology problem of defining the presentation of the Mapping Class Group of a smooth, compact manifold are shown to be grounded in the common categorical features of the two problems.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Measurement-Based Quantum Computation and Undecidable Logic.Maarten Van den Nest & Hans J. Briegel - 2008 - Foundations of Physics 38 (5):448-457.
Quantum Event Structures from the Perspective of Grothendieck Topoi.Elias Zafiris - 2004 - Foundations of Physics 34 (7):1063-1090.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
Entanglement as a Semantic Resource.Maria Luisa Dalla Chiara, Roberto Giuntini, Antonio Ledda, Roberto Leporini & Giuseppe Sergioli - 2010 - Foundations of Physics 40 (9-10):1494-1518.
On the Zariski Topology on Endomorphism Monoids of Omega-Categorical Structures.Michael Pinsker & Clemens Schindler - forthcoming - Journal of Symbolic Logic:1-19.
Climbing Mount Scalable: Physical Resource Requirements for a Scalable Quantum Computer. [REVIEW]Robin Blume-Kohout, Carlton M. Caves & Ivan H. Deutsch - 2002 - Foundations of Physics 32 (11):1641-1670.
Quantum mechanics and computation.Bart D’Hooghe & Jaroslaw Pykacz - 2004 - Foundations of Science 9 (4):387-404.
Vagueness, Kant and Topology: a Study of Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2008 - Journal of Philosophical Logic 37 (2):141-168.
Analytics
Added to PP
2014-01-23
Downloads
33 (#125,351)
6 months
2 (#1,816,284)
2014-01-23
Downloads
33 (#125,351)
6 months
2 (#1,816,284)
Historical graph of downloads
Citations of this work
The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.Gianfranco Basti - 2022 - Philosophies 7 (6):121.
References found in this work
General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.
A bialgebraic approach to automata and formal language theory.James Worthington - 2012 - Annals of Pure and Applied Logic 163 (7):745-762.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo