「使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。」- 艾伦·佩利经典语录

使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。

💡 解读： The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.

🏷️ 标签：挑战证明改变可能重要世纪

👤 更多艾伦·佩利经典语录 10句

编程与Like子一样，是一种文字游戏。

艾伦·佩利

The proof of a system's value is its existence.

艾伦·佩利

当我们编写可以“学习”的程序时，事实证明我们是这样做的，而他们不是。

艾伦·佩利

对称性是降低复杂性的概念（协同例程包括子例程）；到处寻找它。

艾伦·佩利

一些编程语言设法吸收变化，但可以承受进步。

艾伦·佩利

The debate rages on: is PL/I Bachtrian or Dromedary?

艾伦·佩利

LISP程序员知道一切的价值，但是却一无所获。

艾伦·佩利

In computing, turning the obvious into the useful is a living definition of the word "frustration".

艾伦·佩利

Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You've solved the wrong problem. Work hard to improve.

艾伦·佩利

句法糖引起分号的癌症。

艾伦·佩利

罗曼·罗兰

这么长的离别早已把激情推到遥远而模糊的过去，再要这么激动，该有多荒唐。八年中还有什么不可能发生呢？各种各样的事件、变更、疏远、淡漠——这期间一定包罗了种种变化，还有对过去时光的忘却——这非常自然，而且肯定无疑。

简·奥斯汀

在投资中，最重要的是避免犯大错。

张磊

谅解、增援和情谊，比什么都重要。

乔治·华盛顿

我们要树立人生目标，这样我们才知道生活的航向，才能懂得生活还有新的追求。但是比树立目标重要的是用行动去实现所谓的目标，只有下定决心，历经学习，奋斗，成长这些不断的行动，才有资格摘下成功的甜美果实。

李开复

人生中最重要的不是把成功当作资本，傻子也会这样做的。重要的是从失败中崛起，并受益，这可是需要聪明的才智，也正是智者和傻瓜的区别。

卡耐基

亚运金牌是人生中一个重要节点，但我的目标永远是朝着奥运会、朝着最高最强的那个舞台奋斗。希望明年在巴黎（奥运）跑出好成绩，尽可能站上决赛跑道，让世界看到我们中国田径的成长和进步。

谢震业

人的生存是可怕的，且总无意义：一个搞恶作剧的人可能成为它的厄运。我要向人们讲授生存的意义，这意义就是超人，是乌云里的闪电。

尼采

教育上最重要的事是要给学生一种改造环境的能力，平民教育是改造社会环境的一个重要方法。

陶行知

我也在努力的向前走了，可能会慢一点，偶尔会迷路，但也在全心全意地想要变好，周一你好！

莎士比亚

李娟

悲伤就是知识

拜伦

但愿同入梦。

琼瑶

表面看起来糟糕的事，本质上却往往并非如此。

塞涅卡

我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。

亚历山大·索尔仁尼琴

奇花与丽日争妍，翠竹共青天斗碧。

吴承恩

我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。

恩格斯

大家礼义教子弟，小家凶恶训儿郎。

周希陶

人人为我，我为人人。

列宁

罗曼·罗兰

40句相邻名言

每个程序都有（至少）两个目的：一个目的是为它编写的，另一个不是目的。

艾伦·佩利

第一届图灵奖得主

如果您在解释程序时听众点头，请叫醒他。

艾伦·佩利

第一届图灵奖得主

没有循环和结构化变量的程序不值得编写。

艾伦·佩利

第一届图灵奖得主

不影响您对编程的思考方式的语言是不值得了解的。

艾伦·佩利

第一届图灵奖得主

只要有模块化的地方，就有可能产生误解：隐藏信息意味着需要检查沟通。

艾伦·佩利

第一届图灵奖得主

优化阻碍了发展。

艾伦·佩利

第一届图灵奖得主

好的系统不能具有较弱的命令语言。

艾伦·佩利

第一届图灵奖得主

要了解程序，您必须同时成为机器和程序。

艾伦·佩利

第一届图灵奖得主

也许如果我们从小就开始编写程序，作为成年人，我们将能够阅读它们。

艾伦·佩利

第一届图灵奖得主

一个人只能在头脑中显示复杂的信息。就像看到，移动，流动或改变视图，比静止的图片更重要，无论多么可爱。

