## Link https://youtu.be/2PJ_DbKGFUA ## Clips ### Gödel reacted to Lambda calculus exactly the same way that modern developers react when you show them a functional programming language start = 23:00 end = 25:00 ### The first proof that reductions in the typed lambda calculus always terminate was done in an unpublished 1942 paper by Alan Turing start = 44:00 end = 44:40