如果人们不相信数学是简单的,那只是因为他们没有意识到生活有多么复杂。
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。
We should not only pursue technological leadership but also the practicality and popularity of technology.