Turing, Gödel, and Church at Princeton in the 1930s (2012) [video] | Dark Hacker News