真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
戴纳·斯科特名人名言哲理格言警句语录 戴纳·斯科特
The theory of computation is not just about solving problems, but also about understanding the limits of what can be computed.
计算理论不仅仅是关于解决问题，还涉及理解可计算性的极限。
斯蒂芬·库克
我们每天在科技公司上班，实际上解决不是科学的问题，而是人的问题
罗永浩
低调是为了生活在自己的世界里，高调是为了生活在别人的世界里。
冯骥才
兽得道，便是穿衣的人！
李碧华
朋友之间，相求小事，顺水人情，理当成全。过分要求，得寸进尺，是存心丧失朋友最快得捷径。
三毛
倘使活着不是为了纠正我们的错误，克服我们的偏见，扩大我们的思想与心胸，那么活着又有什么用了。
罗曼·罗兰
要想停止注意某件事物，最快的方法就是将它购买到手――就如同要想停止欣赏某个人，最快的方法就是与其结婚。
阿兰·德波顿
虽有玉璞，不琢不错，不离砾石。士欲宣其义，必先读其书。
王符
使人疲惫的不是远方的高山，而是鞋子里的一粒沙子。
泰戈尔
今天，圣坛已经动摇不稳，讲经和宗教仪式已经成为人们怀疑和挖苦的对象。在这种时候，艺术应该离开教堂的内壁，到外面去寻找广阔的天地。为了做到这一点，必不可免地要创造一种崭新的音乐。这种音乐也可以称之为社会艺术，它将紧密而广泛地把戏剧和教堂结合起来，这种音乐应该是严肃的、神圣的、丰富多彩的、热烈的、不受限制的，狂风暴雨似的、平静的、纯洁的和发自内心的。《马赛曲》比任何印度、中国和希腊传说都更有力地证明了音乐的力量。因此在创造新的宗教音乐时，必须以它和其他歌颂自由的美妙歌曲为我们的样本。
弗朗茨·李斯特
"The human heart is a battlefield of conflicting emotions."
人心是矛盾情感的战场。
阮清越
The true revolutionary is guided by a great feeling of love.
真正的革命者是被伟大的爱所引导的。
切格瓦拉
适合处理生铁的人并不适合管理生铁。
The man who is fit to handle pig iron is not fit to handle the management of pig iron.
弗里德里克·温斯洛·泰勒
我们不想看到任何大的错误。如果我们不能做到这一点，我们可能会玩火自焚。
查理·芒格
“黑天鹅”事件绑架了我们的思维，让我们感到自己“差不多”或“几乎”预测到了它们，因为它们都是可以进行回溯性解释的。
塔勒布
可持续性必须有利可图，否则就无法持续——这是我们在现代农业中必须解决的挑战。
Sustainability must be profitable, or it won't be sustainable—this is the challenge we must solve in modern farming.《The Grain Frontier》
艾玛·威尔逊
婚姻不应该是牢狱，而是孕育某些更高层次东西的园地。或许，唯一挽救你婚姻的方法是放弃它。
欧文·亚隆
不是我疯了，就是世界疯了。我不知道究竟是哪一个疯了。瓶口和瓶盖的尺寸不符。也许该怪瓶子，也许该怪盖子。但不管怎样，尺寸不符的事实不容动摇。
村上春树
找到自己最好的方法就是在为他人服务中迷失自己。
The best way to find yourself is to lose yourself in the service of others.
迈克尔·查邦