Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Computation in the limit
open-in-new
<p>In <a href="/facts/Computability_theory/cqDfXwdf">computability theory</a>, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in the limit, limit recursive and recursively approximable are also used. One can think of limit computable functions as those admitting an eventually correct computable guessing procedure at their true value. A set is limit computable just when its <a href="/facts/Indicator_function/QEuh04NM">characteristic function</a> is limit computable. </p><p>If the sequence is uniformly computable relative to <i>D</i>, then the function is limit computable in <i>D</i>. </p>