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.
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
艾伦·佩利名人名言哲理格言警句语录 艾伦·佩利
司法公正不仅要求结果公正，更要求程序公正。
高其才
在传统经济时代，劳动力是成本；而在创新经济时代，人力是资本。
宋志平
绝大多数人，如果他真的有一颗不甘的心，其实差的只是一个机会和一点点训练。
李笑来
当你知道世界上受苦的不是只有你，你会减少痛苦，也会在绝望中燃起希望。
罗曼·罗兰
任何事物都有好的一面和坏的一面。你不能简单地用好的一面去否定坏的一面，也不能用坏的一面否定好的一面。
姚明
百般使命，只要人际关系复杂，便什么也做不成;反之，山高路远，只要人际关系单纯，便怎么也走得通。
余秋雨
所有那些让我们分开的事物都和这些在山谷中不停聚集又散去的云一样愚蠢。而让我们团聚的事物则掌握了太阳、轻盈的土地和沉重肉体的真相。但是我们正在慢慢地靠近彼此，握住彼此的手，再也不会分开。
加缪
除了拥有足够的金钱以外，什么是真正的自由和全新的幸福。
本田直之
真理是经得起经验考验的东西。
Truth is what stands the test of experience.
卡尔·雅斯贝尔斯
成名的艺术家反为盛名所拘束，所以他们最早的作品往往是最好的。
贝多芬
爱主要不是一种对某个特殊人的关系；它是一种态度，一种决定一个人对整个世界而不是对某个爱的“对象”的关系的性格倾向。
艾瑞克·弗洛姆
Technology decisions must balance foresight and practicality.
技术决策要平衡前瞻性与实用性。
谭晓生
我的人生就是一首未完成的歌。
My life is an unfinished song.
周杰伦
儿童个性发展的关键在于他们自己。他们拥有独特的发展方式，并会遵照特定的规律发展。在儿童体内存在一种神奇的力量，成人不恰当的打扰只会阻碍这种力量的发挥。
蒙台梭利
建筑的本质是创造神圣的空间。
The essence of architecture is the creation of sacred space.
路易斯·巴拉甘
因为会一回想起过去，会让人后悔得想去死:而展望未来又会让人担心的得愁眉不展，所以用消除法，就能得出现在才是最幸福的结论啊。
渡航
People predict by making up stories.
人们通过编造故事来预测未来。
阿莫斯·特沃斯基
做出伟大工作的唯一方法就是热爱你所做的事。
The only way to do great work is to love what you do.
凯莉·克莱森
实现明天的唯一限制是我们今天的疑虑。
The only limit to our realization of tomorrow is our doubts of today.
特拉维斯·斯蒂斯