Turing jump
id:
turing-jump-304-9400063
title:
Turing jump
text:
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 an
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Turing_jump
date created:
date modified:
2024-01-18T18:12:57Z
main entity:
{"identifier":"Q6128725","url":"https://www.wikidata.org/entity/Q6128725"}
image:
fields total:
13
integrity:
13