Rogers Kap 1–7 1 Formale Berechenbarkeitsbegriffe

Andernfalls ist ϕ f(x) total und gibt es ein n 0 mit Φ f(x) (0)=n 0 . In diesem Fall nimmt ϕ g(x) für alle i an derStelle i+n 0 den Wert ϕ ϕf(x) (i)(i+n 0 )+1 an. Da ϕ f(x) (i) ∈W x ⊆T R ist, ist ϕ ϕf(x) (i) total und damit ϕ g(x) anjeder Stelle definiert, also g(x) ∈T R.Wir nehmen an g(x) = z für ein z ∈W x . Wir wissen, daß ϕ f(x) (i) = z für ein i und daß ϕ ϕf(x) (i) = ϕ ztotal ist. Wir betrachten ϕ g(x) (i+n 0 ). Da g(x) = z ist, folgt ϕ g(x) (i+n 0 ) = ϕ z (i+n 0 ) = ϕ ϕf(x) (i)(i+n 0 ).Per Konstruktion ist aber ϕ g(x) (i+n 0 ) = ϕ ϕf(x) (i)(i+n 0 )+1. Da ϕ z total ist, ist dies ein Widerspruch.Damit ist g(x) ∉W x also insgesamt g(x) ∈T R − W x .Satz: A produktiv ⇒ A nicht r.a.Dies folgt unmittelbar aus der Definition.Satz: A produktiv ∧ A≤ m B ⇒ B produktivBeweis Sei f die produktive Funktion für A und A≤ m B via g. Da die Abschlußeigenschaften von r.a.Mengen effektiv sind, gibt es ein h ∈T R mit W h(x) = g −1 (W x ). Es folgtW x ⊆B ⇒ W h(x) = g −1 (W x )⊆A⇒ h(x) ∈domain(f) ∧f(h(x)) ∈A − W h(x)⇒ h(x) ∈domain(g◦f) ∧g(f(h(x))) ∈B − g(W h(x) ) = W xDamit ist g◦f◦h die produktive Funktion von B□Die Tatsache, daß sich Produktivität nach oben vererbt, erleichtert Beweise für Produktivität. Wir hättenstatt des Diagonalbeweises nur ¯K≤ m T R zeigen müssen, um zu beweisen, daß T R produktiv ist.Korollar: A kreativ ⇒ A unentscheidbarKorollar: A kreativ ∧ A≤ m B ⇒ ⇒ ¯B produktivKorollar: A m-vollständig ⇒ A kreativWarum dies Korollare sind, läßt sich mit kurzem Resümieren der bisherigen Erkenntnisse herausfinden.Satz: Jede produktive Menge hat eine unendliche rekursiv-aufzählbare TeilmengeBeweis Sei g die produktive Funktion von A. Da die Abschlußeigenschaften von r.a. Mengen effektivsind, gibt es ein f ∈T R mit W f〈i, j〉 = W i∪W j , ein h ∈T R mit W h(x) = {x}, und ein x 0 mit W x0 = ∅.Wir definieren eine Funktion k durch k(0) = x 0 und k(n+1) = f〈h(g(k(n))), k(n)〉. Dann ist k ∈T Rund W k(0 = ∅⊆A und W k(n+1) = W h(g(k(n))) ∪W k(n) = W k(n) ∪{g(k(n))}⊆A, wobei g(k(n)) ∈A − W k(n) .Damit ist die Funktion g◦k eine injektive Aufzählung einer Teilmenge von A, die r.a. und unendlich ist. □Korollar: Jede produktive Menge hat eine unendliche rekursive TeilmengeHier steht noch einiges auf Seite 91ff wozu ich nicht kommen werde. Die Beweise dauern zu lange.Satz: Jede produktive Menge hat eine total-rekursive produktive FunktionBeweis Erweiterung der obigen Methode, siehe Seite 92Definition: A ist vollständig produktiv, wenn es ein f ∈T R gibt so daß für alle x gilt f(x) ∈W x − A oderf(x) ∈A − W x A.¯K ist vollständig produktiv mit λx.xDefinition: A ist semi-produktiv, wenn es ein f ∈R gibt mit ∀x W x ⊆A ⇒ x ∈domain(f) ∧W x ⊂W f(x) ⊆A.Definition: A und B sind rekursiv trennbar, wenn es eine entscheidbare Menge C gibt mit A⊆C ∧B⊆ ¯CB sind effektiv untrennbar, wenn es ein f ∈R gibt mit(A⊆W i ∧B⊆W j ∧W i ∩W j =∅) ⇒ 〈i, j〉 ∈domain(f) ∧W f〈i, j〉 ∈ ¯Wi ∩ ¯W jSatz:1. Wenn A und B effektiv untrennbar sind, dann sind sie nicht rekursiv trennbar.2. Sind A und B effektiv untrennbar, disjunkt und r.a., dann sind beide Mengen kreativ3. Es gibt A und B, die effektiv untrennbar, disjunkte und r.a. sind.10□□