最具創(chuàng)新性的解決方案往往來自于限制。
The most innovative solutions often come from constraints.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
欲望不是一件需要被理解的事情，它是一種需要被重視的力量。
你讀得越多，知道的事情就越多。你學(xué)得越多，去的地方就越多。
某個命題可以從某一組公理通過某一規(guī)則系統(tǒng)推導(dǎo)出來，這一事實本身并不使其為真。
"Silence is as important as the words we speak."
美人送我一把金錯刀，我拿什么來報答她呢？就用瓊英美玉報答吧。道路太遠我徘徊不安。為何不能斷絕思念呢，總是讓自己心意煩亂？