有关可以的20句名人名言哲理格言警句语录

Any problem in computer science can be solved with another layer of indirection.

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

巴特勒·兰普森

计算理论为理解什么可以计算、什么不能计算提供了基础。

The theory of computation provides a foundation for understanding what can and cannot be computed.

杰弗里·乌尔曼

程序测试可以用来显示错误的存在，但绝不能显示它们的不存在！

Program testing can be used to show the presence of bugs, but never to show their absence!

阿尔弗雷德·艾侯

抽象的目的不是含糊不清，而是创建一个新的语义层次，在这个层次上可以绝对精确。

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

阿尔弗雷德·艾侯

网络的原始理念是它应该是一个协作空间，你可以通过共享信息进行交流。

The original idea of the web was that it should be a collaborative space where you can communicate through sharing information.

蒂姆·伯纳斯-李

里氏替换原则是面向对象编程中的一个基本概念，确保派生类可以替代其基类使用，而不会改变程序的正确性。

The Liskov Substitution Principle is a fundamental concept in object-oriented programming, ensuring that derived classes can be used in place of their base classes without altering the correctness of the program.

芭芭拉·利斯科夫

抽象的目的不是模糊，而是创建一个新的语义层次，在这个层次上可以绝对精确。

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

彼得·诺尔

最好的程序是这样编写的：计算机可以快速执行它们，而人类可以清楚地理解它们。理想情况下，程序员是一位散文家，他使用传统的美学和文学形式以及数学概念来传达算法的工作原理，并说服读者结果是正确的。

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.

阿迪·萨莫尔

最好的程序是这样写的：计算机可以快速执行它们，人类可以清楚地理解它们。理想情况下，程序员是一位散文家，他使用传统的美学和文学形式以及数学概念来传达算法的工作原理，并说服读者结果是正确的。

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.