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.
KeywordsComputable Function Computable Sequence Turing Degree Cantor Space Turing Reducibility
Unable to display preview. Download preview PDF.