Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Formaler Beweis (1)<br />
Annahme: h : A * → A * berechenbar<br />
h(<br />
x)<br />
aufgrund <strong>der</strong> Church’schen These ist somit auch<br />
g : A * →A * berechenbar:<br />
g(<br />
x)<br />
g(x) ≠ ϕ x(x) für alle x ∈ A * .<br />
=<br />
=<br />
⎧ε, falls x ∈ domϕ<br />
x<br />
⎨<br />
⎩a<br />
sonst<br />
⎧ ϕx ( x)<br />
a,<br />
falls h(<br />
x)<br />
= ε<br />
⎨<br />
⎩ε<br />
sonst<br />
258