| 连续归纳法的新证明及其应用举例 |
| |
| 引用本文： | 李涛,张景中.连续归纳法的新证明及其应用举例[J].科技导报(北京),2012,30(17):54-55. |
| |
| 作者姓名： | 李涛 张景中 |
| |
| 作者单位： | 1. 广州大学数学与信息科学学院,广州 510006;2. 广州大学计算机教育软件研究所,广州 510006 |
| |
| 摘 要： | 关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法；举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。
|
| 关 键 词： | 连续归纳法 新证明 数学机械化 |
| 收稿时间： | 2012-04-28 |
New Proof for Continual Induction and Its Application |
| |
| LI Tao,ZHANG Jingzhong.New Proof for Continual Induction and Its Application[J].Science & Technology Review,2012,30(17):54-55. |
| |
| Authors: | LI Tao ZHANG Jingzhong |
| |
| Institution: | 1. College of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China;2. Institute of Educational Software, Guangzhou University, Guangzhou 510006, China |
| |
| Abstract: | 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. |
| |
| Keywords: | continual induction new proof mathematical mechanization |
|
| 点击此处可从《科技导报(北京)》浏览原始摘要信息 |
| 点击此处可从《科技导报(北京)》下载免费的PDF全文 |
|
