The study of logical systems in AI is not just about formalization, but about understanding the essence of reasoning.
人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。
历史上的每位暴君都相信自由——他自己的自由。
永远不要停止学习，因为土地和牲畜总会教会你新的东西。
The greatest threat to democracy is the erosion of trust in institutions.
I don't want to be a memory; I want to be a moment.
"The power of film is to illuminate the shadows of our existence."
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name, and now I am looking for a suitable language.
建筑不是关于形式，而是关于生活。
最大的风险就是不冒任何风险。在一个快速变化的世界里，唯一注定失败的策略就是不冒险。