Carl Jockusch

From Wikipedia, the free encyclopedia

Carl Jockusch is an American mathematician. 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.

[edit] References

  • CG Jockusch, Jr and RI Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).[1]

[edit] External links

This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it.