Fixpunkt-Kombinatoren

• Definition: Y : = λf.((λx.f (xx))(λx.f (xx)))
• Satz: Yf ist Fixpunkt von f
• d.h. Y ist Fixpunkt-Kombinator
• Beweis: vergleiche (Yf ) und f (Yf )
• Folgerung: rec wird eigentlich nicht benötigt