The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
意内称长短，终身荷圣情。
杜甫
黑板上的字会褪色，但眼里的光能照亮一生。
周益民
做正确的事和正确的做事。
马云
你不⼀定必须的是名⽕箭科学家。对于投资这样的游戏，智商为160的⼈未必就可以赢取智商为130的⼈。
巴菲特
我们也做长期的准备，主要是尽可能地保守，防范大灾难的冲击。我们为可能出现的最恶劣的环境做好准备。长期以来，我们的资产负债表始终非常保守。
查理·芒格
伴侣能一起玩乐就能更长久的在一起。
莎伦·布雷姆
对于投资人来说，看人就是在做最大的风控，这比财务上的风控更加重要，只要把人选对了，风险自然就小了。
张磊
我不怕输，我怕没有全力以赴。
I don’t fear losing. I fear not giving my best.
诺瓦克·德约科维奇
我们不能一直用老方法做事。世界已经改变，我们也必须改变。
We can’t just keep doing things the way we’ve always done them. The world has changed, and so must we.
艾伦·麦克阿瑟
只恨我当时年纪小，看不到她那小小花招背后的一片柔情。
安托万·德·圣-埃克苏佩里
天空是永远宁静的湖水，湖水是永难平静的天空。
冯骥才
把时间花费在阅读他人的著述吧。你可借他人辛苦的东西，轻易改善自己。
佚名
要为前进寻找条件，不为后退拼凑理由。
魏书生
我们受苦是因为我们是自由的。
让-保尔·萨特
法律服务的本质是帮助客户在复杂的商业环境中规避风险、创造价值。
彭雪峰
任何一件事，只要心甘情愿，总是能够变得简单。不会有任何复杂的借口和理由。
安妮宝贝
核心素养牵涉反省思考的高阶心智及复杂性行动学习的高阶复杂深度。
蔡清田
“相见亦无事，别后常忆君”，如果你到了我这个年纪，有两三个男人能让你无由想念，两三个月一定要坐下来分饮两三瓶好酒，福德甚多。
冯唐
对时间的慷慨，就等于慢性自杀。
奥斯特洛夫斯基