Robert Irving Soare
Paul Snowden Russell
Photographs of Robert Soare
Distinguished Service Professor Emeritus
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. His new book is
Turing Computability: Theory and Applications,
abbreviated [CTA], Springer-Verlag, 2016.
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?