About: Computation in the limit

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Computation in the limit Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Stream, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FComputation_in_the_limit

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.

Attributes	Values
rdf:type	stream
rdfs:label	Computation in the limit (en) 極限計算可能関数 (ja) Computação no limite (pt)
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)
dcterms:subject	Computability theory Theory of computation
Wikipage page ID	3086963 (xsd:integer)
Wikipage revision ID	1107217367 (xsd:integer)
Link from a Wikipage to another Wikipage	Total computable function Computability theory Computable set Specker sequence Total function Halting problem First-order arithmetic Computability theory Theory of computation Modulus of convergence Indicator function Natural number Rational numbers Real number Chaitin's constant Turing jump Post's theorem Turing reduction Computable Computable numbers
sameAs	Computation in the limit Computation in the limit Computation in the limit Computation in the limit Computation in the limit
dbp:wikiPageUsesTemplate	dbt:Doi dbt:Short_description
has 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)
gold:hypernym	Limit
prov:wasDerivedFrom	wikipedia-en:Computation_in_the_limit?oldid=1107217367&ns=0
page length (characters) of wiki page	6166 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Computation_in_the_limit
is Link from a Wikipage to another Wikipage of	Computability logic Specker sequence Zeno machine Limit-computable Limit lemma Limit recursive Limiting recursive Computability in the limit
is Wikipage redirect of	Limit-computable Limit lemma Limit recursive Limiting recursive Computability in the limit
is foaf:primaryTopic of	wikipedia-en:Computation_in_the_limit

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software