Die Grenzen der Lösbarkeit von Problemen mit Computern

Zusammenfassung

A priori scheinen Computer ein derart mächtiges Instrument zu sein, das imstande ist, jedes algorithmische Problem zu lösen. Die Leserinnen sollen verstehen, daß es sehr wohl Probleme gibt, deren Lösung einen exorbitant hohen Betriebsmittelverbrauch verursacht (z.B. Probleme, die prinzipiell mit Computern nicht lösbar sind). Dieses Kapitel ist der zweiten Kategorie von Problemen gewidmet und stellt eine Einführung in die Theorie der Berechenbarkeit dar. Insbesondere wird gezeigt, daß nicht jede Funktion auf den ganzen Zahlen durch ein Programm berechnet werden kann. Weiters wird das Stopproblem als spezielles unlösbares Problem vorgestellt.