Strong Church Turing thesis — AI Alignment Forum