Robert I. Soare
   HOME

TheInfoList



OR:

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, the low basis theorem, 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. 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>


See also

* Jockusch–Soare forcing


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