Lambda-Kalkül

  • 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}?