“人类数学家从此被废黜，不再是地球上证明定理的主要实体。”
“在我余下的岁月里，我不认为自己还会因为真的需要我去证明，而去证明某个定理。”
“这里有一些根本性的问题，几百年前就可以提出。只是没有人想到去问它们。”
“这或许是你所能说的、关于整个宇宙演化最根本的一件事。然而直到人们开始建造蒸汽机，才有人想到它。”
““那看起来是一个难得多得多的问题。””
“人类数学家从此被废黜，不再是地球上证明定理的主要实体。”
“在我余下的岁月里，我不认为自己还会因为真的需要我去证明，而去证明某个定理。”
“这里有一些根本性的问题，几百年前就可以提出。只是没有人想到去问它们。”
“这或许是你所能说的、关于整个宇宙演化最根本的一件事。然而直到人们开始建造蒸汽机，才有人想到它。”
““那看起来是一个难得多得多的问题。””