Why functions are turing complete (Lambda Calculus)
A Byte of Code A Byte of Code
20.3K subscribers
76,955 views
3.3K

 Published On Sep 4, 2022

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.

show more

Share/Embed