x
Magic and the halting problem — LessWrong