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.

Lambda Calculus vs. Turing Machines: A Deep Dive into Computation Theory ๐Ÿง 
Advait Shinde
25.3K views โ€ข Mar 2, 2020
Lambda Calculus vs. Turing Machines: A Deep Dive into Computation Theory ๐Ÿง 

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/

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)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.