邏輯學研究不僅僅是關(guān)于推理規(guī)則，更是關(guān)于思想結(jié)構(gòu)本身。
對抗壓力最強大的武器是我們選擇一種思想而非另一種的能力。
思想沒有比關(guān)愛老百姓更高尚的，行為沒有比讓老百姓快樂更厚道的。
The ultimate goal of computer science is to create systems that are both powerful and reliable.
我認為，人生中最快樂的時刻是出發(fā)前往未知的土地。
寫作就是抵抗時間的侵蝕，與遺忘抗爭。