u/agumonkeyin r/compsci • Recommends
Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s -- 2012
0:00 / 0:00
#alanturing#kurtgödel#alonzochurch
Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
princetonacademics
9.4K subscribers • 3 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Andrew Appel, Professor of Computer Science at Princeton
Intermediate. Assumes working knowledge.
12K views14 years ago1 recommendation
History and cultureComputer scienceHistory of computingComputation and complexityPeople who shaped computing
Andrew Appel discusses the models of computation and systems of logic developed by Turing, Gödel, and Church at Princeton during 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: press.princeton.edu/titles/9780.html www.princeton.edu/turing #turingprincetonWhy it's here
1 person recommends thisWhat people say. Recommended as an engaging historical talk on the foundational figures of computer science at Princeton.