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.
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
艾伦·佩利名人名言哲理格言警句语录 艾伦·佩利
 即使被关在果壳之中，我仍自以为是无限宇宙之王。
莎士比亚
吃着碗里瞧着锅里。
谚语
最成功的公司不只是销售产品，他们还销售体验和情感。
The most successful companies don't just sell products - they sell experiences and emotions.
理查德·霍奇森
做事情，最重要的是自己做，不求人。
冯唐
如何打造行业第一品牌，很多品类的机会要做第一，要迅速做大，越快越好。（1）第一，伟大的公司要从好名字开始，名字要取对；（2）第二，打品牌要舍得花钱，要持续投放，最厉害是我们投了的赶集，你要有“三个一”，一句打动人心的话，还有一幅画，所以把视频做到极致，也是你的核心竞争力，广告都可以省很多钱。
徐新
地气天时变，则史例亦随世而变。
出自《海国图志·卷首》。地气和天时变化了，那么历史的体例也应随着时代的变化而变化。
魏源
我在上学的时候，喜欢踢球。有人讽刺我说再踢也踢不到国家队，踢再好也好不过罗纳尔多，踢了有什么意思。不许踢了。那么，如果你自己喜欢开车，我对你说，你再开也开不到麦克拉伦车队去，开再快也快不过舒马赫，开了有什么意思，驾照没收了。
韩寒
照片是被摄体和时间组成的。我们拍摄的不是空间，是时间。我们在框架取的其实是时间啊！
荒木经惟
我相信大家对于五星红旗都会有一种特殊的情感，因为面对着我们的一些挑战、一些风云，十四亿人都是五星红旗的“护旗手”。
康辉
你唯一具有的就是过程。
史铁生
大抵贤圣发愤之所为作也
司马迁
人在年轻的时候大多会做些傻事，等你在平静的老年回忆起来，才能自觉年轻、有精神。我现在四十多岁了，我但愿自己曾犯下更多年轻的错误，留待日后回忆。
林语堂
战略赢是大赢，战略输是大输。
宋志平
学习数学的最好方法就是去做数学。
The best way to learn mathematics is to do mathematics.
斯里尼瓦瑟·瓦拉丹
《腾讯传》：我们要做的是让互联网成为每个人的生活必需品。
马化腾
世界上有一条大河特别波涛汹涌，淹死了许多人，叫‘聪明’。
刘震云
夫怒啄雄，雄去何栖，翩然归来，闭此幽闺。幽闺匿迹那可久，花里秦宫君知否？
谭嗣同
真正的领导力不是指挥别人，而是激励他们。
佚名
手脑双全，是创造教育的目的，中国教育革命的对策是使手脑联盟。
陶行知