学习数学的唯一方法就是做数学。
The only way to learn mathematics is to do mathematics.
一种新的科学真理并不是通过说服其对手并让他们看到光明而取得胜利,而是因为其对手最终死去,一个熟悉它的新一代人成长起来。
逻辑学研究不仅仅是关于形式系统,更是关于理性思维和话语的规范。
"The future is not about technology for technology's sake; it's about technology for humanity's sake."