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.
Attributes | Values |
---|
rdfs:label
| - Kleene's T predicate (en)
- Predicado T de Kleene (pt)
|
rdfs:comment
| - 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. (en)
- 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. (pt)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
has abstract
| - 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. (en)
- 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. (pt)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |