我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
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.