American mathematician

Carl Groos Jockusch Jr. (born July 13, 1941 in San Antonio, Texas) is an American mathematician. He graduated from Alamo Heights High School in 1959, attended Vanderbilt University in Nashville, Tennessee, and transferred to Swarthmore College, Pennsylvania in 1960, where he received his B.A. in 1963 with Highest Honors. He then enrolled at the M*achusetts Ins*ute of Technology. He is a member of Phi Beta Kappa and Sigma Xi. In 2014, he became a Fellow of the American Mathematical Society. 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

• Jockusch–Soare forcing
• Semi-membership

References

• Jockusch Jr, C.G.; Soare, R.I. (1972), "Π01 Cl*es and Degrees of Theories", Transactions of the American Mathematical Society, American Mathematical Society, 173: 33–56, doi:10.2307/1996261, JSTOR:1996261
• Carl Groos Jockusch Jr. (Jun 1966). Reducibilities in recursive function theory (PDF) (Thesis). M*achusetts Ins*ute of Technology. Archived from the original (PDF) on 2014-09-11.

External links

• Professional homepage
• Carl Jockusch at the Mathematics Genealogy Project