x
Complexity and halting — LessWrong