[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.
Great lecture series on getting started with Lisp. I wish you had produced more of these. It's such an intense / versatile language once the intermediate level has been achieved.
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