Andrew Appel: Turing, Gödel, 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: http://press.princeton.edu/titles/9780.html www.princeton.edu/turing #turingprinceton

TEXTUAL RESOURCES

#Comments

YOU NEED TO LOGIN IN ORDER TO COMMENT

other videos



video

IoEtalks 2015, Roma - Luciano Floridi

video

Can robots be creative? - Gil Weinberg

video

Philosophy and Society: A Computational Future | Peter Millican | TEDxOxford

video

The ethical dilemma of self-driving cars - Patrick Lin

video

Is your phone part of your mind? | David Chalmers | TEDxSydney