Theodore A. Slaman
Theodore Allen Slaman (né le ) est un mathématicien logicien américain qui travaille en théorie de la récursion.

Biographie 
Slaman étudie d'abord la physique à l'université d'État de Pennsylvanie, puis opte pour la logique mathématique et obtient un Ph. D. en 1981 à l'université Harvard sous la direction de Gerald E. Sacks (). De 1983 à 1996 il est professeur à l'université de Chicago, puis professeur à l'université de Californie à Berkeley. De 2003 à 2009 il y est directeur du département de mathématiques. Slaman a été chercheur ou professeur invité en 1993-94 comme SERC Visiting Fellows en Angleterre, en 2002-03 à l'université de Heidelberg, de 2007 à 2012 chaque été pendant deux mois à la National University of Singapore, six mois en 2013 à l'université de Buenos Aires.

Slaman travaille en théorie de la récursion. Avec W. Hugh Woodin, il a formulé la conjecture de bi-interprétabilité pour les degrés de Turing, conjecture qui affirme que l'ordre partiel des degrés de Turing est logiquement équivalent à l'arithmétique du second ordre. Ils ont montré que la conjecture de bi-interprétabilité est équivalente à la non existence d'un automorphisme non trivial pour l'ordre des degrés de Turing. Ils ont également exhibé des propriétés limite sur les automorphismes possibles des degrés de Turing en montrant que tout automorphisme est nécessairement  arithmétiquement définissable. Il s'intéresse également aux nombres normaux.

Slaman a obtenu le  en 1985 et le Prix de recherche Humboldt en 2002. En 1990 il est conférencier invité au Congrès international des mathématiciens (ICM) à Kyōto (Degree Structures). En 2001, il est Gödel Lecturer (Recursion Theory).

Notes et références

Liens externes 
Page peronnelle à Berkeley
Publications

Professeur à l'université de Chicago
Professeur à l'université de Californie à Berkeley
Gödel Lecturer
Naissance en avril 1954
Mathématicien américain du XXe siècle
Mathématicien américain du XXIe siècle
Logicien américain
Theodore Allen Slaman ( né le ) est un mathématicien logicien américain qui travaille en théorie de la récursion . Biographie Slaman étudie d' abord la physique à l' université d' État de Pennsylvanie , puis opte pour la logique mathématique et obtient un Ph. D. enà l' université Harvard sous la direction de Gerald E. Sacks ( ) . Deàil est professeur à l' université de Chicago , puis professeur à l' université de Californie à Berkeley . Deàil y est directeur de le département de mathématiques . Slaman a été chercheur ou professeur invité encomme SERC Visiting Fellows en Angleterre , enà l' université de Heidelberg , deàchaque été pendant deux mois à la National University of Singapore , six mois enà l' université de Buenos Aires . Slaman travaille en théorie de la récursion . Avec W. Hugh Woodin , il a formulé la conjecture de bi-interprétabilité pour les degrés de Turing , conjecture qui affirme que l' ordre partiel de les degrés de Turing est logiquement équivalent à l' arithmétique de le second ordre . Ils ont montré que la conjecture de bi-interprétabilité est équivalente à la non existence d' un automorphisme non trivial pour l' ordre de les degrés de Turing . Ils ont également exhibé de les propriétés limite sur les automorphismes possibles de les degrés de Turing en montrant que tout automorphisme est nécessairement arithmétiquement définissable . Il s' intéresse également à les nombres normaux . Slaman a obtenu le enet le Prix de recherche Humboldt en Enil est conférencier invité à le Congrès international de les mathématiciens ( ICM ) à Kyōto ( Degree Structures ) . En il est Gödel Lecturer ( Recursion Theory ) . Notes et références Liens externes Page peronnelle à Berkeley Publications Professeur à l' université de Chicago Professeur à l' université de Californie à Berkeley Gödel Lecturer Naissance en avril Mathématicien américain de le XXe siècle Mathématicien américain de le XXIe siècle Logicien américain