The most advanced technology is worthless if farmers can't use it effectively.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

孩子独立的智能发展无可限量，它直接依赖孩子心智的力量，而不仅靠导师的工作。

过去并未死去；它甚至还未过去。

用心体会整理才能理解精确得当，所以应当沉着稳重，不然就成了口头耳边的小事，过后就忘了。事理要以典故为依据，因此必须学识广博，否则就成了随意推测，胡编乱造。

一幅画首先必须关乎它自身，而不是其他东西。

未来属于那些能够在创新与诚信之间取得平衡的人。