Church and chess