Robert I. Soare
From Wikipedia, the free encyclopedia
Robert Irving Soare is an American mathematician. Since 1975 he has been a professor at the University of Chicago. He proved, together with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory.
[edit] External links
[edit] References
- Soare, R. (1987). Recursively enumerable sets and degrees, Perspectives in Mathematical Logic. Springer-Verlag. ISBN 3-540-15299-7.
- CG Jockusch, Jr and RI Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).[1]
This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it.
