每日文摘
"
逻辑系统的构建应当兼顾表达力与可计算性，这是现代逻辑研究的一个关键问题。
邹崇理
🏷️ 标签：
逻辑
表达
问题
研究
关键
系统
💬 推荐名言
20句推荐
爱不占有也不被占有，爱在爱中满足。
纪伯伦
20世纪初黎巴嫩诗人、作家、画家
To find a truth that is true to me, to find an idea for which I am willing to live and die.
克尔凯郭尔
现代人本心理学的先驱
伟大的公司建立在优秀的人才之上。
加里·埃里克森
Clif Bar创始人，能量饮料创新者
你大概误会大学文凭是世界之匙，开启顺风顺水之门，这并不正确。读书目的是进修学问，拓阔胸襟，人生所有烦恼会不多不少永远追随，只不过学识涵养可以使一个人更加理智冷静地分析处理这些难题而已。
舒婷
朦胧诗派代表人物
每一颗播下的种子都是对未来的承诺。
田中正明
日本蔬菜种植自动化的先驱
The interplay between discrete mathematics and computer science has been a fertile ground for innovation and discovery.
苏布拉·苏雷什
计算复杂性理论突破者
The more we realize our minuteness and our impotence in the face of cosmic forces, the more astonishing becomes what human beings have achieved.
鲁道夫·欧肯
哲学家与文学家
Growth comes from challenging the status quo.
尼古拉斯·杜兰特
帝国品牌公司CEO，优化全球业务
我可以欺骗敌人，但决不欺骗自己。
约翰·洛克菲勒
被人称为“石油大王”
我们的第一个重大决策就是确定3D图形技术将成为第一个「杀手级」应用。
黄仁勋
AI领域的巨人
你总是时间还很多，你可以等我。
梁静茹
女歌手
创新不仅仅是创造新事物，而是让现有的事物变得更好。
吉姆·麦克弗森
华盛顿果树研究委员会主任，苹果种植专家
风会推着你向前，但方向由你自己选择。
E・B・怀特
美国当代散文家、评论家
正因为爱情常新，只要烛光燃起，你无法警告飞蛾，说危险说灼伤说前车之鉴，它是一定要扑上去的。
舒婷
朦胧诗派代表人物
"Cinema is a medium that can transcend language and culture."
阿彼察邦·韦拉斯哈古
泰国新浪潮的领军人物
The man who is fit to work at any particular trade is unable to understand the science of that trade without the help and guidance of those who are working with him or over him.
弗里德里克·温斯洛·泰勒
被后世称为“科学管理之父”
酒浇清苦月，诗慰寂寥花。
陈继儒
中国明代著名画家、书法家、文学家
相机是一个工具，但真正的魔力发生在导演、演员和摄影师之间的合作中。
罗素·卡彭特
精湛的视觉效果与色彩运用
老板做好人，干部做坏人，才是良好的配合。
曾仕强
中国式管理之父
人是自己行动的结果，此外什么都不是。
让-保尔·萨特
法国著名文学家、哲学家、社会活动者
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
