Lambda "Calculus" is a extremely concise way to represent logic and computing — just like a Turing machine. Instead of a Turing machine's mechanical and step by step way of computing, lambda calculus looks much more similar to regular math and "computes" by substituting and simplifying.

Timestamps:
00:00 intro
00:36 logical explanation
02:20 formal explanation
06:47 currying
08:47 church encoding for numbers
12:02 recursion
--------------
My website: https://tonyzhang.net
My Github: https://github.com/Tony1324
Contact me: [email protected]