Algorithmisch unlösbare Probleme (1)

Id: halte.tex,v 1.1 2006-10-09 13:24:19 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.