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
INTRODUCTORY
ADVANCED
#Comments
YOU NEED TO LOGIN IN ORDER TO COMMENT
other videos
IoEtalks 2015, Roma - Luciano Floridi
Can robots be creative? - Gil Weinberg
Philosophy and Society: A Computational Future | Peter Millican | TEDxOxford
The ethical dilemma of self-driving cars - Patrick Lin
Is your phone part of your mind? | David Chalmers | TEDxSydney
#Comments
YOU NEED TO LOGIN IN ORDER TO COMMENT