在一部好的推理小说中,读者应该在阅读过程中既感到娱乐又感到挑战。
如果您可以想象一个计算机机器人是唯一的专家的社会,那么您可以想象任何事情。
也许我们曾经乘不同的船来到这里,但现在我们都在同一艘船上”
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。