Understanding Computation - The Lambda Calculus Explained
Historically it’s been difficult to explain a mechanical universe, because it’s difficult to explain the possibilities and limitations of machines*.
It’s now posited that machines compute. That computation describes what machines can and cannot do.
The Lambda Calculus is a tiny system for describing computational machines.
*Machines here refers to mechanical entities like molecules and DNA, not dump trucks. ;)