The only thing I fear is God.

I think music is the most powerful thing in the world because it can make you feel things that words can't.

人类心智形成和操纵符号的能力使我们区别于其他动物。

We don't try to outsmart the market; we try to understand it.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。