一个科学家的真正价值是由超越他的学生数量来衡量的。
世界需要务实的解决方案,而不仅仅是理想主义的愿景。
The art of programming is the art of organizing complexity.
It is not the strength of the body that counts, but the strength of the spirit.
成为人就是永远不完整,永远在寻找。
逻辑学研究不仅仅是关于规则,更是关于理解思维的结构。