有关正确的20句名人名言哲理格言警句语录

The most important thing in science is not to solve problems, but to ask the right questions.

Mathematical intuition often guides the development of algorithms, but it is the rigorous proof that ensures their correctness and efficiency.

苏布拉·苏雷什

可能近似正确（PAC）学习的概念在计算学习理论中具有基础性意义。

The concept of probably approximately correct (PAC) learning has been foundational in computational learning theory.

莱斯利·瓦利安特

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

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 Liskov Substitution Principle is a fundamental concept in object-oriented programming, stating that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program.

芭芭拉·利斯科夫

一个好的系统设计是使做正确的事情变得容易，做错误的事情变得困难。

A good system design is one that makes it easy to do the right thing and hard to do the wrong thing.

巴特勒·兰普森

科学中最重要的事情不是正确，而是保持好奇心。

"The most important thing in science is not to be right, but to be curious."

约书亚·本吉奥

计算机体系结构的目标是使常见情况快速，罕见情况正确。

The goal of computer architecture is to make the common case fast and the rare case correct.

大卫·帕特森

解决复杂问题的关键是提出正确的因果问题。

The key to solving complex problems is to ask the right causal questions.

朱迪亚·珀尔

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

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 challenge in computer science is not just to solve problems, but to find the right problems to solve.

约瑟夫·斯法基斯

计算的未来在于开发能够自我验证正确性的系统。

The future of computing lies in the development of systems that can verify their own correctness.

埃德蒙·克拉克

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

埃德蒙·克拉克

模型检查是验证硬件和软件系统正确性的强大工具。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

埃德蒙·克拉克

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

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.