Profile of Robert Soare

Home Page of Robert Soare

Classical Art and Classical Computability

Why Turing and not Church? Why Michelangelo and not Donatello?

First see the art slides and then read the new paper posted there:

Turing and the Art of Classical Computability

Interview with the Association of Computing Machinery (ACM)
on Turing, Church, Classical Art, and Michelangelo

An interview with Robert Soare: Reflections on Alan Turing