Robert Irving Soare

Paul Snowden Russell
Distinguished Service Professor
of Mathematics and Computer Science
The University of Chicago

Photographs of Robert Soare
Contact Information: Address, Phone.
Curriculum Vitae: Biography; papers and lectures; graduate students and postdocs; online reprints.
Courses

Soare's new book [CTA] :
Computability Theory and Applications: The Art of Classical Computability

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: The Art of Classical Computability abbreviated [CTA], under contract with Springer-Verlag.

New Papers for Turing Centennial 2012

Michelangelo and Turing. Classical art and classical computability. Why Turing and not Church? Why Michelangelo's David and not Donatallo's or Verrochio's David? What artistic inspiration sets apart the consummate artist?

Other Papers on Turing and Computability

These papers cover the foundation of computability, the roles played by Turing, Church, and Goedel, topics of computability and recursion, the relationship of a Turing automatic machine (a-machine) and a Turing oracle machine (o-machine), and their role in the subject.

L