- ist eine formale Sprache zur Untersuchung von Funktionen
- Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter.
- Lambda-Kalkül
- jede Funktion kann als Zahl dargestellt werden
- mit dem Lambda-Kalkül lässt sich alles ausdrücken, was man mit einer {Turingmaschine}? ausdrücken kann
- https://www.youtube.com/watch?v=eis11j_iGMs Lambda Calculus - Computerphile
Siehe auch
{Lambda-Funktion}?