首页 | 本学科首页   官方微博 | 高级检索  
     检索      

漫谈构造性方法与非构造性方法
作者单位:广州暨南大学华文学院
摘    要:1 方法概述在数学中,要证明某类对象的存在性一般有两种方法:一种是构造出这类对象的具体例子,这种方法叫做构造性方法;另一种是应用反证法,即假定这类对象不存在,然后通过推理得出矛盾,从而由排中律就可证明这类对象的存在性,这种方法叫做非构造性方法(或纯粹存在性证明方法).例如,古希腊毕达哥拉斯学派的成员发现了不可公度的量,证明了无理数的存在性;利用辗转相除法

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号