Computation in the limit

Known as: Computability in the limit, Limit lemma, Limit-computable

In computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

For a positive integer n, let f (n) denote the smallest non-negative integer b such that for each system S ⊆ {xi = 1, xi + x j…

2012

Nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [18] and…

2011

2010

This paper will study sets and degrees containing sets that are determined as limits of computable approximations. By the…

2003

An intelligent disk drive having error detection and correction capability employs an embedded error correction controller with a…

2002

Limit-Computable Mathematics (LCM) is a fragment of classical mathematics in which classical principles are restricted so that…

1993

We study the learnability of indexed families L = (L j ) j2IN of uniformly recursive languages under certain monotonicity…

1993

We show that every extended Schottky group G which uniformizes a compact Riemann surface S is a geometric limit of Schottky…

1984

Functionals and operations have been studied extensively in the theory of recursive functions (cf. [13]). We want to investigate…

1970

A definition is given of the efficiency of an algorithm considered as a whole. This immediately raises the question of whether it…