Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]