9. Kapitel
9. Kapitel
9. Kapitel
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Primitiv rekursive und partiell rekursive Funktionen<br />
Allgemein und partiell rekursive Funktionen<br />
IPr versus IR versus IP<br />
Theorem<br />
IPr ⊂ IR ⊂ IP.<br />
Beweis: Der Beweis von Satz 9 ist trivial bis auf IPr ≠ IR, was<br />
unmittelbar aus dem letzten Satz folgt.<br />
❑<br />
Bemerkung:<br />
1 Wir werden jetzt zeigen, weshalb der Widerspruchsbeweis von<br />
für IP scheitert.<br />
IPr ≠ IR<br />
J. Rothe (HHU Düsseldorf) Informatik IV 38 / 42