The low basis theorem, established in 1972, serves as a cornerstone of recursion theory and reverse mathematics. Developed alongside Robert I. Soare, this result remains one of the primary contributions of American mathematician Carl Groos Jockusch Jr. to the field of mathematical logic. His academic career reflects a long-standing commitment to the rigors of abstract formal systems.
Early Education and Academic Foundation
Born in San Antonio, Texas, in 1941, Carl Groos Jockusch Jr. completed his secondary education at Alamo Heights High School in 1959. His undergraduate studies began at Vanderbilt University in Nashville, Tennessee, before he moved to Swarthmore College in Pennsylvania in 1960. He earned his B.A. from Swarthmore with highest honors in 1963. Following this, he pursued advanced studies at the Massachusetts Institute of Technology, completing his doctoral thesis, titled Reducibilities in recursive function theory, in June 1966.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Mathematical Logic
Jockusch specializes in mathematical logic and recursion theory. His most significant collaborative achievement occurred in 1972 with the publication of the article Pi 0 1 Classes and Degrees of Theories in the Transactions of the American Mathematical Society. This work formulated the low basis theorem, which provides a technical framework for understanding degrees of theories and remains a subject of study in modern mathematical logic. The concept of Jockusch-Soare forcing bears his name, denoting his impact on the technical evolution of the field.
Institutional Tenure and Recognition
Jockusch spent the bulk of his professional life at the University of Illinois Urbana-Champaign, where he eventually transitioned to the status of professor emeritus. Throughout his career, he maintained active involvement in academic organizations, including membership in the American Mathematical Society, the Association for Symbolic Logic, the Phi Beta Kappa Society, and Sigma Xi. In 2014, the American Mathematical Society recognized his sustained contributions to the discipline by electing him a fellow, an honor formalised in 2015.
Fast facts
- Born: 13 July 1941, San Antonio, Texas
- Undergraduate Degree: B.A., Swarthmore College, 1963
- Doctoral Institution: Massachusetts Institute of Technology, 1966
- Primary Field: Mathematical logic and recursion theory
- Notable Result: Low basis theorem (1972)
- Professional Affiliation: University of Illinois Urbana-Champaign
- Award: Fellow of the American Mathematical Society, 2015
Questions readers ask
What is the low basis theorem?
It is a fundamental result in mathematical logic and recursion theory, proven by Carl Jockusch and Robert I. Soare in 1972.
Where did Carl Jockusch hold his professorship?
He served as a professor at the University of Illinois Urbana-Champaign, where he is currently professor emeritus.
Achievements
- Held posts at University of Illinois Urbana-Champaign
