Carl Jockusch

{{short description|American mathematician}}

{{Infobox scientist

| name = Carl Groos Jockusch Jr.

| native_name =

| native_name_lang =

| image = Carl Jockusch.jpg

| imagesize = 220px

| alt =

| caption = Carl Jockusch in 1974

| birth_date = {{birth date |1941|07|13}}

| birth_place = San Antonio, Texas, US

| death_date =

| death_place =

| death_cause =

| resting_place =

| resting_place_coordinates =

| other_names =

| residence =

| citizenship =

| nationality =

| fields =

| workplaces =

| patrons =

| alma_mater =

| thesis_title = Reducibilities in recursive function theory

| thesis_url = https://web.archive.org/web/20140911194745/http://mit.dspace.org/bitstream/handle/1721.1/37495/25784744.pdf?sequence=1

| thesis_year = 1966

| doctoral_advisor = Hartley Rogers Jr.

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for =

| influences =

| influenced =

| awards =

| author_abbrev_bot =

| author_abbrev_zoo =

| spouse = Elizabeth A. Jockusch

| partner =

| children =

| signature =

| signature_alt =

| website =

| footnotes =

}}

Carl Groos Jockusch Jr. (born July 13, 1941, in San Antonio, Texas) is an American mathematician.[https://books.google.com/books?id=vNg2MSisppMC&q=Carl+Groos+Jockusch+1941 Who's Who in the Midwest, 1994-1995, 1994, p. 382] 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.[https://faculty.math.illinois.edu/~jockusch/ Carl G. Jockusch's Home Page] He then enrolled at the Massachusetts Institute of Technology. He is a member of Phi Beta Kappa and Sigma Xi.Bibliographical note in his PhD thesis (Jockusch, 1966), p.104 In 2014, he became a Fellow of the American Mathematical Society.[http://www.ams.org/profession/fellows-list 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.

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

{{Reflist}}

  • {{citation

| last1 = Jockusch Jr | first1 = C.G.

| last2 = Soare | first2 = R.I.

| year = 1972

| title = Π01 Classes and Degrees of Theories

| journal = Transactions of the American Mathematical Society

| volume = 173

| pages = 33–56

| doi = 10.2307/1996261

| jstor = 1996261

| publisher = American Mathematical Society

}}

  • {{cite thesis | author=Carl Groos Jockusch Jr. | title=Reducibilities in recursive function theory | institution = Massachusetts Institute of Technology | url=http://mit.dspace.org/bitstream/handle/1721.1/37495/25784744.pdf?sequence=1 | archive-url=https://web.archive.org/web/20140911194745/http://mit.dspace.org/bitstream/handle/1721.1/37495/25784744.pdf?sequence=1 | url-status=dead | archive-date=2014-09-11 |date=Jun 1966 }}