一个科研的道路

来自陶哲轩的博客，应该说是我们尝试做一点科研工作的过程，红字是我写的例子。17步之前，我还能稍微在科研中找到对应的东西，第17步之后完全是我不能想象的过程。

• 1 从主要问题X中分离出一个简单特例x。（类似于想象问题出现的某一种情况，就是标准解决方法理论之外的情况，用标准理论可能解决的不好，因为标准理论可能有众多假设）
• 2 用方法A解决特例x。（然后找到方法A解决这个特例。）
• 3 试图用方法A解决主要问题X。
• 4 失败，但是我们发现了方法A还能解决X的更多特例x', x''。（因为你想的某种问题情况可能不符合标准理论，所以效果、性能上比不过经典方法失败正常，然后你发现A还能解决更多的特例）
• 5 我们最终发现，方法A可行的核心前提是性质P, x, x', x''都具有性质P， 这解释了我们目前的进展。（解决众多特例的方法A必须在某种情况下性质P，才能解决）
• 6 我们猜想，X的所有个例都具有性质P（很多时候问题的形式中是有性质P的。）
• 7 我们发现了这个猜想的一系列反例y, y', y''…所以我们要么需要改进A使得它不依赖于性质P, 要么我们需要一些另外的方法。（让方法A能不依赖特例情况，是一个能够超越经典方法的方法，那它必须能够解决那些非特例。）
• 8 考虑这些反例中最简单的一个y. 试图对y证明X. 同时试图研究A能不能脱离P成立。（试图对y证明X？啥意思，）
• 9 发现若干A行不通的例子，每个例子都可以回溯到因为是不具有性质P. 放弃改进A.（就是A比不过经典方法的情况，因为问题没发生这种情况性质P。这涉及一个比例问题，问题大部分是什么情况，什么模型能最好描述它？）
• 10 意识到特例y与另外某个数学领域内的问题z相关或类似。去阅读关于z的文献，或是问该领域内的专家关于问题z的最新进展。（就是A解决不了的反例，发现问题X中的反例和z相关，看看别人怎么解决。）
• 11 我们知道了人们用某种方法B成功的解决了z, 于是我们试图调整B来解决y.
• 12 付出了很多努力之后，改进版B'成功地解决了y.（也可以结合A和B，A用来解决特例，B‘’用来解决特例的反例）
• 13 重复以上步骤1-12，其中A替换为B'（当然，具体情况可能会有所不同）。继续做同样的事情若干年，直到所有典型特例都可以被某种方法解决。
• 14 最终，我们有了一系列方法可以给出X的部分结论，每种方法都有各自的强项和弱点。我们积累了足够多的直观印象，所以能够很快判断在某种情况下某种方法是否有效。
• 15 开始整合并简化这些方法，寻找新的典型特例，并且/或者寻找一个统一且清晰的大框架，使得之前的方法观点结论等都来着这个框架的某个角度。（寻找一个更基础，或者更一般的理论来统一经典方法）
• 16 最终我们发现有一系列方法A^*（其中A是我们发现的第一个方法），简略地说，它们能够解决所有具有性质P^*的情况（P^*是近代对P的推广）。还有另外一组方法B^*能够解决具有性质Q^*的情况。（所有的方法的调研，解决问题的各种情况。）
• 17 根据之前的所有工作，所有已知的典型特例都具有P^*或Q^*. 提出猜想C：所有X的情况都具有P^*或Q^*.
• 18 验证问题X确实是猜想C的推论。我们极大地简化了问题X！
• 19 重复步骤1-18，问题X被猜想C所取代。（同样的，发生的事情会有所不同。）整个步骤可能会重复若干遍。
• 20 最终，我们将问题化简到了最本质的形式：有一个关键猜想K，（至少人们相信）K决定了方法A^*, B^*等等是可用的。K成立则C成立则X成立。
• 21 一个突破：人们发现了一个新方法Z来解决K的一个特例。
• 22 结局：人们利用之前的直觉、经验、结果去快速地推广方法Z，去证明K, C, 最终解决X.
• 23 我们解决X的过程中发展的技术被用在领域内的相关问题上。现在X有一个天然的后继问题X', 现有的技术无法解决…回到步骤1.