21世纪的领导力需要远见和适应性；蓬勃发展的公司将是那些预见变化而不是抵制变化的公司。
Leadership in the 21st century requires both vision and adaptability; the companies that thrive will be those that anticipate change rather than resist it.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
保持简单，简单的事情重复做。
The only way to have a good day is to start it with a positive attitude.
我不觉得我需要取悦任何人。我感到自由，觉得自己是个成年人，可以自己做决定。
The chess-board is the world; the pieces are the phenomena of the universe; the rules of the game are what we call the laws of Nature.
It is in the thirties that we want friends. In the forties we know they won't save us any more than love did.
成功不是关于金钱或名誉，而是做你热爱的事情并感到快乐。