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