Erklären Sie die Church-Turing-These und ihre Bedeutung für die theoretische Informatik. Diskutieren Sie das Halteproblem und warum es beweist, dass es Probleme gibt, die von keinem Algorithmus gelöst werden können. Was impliziert dies für die Grenzen der künstlichen Intelligenz?