Robert Irving Soare, né le , est un mathématicien américain.
Biographie Il est le "Paul Snowden Russell" Distinguished Service Professor of Mathematics and Computer Science à l'Université de Chicago, où il fait partie de la faculté depuis 1967. Il a prouvé, avec Carl Jockusch, le théorème de base faible, et fait d'autres travaux en logique mathématique, principalement dans le domaine de la théorie de la calculabilité.
En 2012, il devient membre de l'American Mathematical SocietyList of Fellows of the American Mathematical Society, retrieved 2013-07-26..
Publications
C. G. Jockusch Jr. and R. I. Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).
Références
Liens externes
Catégorie:Membre de l'American Mathematical Society Catégorie:Mathématicien américain du XXIe siècle Catégorie:Mathématicien américain du XXe siècle Catégorie:Professeur à l'université de Chicago Catégorie:Naissance en décembre 1940