Robert I. Soare
Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires ().
Pour améliorer la vérifiabilité de l'article ainsi que son intérêt encyclopédique, il est nécessaire, quand des sources primaires sont citées, de les associer à des analyses faites par des sources secondaires.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activité |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinction |
Robert Irving Soare, né le , est un mathématicien américain.
Biographie
[modifier | modifier le code]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 | modifier le code]- 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)[2].
Références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Robert I. Soare » (voir la liste des auteurs).
- List of Fellows of the American Mathematical Society, retrieved 2013-07-26.
- [1]
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
