Carl Groos Jockusch Jr. (born July 13, 1941, in

San Antonio San Antonio ( ; Spanish for " Saint Anthony") is a city in the U.S. state of Texas and the most populous city in Greater San Antonio. San Antonio is the third-largest metropolitan area in Texas and the 24th-largest metropolitan area in the ...

Texas Texas ( , ; or ) is the most populous U.S. state, state in the South Central United States, South Central region of the United States. It borders Louisiana to the east, Arkansas to the northeast, Oklahoma to the north, New Mexico to the we ...

) is an American

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

. He graduated from Alamo Heights High School in 1959, attended

Vanderbilt University Vanderbilt University (informally Vandy or VU) is a private university, private research university in Nashville, Tennessee, United States. Founded in 1873, it was named in honor of shipping and railroad magnate Cornelius Vanderbilt, who provide ...

Nashville Nashville, often known as Music City, is the capital and List of municipalities in Tennessee, most populous city in the U.S. state of Tennessee. It is the county seat, seat of Davidson County, Tennessee, Davidson County in Middle Tennessee, locat ...

Tennessee Tennessee (, ), officially the State of Tennessee, is a landlocked U.S. state, state in the Southeastern United States, Southeastern region of the United States. It borders Kentucky to the north, Virginia to the northeast, North Carolina t ...

, and transferred to

Swarthmore College Swarthmore College ( , ) is a Private college, private Liberal arts colleges in the United States, liberal arts college in Swarthmore, Pennsylvania, United States. Founded in 1864, with its first classes held in 1869, Swarthmore is one of the e ...

Pennsylvania Pennsylvania, officially the Commonwealth of Pennsylvania, is a U.S. state, state spanning the Mid-Atlantic (United States), Mid-Atlantic, Northeastern United States, Northeastern, Appalachian, and Great Lakes region, Great Lakes regions o ...

in 1960, where he received his B.A. in 1963 with highest honors. He then enrolled at the

Massachusetts Institute of Technology The Massachusetts Institute of Technology (MIT) is a Private university, private research university in Cambridge, Massachusetts, United States. Established in 1861, MIT has played a significant role in the development of many areas of moder ...

. He is a member of

Phi Beta Kappa The Phi Beta Kappa Society () is the oldest academic honor society in the United States. It was founded in 1776 at the College of William & Mary in Virginia. Phi Beta Kappa aims to promote and advocate excellence in the liberal arts and sciences, ...

and

Sigma Xi Sigma Xi, The Scientific Research Honor Society () is an international non-profit honor society for scientists and engineers. Sigma Xi was founded at Cornell University by a faculty member and graduate students in 1886 and is one of the oldest ...

. In 2014, he became a Fellow of the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...

.List of Fellows of the American Mathematical Society
retrieved 2014-12-17 He is a professor emeritus at the

University of Illinois at Urbana–Champaign The University of Illinois Urbana-Champaign (UIUC, U of I, Illinois, or University of Illinois) is a public land-grant research university in the Champaign–Urbana metropolitan area, Illinois, United States. Established in 1867, it is the f ...

. In 1972 Jockusch and Robert I. Soare proved the low basis theorem, an important result in

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

with applications to

recursion theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since ex ...

and reverse mathematics.

References

* *

External links

Professional homepage
* 20th-century American mathematicians 21st-century American mathematicians University of Illinois Urbana-Champaign faculty Living people Place of birth missing (living people) 1941 births Fellows of the American Mathematical Society Massachusetts Institute of Technology alumni Swarthmore College alumni Vanderbilt University alumni {{US-mathematician-stub

See also

References

External links