Definieren Sie das Konzept der Turing-Maschine und erklären Sie das Halteproblem. Führen Sie einen theoretischen Beweis (oder die Skizze eines Beweises) an, warum das Halteproblem nicht lösbar ist. Diskutieren Sie die Implikationen dieses Ergebnisses für die Grenzen dessen, was Computer theoretisch berechnen können (Church-Turing-These).