The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
LOVE是要自己去体验的，爱自己，爱别人，爱这个世界。
彭于晏
The problem with marriage is that it ends every night after making love, and it must be rebuilt every morning before breakfast.
婚姻的问题在于它每晚在做爱后就结束了，而每天早餐前必须重建。
加夫列尔·加西亚·马尔克斯
生而后死，起而后灭，你们要时刻精进，以得解脱。
释迦牟尼
当什么都没发生时，他的外套闪着光芒，看上去很漂亮，但是如果情况变得严重，他将得不到帮助。
弗兰兹·卡夫卡
你可以将一只鹦鹉训练成经济学家，因为它所需要学习的只有两个词：‘供给’与‘需求’。
保罗·萨缪尔森
航空报国不是一句口号，而是要用生命去践行的誓言。
罗阳
不幸的人才要更坚强。
莫言
我的座右铭是：第一是诚实，第二是勤勉，第三是专心工作。
卡耐基
外部生活只是内部生活的一种表现。
乌申斯基
The limits of my language mean the limits of my world.
我的语言的界限意味着我的世界的界限。
张志林
有一种低声道别的夕阳，往往是短促的黄昏，替星星铺路。它们均匀地踱过草原和海的边缘，睡眠是安稳的。
卡尔·桑德堡
世界上的你是独一无二的。
曾仕强
但支撑我的却并非这些学识，恰恰相反，是我内心的进步，是对梦境、思考和预感的强烈信任。对内在力量的不断认知令我欣慰。
赫尔曼·黑塞
我们公司的氛围比较随和，我认为这有助于员工对我说“不”。不仅是对我说“不”，同样重要的是，他们还可以向他们的主管、副董事长等公司高管说出内心的想法。我认为，随和的氛围会带来巨大的益处。
杰夫·贝索斯
The minute you start compromising for the sake of mass appeal is the minute you're dead.
当你开始为了大众吸引力而妥协的那一刻，就是你完蛋的那一刻。
西蒙·考威尔
创新是唯一的出路，淘汰自己，否则竞争将淘汰我们。
马化腾
如果你向神求助，说明你相信神的能力；如果神没有帮助你，说明神相信你的能力。
巴菲特
想法产生感觉，感觉产生行动，行动产生结果。
哈维·艾克
桥是跨越障碍的通道，也是人类智慧的结晶。
茅以升