Theoretische Informatik, Woche 8: Berechenbarkeit, Church-Turing-These und Unentscheidbarkeit