The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.
λ演算的基本概念是函数，被视为一种对应规则。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The only way to get through life is to laugh your way through it. You either have to laugh or cry. I prefer to laugh. Crying gives me a headache.
度过生活的唯一方法就是笑着度过。你要么笑，要么哭。我更喜欢笑。哭会让我头疼。
基兰·德赛
不管我们做什么，乃至人生的重要决定，我们都必须在冒险与谨慎之间作出选择。而有些时候，靠冒险获胜的机会要比谨慎大得多。
约翰·洛克菲勒
乍富不知新受用，乍贫难改旧家风。
谚语
A mathematician is a device for turning coffee into theorems.
数学家是将咖啡转化为定理的装置。
西蒙·唐纳森
我被人类崇高的思想所感动－在人类的本能之中，他们对知识的受远超过了无意义的玩乐。
蒙台梭利
命运不在人身上，而在人周围。
加缪
梧桐更兼细雨，到黄昏，点点滴滴。
李清照
煽情是需要的，但你全靠煽情的话，我觉得挺傻叉的。
金星
一个有成就的艺术家，虽是得天独厚，但也是自己苦修苦练，研究出来的。
傅雷
重要的不是成功，而是做为一个普通人，你不能丧失尊严。
陈可辛
站在舞台上就是我们的幸福。
Being on stage is our happiness.
东方神起
你是个傻瓜，我来告诉你什么是生活。
高行健
Collaboration across industries is key to solving the complex challenges of marine conservation.
跨行业合作是解决海洋保护复杂挑战的关键。
约翰·萨顿
真相会让你自由，但首先它会让你愤怒。
"The truth will set you free, but first it will piss you off."
迈克尔·托马斯
只是一颗孤星罢了！在无边的黑暗里已写尽了宇宙的寂寞。
冰心
只要有足够的内幕消息，再加上一百万美元，你可能只要一年就能破产。
巴菲特
The study of history is not just about the past, but also about understanding the present and foreseeing the future.
历史研究不仅关乎过去，也关乎理解现在和预见未来。
黄朴民
I never give up. I keep fighting until the end.
我从不放弃。我会一直战斗到最后。
拉斐尔·纳达尔
自古以来，优秀教师都表现出对所教学科和内容的热爱，并在唤起学生对学科的热爱中获得满足。
余文森