Foundational Problems from Computation Theory