我希望不久之后我们就能有一台能够解决所有数学问题的机器。
I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
言语是智者的筹码，他们只是用它们来计算；但它们是愚人的金钱。
"We are all in the gutter, but some of us are looking at the stars."
数学的本质在于它的自由。
Satire is a way of speaking truth to power.
回忆创造了一个比宇宙更完美的世界：它让死去的人复活。