The only thing that's really important is whether the work moves you or not.
你知道的越少,你相信的就越多。
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
"Die Wahrheit beginnt zu zweit."
I'm not a smart man, but I know what love is.