写作是与遗忘的战争。
"To write is to wage war against forgetting."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
I am not interested in what is called success. I am interested in the process of achieving it.
解释：向外物游览就要要求外物的完备，向自己内心求取，则能充实完善自身。