The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
忘掉她，忘掉她就可以不必在忍受，忘掉她就可以不必在痛苦，忘掉她，忘掉你没有的东西，忘掉别人有的东西，忘掉你失去和以后不能在得到的东西，忘掉仇恨，忘掉屈辱，忘掉爱情，像犀牛忘掉草原，像水鸟忘掉湖泊，像地狱里的人忘掉天堂，像截肢的人忘掉自己曾快步如飞，忘掉是一般人能做的唯一的事，可我决定不忘掉她。
廖一梅
学者当务实。
韩愈
要不是打不过你，我早跟你翻脸了。
郭德纲
舒丽舒丽，你步步为营，却节节败退。
张抗抗
任谁都不怕的人，强过被所有的人惧怕的人。
席勒
Meaning has an inherent curative power. Meaning affects everything.
意义具有内在的治疗能力。意义影响到一切事物。
荣格
我只惋惜一件事：日子太短，过得太快。一个人从来看不出作成了什么，只能看出还应该做什么。
居里夫人
I don't complain, I don't justify myself, I accept what comes and keep working.
我不抱怨，不为自己辩解，我接受一切并继续工作。
拉斐尔·纳达尔
我们可以从第一性原理出发，从中想出新的点子，然后与人交流沟通，对这些想法进行改良，之后我们再用轻松快捷的方式进行实际测试。
萨姆·奥尔特曼
事实是，你不知道明天会发生什么。生活是一场疯狂的旅程，没有什么是有保证的。
"The truth is, you don't know what is going to happen tomorrow. Life is a crazy ride, and nothing is guaranteed."
雷尼·阿德勒
所谓的希望，就是自己相信经过今天的努力明天会变得更好。
李笑来
没有爱的教育就像没有水的池塘一样，没有水的池塘不能称其为池塘。
夏丏尊
生犀不敢烧，燃之有异香。沾衣带，人能与鬼通。
克莱儿·麦克福尔
我们必须培育创新文化，以在能源转型中保持领先。
We must foster a culture of innovation to stay ahead in the energy transition.
侯启军
天长日久，他觉得他爱人是世界上最好的女人。
路遥
The older I get, the more I realize how little I know.
随着年龄增长，我越发意识到自己知之甚少。
罗伯特·雷德福
"The future is about creating a culture of innovation."
未来是创造一个创新的文化。
萨蒂亚·纳德拉
我感到命运就在前方指引着我，它的圆满已近在咫尺。
赫尔曼·黑塞
我一直希望得到很多爱。如果没有爱，很多钱也是好的。如果两者都没有，我还有健康。我其实并不贫乏。
亦舒