The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
“诗经”有“诗经”的诗意，那种朴素和诚实，那些悲伤和欢乐，《诗经》一出，中国人已穷尽了朴素之美；屈原有屈原的诗意，那上穷碧落下黄泉的华美、高亢和神秘，屈子一出，中国诗人已穷尽了华丽之美，那真是每一句都有骨头的华丽啊。
沈浩波
对付不自由世界的唯一方法，就是让自己变得如此绝对自由，以至于你的存在本身就是一种反抗。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
加缪
点燃了的火炬不是为了火炬本身，就像我们的美德应该超过自己照亮别人。
莎士比亚
创业者是永远不会失败的，除非他放弃或消失。否则，你可以奋斗、失败、再奋斗、再失败——直至成功！一次性成功当然最好，但即使乔布斯，也曾经被他自己创建的苹果开除过。做事可以失败，做人不能失败。只要做人不失败，你的亲友同事投资人，还会陪着你走下去直至成功。
徐小平
学习批判性思考技能永远不会太晚。
尼尔·布朗
名场利场俱是戏场，做不了泼天富贵。
郭德纲
如果确有神圣的东西存在，那就是人的躯体。
沃尔特·惠特曼
我一直在工作，有时候进展得很顺利，有时候进展缓慢，不过一直在往前走——我不知道这有什么价值，但是我很高兴我没有像自己以为的那样失去记忆。我只需要全神贯注就行，细节的部分自己会浮现出来——是的，我记得细节的部分，那正是艺术中必不可少的部分。无论如何，我工作的时候感觉自己身上有一股力量，我找回了以前的独立性，以及我之为我的自由。除此以外，对我而言再无其他良方了。阿门。
加缪
要有独立和自主的品质，不依赖他人。
胡适
喜欢自寻烦恼的总是将自己幽禁于小箱子，幽禁于只浮游著过往思想与情感的狭小箱子，而且从来不想离开这口箱子。这口烦恼的子箱子里，装的都是些老旧的东西。老旧的想法、老旧的情感、老旧的自己，这些东西，从以前到现在都具有同样的价值，同样的名字。只要察觉这一点，便知道如何挣脱这口烦恼的箱子，那就是自己重新定名及定义价值。给疾病取名为“通往新世界的桥”，给困难与辛劳取名为“试炼”，给彷徨取名为“阅历”，给贫穷取名为“练习珍惜拥有的幸福”，给逆境取名为“跃升的机会”。这样一来，自然就能具备只属于自己的新价值。换个观点看事情，就不会觉活着是一件沉重的事。
尼采
每个愿打的人背后，都有一个愿挨的人。
林振强
最好的歌曲来自于真实的情感和经历。
The best songs come from real emotions and experiences.
恩里克·伊格莱西亚斯
谁像命运一样地驱策我向前进啊，那是我自己在背后堆着我大踏步向前走。
泰戈尔
生活是个缓慢受捶的过程，而锤炼之后是灰烬还是精华就仁智各异。
王小波
石无忌：你给我记住了，你既然嫁给我，你的身体就不属于你自己。从今以后，没有我的允许，你不许受伤。
席绢
据我们目前所了解，洗脑有三大核心，或曰三个过程。首先是紧张放松，此招见于比如与囚犯的谈判，审讯者要么严厉，要么温柔前一秒还是个暴虐的狂徒，后一秒就成了友善的朋友。其次是重复不断重复地叙说或歌颂同样的事情。最后一点是使用口号将复杂的意识缩减成简单的几个字、一句话。
多丽丝·莱辛
只有有天才的人才能发现天才的幼芽，发展这些幼芽，并善意地给予他们以必要的援助。
圣西门
一个多思索，常常反复想起并审查自己的记忆材料的人，就从这些材料中或多或少地编织出一个普通的网来，即总的世界观来。
乌申斯基
最好的药方是：节制、运动、好心情。
蔡志忠