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.