连续归纳法的新证明及其应用举例  

New Proof for Continual Induction and Its Application

作　　者：李涛[1] 张景中[2] 

机构地区：[1]广州大学数学与信息科学学院,广州510006 [2]广州大学计算机教育软件研究所,广州510006

出　　处：《科技导报》2012年第17期54-55,共2页Science & Technology Review

摘　　要：关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法;举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。The continual induction for the real number is very similar to the mathematical induction for the natural number, the induction is equivalent to the Dedekind axiom, and could be widely used in the calculus research. Firstly, a novel proof for the continual induction is presented; the proof is more acceptable than the former. And then, some discussions on its applications are made, it gives some meaningful advices to the higher mathematics teaching. The continual induction could also be used in the mechanization research on analytical reasoning.

关 键 词：连续归纳法 新证明 数学机械化 

分 类 号：O172-4[理学—数学]