The pursuit of mathematical knowledge is a never-ending adventure, filled with challenges, surprises, and the satisfaction of solving the unsolvable.
逻辑学研究不仅仅是关于推理规则,更是关于思想结构本身。
永远不要低估“无用”的基础研究的重要性。
成为一家受人尊敬的互联网公司,而不仅仅是一家大公司。
Productive thinking is characterized by the sudden appearance of the solution as an insight.