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: My Github: Contact me: hello@