Robert I. Soare
Paul Snowden Russell
Distinguished Service Professor
of Mathematics and Computer Science
The University of Chicago
Photograph of Robert Soare
Contact Information:
Address, Phone.
Links to Departments and organizations.
Professional Items
Items related to students,
courses, seminars, research, CV
Students
Seminars
Courses
Items of Interest in Professor Soare's Work:
Research and Papers of Robert Soare
www.people.cs.uchicago.edu/~soare/res/
New Paper:
Interplay of Computability and Incomputability
www.people.cs.uchicago.edu/~soare/res/Interplay/inter.pdf
Lectures
(Slides or Summaries From Recent Lectures)
References directory
Seminar references and other papers for students to read on line,
and
Recommended reading
for Computability Theory outside of class.
Random
Recommended references in algorithmic randomness.
Curriculum Vitae: Biography; papers and lectures;
graduate students and postdocs.
Computability and Incomputability
Short paper from
Soare's Siena lecture, Computability and Incomputability .
Slides from Soare's Siena Lecture
Computability and Incomputability .
Computability and Recursion
,
dealing with the history and concept of computability,
Bulletin of Symbolic Logic 1996.
Soare's 1987 book published by Springer-Verlag has been widely used as
a text and reference in computability theory. He is now writing a new
book
Computability Theory and Applications abbreviated [CTA]
under contract with Springer-Verlag.
This will have a lot more material than the old book and will have a
number of chapters on applications of computability to other areas.
Computability and Differential Geometry
A paper by Soare,
Computability and Differential Geometry has appeared in the
Bulletin of Symbolic Logic in December, 2004, about applications
of computability theory to differential geometry, See the paper in
.ps and .pdf form and see comments from the referee's report.
Topologist Weinberger had asked for several results in computability theory
to be proved which he could apply to the geometry. Soare and Barbra Csima
proved these results.
Soare and Barbara Csima completed their paper,
Computability Results Used in Differential Geometry,
which contains proofs of all the computability results used in
the differential geometry results mentioned here, and which will
appear in Journal of Symbolic Logic .
Computable Content of Vaught's Models
For recent results by Soare on the computable content of Vaught's models:
prime, saturated, and homogeneous models, see
Computability of prime, saturated, and homogeneous models,