Beim Lernen des Lambda-Kalküls komme ich nicht weiter.
Ich frage mich ob der Term
1(λy.y)
aus der Variable x und dem Symbol 1 irgendwie durch Applikation oder Abstraktion in einen Variablenfreien λ-Term überführt werden kann. Fällt jemandem ein Beispiel ein?
In Termen wie
(λy.y)
kann ich y ja einen Wert 1 geben, indem ich rechts 1 anhänge. Dann wird durch die β-Reduktion daraus
(λy.y)1 -> 1.
Beim obigen Beispiel fällt mir hingegen keine Operation ein.
Vielen Dank für jede Anwort!