构造性证明与存在性证明小议
上传者:石小林|上传时间:2015-04-24|密次下载
构造性证明与存在性证明小议
1
构造性证明与存在性证明小议
幸 克 坚
(遵义师范学院 贵州 遵义 563002)
摘 要:构造性证明与存在性证明是数学证明中常见两种证明方法。本文对它们的概念、来历及证明思路
和作用与意义,乃至相互之间的关系,作了概略的议论。并主张将它们作为一对哲学范畴,贯穿在数学教
学和数学研究之中。
关键词: 构造性 存在性 证明
中图分类号:O171 文献标识码:E 文章编号:1009-3583(2004)04-00
一、 构造性证明与存在性证明:
在数学中对命题:“存在x ,使得命题 ) ( x F 成立”的证明,有两种办法:构造性证明与存在性证
明。构造性证明就是通过有限步的推导或计算,具体地找(构造)出这样的x ;存在性证明则是从逻辑
上证明所述对象x 确实存在,但x 具体是多少?在哪里?并不一定知道。因此,构造性证明不仅要证明
所述对象的存在,而且要具体地求出对象的位置或多少(大小),而存在性证明则只需要证明该对象的存
在即可。简言之,构造性证明相信“眼见为实”,而存在性证明只是证明了“没有被看到的”的存在,是
一种理性的承认。
二、 构造性证明的来历及思路分析
从历史的渊源上看,构造性证明的基本思路可以说源于我国古代数学。我国古代数学有两大特点:
其一是典型的算法体系,一切结论只是通过计算结果来说明,以汉代的《九章算术》为典型代表,将九
类问题总结出九类算法,算法比较机械,有相对固定的步骤(既我们今天常说的程序),每前进一步后,
都有有限多个确定的可供选择的下一步,这样沿着一条有规律的刻板的道路一直往前走就可以得出结果;
另一个特点是宋元时期,把许多几何问题转化为代数方程与方程组的求解问题,创造了相当于现代多项
式的概念,建立了“天元法、四元法”等代数工具,进一步丰富了算法的内容。这都体现了显著的“构
造性”或称作“可操作性”特色。
现代意义上的构造性证明则来源与一种被称为“构造性数学”的数学哲学观点(流派),它的根本特
征就是对可构造性的强调。所谓可构造性是指能具体地给出某一对象或者能给出某一对象的计算方法。
即当我们把能证实“存在一个x 满足性质A”的证明称为构造性的
,是指能从这个证明中具体地给出满
足性质A的一个x ;或者能从此证明中得到一个机械的方法,使其经有限步骤后即能确定满足性质A的
这个x 来。如果进一步追溯下去,构造性数学最早起源于一种构造性哲学思想,这种思想可以追溯到康
德那里。康德认为,数学的最终真理性在于数学概念可以通过人的智慧构造出来。他说:“数学必须根
基金项目:遵义师范学院科研基金项目(200418)
收稿日期:2004-12-16
作者简介:幸克坚(1954--),贵州遵义人,遵义师范学院数学系副教授,从事数学哲学和数学史研究
下载文档
热门试卷
- 2016年四川省内江市中考化学试卷
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
- 山东省滨州市三校2017届第一学期阶段测试初三英语试题
- 四川省成都七中2017届高三一诊模拟考试文科综合试卷
- 2017届普通高等学校招生全国统一考试模拟试题(附答案)
- 重庆市永川中学高2017级上期12月月考语文试题
- 江西宜春三中2017届高三第一学期第二次月考文科综合试题
- 内蒙古赤峰二中2017届高三上学期第三次月考英语试题
- 2017年六年级(上)数学期末考试卷
- 2017人教版小学英语三年级上期末笔试题
- 江苏省常州西藏民族中学2016-2017学年九年级思想品德第一学期第二次阶段测试试卷
- 重庆市九龙坡区七校2016-2017学年上期八年级素质测查(二)语文学科试题卷
- 江苏省无锡市钱桥中学2016年12月八年级语文阶段性测试卷
- 江苏省无锡市钱桥中学2016-2017学年七年级英语12月阶段检测试卷
- 山东省邹城市第八中学2016-2017学年八年级12月物理第4章试题(无答案)
- 【人教版】河北省2015-2016学年度九年级上期末语文试题卷(附答案)
- 四川省简阳市阳安中学2016年12月高二月考英语试卷
- 四川省成都龙泉中学高三上学期2016年12月月考试题文科综合能力测试
- 安徽省滁州中学2016—2017学年度第一学期12月月考高三英语试卷
- 山东省武城县第二中学2016.12高一年级上学期第二次月考历史试题(必修一第四、五单元)
- 福建省四地六校联考2016-2017学年上学期第三次月考高三化学试卷
- 甘肃省武威第二十三中学2016—2017学年度八年级第一学期12月月考生物试卷
网友关注
- 2018山东公务员面试备考注意事项
- 山东公务员面试热点模拟题:提升国家文化软实力
- 2018山东公务员考试申论(A类)真题解读:文明让共享经济更优雅
- 2018年421省考申论亮点:农村电商繁荣背后有隐忧
- 山东公务员面试热点模拟题:81岁“学霸奶奶”从天津大学毕业
- 山东公务员考试行测题库:行测言语理解模拟题04
- 山东公务员面试热点模拟题:农民工主动让座换来的却是嫌弃
- 山东公务员面试热点模拟题:年轻人为何排斥“七大姑八大姨”
- 2018山东公务员考试申论真题(C类)答案要点
- 山东公务员面试热点模拟题:经典名曲被恶搞暴露对历史的淡忘
- 山东公务员面试热点模拟题:农村成为高价彩礼“重灾区”
- 山东公务员面试热点模拟题:小学生超过十点不做作业
- 2018年421省考行测亮点:题目有“陷阱”
- 2018山东公务员考试申论真题(C类)
- 2018年421省考申论:“十年磨一剑”依岗设题 科学分类紧跟政策
- 2018年421省考申论亮点:材料选取围绕“互联网+”时效性强
- 山东公务员面试热点模拟题:“星巴克致癌” 食品安警钟长鸣
- 2018年省考申论亮点:让文物走出高墙深闺,飞入寻常百姓家
- 历年山东公务员面试考情分析
- 2018山东公务员考试申论真题(B类)
- 2018年421省考申论亮点:“富口袋”更要“富脑袋”
- 联考10年申论考情大观:看得见的改变,看不见的初心
- 2018山东公务员考试申论真题(B类)答案要点
- 山东公务员面试热点模拟题:延期毕业
- 2018年421省考申论亮点:紧跟国家政策 聚焦抢人大战
- 山东公务员面试热点模拟题:奢侈品店霓虹灯影响居民休息
- 2018年421省考行测亮点:资料数量不分家
- 2018年421省考申论亮点:唱响“产业兴旺歌”助推乡村振兴
- 2018山东公务员考试申论亮点:企业走出去 直挂云帆济沧海
- 山东公务员面试模拟题:低调做人,高调做事
网友关注视频
- 北师大版数学 四年级下册 第三单元 第二节 小数点搬家
- 北师大版数学四年级下册3.4包装
- 冀教版小学数学二年级下册第二周第2课时《我们的测量》宝丰街小学庞志荣
- 精品·同步课程 历史 八年级 上册 第15集 近代科学技术与思想文化
- 沪教版八年级下册数学练习册21.3(2)分式方程P15
- 二年级下册数学第一课
- 北师大版八年级物理下册 第六章 常见的光学仪器(二)探究凸透镜成像的规律
- 【部编】人教版语文七年级下册《老山界》优质课教学视频+PPT课件+教案,安徽省
- 第4章 幂函数、指数函数和对数函数(下)_六 指数方程和对数方程_4.7 简单的指数方程_第一课时(沪教版高一下册)_T1566237
- 小学英语单词
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,湖北省
- 《小学数学二年级下册》第二单元测试题讲解
- 冀教版小学数学二年级下册1
- 苏科版数学八年级下册9.2《中心对称和中心对称图形》
- 北师大版小学数学四年级下册第15课小数乘小数一
- 冀教版小学数学二年级下册第二单元《余数和除数的关系》
- 30.3 由不共线三点的坐标确定二次函数_第一课时(市一等奖)(冀教版九年级下册)_T144342
- 二年级下册数学第二课
- 8.练习八_第一课时(特等奖)(苏教版三年级上册)_T142692
- 外研版英语三起5年级下册(14版)Module3 Unit2
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 8
- 苏科版八年级数学下册7.2《统计图的选用》
- 三年级英语单词记忆下册(沪教版)第一二单元复习
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 3
- 每天日常投篮练习第一天森哥打卡上脚 Nike PG 2 如何调整运球跳投手感?
- 苏科版数学 八年级下册 第八章第二节 可能性的大小
- 人教版二年级下册数学
- 沪教版牛津小学英语(深圳用)五年级下册 Unit 1
- 北师大版数学四年级下册第三单元第四节街心广场
- 冀教版小学英语四年级下册Lesson2授课视频
精品推荐
- 2016-2017学年高一语文人教版必修一+模块学业水平检测试题(含答案)
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
分类导航
- 互联网
- 电脑基础知识
- 计算机软件及应用
- 计算机硬件及网络
- 计算机应用/办公自动化
- .NET
- 数据结构与算法
- Java
- SEO
- C/C++资料
- linux/Unix相关
- 手机开发
- UML理论/建模
- 并行计算/云计算
- 嵌入式开发
- windows相关
- 软件工程
- 管理信息系统
- 开发文档
- 图形图像
- 网络与通信
- 网络信息安全
- 电子支付
- Labview
- matlab
- 网络资源
- Python
- Delphi/Perl
- 评测
- Flash/Flex
- CSS/Script
- 计算机原理
- PHP资料
- 数据挖掘与模式识别
- Web服务
- 数据库
- Visual Basic
- 电子商务
- 服务器
- 搜索引擎优化
- 存储
- 架构
- 行业软件
- 人工智能
- 计算机辅助设计
- 多媒体
- 软件测试
- 计算机硬件与维护
- 网站策划/UE
- 网页设计/UI
- 网吧管理