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

• 作者: 张景中 李涛
• 来源期刊: 科技导报
• 学科: 数学
• 关键词: 连续归纳法 新证明 数学机械化
• 年，卷（期）: 2012,（17）
• 所属期刊栏目: 研究论文
• 页码范围: 54-55
• 分类号: O14
• 字数: 2281字
• 语种: 中文
• DOI: 10.3981/j.issn.1000-7857.2012.17.008

摘要

关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价.基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法；举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张景中	广州大学计算机教育软件研究所	50	455	11.0	20.0
2	李涛	广州大学数学与信息科学学院	12	7	1.0	2.0