Grenzen der Berechenbarkeit

Worum geht es hier?

Die algorithmische Problemlösemethode hat ihre Grenzen: Es gibt Berechnungsprobleme, für die man keinen Lösungsalgorithmus finden kann. In diesem Kapitel werden Wege aufgezeigt, die Existenz solcher Probleme nachzuweisen.

Hier lernst du ...

• ... wie man die Existenz algorithmisch nicht lösbarer Probleme mit Abzählungsargumenten zeigt.
• ... Beispiele für algorithmisch nicht lösbare Probleme kennen.
• ... wie sich Fragen über die Grenzen der algorithmischen Methode aus mathematischen Untersuchungen ergeben haben.