Philip Wadler: Church's Coincidences

Philip Wadler, Professor of Theoretical Computer Science at the University of Edinburgh, contends that the foundations of computing lay in a coincidence: Church's lambda calculus (1933), Herbrand and Godel's recursive functions (1934), and Turing's machines (1935) all defined the same model of computation.
He gave this lecture on the occasion of Princeton University's centennial celebration of Alan Turing. Learn more at www.princeton.edu/turing
#turingprinceton

[@whukriede]

Extremely valuable document! Thanks an lot!

[@tomdahulk]

Wow... what a truly great video! I love this lecturer!

[@vimalk78]

why don't you upload in better resolution? 240p ? you must do better

[@jsw2142]

I'm always bothered by intros. Just say the person's name and let them fill in the rest.

[@gonderage]

why does audio only play in the left ear

[@RoyManter]

those are latin letters >:(

[@RoyManter]

JAVA! xDDDD for the lolz