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
Видео Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s канала princetonacademics
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
Видео Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s канала princetonacademics
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![Andrew Odlyzko: Turing and the Riemann zeta function](https://i.ytimg.com/vi/pQS7X_8iTCA/default.jpg)
![Gödel's philosophical challenge (to Turing) - Wilfried Sieg](https://i.ytimg.com/vi/je9ksvZ9Av4/default.jpg)
![Turing Machines Explained - Computerphile](https://i.ytimg.com/vi/dNRDvLACg5Q/default.jpg)
![Turing Complete - Computerphile](https://i.ytimg.com/vi/RPQD7-AOjMI/default.jpg)
![Internet Voting? Really? | Andrew Appel | TEDxPrincetonU](https://i.ytimg.com/vi/abQCqIbBBeM/default.jpg)
![Ronald Rivest: The Growth of Cryptography](https://i.ytimg.com/vi/D4HcvehEU9c/default.jpg)
![On Gödel and changing the definition of truth to provable / computable - Joscha Bach](https://i.ytimg.com/vi/KnNu72FRI_4/default.jpg)
![Alan Turing - Celebrating the life of a genius](https://i.ytimg.com/vi/gtRLmL70TH0/default.jpg)
![La(s) tesis de Church-Turing | Jornadas de Ciencias de la Computación UNR 2017](https://i.ytimg.com/vi/Y5ZaU057EkM/default.jpg)
![Segregation and the South - Fund for the Republic Records](https://i.ytimg.com/vi/tfgQdCld3Fg/default.jpg)
![Why Internet Slows Down When it's Busy - Computerphile](https://i.ytimg.com/vi/TSJw_oQklz8/default.jpg)
![Bartosz Milewski - Truth about Types (Lambda Days 2016)](https://i.ytimg.com/vi/dgrucfgv2Tw/default.jpg)
![Math's Existential Crisis (Gödel's Incompleteness Theorems)](https://i.ytimg.com/vi/YrKLy4VN-7k/default.jpg)
![Turing and von Neumann - Professor Raymond Flood](https://i.ytimg.com/vi/fJltiCjPeMA/default.jpg)
![Every man and woman should watch it. James Stewart in Shenandoah](https://i.ytimg.com/vi/z7tfKCG8UbM/default.jpg)
![Paul Phillips - The Axes of Abstraction - λC 2017](https://i.ytimg.com/vi/fOI7TJaojTs/default.jpg)
![COLLOQUIUM: Leibniz on Complexity (March 2016)](https://i.ytimg.com/vi/QKKD-_VxxFA/default.jpg)
![John Wayne - 1968 Republican National Convention](https://i.ytimg.com/vi/gYCgbrtFKPU/default.jpg)
![Gödel Proves God 2-4-2017 by Paul Giem](https://i.ytimg.com/vi/86-HkpLPL8c/default.jpg)
![Gödel and Undecidability - John Conway](https://i.ytimg.com/vi/bSx63Uy-gn0/default.jpg)