数学是理性的音乐。
The only thing that's really important is whether the work moves you or not.
你知道的越少,你相信的就越多。
真相总是一种侮辱或玩笑,谎言通常乏味。
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
I'm not a smart man, but I know what love is.