Computation in the limit (original) (raw)

About DBpedia

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