Samenvatting Berekenbaarheidstheorie WIP