数学归纳法的拓广(完整版）.docVIP

数学归纳法的拓广

摘要：本文首先列出了正整数集上的数学归纳法的几中常见形式，写出了数学归纳法的逆否命题，接着将数学归纳法从正整数集逐步推广至复数集及其某些子集，然后指明数学归纳法的实质在于递推，在此基础上又将数学归纳法从等差数集推广至等比数集等良序集，最后又将数学归纳法从普通加法运算推广至一般抽象运算，这样便为数学命题的证明开辟了一条新的道路.另外，文章中还穿插举例说明了某些应用.

关键词：数学归纳法；拓广；递推；良序集；抽象运算

归纳问题也可以被表述为如何确立根据经验得出的全称陈述真理性的问题，经验科学的假说和理论系统就是这样的全称陈述.因为许多人相信这些全称陈述的真理性是“根据经验得知的”；但是观察或实验结果的经验的记述，首先只能是单称陈述，不能是全称陈述.因此人们说从经验得知一个全称陈述的真理性，意思常常是这样：我们能用某种方法把这个全称陈述的真理性还原为一些单称陈述的正确性，而这些单称陈述根据经验得知是真的；这就等于说：全称陈述是以归纳推理为基础的.因此问是否存在已知是真的自然定律不过是用另一种方法问归纳推理在逻辑上是否证明为正确.如果我们要设法证明归纳推理是正确的，我们就必须首先确立归纳原理.归纳原理是我们借以能把归纳推理纳入逻辑上可接受的形式中去的陈述.在归纳逻辑拥护者的眼里，归纳原理对科学方法来说是极重要的.Reichenbach说：“……这个原理决定科学理论的其理性