Beschreiben Sie das theoretische Modell der Turing-Maschine. Warum gilt eine Funktion als berechenbar, wenn sie von einer Turing-Maschine gelöst werden kann? Diskutieren Sie das Konzept der 'Church-Turing-These' und ihre Bedeutung für die Grenzen dessen, was Computer theoretisch leisten können, insbesondere im Hinblick auf das Halteproblem.