The freedom then of man, and liberty of acting according to his own will, is grounded on his having reason, which is able to instruct him in that law he is to govern himself by, and make him know how far he is left to the freedom of his own will.

数学是给不同事物起相同名字的艺术。

写作是探索心灵的未知领域。

The only thing I'm interested in is seeing. Not in having seen, but in seeing itself.

编程语言中最重要的就是名字。没有一个好名字，语言就不会成功。我最近发明了一个非常好的名字，现在我正在寻找一种合适的语言。