48,843 research outputs found
Unifying Functional Interpretations: Past and Future
This article surveys work done in the last six years on the unification of
various functional interpretations including G\"odel's dialectica
interpretation, its Diller-Nahm variant, Kreisel modified realizability,
Stein's family of functional interpretations, functional interpretations "with
truth", and bounded functional interpretations. Our goal in the present paper
is twofold: (1) to look back and single out the main lessons learnt so far, and
(2) to look forward and list several open questions and possible directions for
further research.Comment: 18 page
Computability and analysis: the legacy of Alan Turing
We discuss the legacy of Alan Turing and his impact on computability and
analysis.Comment: 49 page
Perspectives for proof unwinding by programming languages techniques
In this chapter, we propose some future directions of work, potentially
beneficial to Mathematics and its foundations, based on the recent import of
methodology from the theory of programming languages into proof theory. This
scientific essay, written for the audience of proof theorists as well as the
working mathematician, is not a survey of the field, but rather a personal view
of the author who hopes that it may inspire future and fellow researchers
On what I do not understand (and have something to say): Part I
This is a non-standard paper, containing some problems in set theory I have
in various degrees been interested in. Sometimes with a discussion on what I
have to say; sometimes, of what makes them interesting to me, sometimes the
problems are presented with a discussion of how I have tried to solve them, and
sometimes with failed tries, anecdote and opinion. So the discussion is quite
personal, in other words, egocentric and somewhat accidental. As we discuss
many problems, history and side references are erratic, usually kept at a
minimum (``see ... '' means: see the references there and possibly the paper
itself).
The base were lectures in Rutgers Fall'97 and reflect my knowledge then. The
other half, concentrating on model theory, will subsequently appear
An interpretation of the Sigma-2 fragment of classical Analysis in System T
We show that it is possible to define a realizability interpretation for the
-fragment of classical Analysis using G\"odel's System T only. This
supplements a previous result of Schwichtenberg regarding bar recursion at
types 0 and 1 by showing how to avoid using bar recursion altogether. Our
result is proved via a conservative extension of System T with an operator for
composable continuations from the theory of programming languages due to Danvy
and Filinski. The fragment of Analysis is therefore essentially constructive,
even in presence of the full Axiom of Choice schema: Weak Church's Rule holds
of it in spite of the fact that it is strong enough to refute the formal
arithmetical version of Church's Thesis
Assembly and Disassembly Planning by using Fuzzy Logic & Genetic Algorithms
The authors propose the implementation of hybrid Fuzzy Logic-Genetic
Algorithm (FL-GA) methodology to plan the automatic assembly and disassembly
sequence of products. The GA-Fuzzy Logic approach is implemented onto two
levels. The first level of hybridization consists of the development of a Fuzzy
controller for the parameters of an assembly or disassembly planner based on
GAs. This controller acts on mutation probability and crossover rate in order
to adapt their values dynamically while the algorithm runs. The second level
consists of the identification of theoptimal assembly or disassembly sequence
by a Fuzzy function, in order to obtain a closer control of the technological
knowledge of the assembly/disassembly process. Two case studies were analyzed
in order to test the efficiency of the Fuzzy-GA methodologies
Open questions about Ramsey-type statements in reverse mathematics
Ramsey's theorem states that for any coloring of the n-element subsets of N
with finitely many colors, there is an infinite set H such that all n-element
subsets of H have the same color. The strength of consequences of Ramsey's
theorem has been extensively studied in reverse mathematics and under various
reducibilities, namely, computable reducibility and uniform reducibility. Our
understanding of the combinatorics of Ramsey's theorem and its consequences has
been greatly improved over the past decades. In this paper, we state some
questions which naturally arose during this study. The inability to answer
those questions reveals some gaps in our understanding of the combinatorics of
Ramsey's theorem.Comment: 15 page
- …