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
Seminars
Courses
Curriculum Vitae: Biography; papers and lectures;
graduate students and postdocs; online reprints.
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.
It is important to understand the development of concepts
like "computability" and "recursion" and their role in
the subject.
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,
Genealogy
Family History: Genealogy