艾伦·佩利

第一届图灵奖得主

我们总是希望在我们的程序中要说的是，所有已知语言都只能说得不好。

艾伦·佩利

第一届图灵奖得主

一旦您了解如何编写程序，就请其他人来编写它。

艾伦·佩利

第一届图灵奖得主

在计算机周围，很难找到正确的时间单位来衡量进度。一些大教堂花了一个世纪完成。您能想象一个程序需要花费这么长时间吗？

艾伦·佩利

第一届图灵奖得主

对于系统，翻版的模拟是在控制图中添加一个创建循环的边，而不仅仅是一个附加节点。

艾伦·佩利

第一届图灵奖得主

在编程中，我们所做的一切都是更通用的特例-而且我们常常知道得太快。

艾伦·佩利

第一届图灵奖得主

简单性并不先于复杂性，而是随之而来。

艾伦·佩利

第一届图灵奖得主

程序员不应以其才智和逻辑来衡量，而应以案例分析的完整性来衡量。

艾伦·佩利

第一届图灵奖得主

第十一条诫命是“你不可计算”或“你不可计算”-我忘记了。

艾伦·佩利

第一届图灵奖得主

字符串是一个严格的数据结构，在传递字符串的任何地方都存在很多重复的过程。它是隐藏信息的理想工具。

艾伦·佩利

第一届图灵奖得主

可以教每个人雕刻：必须学会不要米开朗基罗。优秀的程序员也是如此。

艾伦·佩利

第一届图灵奖得主

最重要的计算机是在我们的头骨上狂奔并且一直在寻找那种令人满意的外部仿真器的计算机。真实计算机的标准化将是一场灾难-因此可能不会发生。

艾伦·佩利

第一届图灵奖得主

结构化程序设计支持被排除中间语言的法律。

艾伦·佩利

第一届图灵奖得主

关于图形：一张图片价值一万个单词-但仅用于描述图片。几乎没有任何10K单词集可以用图片充分描述。

艾伦·佩利

第一届图灵奖得主

编写无错误程序的方式有两种：只有第三个有效。

艾伦·佩利

第一届图灵奖得主

一些编程语言设法吸收变化，但可以承受进步。

艾伦·佩利

第一届图灵奖得主

您可以通过注意程序员对FORTRAN持续活力的态度来衡量程序员的观点。

艾伦·佩利

第一届图灵奖得主

在软件系统中，蠕虫通常是早起的鸟儿。

艾伦·佩利

第一届图灵奖得主

有时我认为在计算领域中唯一通用的是获取-执行周期。

艾伦·佩利

第一届图灵奖得主

计算的目的是模仿我们的综合能力，而不是理解我们的分析能力。

艾伦·佩利

第一届图灵奖得主

编程与Like子一样，是一种文字游戏。

艾伦·佩利

第一届图灵奖得主

正如威尔·罗杰斯（WillRogers）所说，“没有自由变量之类的东西。”

艾伦·佩利

第一届图灵奖得主

关于外行编程的最好的书是；但这是因为对于外行来说这是最好的书。

艾伦·佩利

第一届图灵奖得主

在我们的伊甸园中，苹果放弃了汇编语言：使用语言浪费机器周期是有罪的。现在，LISP机器允许LISP程序员放弃胸罩和无花果叶。

艾伦·佩利

第一届图灵奖得主

当我们理解基于知识的系统时，情况将与以前一样-除了我们的指尖会被选中。

艾伦·佩利

第一届图灵奖得主

将计算机带到家里不会改变任何一种，但可能会使角落的轿车焕发活力。

艾伦·佩利

第一届图灵奖得主

系统有子系统，子系统有子系统，等等，这是无限的，这就是为什么我们总是从头开始。

艾伦·佩利

第一届图灵奖得主

这么多好主意一旦踏上语义鸿沟，就再也听不到。

艾伦·佩利

第一届图灵奖得主

提防图灵焦油坑，在这里一切皆有可能，但没有任何有趣的事情容易发生。

艾伦·佩利

第一届图灵奖得主

LISP程序员知道一切的价值，但是却一无所获。

艾伦·佩利

第一届图灵奖得主

软件一直处于紧张状态。具有象征意义是任意完美的。但它也可以任意更改。

艾伦·佩利

第一届图灵奖得主

🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行