My edits and slides on entscheidung, halting, church-turing, equivalence.