Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Turing_jump> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Turing_jump abstract "In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is an operation that assigns to each decision problem X a successively harder decision problem X ′ with the property that X ′ is not decidable by an oracle machine with an oracle for X.The operator is called a jump operator because it increases the Turing degree of the problem X. That is, the problem X ′ is not Turing reducible to X. Post's theorem establishes a relationship between the Turing jump operator and the arithmetical hierarchy of sets of natural numbers. Informally, given a problem, the Turing jump returns the set of Turing machines which halt when given access to an oracle that solves that problem.".
- Turing_jump wikiPageExternalLink jump.pdf.
- Turing_jump wikiPageExternalLink History_of_Degrees.pdf.
- Turing_jump wikiPageID "1681091".
- Turing_jump wikiPageRevisionID "605577781".
- Turing_jump hasPhotoCollection Turing_jump.
- Turing_jump subject Category:Computability_theory.
- Turing_jump comment "In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is an operation that assigns to each decision problem X a successively harder decision problem X ′ with the property that X ′ is not decidable by an oracle machine with an oracle for X.The operator is called a jump operator because it increases the Turing degree of the problem X. That is, the problem X ′ is not Turing reducible to X.".
- Turing_jump label "Salto de Turing".
- Turing_jump label "Turing jump".
- Turing_jump label "チューリングジャンプ".
- Turing_jump sameAs チューリングジャンプ.
- Turing_jump sameAs Salto_de_Turing.
- Turing_jump sameAs m.05my31.
- Turing_jump sameAs Q6128725.
- Turing_jump sameAs Q6128725.
- Turing_jump wasDerivedFrom Turing_jump?oldid=605577781.
- Turing_jump isPrimaryTopicOf Turing_jump.