跳转到内容

理论研究的方法

理论工作的流程:形式化问题 → 猜测结论 → 找反例或证明 → 简化。本章讲如何从简单情形入手、如何用反例修正猜想、证明的常见结构,以及理论结果的”意义”如何评价(紧不紧、假设强不强)。

  • 先证明特例再推广
  • 反例是理论研究最有价值的工具
  • 结果的意义取决于假设的合理性