Lambda Calculus vs. Turing Machines: A Deep Dive into Computation Theory 🧠
Explore the fascinating history of computation theory as Advait Shinde compares Lambda Calculus and Turing Machines, covering key concepts like axiomatic systems, Peano axioms, and the Y combinator.

Advait Shinde
25.3K views • Mar 2, 2020

About this video
Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Combinator, and the Von Neumann Model.
Brilliant explanation about the Y Combinator: https://mvanier.livejournal.com/2897.html
Advait is the CEO of GoGuardian - a K12 education software company in Los Angeles: https://www.goguardian.com/
Brilliant explanation about the Y Combinator: https://mvanier.livejournal.com/2897.html
Advait is the CEO of GoGuardian - a K12 education software company in Los Angeles: https://www.goguardian.com/
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
25.3K
Likes
1.1K
Duration
01:08:24
Published
Mar 2, 2020
User Reviews
4.6
(5) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now