Turing-Maschine
Church'sche These
UTM und [[unentscheidbare Probleme]]
Halteproblem
Berechenbarkeitstheorie