不,不是富有。我是个有钱的穷人,这不是一回事。
No, not rich. I am a poor man with money, which is not the same thing.
揣摩自己的身心,于百年后,将被后人安放在什么位置上?省察自己的面目,在历史上,和哪一位古代人物相似?
科学是关于提出正确的问题并坚持不懈地寻找答案。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."