computability

Wie argumentieren Sie für die Tatsache, dass Lambda-Kalkül Turing abgeschlossen ist (auf die einfachste Weise möglich)?     

Für Beispiel , die Sprache der Turing-Maschinen, die dies tun Akzeptieren Sie nicht ihre eigene Codierung kann nicht von einer Turing-Maschine akzeptiert werden.