Erklären Sie das Halteproblem (Halting Problem) von Alan Turing und führen Sie einen theoretischen Beweis dafür auf, warum es unmöglich ist, einen Algorithmus zu schreiben, der für jedes beliebige Programm und jede beliebige Eingabe korrekt vorhersagt, ob das Programm anhält oder endlos weiterläuft. Was bedeutet dies für die Möglichkeiten der künstlichen Intelligenz?