Berechenbarkeit

Worum geht es?

Algorithmen spielen bei der Automatisierung von Vorgängen und Tätigkeiten eine zentrale Rolle. Eine Automatisierbarkeit ist nur dann möglich, wenn die anfallenden Teilprobleme algorithmisch gelöst werden können.

In diesem Kapitel geht es um grundlegende Untersuchungen zur algorithmischen Lösbarkeit von Problemen. Neben interessanten Ergebnissen zur Reichweite der algorithmischen Methode werden Verfahren zu ihrer Präzisierung entwickelt.

Für einen ersten Zugang zu diesem Themenkomplex reicht es, sich mit dem Halteproblem im ersten Abschnitt auseinanderzusetzen. Die weiteren Abschnitte dienen der Vertiefung und zeigen Möglichkeiten zur theoretische Fundierung der Ergebnisse auf.