Open AccessBook
Classical recursion theory
Reads0
Chats0
TLDR
Theories of Recursive functions, Hierarchies of recursive functions, and Arithmetical sets: Recursively enumerable sets.Abstract:
Preface. Introduction. Theories of Recursive functions. Hierarchies of recursive functions. Recursively enumerable sets. Recursively enumerable degrees. Limit sets. Arithmetical sets. Arithmetical degrees. Enumeration degrees. Bibliography. Notation index. Subject index.read more
Citations
More filters
Posted Content
Omega and the time evolution of the N-body problem
TL;DR: The series solution of the behavior of a flnite number of physical bodies and Chaitin's Omega number share quasi-algorithmic expressions; yet both lack a computable radius of convergence as discussed by the authors.
Journal ArticleDOI
Probabilistic inductive inference: a survey
TL;DR: In this paper, a survey of developments in probabilistic inductive inference (learning) of recursive functions is presented, mainly focusing on finite learning, since this simple paradigm has produced the most interesting results.
Journal ArticleDOI
The arithmetical complexity of dimension and randomness
TL;DR: In this article, the authors show that for all Δ02-computable α ∈ (0, 1r), DIMαstr is properly in the Π03 level of the effective Borel hierarchy, where a coenumerable predicate is used rather than an enumerable predicate.
Journal ArticleDOI
Vacillatory and BC Learning on Noisy Data
TL;DR: The effects of this form of noise on vacillatory and behaviorally correct learning of grammars – both from positive data alone and from informant (positive and negative data).
Journal ArticleDOI
Goodness in the enumeration and singleton degrees
TL;DR: It is shown that, for singleton degrees as < bs such that bs is good, any countable partial order can be embedded in the interval (as, bs).