Id: halte.tex,v 1.4 2004/11/11 06:26:13 waldmann Exp
Behauptung: es gibt algorithmisch unlösbare Probleme.
Das sind wohldefinierte Aufgabenstellungen mit wohldefinierter Lösung, welche aber nicht durch Algorithmus gefunden werden kann.