Carl Jockusch
Carl Groos Jockusch Jr. (né le à San Antonio, Texas) est un mathématicien américain.
Naissance | |
---|---|
Nationalité | |
Formation | |
Activité |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Distinction |
Biographie
Il est diplômé de l'Alamo Heights High School en 1959[1], fréquente l'Université Vanderbilt à Nashville, Tennessee, et est transféré au Swarthmore College, Pennsylvanie en 1960, où il obtient son BA en 1963 avec distinctions[2]. Il s'inscrit ensuite au Massachusetts Institute of Technology. Il est membre de Phi Beta Kappa et de Sigma Xi [3]. En 2014, il devient membre de l'American Mathematical Society[4]. Il est professeur émérite à l'Université de l'Illinois à Urbana–Champaign.
En 1972, Jockusch et Robert I. Soare prouvent le théorème de la base basse, un résultat important en logique mathématique avec des applications à la théorie de la récursivité et aux mathématiques inverses.
Prix et distinctions
En 2023, il est Gödel Lecturer.
Publications
- C.G. Jockusch Jr et R.I. Soare, Π01 Classes and Degrees of Theories, vol. 173, American Mathematical Society,‎ , 33–56 p. (DOI 10.2307/1996261, JSTOR 1996261)
- Carl Groos Jockusch Jr., Reducibilities in recursive function theory, (lire en ligne [archive du ])
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Carl Jockusch » (voir la liste des auteurs).
- Who's Who in the Midwest, 1994-1995, 1994, p. 382
- Carl G. Jockusch's Home Page
- Bibliographical note in his PhD thesis (Jockusch, 1966), p.104
- List of Fellows of the American Mathematical Society, retrieved 2014-12-17
Liens externes
- Ressources relatives Ă la recherche :