科学发现的逻辑验证

作者：李未^*

来源：计算机教育, 2009, (01): 10-12+15.

• 狭义相对论
• 发散型思维
• 发现过程
• 一阶语言
• 公理系统
• 伽利略变换
• 原子语句
• 相对性原理
• 洛伦茨变换
• 形式理论

<正>何谓创新型思维?大家以为没有任何框框,随意地随想,发散型思维。实际上创新型思维也可以像其他自然科学一样,认真加以研究,而且有规律可循,甚至变成演算。爱因斯坦狭义相对论发现过程和达尔文的进