Robert I. Soare
Encyclopedia
Robert Irving Soare is an American
mathematician
. He is currently 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
.
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
. He is currently the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago
University of Chicago
The University of Chicago is a private research university in Chicago, Illinois, USA. It was founded by the American Baptist Education Society with a donation from oil magnate and philanthropist John D. Rockefeller and incorporated in 1890...
, where he has been on the faculty since 1967. He proved, together with Carl Jockusch
Carl Jockusch
Carl Groos Jockusch, Jr. is an American mathematician. He is a professor emeritus at the University of Illinois at Urbana-Champaign. In 1972 Jockusch and Robert I. Soare proved the Low Basis Theorem, an important result in mathematical logic with applications to recursion theory and reverse...
, the low basis theorem
Low basis theorem
The low basis theorem in computability theory states that every nonempty \Pi^0_1 class of 2^\omega contains a set of low degree. It was first proved by Carl Jockusch and Robert I. Soare in 1972.- References :...
, and has done other work in mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
, primarily in the area of computability theory
Recursion theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...
.