Why functions are turing complete (Lambda Calculus)
Functions are an extremely useful part of programming, but it turns out that they're all you need to calculate anything. No data types, no control flow, just...

A Byte of Code
83.6K views • Sep 4, 2022

About this video
Functions are an extremely useful part of programming, but it turns out that they're all you need to calculate anything. No data types, no control flow, just simple functions.
This is possible by using lambda calculus, a programming language and model of math invented by Alonzo Church in the 1930s which is capable of any computation with only one feature: the function.
This is possible by using lambda calculus, a programming language and model of math invented by Alonzo Church in the 1930s which is capable of any computation with only one feature: the function.
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
83.6K
Likes
3.5K
Duration
3:59
Published
Sep 4, 2022
User Reviews
4.7
(16)