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.