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 Carl Groos Jockusch Jr. (born July 13, 1941, in San Antonio, Texas) is an American mathematician. He graduated from Alamo Heights High School in 1959, attended Vanderbilt University in Nashville, Tennessee, and transferred to Swarthmore College, ...

, the

low basis theorem The low basis theorem is one of several basis theorems in computability theory, each of which showing that, given an infinite subtree of the binary tree 2^, it is possible to find an infinite path through the tree with particular computability prop ...

, and has done other work in mathematical logic, primarily in the area of

computability theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since e ...

. In 2012 he became a fellow of the American Mathematical Society.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