Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Formaler Beweis (2)<br />
Da g berechenbar ist, gibt es einen <strong>Alg</strong>orithmus<br />
mit einem Text y ∈ A * , <strong>der</strong> g berechnet, d.h., es<br />
gibt ein y mit g = ϕ y . Damit folgt nun:<br />
ϕ y(y) = g(y) ≠ ϕ y(y)<br />
Dies ist offenbar ein Wi<strong>der</strong>spruch, <strong>der</strong> sich nur<br />
dadurch lösen lässt, dass wir die Annahme<br />
aufgeben, h sei berechenbar.<br />
Erneut ein Diagonalbeweis!<br />
259