Profile of Robert Soare

Home Page of Robert Soare

Univ of Chicago article Feb. 23, 2012 on Turing, and Michelangelo

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

An ACM interview with Robert Soare: Reflections on Alan Turing

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

Angus Macintyre, Gresham Lecture on Turing, 2011.

Undecidable and Decidable Problems in Mathematics: A survey and some reflections,
for the centenary of Turing's birth Tuesday, 17 May 2011.

---

---

---

---