—— 请按键盘 空白键 开始游戏 ——

The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
我花了一辈子就学会了小心，女人和小孩能够粗心大意，但是男人不行。
马里奥·普佐名人名言哲理格言警句语录 马里奥·普佐
如果我们今天不对塑料废物负责，我们将给后代留下难以承受的负担。
If we don’t take responsibility for our plastic waste today, we’ll leave a burden too heavy for future generations to bear.
约翰·曼宁名人名言哲理格言警句语录 约翰·曼宁
一个人的得到社会保障越多，自身的努力往往就最少。正如其他女权主义门派指出的那样，社会主义女权主义向社会寻求保障的同时，也就承认了自己是弱者，这是一个不小的失策。我们国家总是从社会主义女权理论的框架出发去关怀女性，分配给她各种东西，包括代表名额。
王小波名人名言哲理格言警句语录 王小波
我们要用望远镜看创新，用显微镜看品质
雷军名人名言哲理格言警句语录 雷军
"The best way to predict the future is to build it."
预测未来的最好方法是建造它。
萨蒂亚·纳德拉名人名言哲理格言警句语录 萨蒂亚·纳德拉
宗教是被压迫生灵的叹息，是无情世界的感情，正像它是没有精神的制度的精神一样。宗教是人民的鸦片。
马克思名人名言哲理格言警句语录 马克思
自尊心是一个人灵魂中的伟大杠杆。
别林斯基名人名言哲理格言警句语录 别林斯基
海洋将我们所有人联系在一起；它的挑战需要全球解决方案。
The ocean connects us all; its challenges require global solutions.
豪尔赫·卡斯蒂略名人名言哲理格言警句语录 豪尔赫·卡斯蒂略
如果你这一生刚正不阿，没有做出伟大的事业，没有赚到钱，也没有出名，但是你拼着老命，勉强把老婆孩子老娘照顾好了，如果你这样过到了七八十岁，仍然没有成就伟大的事业，梗着脖子去世了，有没有改变世界？还是改变了世界——因为这个世界又多了一个好人，你把这个世界变得美好了一点点。
罗永浩名人名言哲理格言警句语录 罗永浩
至善方能至美。
柏拉图名人名言哲理格言警句语录 柏拉图
理想的人物不仅仅要在物质需要的满足上，还要在精神旨趣的满足上得到表现。
黑格尔名人名言哲理格言警句语录 黑格尔
生我者还不是父亲，只有生下我来而又尽到做父亲的责任的人才是父亲。
陀思妥耶夫斯基名人名言哲理格言警句语录 陀思妥耶夫斯基
不必再有丝毫犹豫，竞争既搏命，更是斗智斗勇。倘若连这点勇气都没有，谈何在商场立脚，超越置地？
李嘉诚名人名言哲理格言警句语录 李嘉诚
愿你的未来纯净明朗，像你此刻可爱的目光；在世间美好的命运中，愿你的命运美好欢畅。
普希金名人名言哲理格言警句语录 普希金
你生活的质量就是你人际关系的质量。
The quality of your life is the quality of your relationships.
安东尼·罗宾名人名言哲理格言警句语录 安东尼·罗宾
只怕镜不明，不怕物来不能照。惟患此心之未能明，不患事变之不能尽。
王阳明名人名言哲理格言警句语录 王阳明
真相往往存在于矛盾中。
The truth is often found in contradiction.
J·M·库切名人名言哲理格言警句语录 J·M·库切
死亡是个老话题，但对每个人说来却是新鲜事。
屠格涅夫名人名言哲理格言警句语录 屠格涅夫
独立思考并挑战你的假设，尤其是那些你最坚信的。
瑞·达利欧名人名言哲理格言警句语录 瑞·达利欧