我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
认知偏见就像思想上的视觉错觉;它们欺骗我们,让我们看到的世界不是它本来的样子,而是我们期望或希望的样子。