Fixpunkt-Kombinatoren

• Definition: Θ = (λxy.(y(xxy)))(λxy.(y(xxy)))

• Satz: Θf→_βf (Θf ), d. h. Θf ist Fixpunkt von f
• d.h. Θ ist Fixpunkt-Kombinator, (T wegen Turing)
• Beweis (ausrechnen)

• Folgerung: im Lambda-Kalkül kann man beliebige Wiederholung (Schachtelung) von Rechnungen beschreiben