Carl Jockusch

Un article de Wikipédia, l'encyclopédie libre.
Carl Jockusch
Biographie
Naissance
Nationalité
Formation
Activité
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Distinction

Carl Groos Jockusch Jr. (né le à San Antonio, Texas) est un mathématicien américain.

Biographie[modifier | modifier le code]

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[modifier | modifier le code]

En 2023, il est Gödel Lecturer.

Publications[modifier | modifier le code]

Références[modifier | modifier le code]

Liens externes[modifier | modifier le code]