x
Church-Turing thesis - History — LessWrong