Erklären Sie die grundlegenden Konzepte der theoretischen Informatik: Turingmaschinen, Church-Turing-These und Entscheidbarkeit. Diskutieren Sie verschiedene Komplexitätsklassen (P, NP, NP-vollständig) und deren Bedeutung für praktische Anwendungen. Analysieren Sie das P-vs-NP-Problem und seine Implikationen. Untersuchen Sie die Grenzen der Berechenbarkeit und die Bedeutung unentscheidbarer Probleme wie das Halteproblem. Erörtern Sie Quantenberechnung und wie sie die traditionellen Berechenbarkeitsmodelle erweitert oder herausfordert. Diskutieren Sie abschließend die philosophischen Implikationen der theoretischen Informatik für unser Verständnis von Berechnung, Geist und den Grenzen des menschlichen Wissens.