663 research outputs found
Parikh and Wittgenstein
A survey of Parikh’s philosophical appropriations of Wittgensteinian themes, placed into historical context against the backdrop of Turing’s famous paper, “On computable numbers, with an application to the Entscheidungsproblem” (Turing in Proc Lond Math Soc 2(42): 230–265, 1936/1937) and its connections with Wittgenstein and the foundations of mathematics. Characterizing Parikh’s contributions to the interaction between logic and philosophy at its foundations, we argue that his work gives the lie to recent presentations of Wittgenstein’s so-called metaphilosophy (e.g., Horwich in Wittgenstein’s metaphilosophy. Oxford University Press, Oxford, 2012) as a kind of “dead end” quietism. From early work on the idea of a feasibility in arithmetic (Parikh in J Symb Log 36(3):494–508, 1971) and vagueness (Parikh in Logic, language and method. Reidel, Boston, pp 241–261, 1983) to his more recent program in social software (Parikh in Advances in modal logic, vol 2. CSLI Publications, Stanford, pp 381–400, 2001a), Parikh’s work encompasses and touches upon many foundational issues in epistemology, philosophy of logic, philosophy of language, and value theory. But it expresses a unified philosophical point of view. In his most recent work, questions about public and private languages, opportunity spaces, strategic voting, non-monotonic inference and knowledge in literature provide a remarkable series of suggestions about how to present issues of fundamental importance in theoretical computer science as serious philosophical issues
Induction, minimization and collection for Δ n+1 (T)–formulas
For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend on Th Πn +2 (T), the Π n+2 –consequences of T. The first condition is connected with descriptions of Th Πn +2 (T) as IΣ n plus a class of nondecreasing total Π n –functions, and the second one is related with the equivalence between Δ n+1 (T)–formulas and bounded formulas (of a language extending the language of Arithmetic). This last property is closely tied to a general version of a well known theorem of R. Parikh. Using what we call Π n –envelopes we give uniform descriptions of the previous classes of nondecreasing total Π n –functions. Π n –envelopes are a generalization of envelopes (see [10]) and are closely related to indicators (see [12]). Finally, we study the hierarchy of theories IΔ n+1 (IΣ m ), m≥n, and prove a hierarchy theorem.Ministerio de Educación y Cultura DGES PB96-134
Separating Bounded Arithmetics by Herbrand Consistency
The problem of separating the hierarchy of bounded arithmetic has
been studied in the paper. It is shown that the notion of Herbrand Consistency,
in its full generality, cannot separate the theory from ; though it can
separate from . This extends a
result of L. A. Ko{\l}odziejczyk (2006), by showing the unprovability of the
Herbrand Consistency of in the theory .Comment: Published by Oxford University Press. arXiv admin note: text overlap
with arXiv:1005.265
Automatic Equivalence Structures of Polynomial Growth
In this paper we study the class EqP of automatic equivalence structures of the form ?=(D, E) where the domain D is a regular language of polynomial growth and E is an equivalence relation on D. Our goal is to investigate the following two foundational problems (in the theory of automatic structures) aimed for the class EqP. The first is to find algebraic characterizations of structures from EqP, and the second is to investigate the isomorphism problem for the class EqP. We provide full solutions to these two problems. First, we produce a characterization of structures from EqP through multivariate polynomials. Second, we present two contrasting results. On the one hand, we prove that the isomorphism problem for structures from the class EqP is undecidable. On the other hand, we prove that the isomorphism problem is decidable for structures from EqP with domains of quadratic growth
On a generalization of Abelian equivalence and complexity of infinite words
In this paper we introduce and study a family of complexity functions of
infinite words indexed by k \in \ints ^+ \cup {+\infty}. Let k \in \ints ^+
\cup {+\infty} and be a finite non-empty set. Two finite words and
in are said to be -Abelian equivalent if for all of length
less than or equal to the number of occurrences of in is equal to
the number of occurrences of in This defines a family of equivalence
relations on bridging the gap between the usual notion of
Abelian equivalence (when ) and equality (when We show that
the number of -Abelian equivalence classes of words of length grows
polynomially, although the degree is exponential in Given an infinite word
\omega \in A^\nats, we consider the associated complexity function \mathcal
{P}^{(k)}_\omega :\nats \rightarrow \nats which counts the number of
-Abelian equivalence classes of factors of of length We show
that the complexity function is intimately linked with
periodicity. More precisely we define an auxiliary function q^k: \nats
\rightarrow \nats and show that if for
some k \in \ints ^+ \cup {+\infty} and the is ultimately
periodic. Moreover if is aperiodic, then if and only if is Sturmian. We also
study -Abelian complexity in connection with repetitions in words. Using
Szemer\'edi's theorem, we show that if has bounded -Abelian
complexity, then for every D\subset \nats with positive upper density and for
every positive integer there exists a -Abelian power occurring in
at some position $j\in D.
The Cook-Reckhow definition
The Cook-Reckhow 1979 paper defined the area of research we now call Proof
Complexity. There were earlier papers which contributed to the subject as we
understand it today, the most significant being Tseitin's 1968 paper, but none
of them introduced general notions that would allow to make an explicit and
universal link between lengths-of-proofs problems and computational complexity
theory. In this note we shall highlight three particular definitions from the
paper: of proof systems, p-simulations and the pigeonhole principle formula,
and discuss their role in defining the field. We will also mention some related
developments and open problems
Commutative Languages and their Composition by Consensual Methods
Commutative languages with the semilinear property (SLIP) can be naturally
recognized by real-time NLOG-SPACE multi-counter machines. We show that unions
and concatenations of such languages can be similarly recognized, relying on --
and further developing, our recent results on the family of consensually
regular (CREG) languages. A CREG language is defined by a regular language on
the alphabet that includes the terminal alphabet and its marked copy. New
conditions, for ensuring that the union or concatenation of CREG languages is
closed, are presented and applied to the commutative SLIP languages. The paper
contributes to the knowledge of the CREG family, and introduces novel
techniques for language composition, based on arithmetic congruences that act
as language signatures. Open problems are listed.Comment: In Proceedings AFL 2014, arXiv:1405.527
- …