Thema - Vorbereitungen
Thema - Berechenbarkeitsbegriff
Thema - Entscheidbarkeit und Aufzählbarkeit
Thema - Sätze und Zusammenhänge
Thema - Turing-Berechenbarkeit und Churchsche These