36,336 research outputs found
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
The computational content of Nonstandard Analysis
Kohlenbach's proof mining program deals with the extraction of effective
information from typically ineffective proofs. Proof mining has its roots in
Kreisel's pioneering work on the so-called unwinding of proofs. The proof
mining of classical mathematics is rather restricted in scope due to the
existence of sentences without computational content which are provable from
the law of excluded middle and which involve only two quantifier alternations.
By contrast, we show that the proof mining of classical Nonstandard Analysis
has a very large scope. In particular, we will observe that this scope includes
any theorem of pure Nonstandard Analysis, where `pure' means that only
nonstandard definitions (and not the epsilon-delta kind) are used. In this
note, we survey results in analysis, computability theory, and Reverse
Mathematics.Comment: In Proceedings CL&C 2016, arXiv:1606.0582
An algorithmic approach to the existence of ideal objects in commutative algebra
The existence of ideal objects, such as maximal ideals in nonzero rings,
plays a crucial role in commutative algebra. These are typically justified
using Zorn's lemma, and thus pose a challenge from a computational point of
view. Giving a constructive meaning to ideal objects is a problem which dates
back to Hilbert's program, and today is still a central theme in the area of
dynamical algebra, which focuses on the elimination of ideal objects via
syntactic methods. In this paper, we take an alternative approach based on
Kreisel's no counterexample interpretation and sequential algorithms. We first
give a computational interpretation to an abstract maximality principle in the
countable setting via an intuitive, state based algorithm. We then carry out a
concrete case study, in which we give an algorithmic account of the result that
in any commutative ring, the intersection of all prime ideals is contained in
its nilradical
- …