The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
衡量一个人的标准是：在多长的时间里，以及在怎样的层次上，他能够甘于寂寞，无需得到他人的理解。能够毕生忍受孤独的人，能够在孤独中决定永恒之意义的人，距离孩提时代以及代表人类动物性的社会最远。
克尔凯郭尔
名誉具有一种完全主动的特征；它唯独从人的自己出发，以主体的行为为基础。
叔本华
漫长的劳动使阿克哈拉的土地渐渐睁开了眼睛。它看到了我们，认清我们的模样，从此才真正接受了我们。
李娟
希望源自于相信有其他选择的存在。
约翰·洛克菲勒
痛苦是性格的催化剂，它使强者更强，弱者更弱，仁者更仁，暴者更暴，智者更智，愚者更愚。
周国平
8.创新是一个持续的过程，需要不断地尝试和探索。不要害怕失败，每一次失败都是一次宝贵的经验，它会让我们离成功更近一步。
王兴
守恬淡以养道，处卑下以养德，去嗔怒以养性，薄滋味以养气。
陈继儒
表演是探索人类状况的一种方式。
Acting is a way to explore the human condition.
布鲁斯·邓恩
期望是厄运的忠实的姐妹。
普希金
人之生也柔弱，其死也坚强。草木之生也柔脆，其死也枯槁。故坚强者死之徒，柔弱者生之徒。是以兵强则灭，木强则折。强大处下，柔弱处上。
老子
只是一颗孤星罢了！在无边的黑暗里已写尽了宇宙的寂寞。
冰心
尽管结婚并不一定会叫人幸福，但总算给她自己安排了一个最可靠的储藏室。
简·奥斯汀
如果想要行使自由，那就需要付出代价。而在人际关系中，自由的代价就是被别人讨厌。
岸见一郎
我心中理想的世界，是所有大人都像孩子，而不是所有孩子都像大人。
撒贝宁
Don’t fear failure—fear being in the same place next year as you are today.
不要害怕失败——害怕明年的你和今天一样。
彼得·琼斯
我们要做的是让每一个中国人都能开上自己国家生产的汽车。
What we need to do is to ensure that every Chinese person can drive a car produced by their own country.
李书福
当科学家们被权势吓倒，科学就会变成一个软骨病人。
伽利略
人生而无知，但是并不愚蠢，是教育使人愚蠢。
罗素
我们从来不想已经过去的事，我们觉得未来有那么多值得期待的，何必对过去耿耿于怀。不纠结过去的事，纠结也没用，人生只能向前看。
巴菲特