如果你知道自己想要什么,世界就是一个可塑的地方。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
译文:水源都搞脏了还想水流清澈,木头都弄弯了还想要影子笔直——做梦!
我坚信爱的力量。我相信爱可以治愈,爱可以激励,爱可以让人们团结在一起。
The only limit to our realization of tomorrow will be our doubts of today.