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

San Antonio ("Cradle of Freedom") , image_map = , mapsize = 220px , map_caption = Interactive map of San Antonio , subdivision_type = Country , subdivision_name = United States , subdivision_type1= State , subdivision_name1 = Texas , subdivision_t ...

Texas Texas (, ; Spanish: ''Texas'', ''Tejas'') is a state in the South Central region of the United States. At 268,596 square miles (695,662 km2), and with more than 29.1 million residents in 2020, it is the second-largest U.S. state by ...

) 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, structure, space, models, and change. History On ...

. He graduated from

Alamo Heights High School Alamo Heights High School is a public high school located in the city of Alamo Heights, Texas and is the only high school in the Alamo Heights Independent School District. Athletics The Alamo Heights Mules compete in the following sports: Cheerl ...

in 1959, attended

Vanderbilt University Vanderbilt University (informally Vandy or VU) is a private research university in Nashville, Tennessee. Founded in 1873, it was named in honor of shipping and rail magnate Cornelius Vanderbilt, who provided the school its initial $1-million ...

in Nashville,

Tennessee Tennessee ( , ), officially the State of Tennessee, is a landlocked state in the Southeastern region of the United States. Tennessee is the 36th-largest by area and the 15th-most populous of the 50 states. It is bordered by Kentucky to th ...

, and transferred to Swarthmore College,

Pennsylvania Pennsylvania (; ( Pennsylvania Dutch: )), officially the Commonwealth of Pennsylvania, is a state spanning the Mid-Atlantic, Northeastern, Appalachian, and Great Lakes regions of the United States. It borders Delaware to its southeast, ...

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 land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the ...

. He is a member of

Phi Beta Kappa The Phi Beta Kappa Society () is the oldest academic honor society in the United States, and the most prestigious, due in part to its long history and academic selectivity. Phi Beta Kappa aims to promote and advocate excellence in the liberal ...

and

Sigma Xi Sigma Xi, The Scientific Research Honor Society () is a highly prestigious, non-profit honor society for scientists and engineers. Sigma Xi was founded at Cornell University by a junior faculty member and a small group of graduate students in 1886 ...

. 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 (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Univer ...

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

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

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 sinc ...

and

reverse mathematics Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in cont ...

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