我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
The beauty of physics lies in its ability to explain the complex with simple principles.
真理最大的敌人不是谎言——刻意、虚假且不诚实——而是神话——持久、有说服力却不切实际。
关键不在于古代的服饰与古代的语言,况且你只是效法周朝而没有效法夏朝,你所谓的古代还不是真的古代。 
The true delight is in the finding out rather than in the knowing.