papers-we-love_papers-we-love/computational_theory/on-computable-numbers-with-an-application-to-the-entscheidungsproblem-a-correction.pdf