The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
Program testing can be used to show the presence of bugs, but never to show their absence!
程序测试可以用来显示错误的存在，但永远不能显示它们的缺失！
奥利-约翰·达尔
但是这句话反过来理解会更加重要和有意义：当我们说推翻了一个现有的理论时，其实并不是说现有理论错了，而只是将现有理论的适用范围框定在了某个精度之下。
瑞·达利欧
求爱期间的爱需要婚后转化为共同生活的过程。
维吉尼亚·萨提亚
光与影的对话创造了建筑。
The dialogue between light and shadow creates architecture.
安藤忠雄
我从来不让上学耽误我的学习。
马克吐温
皮肉粗糙，骨格坚强。
吴承恩
草树知春不久归，百般红紫斗芳菲。
韩愈
孤独不是惩罚，而是自我审视的契机，唯有在孤独中，我们才能听清内心的声音。
米兰·昆德拉
产品设计时的所有功能都是⼀个整体，不应该有任何理由去砍功能，破坏整体性。
史蒂夫·乔布斯
没有学习过冲突解决，于是减损沟通之品质，有碍资源之分配，阻挡关系之维持，乃至影响了自己心态的舒顺、平和——说到底，人际沟通失败的原因，是自己并不会，学校也不教。
熊浩
如果你过分珍爱自己的羽毛，不使它受一点损伤，那么你将失去两只翅膀，永远不再能够凌空飞翔。
雪莱
逻辑学不仅是关于推理的学问，更是关于思维自由的学问。
鞠实儿
我要建一座希腊小庙，里面供奉的是人性。
沈从文
生意模式刚刚的！哈，以前好多次有人跟我说树不会长到天上去，我一直没搞懂他们到底想说什么。
段永平
他一个人站在黑暗中看到别人笑、乐，他好像自己活在另一个世界里一样。
巴金
我们不需要完美的知识来采取明智的行动。
We don't need perfect knowledge to take sensible actions.
克劳斯·哈塞尔曼
人情漫长得转瞬即逝，有人见尘埃，有人见星辰。
毛姆
至如母以子貴，子以母貴，及人臣無將，將則必誅。
吕本中
人生许多不必要的痛苦，起因都是因为夹硬穿上细了一个码的衣服。
林振强