Carl Jockusch
Carl Groos Jockusch Jr. | |
|---|---|
Carl Jockusch in 1974 | |
| Born | July 13, 1941 San Antonio, Texas, US |
| Alma mater | Swarthmore College (BA) Massachusetts Institute of Technology (PhD) |
| Spouse | Elizabeth A. Jockusch |
| Scientific career | |
| Thesis | Reducibilities in recursive function theory (1966) |
| Doctoral advisor | Hartley Rogers Jr. |
Carl Groos Jockusch Jr. (born July 13, 1941, in San Antonio, Texas) is an American mathematician.[1] He graduated from Alamo Heights High School in 1959, attended Vanderbilt University in Nashville, Tennessee, and transferred to Swarthmore College in Pennsylvania in 1960, where he received his B.A. in 1963 with highest honors.[2] He then enrolled at the Massachusetts Institute of Technology. He is a member of Phi Beta Kappa and Sigma Xi.[3] In 2014, he became a Fellow of the American Mathematical Society.[4] 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
References
- ^ Who's Who in the Midwest, 1994-1995, 1994, p. 382
- ^ "Carl G. Jockusch's Home Page". Archived from the original on May 11, 2019. Retrieved May 11, 2019.
- ^ Bibliographical note in his PhD thesis (Jockusch, 1966), p.104
- ^ List of Fellows of the American Mathematical Society Archived August 25, 2018, at the Wayback Machine, retrieved 2014-12-17
- Jockusch Jr, C.G.; Soare, R.I. (1972), "Π01 Classes and Degrees of Theories", Transactions of the American Mathematical Society, 173, American Mathematical Society: 33–56, doi:10.2307/1996261, JSTOR 1996261
- Carl Groos Jockusch Jr. (June 1966). Reducibilities in recursive function theory (PDF) (Thesis). Massachusetts Institute of Technology. Archived from the original (PDF) on September 11, 2014.