lambda calculus
Concept
Mentioned in relation to the definition of the y combinator.
Mentioned in 3 videos
Save the 3 videos on lambda calculus to your own pod.
Sign up free to keep building your knowledge base on lambda calculus as more episodes are added.
Videos Mentioning lambda calculus
Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
A formal system in mathematical logic and computer science for expressing computation based on function abstraction and application.
Essentials: Pointer Power! - Computerphile
Computerphile
Mentioned in relation to the definition of the y combinator.
Cal Newport: Deep Work, Focus, Productivity, Email, and Social Media | Lex Fridman Podcast #166
Lex Fridman
A formal system in mathematical logic for expressing computation based on function abstraction and application, mentioned as a form of abstract math that connects algorithms back to mathematics.