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

类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理名人名言哲理格言警句语录 邹崇理
我不仅要爱的肉眼认识我的肉身，我要你的灵眼认识我的灵魂。
徐志摩名人名言哲理格言警句语录 徐志摩
如果事情越说越不通的话，证明从一开始我们就想错了。
藤萍名人名言哲理格言警句语录 藤萍
梦想要远大，如果你的梦想没有吓到你，说明你做得不对。
埃隆·马斯克名人名言哲理格言警句语录 埃隆·马斯克
寻找互反律是数学史上的一个基本主题。
The search for reciprocity laws is a fundamental theme in the history of mathematics.
罗伯特·朗兰兹名人名言哲理格言警句语录 罗伯特·朗兰兹
人在有闲的时候，才最像是一个人。手脚相当闲，头脑才能相当地忙起来。
梁实秋名人名言哲理格言警句语录 梁实秋
I started a revolution from my bed
我在床上开始了一场革命
绿日乐队名人名言哲理格言警句语录 绿日乐队
回忆会从内侧温暖你的身体，同时又从内侧剧烈切割你的身体。
村上春树名人名言哲理格言警句语录 村上春树
The only way to stay ahead is to continuously innovate and adapt.
保持领先的唯一方法是不断创新和适应。
拉克希米·米塔尔名人名言哲理格言警句语录 拉克希米·米塔尔
如果不能通过读书积累知识，是没有办法拥有自己的观点的。
藤原和博名人名言哲理格言警句语录 藤原和博
中国产业结构的调整会更依赖硬核技术的创新。当很多人发现过去赚快钱很可能来自时代运气，就会更愿意俯身去做真正的创新。
梁文锋名人名言哲理格言警句语录 梁文锋
机会是自己创造的，而不能一味的等待别人的赐予。
佚名名人名言哲理格言警句语录 佚名
初期运气占得比较重，至少70%。但是01年之后主要还是靠自己。我也没有什么特别幸运的事，不幸的东西也挺多的，就是自己要去扛、自己想办法，后期要靠自己。
马化腾名人名言哲理格言警句语录 马化腾
微笑着弹奏从容的弦乐，去面对挫折，去接受幸福，去品味孤独，去战胜忧伤。
史铁生名人名言哲理格言警句语录 史铁生
对事物感到困惑的能力是所有创造的前提，无论是在艺术还是在科学领域。
The capacity to be puzzled is the premise of all creation, be it in art or in science.
埃里克·霍弗名人名言哲理格言警句语录 埃里克·霍弗
把快乐寄托在向外求上，就像喝盐水解渴一样，得到的越多越不满足。
希阿荣博堪布名人名言哲理格言警句语录 希阿荣博堪布
未来是一个概念——它只存在于我们的脑海中。
"The future is a concept—it exists only in our minds."
玛格丽特·德拉布尔名人名言哲理格言警句语录 玛格丽特·德拉布尔
我们想要快乐，第一步就是要和我们的生活和睦相处，不去抗拒它。生活就像大海，而生活情境就像大海的波浪，也许我们不喜欢太大的浪花，但大海始终都在那里，一直都是宁静的。
张德芬名人名言哲理格言警句语录 张德芬
Every saint has a past, and every sinner has a future.
每个圣人都有过去，每个罪人都有未来。
安德鲁·米勒名人名言哲理格言警句语录 安德鲁·米勒
人的事业是个马拉松，在每一个弯道处，前后的次序都会有所变化，但最终跑到底的是最有毅力的人，而不是某一段跑得最快的人，最后的胜利正是跑得最有毅力而又不跑错方向的人。
冯仑名人名言哲理格言警句语录 冯仑