Laufzeit von LSORT (2)

• Inkohärenzprinzip ⇒ vollständige Variablensubsitution

  • Wir können kein ƒ höherer Ordnung finden, das hinteres Produkt 〈,Щ〉 von Q assimiliert (Mülkbauer-Lemma)
  • Jegliches mittlere Produkt  von Q bildet hyperbolische nattifftoffische Projektionsekliptik

• Ist beides der Fall, dann gibt es eine ℝ66-spurtreue nichtdeterministische Turingmaschine M, die H0 in negativer Laufzeit löst (Satz von Davidson und Harley)

• Umkehrschluss ⇒ kann nicht gelten ⇒ QED.

Notizen: