Robert I. Soare
Jump to navigation
Jump to search
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. (2016). Turing Computability - Theory and Applications. Springer-Verlag. ISBN 978-3-642-31932-7.
- Soare, R. (1987). Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag. ISBN 3-540-15299-7.
- C. G. Jockusch Jr. and R. I. Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).[1]
See also
References
- ^ List of Fellows of the American Mathematical Society, retrieved 2013-07-26.
External links
Categories:
- Articles with short description
- Short description matches Wikidata
- BLP articles lacking sources from March 2022
- All BLP articles lacking sources
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 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
- All stub articles
- American mathematician stubs