科学方法科学方法是构建可靠知识的系统过程：观察、形成假设、用旨在证伪的实验检验、分析结果、并据此修正信念。由弗朗西斯·培根首先形式化，后经卡尔·波普尔的可证伪性概念发展，它仍然是人类开发的将真正知识与直觉、偏见和一厢情愿区分开来的最可靠过程。
约束放松约束放松是一种问题解决技术，识别隐含或显式限制解决方案空间的假设和限制，然后系统性地问"如果我们移除这个约束会怎样？"以打开以前不可见的选项。许多看似固定的约束实际上是被假设固定的——放松它们揭示了从未在原始受限空间中浮现的解决方案方法。