原文(English) 原博客链接

提前思考

比失明更糟糕的是,能看见却没有远见。 — 海伦·凯勒

人们很容易陷入某项工作的细节中,而忘记自己实际在做的事情的目的;因此,时不时停下来回想一下追求某个特定目标的原因是很有好处的。

例如,如果你出于某种原因试图证明一个引理,花点时间问自己一些问题,比如:

  • 如果引理被证明了,它将如何被使用?
  • 引理的哪些特征对你来说最重要?
  • 一个较弱的引理是否足够?
  • 是否有更简单的引理表述方式?
  • 如果某个假设在实践中似乎难以获得,是否值得尝试省略该引理的假设?

通常,在真正证明引理之前,其确切表述尚不明确,但即使细节尚未完成,你也应该能够从了解引理的形式中获得这些问题的一些部分答案。

这些问题可以帮助你在投入过多时间尝试证明之前,将引理重新表述为最优形式,从而使你能够更有效地利用研究时间。

同样的原则也适用于比引理更小的规模(例如,当试图证明一个小论断或执行冗长的计算时)和比引理更大的规模(例如,当试图证明一个定理、解决一个研究问题或追求一个研究目标时)。

另请参阅"问自己愚蠢的问题"。