Andrew Appel: Turing, Gdel, and Church at Princeton in the 1930s

In this keynote dinner address at Princeton University’s Turing Centennial Celebration, Andrew Appel talks about models of computation and systems of logic in the context of Turing, Gödel, and Church at Princeton during the 1930s. He is introduced by Rpbert Sedgewick, William O. Baker Professor of Computer Science at Princeton. Appel is chair of the department of computer science and Eugene Higgins Professor of Computer Science at Princeton. He is the editor of a new imprint of Alan Turing’s thesis, published by Princeton University Press: #turingprinceton