Erkläre das Halteproblem von Alan Turing. Führe einen formalen Widerspruchsbeweis an, um zu zeigen, warum es unmöglich ist, einen Algorithmus zu schreiben, der für jede beliebige Programmeingabe entscheidet, ob das Programm anhält oder endlos läuft.