Results 1 
4 of
4
Recursively Enumerable Reals and Chaitin Ω Numbers
"... A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay [23] and Chaitin [10] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from b ..."
Abstract

Cited by 34 (3 self)
 Add to MetaCart
A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay [23] and Chaitin [10] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from below. We shall study this relation and characterize it in terms of relations between r.e. sets. Solovay's [23]like numbers are the maximal r.e. real numbers with respect to this order. They are random r.e. real numbers. The halting probability ofa universal selfdelimiting Turing machine (Chaitin's Ω number, [9]) is also a random r.e. real. Solovay showed that any Chaitin Ω number islike. In this paper we show that the converse implication is true as well: any Ωlike real in the unit interval is the halting probability of a universal selfdelimiting Turing machine.
Weakly Useful Sequences
, 2004
"... An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) weakly useful if there is a computable time bound within which all the sequences in a nonmeasure 0 subset of the set of dec ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) weakly useful if there is a computable time bound within which all the sequences in a nonmeasure 0 subset of the set of decidable sequences are Turing reducible to x. Juedes,
Recursivelyenumerable reals and Chaitin www.elsevier.com/locate/tcs numbers �;��
, 1998
"... Communicated byM. Ito A real is called recursivelyenumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay(unpublished manuscript, IBM Thomas J. Watson ..."
Abstract
 Add to MetaCart
Communicated byM. Ito A real is called recursivelyenumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay(unpublished manuscript, IBM Thomas J. Watson
unknown title
, 2009
"... Existence of biological uncertainty principle implies that we can never find ’THE ’ measure for biological complexity. ..."
Abstract
 Add to MetaCart
Existence of biological uncertainty principle implies that we can never find ’THE ’ measure for biological complexity.