形式化方法不是銀彈，但它們是追求可靠系統(tǒng)的重要工具。
譯文：貪圖小利終究會吃大虧，仗著自己聰明終究不會有大的成功。賞析：見小利則大事不成，機(jī)關(guān)算盡太聰明，反誤了卿卿性命。虛名小利只會影響我們前行的視野，認(rèn)為自己最聰明，就會忘乎所以，事情就難以成功。
The mind is a constantly evolving process.
The very definition of the real becomes: that of which it is possible to give an equivalent reproduction... The real is not only what can be reproduced, but that which is always already reproduced. That is the hyperreal.