[9:24] Lambda calculus was developed by Alonzo Church to analyze decidability questions in the 30's, not by John McCarty who invented LISP in 1958. Nice and useful lecture though.
There is some debate as to whether it stands for `field' or `function', you'll find some useful discussion of the etymology here: stackoverflow.com/questions/23808189/what-does-the-f-in-setf-stand-for
