The concept of nondeterminism in computation is one of the most important ideas in computer science.

A proof is a way to convince yourself and others that something is true.

Freedom is the breath of life.

释义：听得多了，看得多了，才能够体察出事物中的精要，才能够选择事物好的一面进行学习，选择正确的道理进行遵从。

The mind is a dynamic interplay of processes.

我一直希望我的电脑能像我的电话一样易于使用；我的愿望实现了，因为我已经无法弄清楚如何使用我的电话了。

沉默可以是最有力的交流形式。

我不是政治家，我是艺术家。我只是试图说出真相。