从生活中学习,从书籍中学习,从他人中学习。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
 消灭一个错误,其贡献等同于、有时甚至超过建立一条新真理或新事实。