lambda calculus

Concept

Mentioned in relation to the definition of the y combinator.

Mentioned in 3 videos

Videos Mentioning lambda calculus

Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89

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

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

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.