Robert Irving Soare is an American

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

. He is the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the

University of Chicago The University of Chicago (UChicago, Chicago, U of C, or UChi) is a private university, private research university in Chicago, Illinois. Its main campus is located in Chicago's Hyde Park, Chicago, Hyde Park neighborhood. The University of Chic ...

, 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 Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

, primarily in the area of computability theory. In 2012 he became a fellow of the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...

.List of Fellows of the American Mathematical Society
retrieved 2013-07-26.

Selected publications

* * * C. G. Jockusch Jr. and R. I. Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).
/sup>

References

External links

Professional homepage
* Living people Year of birth missing (living people) University of Chicago faculty 20th-century American mathematicians 21st-century American mathematicians Fellows of the American Mathematical Society {{US-mathematician-stub

Selected publications

See also

References

External links