Carl Jockusch

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Carl Jockusch

Carl Groos Jockusch, Jr. (born July 13, 1941) is an American mathematician. Born in San Antonio, Texas,[1] he is a professor emeritus at the University of Illinois at Urbana-Champaign. In 1972 Jockusch and Robert I. Soare proved the Low Basis Theorem, an important result in mathematical logic with applications to recursion theory and reverse mathematics.

See also[edit]

References[edit]

  • Jockusch Jr, C.G.; Soare, R.I. (1972), "Π01 Classes and Degrees of Theories", Transactions of the American Mathematical Society (American Mathematical Society) 173: 33–56, doi:10.2307/1996261, JSTOR 1996261 

External links[edit]