Berekenbaarheidstheorie ónderzeuk de beperkinge vaan versjèllende theoretiese computermodelle, boe ónder ‘t bekèndste model: de turingmachine.