Nächste Seite: Rechnen mit Kombinatoren Aufwärts: Kombinatorische Logik Vorherige Seite: Systematische Übersetzung
Def: Eine Menge M von Kombinatoren heißt Basis, falls es zu jedem Lambda-Ausdruck einen äquivalenten Ausdruck nur aus Applikationen und Kombinatoren aus M gibt.
Satz: {S, K, I} ist Basis.
Satz: {S, K} ist Basis. -- Beweis? I = …
Satz: es gibt eine Basis mit nur einem Element. (Schwer.)
Literatur: