Kleene's T predicate
http://dbpedia.org/resource/Kleene's_T_predicate
In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T predicate tells whether a particular computer program will halt when run with a particular input, and the corresponding U function is used to obtain the results of the computation if the program does halt. As with the smn theorem, the original notation used by Kleene has become standard terminology for the concept.
rdf:langString
Na Teoria da Computabilidade, o Predicado T, que foi primeiramente estudado pelo matemático Stephen Kleene, é uma conjunto de triplas particular de números naturais que é usado para representar Funções computaveis dentro das teorias formais da Aritmética. Informalmente, o predicado T diz se um Programa de computador em particular vai parar quando rodado com uma entrada em particular, e a função U é usada para obter os resultados da computação se o programa para. E com o Teorema smn, a notação original usada por Kleene se tornou padrão na terminologia do conceito.
rdf:langString
rdf:langString
Kleene's T predicate
rdf:langString
Predicado T de Kleene
xsd:integer
14103273
xsd:integer
1061854933
rdf:langString
In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T predicate tells whether a particular computer program will halt when run with a particular input, and the corresponding U function is used to obtain the results of the computation if the program does halt. As with the smn theorem, the original notation used by Kleene has become standard terminology for the concept.
rdf:langString
Na Teoria da Computabilidade, o Predicado T, que foi primeiramente estudado pelo matemático Stephen Kleene, é uma conjunto de triplas particular de números naturais que é usado para representar Funções computaveis dentro das teorias formais da Aritmética. Informalmente, o predicado T diz se um Programa de computador em particular vai parar quando rodado com uma entrada em particular, e a função U é usada para obter os resultados da computação se o programa para. E com o Teorema smn, a notação original usada por Kleene se tornou padrão na terminologia do conceito.
xsd:nonNegativeInteger
8058
