2,630 research outputs found
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
A Computable Economist’s Perspective on Computational Complexity
A computable economist's view of the world of computational complexity theory is described. This means the model of computation underpinning theories of computational complexity plays a central role. The emergence of computational complexity theories from diverse traditions is emphasised. The unifications that emerged in the modern era was codified by means of the notions of efficiency of computations, non-deterministic computations, completeness, reducibility and verifiability - all three of the latter concepts had their origins on what may be called 'Post's Program of Research for Higher Recursion Theory'. Approximations, computations and constructions are also emphasised. The recent real model of computation as a basis for studying computational complexity in the domain of the reals is also presented and discussed, albeit critically. A brief sceptical section on algorithmic complexity theory is included in an appendix
Quantum logic is undecidable
We investigate the first-order theory of closed subspaces of complex Hilbert
spaces in the signature , where `' is the
orthogonality relation. Our main result is that already its quasi-identities
are undecidable: there is no algorithm to decide whether an implication between
equations and orthogonality relations implies another equation. This is a
corollary of a recent result of Slofstra in combinatorial group theory. It
follows upon reinterpreting that result in terms of the hypergraph approach to
quantum contextuality, for which it constitutes a proof of the inverse sandwich
conjecture. It can also be interpreted as stating that a certain quantum
satisfiability problem is undecidable.Comment: 11 pages. v3: improved exposition. v4: minor clarification
A Computable Economist’s Perspective on Computational Complexity
A computable economist.s view of the world of computational complexity theory is described. This means the model of computation underpinning theories of computational complexity plays a central role. The emergence of computational complexity theories from diverse traditions is emphasised. The unifications that emerged in the modern era was codified by means of the notions of efficiency of computations, non-deterministic computations, completeness, reducibility and verifiability - all three of the latter concepts had their origins on what may be called "Post's Program of Research for Higher Recursion Theory". Approximations, computations and constructions are also emphasised. The recent real model of computation as a basis for studying computational complexity in the domain of the reals is also presented and discussed, albeit critically. A brief sceptical section on algorithmic complexity theory is included in an appendix.
First-order Nilpotent Minimum Logics: first steps
Following the lines of the analysis done in [BPZ07, BCF07] for first-order
G\"odel logics, we present an analogous investigation for Nilpotent Minimum
logic NM. We study decidability and reciprocal inclusion of various sets of
first-order tautologies of some subalgebras of the standard Nilpotent Minimum
algebra. We establish a connection between the validity in an NM-chain of
certain first-order formulas and its order type. Furthermore, we analyze
axiomatizability, undecidability and the monadic fragments.Comment: In this version of the paper the presentation has been improved. The
introduction section has been rewritten, and many modifications have been
done to improve the readability; moreover, numerous references have been
added. Concerning the technical side, some proofs has been shortened or made
more clear, but the mathematical content is substantially the same of the
previous versio
- …