Ich lese gerade über Lambda-Kalkül nach, um "es kennenzulernen". Ich sehe es als alternative Form der Berechnung im Gegensatz zur Turing-Maschine. Es ist eine interessante Art, Dinge mit Funktionen / Reduzierungen zu tun (grob gesagt). Einige Fragen quälen mich jedoch immer wieder: Was ist der Sinn...