Joseph Robert Shoenfield, né le à Détroit (Michigan) et mort le à Durham (Caroline du Nord)Notice de la BnF, est un logicien mathématicien américain.

Biographie Shoenfield a obtenu son doctorat en 1953 sous la supervision de Raymond Louis Wilder à l'Université du Michigan (Models of formal systems). À partir de 1952, il est professeur à l'université Duke, où il est resté jusqu'à son éméritat en 1992. De 1970 à 1973, il a été président de la faculté de mathématiques. En 1956-1957, il séjourne à l'Institute for Advanced Study.

Shoenfield a travaillé en théorie de la calculabilité, théorie des modèles, théorie axiomatique des ensembles. Le principal domaine de recherche de Shoenfield est la théorie de la récursion, et ses travaux dans ce domaine couvrent notamment les degrés d'insolvabilité, le treillis des ensembles récursivement énumérables, la théorie de la hiérarchie, les fonctionnelles et la récursion dans les types supérieurs. Il a apporté ce qui est appelé le théorème de l'absolu de Shoenfield et une approche simplifiée de la méthode de forçage. En théorie des modèles, il a développé d'élégantes méthodes algébriques pour montrer l'élimination des quantificateurs. Son manuel Mathematical Logic est devenu un ouvrage de référence..

Distinctions De 1972 à 1976, Shoenfield est président de l'Association for Symbolic Logic. Il délivre la conférence Gödel lors de la assemblée de 1992 de l'Association for Symbolic Logic..

Le prix Shoenfield est créé en 1999 à la mémoire de Joseph R. Shoenfield ; il est décerné tous les trois ans.

Dès ses études universitaires, Shoenfield est un joueur de bridge et de go passionné et réputé : il a été l'un des premiers membres de l'American Go Association, et le tournoi Memorial Tournament en Caroline du Nord a été fondé en sa mémoire.

Publications (sélection)

. — (Première édition : Addison Wesley) .

Réimpression de ; Autre réimpression

Notes et références

Bibliographie

Liens externes

Catégorie:Étudiant de l'université du Michigan Catégorie:Logicien américain Catégorie:Personnalité en logique mathématique Catégorie:Professeur à l'université Duke Catégorie:Mathématicien américain du XXe siècle Catégorie:Gödel Lecturer Catégorie:Naissance en mai 1927 Catégorie:Décès en novembre 2000 Catégorie:Décès à 73 ans