Computation in the limit (original) (raw)
In computability theory, 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 characteristic function is limit computable. If the sequence is uniformly computable relative to D, then the function is limit computable in D.
Property | Value |
---|---|
dbo:abstract | In computability theory, 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 characteristic function is limit computable. If the sequence is uniformly computable relative to D, then the function is limit computable in D. (en) 計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、英: limit computabile function)とは、一様に計算可能な関数列の極限によって表せる関数をいう。極限において計算可能(英: computable in the limit)や極限帰納的(英: limit recursive)などともいう。集合が極限計算可能とはその特性関数が極限計算可能であることをいう。 関数列が D-計算可能であるとき、極限の関数は D-極限計算可能であるという。 (ja) Na teoria da computabilidade, uma função é chamada limite computável se é o limite de uma seqüência uniforme de funções computáveis. Os termos computáveis no limite e limite recursiva são também utilizados. Pode-se pensar que as funções computáveis como limite aqueles admitindo-se um processo de adivinhação, eventualmente, correto computável no seu verdadeiro valor. Um conjunto é limite computável apenas quando a sua função característica é o limite computável. Se a seqüência é relativo uniforme computável para D, então a função é computável limite em D. (pt) |
dbo:wikiPageID | 3086963 (xsd:integer) |
dbo:wikiPageLength | 6166 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1107217367 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Total_computable_function dbr:Computability_theory dbr:Computable_set dbr:Specker_sequence dbr:Total_function dbr:Halting_problem dbr:First-order_arithmetic dbc:Computability_theory dbc:Theory_of_computation dbr:Modulus_of_convergence dbr:Indicator_function dbr:Natural_number dbr:Rational_numbers dbr:Real_number dbr:Chaitin's_constant dbr:Turing_jump dbr:Post's_theorem dbr:Turing_reduction dbr:Computable dbr:Computable_numbers |
dbp:wikiPageUsesTemplate | dbt:Doi dbt:Short_description |
dct:subject | dbc:Computability_theory dbc:Theory_of_computation |
gold:hypernym | dbr:Limit |
rdf:type | dbo:Stream |
rdfs:comment | In computability theory, 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 characteristic function is limit computable. If the sequence is uniformly computable relative to D, then the function is limit computable in D. (en) 計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、英: limit computabile function)とは、一様に計算可能な関数列の極限によって表せる関数をいう。極限において計算可能(英: computable in the limit)や極限帰納的(英: limit recursive)などともいう。集合が極限計算可能とはその特性関数が極限計算可能であることをいう。 関数列が D-計算可能であるとき、極限の関数は D-極限計算可能であるという。 (ja) Na teoria da computabilidade, uma função é chamada limite computável se é o limite de uma seqüência uniforme de funções computáveis. Os termos computáveis no limite e limite recursiva são também utilizados. Pode-se pensar que as funções computáveis como limite aqueles admitindo-se um processo de adivinhação, eventualmente, correto computável no seu verdadeiro valor. Um conjunto é limite computável apenas quando a sua função característica é o limite computável. Se a seqüência é relativo uniforme computável para D, então a função é computável limite em D. (pt) |
rdfs:label | Computation in the limit (en) 極限計算可能関数 (ja) Computação no limite (pt) |
owl:sameAs | freebase:Computation in the limit wikidata:Computation in the limit dbpedia-ja:Computation in the limit dbpedia-pt:Computation in the limit https://global.dbpedia.org/id/4hvGH |
prov:wasDerivedFrom | wikipedia-en:Computation_in_the_limit?oldid=1107217367&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Computation_in_the_limit |
is dbo:wikiPageRedirects of | dbr:Limit-computable dbr:Limit_lemma dbr:Limit_recursive dbr:Limiting_recursive dbr:Computability_in_the_limit |
is dbo:wikiPageWikiLink of | dbr:Computability_logic dbr:Specker_sequence dbr:Zeno_machine dbr:Limit-computable dbr:Limit_lemma dbr:Limit_recursive dbr:Limiting_recursive dbr:Computability_in_the_limit |
is foaf:primaryTopic of | wikipedia-en:Computation_in_the_limit |