Robert I. Soare

Robert I. Soare

Robert Irving Soare is an American mathematician. He is the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago, where he has been on the faculty since 1967. 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.

In 2012 he became a fellow of the American Mathematical Society.^[1]

Selected publications

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).

Authority control	WorldCat Identities VIAF: 108661250 LCCN: n81034867 ISNI: 0000 0001 0931 7424 SUDOC: 13060982X BNF: cb12338506z (data) MGP: 30425

This article is issued from Wikipedia - version of the 2/19/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.