人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。

促使人们倾向于和平的激情是对死亡的恐惧，对舒适生活必需品的渴望，以及通过自己的努力获得这些的希望。

Every loaf tells a story—of the baker's skill, the flour's origin, and the care taken at every step.

我不是青少年，我是女王。

任正非内部讲话稿

追求数学真理就是追求美、优雅和简洁。