λ演算本質(zhì)上是一個關(guān)于函數(shù)及其應(yīng)用的理論。
這個世界極其危險、不可信任、不可靠。
我認(rèn)為最重要的事情是對自己真實和誠實。
We must listen to the science—ignoring it will only lead to irreversible damage.
要發(fā)出緊急信號，使用“重要的事情說三遍”的“三”法則；三次呼喊、三聲喇叭或三聲哨聲。
歷史給我們的教訓(xùn)是，人們從來都不知道汲取歷史的教訓(xùn)。
The best stories are those that cannot be summarized.