Turing, Gödel, and Church at Princeton in the 1930s (2012) [video] (youtube.com)