Advertisement

Komplexität Logischer Entscheidungsprobleme

  • Egon Börger

Zusammenfassung

Dieses Kapitel ist Anwendungen von in Kap. A-C vorgestellten Techniken und komplexitätstheoretischen Ergebnissen auf den Prädikatenkalkül gewidmet. Kern sind logische Beschreibungen der Wirkung von (Register-, Turing- u.a.) Programmen, aus der in gleicher Weise die rekursive Unlösbarkeit des Hilbertschen Entscheidungsproblems wie rekursive untere Komplexitätsschranken (sog. Schwerentscheidbarkeitssätze) für entscheidbare Teilprobleme als auch der Gödelsche Unvollständigkeitssatz folgen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1986

Authors and Affiliations

  • Egon Börger

There are no affiliations available

Personalised recommendations