# Computable

• (adj): May be computed or estimated.
Example: "Computable odds"
Synonyms: estimable

### Some articles on computable:

Computation In The Limit - Limit Lemma - Proof
... As is a set, it must be computable in the limit itself as the computable function can be defined whose limit as goes to infinity is the characteristic function of ... if limit computability is preserved by Turing reduction, as this will show that all sets computable from are limit computable ... sets which are identified with their characteristic functions and a computable function with limit ...
Specker Sequence
... In computability theory, a Specker sequence is a computable, strictly increasing, bounded sequence of rational numbers whose supremum is not a computable ... The existence of Specker sequences has consequences for computable analysis ... that such sequences exist means that the collection of all computable real numbers does not satisfy the least upper bound principle of real analysis, even when considering only computable sequences ...
Computable Analysis - Basic Results
... The computable real numbers form a real closed field ... The equality relation on computable real numbers is not computable, but for unequal computable real numbers the order relation is computable ... Computable real functions map computable real numbers to computable real numbers ...
Recursive Languages And Sets
... In computability theory, a set is decidable, computable, or recursive if there is an algorithm that terminates after a finite amount of time and correctly ... the set is viewed as a decision problem a decidable set is also a decidable problem, computable problem, and recursive problem ... uses the term decidable, although recursive and computable are equivalent in this context ...
Specker Sequence - Construction
... numbers that is not decidable, and let (ai) be a computable enumeration of A without repetition ... It is shown that x is not a computable real number ... The proof uses a particular fact about computable real numbers ...