Robert I. Soare

mathématicien américain

Robert Irving Soare, né le , est un mathématicien américain.

Robert I. Soare
Biographie
Naissance
Voir et modifier les données sur Wikidata (83 ans)
Nationalité
Formation
Activité
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Distinction

Biographie

modifier

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 Society[1].

Publications

modifier
  • R. Soare, Turing Computability - Theory and Applications, Springer-Verlag, (ISBN 978-3-642-31932-7)
  • Soare, R., Recursively enumerable sets and degrees, Springer-Verlag, coll. « Perspectives in Mathematical Logic », (ISBN 3-540-15299-7)
  • C. G. Jockusch Jr. and R. I. Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).[1]

Références

modifier

Liens externes

modifier