1,377 research outputs found
Are there new models of computation? Reply to Wegner and Eberbach
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations
to Turing Machines as a foundation of computability and that these can be overcome
by so-called superTuring models such as interaction machines, the [pi]calculus and the
$-calculus. In this paper we contest Weger and Eberbach claims
Cellular Automata are Generic
Any algorithm (in the sense of Gurevich's abstract-state-machine
axiomatization of classical algorithms) operating over any arbitrary unordered
domain can be simulated by a dynamic cellular automaton, that is, by a
pattern-directed cellular automaton with unconstrained topology and with the
power to create new cells. The advantage is that the latter is closer to
physical reality. The overhead of our simulation is quadratic.Comment: In Proceedings DCM 2014, arXiv:1504.0192
A logical basis for constructive systems
The work is devoted to Computability Logic (CoL) -- the
philosophical/mathematical platform and long-term project for redeveloping
classical logic after replacing truth} by computability in its underlying
semantics (see http://www.cis.upenn.edu/~giorgi/cl.html). This article
elaborates some basic complexity theory for the CoL framework. Then it proves
soundness and completeness for the deductive system CL12 with respect to the
semantics of CoL, including the version of the latter based on polynomial time
computability instead of computability-in-principle. CL12 is a sequent calculus
system, where the meaning of a sequent intuitively can be characterized as "the
succedent is algorithmically reducible to the antecedent", and where formulas
are built from predicate letters, function letters, variables, constants,
identity, negation, parallel and choice connectives, and blind and choice
quantifiers. A case is made that CL12 is an adequate logical basis for
constructive applied theories, including complexity-oriented ones
Cirquent calculus deepened
Cirquent calculus is a new proof-theoretic and semantic framework, whose main
distinguishing feature is being based on circuits, as opposed to the more
traditional approaches that deal with tree-like objects such as formulas or
sequents. Among its advantages are greater efficiency, flexibility and
expressiveness. This paper presents a detailed elaboration of a deep-inference
cirquent logic, which is naturally and inherently resource conscious. It shows
that classical logic, both syntactically and semantically, is just a special,
conservative fragment of this more general and, in a sense, more basic logic --
the logic of resources in the form of cirquent calculus. The reader will find
various arguments in favor of switching to the new framework, such as arguments
showing the insufficiency of the expressive power of linear logic or other
formula-based approaches to developing resource logics, exponential
improvements over the traditional approaches in both representational and proof
complexities offered by cirquent calculus, and more. Among the main purposes of
this paper is to provide an introductory-style starting point for what, as the
author wishes to hope, might have a chance to become a new line of research in
proof theory -- a proof theory based on circuits instead of formulas.Comment: Significant improvements over the previous version
Computable de Finetti measures
We prove a computable version of de Finetti's theorem on exchangeable
sequences of real random variables. As a consequence, exchangeable stochastic
processes expressed in probabilistic functional programming languages can be
automatically rewritten as procedures that do not modify non-local state. Along
the way, we prove that a distribution on the unit interval is computable if and
only if its moments are uniformly computable.Comment: 32 pages. Final journal version; expanded somewhat, with minor
corrections. To appear in Annals of Pure and Applied Logic. Extended abstract
appeared in Proceedings of CiE '09, LNCS 5635, pp. 218-23
- …