艺术的真正用途是让不可见的东西变得可见。
The true use of art is to make the invisible visible.
There are no facts， only interpretations.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
We are going to die, and that makes us the lucky ones. Most people are never going to die because they are never going to be born.
我们必须专注于长期价值创造，而不是短期收益。
You have to understand the local context to operate successfully in global markets.