Robert Irving Soare
Paul Snowden Russell
Photographs of Robert Soare
Distinguished Service Professor
of Mathematics and Computer Science
The University of Chicago
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: The Art of Classical
Computability abbreviated [CTA], under contract with
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?