Weaker Reductions
According to the Church-Turing thesis, a Turing reduction is the most general form of an effectively calculable reduction. Nevertheless, weaker reductions are also considered. A set A is said to be arithmetical in B if A is definable by a formula of Peano arithmetic with B as a parameter. The set A is hyperarithmetical in B if there is a recursive ordinal α such that A is computable from, the α-iterated Turing jump of B. The notion of relative constructibility is an important reducibility notion in set theory.
Read more about this topic: Turing Reduction
Famous quotes containing the words weaker and/or reductions:
“Women have their heads in their hearts. Man seems to have been destined for a superior being; as things are, I think women generally better creatures than men. They have weaker appetites and weaker intellects but much stronger affections. A man with a bad heart has been sometimes saved by a strong head; but a corrupt woman is lost forever.”
—Samuel Taylor Coleridge (1772–1834)
“The work was like peeling an onion. The outer skin came off with difficulty ... but in no time you’d be down to its innards, tears streaming from your eyes as more and more beautiful reductions became possible.”
—Edward Blishen (b. 1920)