The artist is a receptacle for emotions that come from all over the place: from the sky, from the earth, from a scrap of paper, from a passing shape, from a spider's web.

The greatest experiments start with a simple question.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

The future belongs to those who believe in the beauty of their dreams.

世间的事情虽然纷繁复杂，但推究其根本，往往失败于容易而成功于艰难。