一个社会离真相越远,它就越会憎恨那些说出真相的人。
The land doesn’t belong to us; we belong to the land.
痛苦是一扇门,通向比它本身更伟大的东西。
The development of formal systems has revolutionized our understanding of mathematics.
由于它的生命力,计算领域总是迫切需要新的时代:平庸化可以抚慰我们的神经。