论真正教授计算机科学的残酷性

这篇文章探讨了计算机作为一种根本性新事物的残酷性。作者Edsger W. Dijkstra认为，计算机科学需要一种全新的思维方式，而传统的类比和隐喻方法已经过时。他批评了软件工程领域普遍存在的对渐进式变革的迷信，以及将程序视为类似于其他设备的错误类比。Dijkstra主张采用形式化方法，将程序视为数学公式，并通过数学证明来验证其正确性。他还对人工智能将人类思维拟人化的做法表示怀疑，认为这是一种掩盖计算机真正力量的尝试。