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

The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
你做得越多，学到的就越多。你学到的越多，能做的就越多。
The more you do, the more you learn. The more you learn, the more you can do.
本尼西奥·德尔·托罗名人名言哲理格言警句语录 本尼西奥·德尔·托罗
为孩子画画是要抓住本质，而不是细节。
Drawing for children is about capturing the essence, not the detail.
海伦·奥克森伯里名人名言哲理格言警句语录 海伦·奥克森伯里
凡是对别人的痛苦有职务上业务上，关联的人，例如法官警官医生等，时侯一长，习惯成自然，就会变得麻木不仁，即使有心，也不能对诉讼人采取敷衍以外的态度。
契诃夫名人名言哲理格言警句语录 契诃夫
他们不再错误地认为，在这世上，除了免受身体和精神之苦以后所享受到的那种幸福以外，在某一王宫或者茅棚还栖身着另一种更特别的幸福。根据世人的价值标准而定的那些伟大或者渺小，尊贵或者卑微，对于这些老者而言，它们之间其实再也没有多大的区别。这使老年人获得了一种特别的平静心境。
叔本华名人名言哲理格言警句语录 叔本华
每天务必做一点你所不愿意做的事情。这是一条最宝贵的准则，它可以使你养成认真尽责职而不以为苦的习惯。
马克吐温名人名言哲理格言警句语录 马克吐温
好奇心推动数学家前进，总是在寻找下一个要回答的问题。
Curiosity drives the mathematician forward, always seeking the next question to answer.
路易斯·卡法雷利名人名言哲理格言警句语录 路易斯·卡法雷利
远岫出山催薄暮，细风吹雨弄轻阴，梨花欲谢恐难禁。
李清照名人名言哲理格言警句语录 李清照
“孤注一掷”的战略必须击中目标，否则所有努力就会付诸东流。
宗庆后名人名言哲理格言警句语录 宗庆后
The Langlands program is not a finished edifice but a living, evolving framework.
朗兰兹纲领不是一座完成的建筑，而是一个活生生的、不断发展的框架。
罗伯特·朗兰兹名人名言哲理格言警句语录 罗伯特·朗兰兹
命运如同海风，吹着青春的舟，飘摇地曲折地渡过了时间的海。
冰心名人名言哲理格言警句语录 冰心
我们对采摘不到的葡萄，不但可以想象它酸，有很可能想象它是分外的甜。
钱钟书名人名言哲理格言警句语录 钱钟书
我自己是凡人，我只求凡人的幸福。
冰心名人名言哲理格言警句语录 冰心
找一仙女怎么了，我想给我们老秦家改变改变基因有什么错？还非得找一难看的，天天想着越狱吗？
葛优名人名言哲理格言警句语录 葛优
我认为与那些激励和支持你的人在一起很重要。
I think that it's important to surround yourself with people who inspire and support you.
查理兹·塞隆名人名言哲理格言警句语录 查理兹·塞隆
如果死人复生，会多么令人尴尬呀！他们重返人间，保留着对我们旧有的印象，满怀着对我们的追忆，而我们则渴望摧毁这些印象，热切地希望忘却这些记忆。每个活人看到溺亡的人随潮水逆溯时都会感到困扰。
弗朗索瓦·莫里亚克名人名言哲理格言警句语录 弗朗索瓦·莫里亚克
这寡独的黄昏，幕着雾与雨，我在我的心的孤寂里，感觉到它的叹息。
In my solitude of heart I feel the sigh of this widowed evening veiled with mist and rain.
泰戈尔名人名言哲理格言警句语录 泰戈尔
古德云：不怕念起，只怕觉迟。贪瞋痴一起，立即觉了，则立即消灭矣。若以贪瞋痴为自家正主，则如认贼为子，其家财宝必致消散矣。但恨人之不诚心念诵，致不得其全益耳。
印光法师名人名言哲理格言警句语录 印光法师
不爱是一生的遗憾，爱是一生的磨难。
张爱玲名人名言哲理格言警句语录 张爱玲
如果你不喜欢现在的工作，要么辞职不干，要么就闭嘴不言。
马云名人名言哲理格言警句语录 马云