Bachelor thesis: on effective undecidability and Post’s problem This is my bachelor thesis on effective undecidability and Post’s problem.