4. Berechenbarkeit

Turing-Maschine 
Funktionsweise einer Turing-Maschine 
Turing-Berechenbarkeit 
Church-sche These 
Halteproblem 
Beweis des Halteproblems 
Diagonalisierung 
Reduktion 
Gödelisierung 
Satz von Rice 
Unentscheidbare Probleme