Make no mistake about it: Computers process numbers - not symbols. We measure our understanding (and control) by the extent to which we can arithmetize an activity.

We strive to create spaces that are both functional and poetic.

The notion of truth is not definable in any formal system that is strong enough to include arithmetic.

His back’s as crooked as a politician.

我们不是从祖先那里继承了地球；我们是从子孙那里借来的——这一信念塑造了我们所做的一切。

衡量矿业公司成功的真正标准是它能否为后代留下积极的遗产。

The best revenge is massive success.

对你谈论牺牲的人，谈论的是奴隶和主人。而且他打算成为主人。