I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.

2012年：贝索斯致股东信《长远思考才能做到不可能的事情》

Un libro es una casa que construimos para que habite el alma del lector.

The life of man is of no greater importance to the universe than that of an oyster.

结构化程序设计支持被排除中间语言的法律。