The study of logical systems in AI is not just about formalization, but about understanding the essence of reasoning.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
Music is more than a beautiful melody. It is the deepest expression of the human soul.
The essence of science is not in the knowing but in the seeking.
I wanted to make art that was not just beautiful but had a message.
Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.
成功是一段旅程,而不是终点。
The best time to plant a tree was 20 years ago. The second-best time is now.
Our heroes are human heroes. That's a very new situation. Most other societies have had, right at their center, the worship of something transcendent: a god, a spirit, a natural force, the universe, whatever it is -- something else that is being worshiped. We've slightly lost the habit of doing that, which is, I think, why we're particularly drawn to nature.
"La literatura no es más que un sueño dirigido."
Happiness in this world, when it comes, comes incidentally. Make it the objet of pursuit, and it leads us a wild-goose chase, and is never attained. Follow some other object, and very possibly we may find that we have cought happiness without dreaming of it.
I'm not a master, I'm a slave.