x
Strong Church Turing thesis — LessWrong