罗伯特·索耶和他的《计算中的上帝》 - 计算中的上帝