The concept of infinity is not just a mathematical abstraction, but a physical reality.
勤奋战胜贫穷,谨慎避免祸患,小心防止侵害,警惕免遭灾难。点评:《易经》曾言「君子终日乾乾,夕惕若。厉,无咎。」君子不仅整日自强不息、勤奋谨慎,而且到了晚上也心存警惕。如此这般,才能免除灾祸,事业得以顺利发展。
The future of computing lies in the development of systems that can verify their own correctness.
梦想会成真;如果没有这种可能性,大自然就不会激励我们去拥有它们。
Sometimes it’s the journey that teaches you a lot about your destination.