Gresham College Lectures
Turing and von Neumann