Turing Reducibility

  • Robert I. Soare
Chapter
Part of the Theory and Applications of Computability book series (THEOAPPLCOM)

Abstract

After his epochal paper in 1936 on Turing machines, Turing wrote a Ph.D. dissertation with Alonzo Church which was published in 1939. A tiny part of this paper in section 4 contained the germ of one of the most important ideas in all of modern computability theory. In half a page Turing suggested augmenting his formera-machines by adding some kind of “oracle” which could supply the answers to specific questions during the computation.

Keywords

Computable Function Computable Sequence Turing Degree Cantor Space Turing Reducibility 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Robert I. Soare
    • 1
  1. 1.Department of MathematicsThe University of ChicagoChicagoUSA

Personalised recommendations