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, mathematical structure, structure, space, Mathematica ...

. 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, or UChi) is a Private university, private research university in Chicago, Illinois, United States. Its main campus is in the Hyde Park, Chicago, Hyde Park neighborhood on Chicago's South Side, Chic ...

, 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 i ...

, 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 Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

, 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 ex ...

. His doctoral students at the University of Chicago have included

Barbara Csima Barbara Flora Csima is a Canadian mathematician specializing in computability theory and mathematical logic. She is a professor of pure mathematics and associate chair for graduate studies at the University of Waterloo, and the 2024 president of ...

. 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