类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。 - 每日文摘

谎言已走了半个世界，真话才在动身。

马克·吐温

理论是灰色的，而生活之树常青。

歌德

我不是那种会让对我尊重的爱减少的人。

I’m not a guy that’s going to let my love for my respect down.

勒布朗·詹姆斯

农民社会只能有皇帝，工业的社会才能有民主制度。

李银河

繁荣的森林是成功的最终衡量标准。

A thriving forest is the ultimate measure of success.

莎拉·格林

人们使用缩写和简称的原因是它们把复杂的语言结构转化成了简单易记的形式。人们使用简称的时候会故意将全称中复杂的词汇隐藏起来，这样在交流时就不会涉及全称里那些没必要接触的细节了，因此就能更专注于更高层、更宏观的交流目的。

道格拉斯·理查·郝夫斯台特

天人合一不仅是道家的理想，也是中国哲学对人与自然关系的深刻洞察。

杨国荣

我想卖出一百万张唱片，我卖出了一百万张。我想获得白金唱片；我获得了白金唱片。我从15岁开始就一直在不停地工作。我甚至不知道如何放松。

I wanted to sell a million records, and I sold a million records. I wanted to go platinum; I went platinum. I've been working nonstop since I was 15. I don't even know how to chill out.

碧昂丝

不自见，故明;不自是，故彰;不自伐，故有功;不自矜，故长。

老子

宇宙不仅比我们想象的更奇怪，它比我们能够想象的还要奇怪。

The universe is not only stranger than we imagine, it is stranger than we can imagine.

尤金·梅勒

如果我是艺术家并且我在工作室里，那么我在工作室里做的任何事情都必须是艺术。

If I was an artist and I was in the studio, then whatever I was doing in the studio must be art.

布鲁斯·瑙曼

东风洒雨露，会入天地春。

李白

忍所不能忍，容所不能容，惟识量过人者能之。

薛瑄

治国经邦，人才为急。

孙中山

有钱就是男子汉，无钱就是汉子难。

佚名

在非暴力沟通中，我们要注意区分感受和想法。你们说“我觉得”我们常常并不是在表达感受，而是在表达想法。

马歇尔·卢森堡

年轻时发生在我们身上使我们一夜之间突然长大的那些事情，不管愿不愿意，在发生的那一刻即已成为我们自己的一部分。日后在我们以为早已摆脱或相忘的时候，它就在我们最漫不经心的一瞥中突然涌现，竟然已经成为我们看出去的眼瞳。

龙应台

The study of L-functions is a reflection of the unity of mathematical knowledge.

L-函数的研究是数学知识统一性的反映。

罗伯特·朗兰兹

创造力关乎自由，而非限制。

Creativity is about freedom, not limitations.

宇多田光

—— 请按键盘 空白键 开始游戏 ——

—— 请按键盘空白键开始游戏 ——