"The only real equality is in the cemetery."
数学教会我们逻辑思考并系统地处理问题。
这个世界惟有两样东西让我们的心灵感到深深的震撼,一是我们头顶上灿烂的星空,一是我们内心崇高的道德法则。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
远远去了的夏之音乐,翱翔于秋间,寻求它的旧垒。