Definieren Sie das Halteproblem und führen Sie einen theoretischen Beweis mittels Reductio ad absurdum, warum es unmöglich ist, einen allgemeinen Algorithmus zu konstruieren, der für jedes beliebige Programm und jede beliebige Eingabe entscheidet, ob das Programm anhält oder endlos läuft.