7413 条评论分享收藏感谢收起赞同 23158 条评论分享收藏感谢收起反证法的逻辑原理及应用--《考试周刊》2012年18期
反证法的逻辑原理及应用
【摘要】：数学的发展依赖于逻辑的应用,逻辑学为人类提供了可靠的证明方法。巧妙的证明让数学熠熠生辉。本文着重于反证法的介绍及其在中学阶段的应用。而关于逻辑的部分仍要从三段论讲起。
【作者单位】：
【分类号】：G633.6
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【相似文献】
中国期刊全文数据库
陈人明;[J];琼州大学学报;2004年02期
王仲勋;;[J];文理导航(中旬);2011年09期
张志刚;;[J];甘肃教育;2006年20期
达瓦;边巴扎西;;[J];中国电力教育;2007年S4期
缪秉成;;[J];物理教师;1982年01期
武尚魁;;[J];中学数学;1985年05期
陆志昌;;[J];中学数学;1986年07期
单建新;[J];数学通报;1984年09期
王天成;;[J];青海师专学报;2006年05期
丁琳;;[J];教学与管理(理论版);2006年12期
中国重要会议论文全文数据库
李妮;;[A];教育技术：信息化阶段新发展的研究[C];2007年
刘智杰;季建兵;赵亚军;;[A];抽水蓄能电站工程建设文集（2009）[C];2009年
贾洪锋;范文教;孙俊秀;陈云川;;[A];中国茶叶科技创新与产业发展学术研讨会论文集[C];2009年
李春英;;[A];第八届全国绿色环保肥料（农药）新技术、新产品交流会论文集[C];2009年
张青;凌沛学;;[A];2009年中国药学大会暨第九届中国药师周论文集[C];2009年
陈磊;凌沛学;;[A];2009年中国药学大会暨第九届中国药师周论文集[C];2009年
卢秉国;;[A];福建师大福清分校2003年会议论文汇编[C];2003年
王泽红;韩跃新;于福家;;[A];第九届全国粉体工程学术会暨相关设备、产品交流会论文专辑[C];2003年
王艳红;任茂明;孙津生;;[A];第二届全国传递过程学术研讨会论文集[C];2003年
王凤珍;;[A];中国造纸学会涂布加工纸专业委员会2005年涂布加工纸、特种纸技术交流会论文资料集[C];2005年
中国重要报纸全文数据库
本报记者 陈虎;[N];计算机世界;2002年
本报记者　周蓉蓉;[N];计算机世界;2002年
全程;[N];建筑报;2000年
江流;[N];中国计算机报;2001年
周;[N];中国计算机报;2002年
张艳蕊;[N];中国企业报;2002年
潘巳申;[N];人民法院报;2002年
吴纬;[N];通信产业报;2001年
王宏、郭莹;[N];中国计算机报;2002年
范国荣;[N];中国计算机报;2002年
中国博士学位论文全文数据库
张淑杰;[D];同济大学;2006年
赵慧;[D];武汉大学;2005年
聂锐利;[D];中国地质大学（北京）;2006年
马立平;[D];首都经济贸易大学;2006年
梁丽;[D];华中科技大学;2006年
张曾莲;[D];厦门大学;2009年
何永华;[D];复旦大学;2005年
何越磊;[D];西南交通大学;2005年
高英力;[D];中南大学;2005年
张瑾;[D];厦门大学;2007年
中国硕士学位论文全文数据库
李奇志;[D];郑州大学;2005年
孙志宏;[D];南京师范大学;2005年
翁剑平;[D];福建师范大学;2006年
陈宏霞;[D];四川师范大学;2007年
温润;[D];苏州大学;2007年
苏珊;[D];重庆工学院;2008年
黄鹤雅;[D];福建师范大学;2008年
刘彬;[D];吉林大学;2005年
董焕青;[D];山东师范大学;2006年
李端蓉;[D];福建师范大学;2006年
&快捷付款方式
&订购知网充值卡
400-819-9993中学数学证明方法
由""直接销售和发货 并提供售后服务
查看是否享有优惠（30天免息、任性分期）
使用享优惠（30天免息、任性分期），立即
请选择您需要的分期方式
商家满意度
与同行业相比
商品评分：分
服务态度：分
物流速度：分
1分钱畅读全场，海量书籍不限量任你看
出版社：哈尔滨工业大学出版社
出版时间： 00:00:00
印刷时间：
字数：333000
开本：16开
装帧：平装
本商家商品保证正品行货，严格按照国家三包政策提供售后服务，因质量问题产生的退换货服务运费由本店承担。
亲爱的顾客，为保障您的权益，请您对配送商品查验确认合格后签收，如有问题，请及时与商家联系。如需退货，请将包装一并寄回哦。
本站商品信息均来自于苏宁云台商家，其真实性、准确性和合法性由信息发布者（商家）负责。本站不提供任何保证，并不承担任何法律责任。因厂家会在没有任何提前通知的情况下更改产品包装、产地或者一些附件，本站不能确保客户收到的货物与网站图片、产地、附件说明完全一致，网站商品的功能参数仅供参考，请以实物为准。若本站没有及时更新，请您谅解！
易购价：易购价为商品的销售价，是您最终决定是否购买商品的依据。
参考价：商品展示的参考价（或划横线价），可能是品牌专柜标价、商品吊牌价或由品牌供应商提供的正品零售价（如厂商指导价、建议零售价等）或该商品在苏宁易购平台或销售商门店曾经展示过的挂牌价；由于地区、时间的差异性和市场行情波动，品牌专柜标价、商品吊牌价、销售商门店挂牌价等可能会与您购物时展示的不一致，该价格仅供您参考。
折扣：如无特殊说明，折扣指销售商在参考价或划横线价（如品牌专柜标价、商品吊牌价、厂商指导价、厂商建议零售价、销售商门店挂牌价）等某一价格基础上计算出的优惠比例或优惠金额；如有疑问，您可在购买前联系销售商进行咨询。
异常问题：商品促销信息以商品详情页“促销”信息为准；商品的具体售价以订单结算页价格为准；如您发现活动商品售价或促销信息有异常，建议购买前先联系销售商咨询。
如果您发现了更低价格，请告诉我们。我们将认真对待您的每一份建议，确保提供最优质的服务及最优惠的价格。
易购价：& 21.9
请选择您所发现的位置：
* 商品网址：
线下实体店
* 实体店名称：
提交成功，感谢您的反馈
该商品在当前城市正在进行
抢购价：& 38.00
易购价：& 38.00
注：参加抢购将不再享受其他优惠活动
亲，很抱歉，您购买的宝贝销售异常火爆，让小苏措手不及，请稍后再试~
看不清楚？
亲，大宗购物请点击小苏的服务会更贴心！
亲，很抱歉，您购买的宝贝销售异常火爆让小苏措手不及，请稍后再试~
您已成功将商品加入收藏夹哥德尔不可证命题的真假&元数学与元物理学（11）
本文也许能改变数学不可能完备的信念，表明数学家对多值、虚值命题认识不足，用二值命题的观念来证明不完全性定理是不全面的。证明了哥德尔不完全性定理中的不可证命题g是数论的悖论而不是真命题，且形式数论系统存在无数个悖论；罗素和怀特海的形式数论公理系统N是不一致的。&&
本文应该是世界级顶尖数学基础课题，有一定的难度，读者需要具备元数学、数理逻辑知识，并对哥德尔不完全性定理及不可证命题有深刻理解，才可能看懂和理解本文。
哥德尔不可证命题的真假
元数学与元物理学（11）
李子&&李晓露
摘要&本文证明哥德尔不完全性定理中的不可证命题g是数论的悖论。介绍第四次数学危机。重新认识、划分命题的种类后，建立一致且完备的二值命题公理系统并非不可于能。指出数学的问题不是完备的问题，而是悖论的问题。本文证明了罗素和怀特海的形式数论公理系统N是不一致的。
关键词&&哥德尔不完全性定理&&不可证命题&&悖论
由百度百科哥德尔不完全性定理可得：“是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。这一理论使研究发生了的变化，更是现代逻辑史上很重要的一座里程碑。该定理与的的真理论，和判定问题，被赞誉为科学在哲学方面的三大成果。哥德尔证明了任何一个，只要包括了简单的描述，而且是的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
哥德尔证明：任何无矛盾的公理体系，只要包含初等算术的陈述，则必定存在一个不可判定命题，用这组公理不能判定其真假。也就是说，“无矛盾”和“完备”是不能同时满足的！这便是闻名于世的哥德尔不完全性定理。
哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们，真与可证是两个概念。可证的一定是真的，但真的不一定可证。某种意义上，悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹：“上帝是存在的，因为数学无疑是相容的；魔鬼也是存在的，因为我们不能证明这种相容性。”
哥德尔不完全性定理的影响远远超出了数学的范围。它不仅使数学、逻辑学发生革命性的变化，引发了许多富有挑战性的问题，而且还涉及哲学、语言学和计算机科学，甚至宇宙学。2002年8月17日，著名宇宙学家在北京举行的国际会议上发表了题为《哥德尔与M理论》的报告，认为建立一个单一的描述宇宙的是不太可能的，这一推测也正是基于哥德尔不完全性定理。
有意思的是，在现今十分热门的人工智能领域，哥德尔不完全性定理是否适用也成为了人们议论的焦点。1961年，的哲学家卢卡斯提出，根据哥德尔不完全性定理，机器不可能具有人的心智。他的观点激起了很多人反对。他们认为，哥德尔不完全性定理与机器有无心智其实没有关系，但哥德尔不完全性定理对人的限制，同样也适用于机器倒是事实。
& && 哥德尔不完全性定理的影响如此之广泛，难怪哥德尔会被看作当代最有影响力的智慧巨人之一，受到人们的永恒怀念。美国《时代》杂志曾评选出20世纪100个最伟大的人物，在数学家中，排在第一的就是哥德尔”.
2.哥德尔不完全性定理[1] [2] [3] [4]
建立完备、一致的数学理论是数学家们的一个梦想。1931年哥德尔证明了著名的不完全性定理，它彻底粉碎了数学家的梦想。哥德尔不完全性定理的证明严谨而巧妙。
哥德尔第一不完全性定理：包含初等数论和一阶逻辑的形式系统N，如果N一致，则存在不可证数论符号命题g（g用自然语言表达即为g：“g在本系统不可证”），并且 g不可证。如果N是ω一致的，则&g不可证。
哥德尔证明了如果g可证，则存在证明g的公式序列，由N的定理必然可证&g，导致N不一致。因此，如果N一致，则g必然不可证，并且证明了如果N是ω一致，则&g不可证。
他还用扩充公理g的办法证明了：在新系统N+g系统依然存在新系统不可证数论符号命题g&。 g&用自然语言表达即为：“我在本系统不可证”。即g&为：“我在N+g系统不可证”。
他用对角线法证明了N存在永远无法弥补的漏洞，即N不完备。即无论怎样扩充公理，都存在本系统不可证的数论符号命题。
后经罗塞简化为：任一以形式算术系统为子系统的形式系统，如果是一致的，则一定是不完备的[3]。
哥德尔第一不完全性定理表明，不可能建立一个完备且一致的数论理论。
哥德尔第一不完全性定理是对数论而言的。因不可证的数论符号命题有无穷多个，所以用扩充公理的方法不可能完备形式数论公理系统。
下面证明不可证的数论符号命题实质上是一个悖论，是虚值命题，而不是二值命题的真命题。将命题分类后，可以建立一致并且完备的二值命题论证公理系统。
3．一致和完备的形式数论公理系统A
数学命题的真假值目前没有数学判定理论。元数学只研究了公理系统的一致性、独立性和完备性，无真实性概念。
数学命题的真假一直没有判定方法。1936年数学家丘奇证明了：如果有一种判定真假数论命题的方法，引入形式数论系统，必导致该系统出现逻辑矛盾。这是显然的，如果有此方法，则可按照识别真命题的方法扩充数论真命题，建立完备的形式数论公理系统。哥德尔的第一不完全定理证明，如果形式数论公理系统一致，则不可能完备。这个矛盾表明要么不存在识别真命题的方法，要么形式数论公理系统是不一致的。遗憾的是本文证明结论是：形式数论公理系统是不一致的。
在《元数学与元物理学（4）》[5] 给出三大法则，在事实上可判定所有二值命题的真假。
& &&&判定法则一:如果已知一命题p的内容与其相对应的事实相符，则判定p为真。
& && 判定法则二:如果已知一命题p的内容与其相对应的事实不相符，则判定p为假。
判定法则三:如果p是真命题,则p的内容与事实必相符;如果p是假命题，则p的内容与事实必不相符。
哥德尔的第一不完全定理的不可证命题g，g的内容“我不可证”符合事实，因此，根据三大法则可得：g是真命题。g不可证又是数论的真命题，则N是不完备的。
既然我们有了判定命题真假的三大法则，则完全可以建立完备且一致的形式数论公理系统A，方法如下：
A公理系统是在罗素和怀特海的《数学原理》形式数论公理系统N基础上，增加判定命题真假的三大法则和两条推理规则：
推理规则1：将根据判定命题真假的三大法则识别后的不可证的真命题，扩充给形式数论公理系统N 。
推理规则2：将根据判定命题真假的三大法则识别后的假命题，从N的定理中删除。
有了这两条推理规则，就可以建立完备一致的形式数论公理系统A。根据2条推理规则可得：A的定理全部都是真命题。
定理3。1&A公理系统是完备的。
证明：因由推理规则1可得，所有能识别的数论真命题都可证，包括哥德尔的第一不完全定理的不可证命题g。根据哥德尔的证明g的内容“我不可证”符合事实，因此，根据三大法则可得：g是真命题。由推理规则1可得g是A的定理，所以，A公理系统是完备的。哥德尔的第一不完全定理在A公理系统不成立，本定理证毕。
定理3。2&A公理系统是一致的。
证明：用反证法。
假设A公理系统是不一致的，则A公理系统必可证命题q，并可证命题┓q。
根据真值表可得：如果q真，则┓q必假，因此，根据推理规则2可得：┓q必然不是A公理系统的定理。
根据判定命题真假的三大法则，如果命题q符合事实，则┓q必然与事实不符，根据判定命题真假的三大法则可得┓q是假命题，由推理规则2可得：┓q必然不是A公理系统的定理。
因此，A公理系统必然是一致的。本定理证毕。
定理3。1和定理3。2证明了哥德尔第一不完全性定理在A公理系统不成立。表明数学既能一致，又可以完备。
4．哥德尔不可证命题是一个悖论
根据哥德尔的第一不完全定理，如果A公理系统不可证数论符号命题g可证，则存在证明g的公式序列，根据N的定理必然可证&g。由此可得：A公理系统是不一致的。这里有一个关键问题：哥德尔的第一不完全定理中的不可证命题g在A系统究竟是真还是假？
若g在A系统内事实上不可证，根据判定数论命题真假的方法可判定g是真命题，则根据规则1可得g是A的定理，而g表明自己在A系统内不可证，导致g命题的内容与事实不符，根据判定数论命题真假的方法可得：g是假命题；而若g假，根据规则2，g不是A的定理，而g表明自己在A内不可证，则g符合事实，又是真命题，则g是一个悖论。
命题g的特点是不可证时是真命题，一旦扩充可证则变为假命题，其值不是固定不变的。A公理系统则证明了g是一个典型的悖论，并不是真命题，因此，不能由推理规则1可得g是A的定理。
在《李子逻辑学》g是一个悖论，则g是虚值命题，不是二值命题，更不是真命题。因此，g不是A公理系统的定理。&g也是虚值命题，也不是A公理系统的定理。在《李子逻辑学》命题基础上建立的形式数论公理系统，g不是二值命题，则g的值不能在二值命题论证公理系统I[6]内判定和求证，只能在虚值命题论证公理系统III[7]内推理，而包含形式数论公理系统A只适合二值命题的推理，所有虚值命题在二值命题论证公理系统既不可判定其真假，也不可证，从而可化解第四次数学危机。
哥德尔的第一不完全定理中的不可证命题g实质上是一个悖论，而不是数论的真命题。这再一次证明了：形式数论公理系统N存在悖论，是不一致的理论。下面的证明更表明包含形式数论公理系统N的系统存在无数个悖论。
5．第四次数学危机及其影响（2）[8]
一阶理论是一阶逻辑的一个扩充。一阶算术系统N包含命题演算公理系统和一阶谓词演算系统。
李子发现和证明了命题演算公理系统存在悖论。
& & 5.1实质蕴涵存在悖论
& && 设计一个实质蕴涵命题a，a：（p→p）→&&a
（p→p）是永真式，其值恒真。
根据五个真值表：如果a真，则&a假，则实质蕴涵命题：（（p→p）→&&a）为假，即a假。
& & &如果a假，则&&a真，
根据五个真值表可得：（（p→p）→&&a）为真。
& & 请问a的真假？&&
a构成了一个悖论。
& &&&5.2析取命题悖论
命题b：（p∧&&p）∨&&b
& &（p∧&&p）是永假式，其值恒假。
& & 如果b真，则&&b假，根据五个真值表可得：（（p∧&&p）∨&&b）为假,即b假.& &&如果b假，则&&b真，
根据五个真值表可得：：（（p∧&&p）∨&b）为真,即b真。
& &&请问b的真假？
& &&b也构成了一个悖论。
& &&5.3合取命题悖论
命题c：（p→p）∧&&c
（p→p）是永真式，其值恒真。& &&根据五个真值表：如果c真，则&&c假，则命题：（（p→p）∧&c）为假，即c假。
& &如果c假，则&&c真，根据五个真值表可得：
（（p→p）∧&&c）为真,即c真。
请问c的真假？
&&c构成了一个悖论。
& &5.4等值命题悖论
&&命题d，d：（p→p）&&&d
&&（p→p）是永真式，其值恒真。
&&根据五个真值表：如果d真，则&&d假，则等值命题：（（p→p）&&d）为假，即d假。
如果d假，则&&d真，根据五个真值表可得：（（p→p）&&&d）为真,即d真。
& &&d构成了一个悖论。
问题还不仅如此，悖论5.1、悖论5.2、悖论5.3、悖论5.4表明以任何一个命题代入其中，都会构成悖论。
& &&如将任意一个命题&&p、p∨q、p∧q、&&p∨q、&p∨&q、……代入悖论5.1、悖论5.2、悖论5.3、悖论5.4的p，就会产生无数个悖论。
而若将任意一个永真式（如：&&p∨p、p→&&&p……）替换悖论5.1、悖论5.3、悖论5.4中的（p→p），也会产生无数个悖论。
& & 若将任意一个永假式替换悖论5.2中的（p∧&&p），同样会产生无数个悖论。
& &&&这些悖论的大量存在对数学理论的影响是相当大的,几乎是一个灾难.它标志着一切以命题演算公理系统为基础的数学理论包括罗素和怀特海的形式数论公理系统理论、集合论都陷入了严重的危机之中，所有数学理论的一致性、可靠性深受其影响，并且影响到一切以数学计算的科学的可靠性。
6．哥德尔不完全性定理证明存在的问题
引理6。1令L&是L的一致扩充，A是L的合式公式且不是L&的定理。如果现在再构造L的扩充L"，它通过对
L&补加&A作为新公理而得到，那么L"也是一致的。[1]
哥德尔的第一不完全定理的不可证命题g，是数学家们没有意识到的悖论，表明数学家对多值、虚值命题认识不足，把虚值命题当成二值命题讨论的结果，得出数学不可能完备的结论，把悖论当成二值命题的真命题来证明不完全性定理是不妥当的。
在哥德尔不完全性定理的证明中，存在的问题的是认为不可证命题g：“g不可证”，
表达的是本系统不可证。这会产生下面的问题：
6．1如果我们规定罗素和怀特海的形式数论公理系统为N，则N内不可证命题g：“g不可证”， 表达的是g在N系统不可证。现将g扩充给N，组成新系统N&=N+g，N&比N仅多一条公理g，两个公理系统的符号、公式的哥德尔数完全相同，不可证命题g：“g不可证”，在N&系统谓词表达的不再是在N系统不可证，而是在N&系统不可证。则g扩充给N就会导致不一致，即g=g&，且g&由不可证变为可证，并由真命题变为假命题。由哥德尔不完全性定理必然可得
N&系统不一致。由引理6。1可得：N系统不一致。
哥德尔数为g的“在N系统不可证的命题”只在N系统存在。g扩充给N，组成新系统N&=N+g后，g变为了g&。并由不可证变为可证。因此，不可证的命题g实质上是在所有包含N的系统不可证的命题。
6．2如果在形式数论公理系统N内可表达任何系统数论命题，则N必存在能用二元谓词表达的不可证命题g：“g在包含N的所有系统不可证”，因不可证命题同构，则如果N一致，则由哥德尔不完全性定理必然可得：g与&g均不可证。而由引理6。1可得：N存在一致扩充，即扩充g新系统必然一致。而由哥德尔不完全性定理必然可得：若g可证，则&g必可证，新系统必然不一致，导致矛盾。因此，任一包含N的系统都是不一致的。
6.3什么是悖论？悖论p是一种矛盾命题。它存在以下逻辑关系：
如果命题p是悖论，则p&&┓p，即p与&┓p等值。这种等值关系，可以由数学证明充分必要条件的定理进行证明，也能由《李子逻辑学》证明逻辑蕴涵为真的方法来论证，如对本文所有悖论的证明。
在数理逻辑中有分离规则：┣&p，┣（p→q），必然可得：┣&q。符号“┣”表示可证。
既使无不可证命题g，在罗素和怀特海的形式数论公理系统N内，在本文5．第四次数学危机及其影响（2）中已证明N存在无数个悖论p，即由数学证明充分必要条件的定理可得：┣（p&&┓p）。若在N内┣&p，则由命题演算公理系统分离规则必然┣&┓p，并且，若在N内┣&┓p，则由命题演算公理系统分离规则必然┣&p&。在本文中的任何一个悖论p，都必然导致：N若一致，则命题p与┓p都不可证，即N必不完备。
由引理6。1可得：N存在一致扩充，但p或┓p扩充给N后，都会使新系统不一致，这表明要么N是不一致的，要么p是自相矛盾的。
N存在无数个悖论p，讨论N是否完备毫无意义，而是需要解决悖论问题。
6.4哥德尔第二不完全定理：如果N是一致的，那么N的一致性证明不能在系统N中形式化。将第一不完全定理形式表达为：在N内┣consN→g。其中consN符号表达的是“N是一致的”。
N包含命题演算公理系统。在N内有定理：
┣（p→q）→（┓q→┓p），由分离规则可得定理：
┣&┓g→┓consN
由引理6。1可得：N存在一致扩充，┓g作为新公理扩充给N，可组成新系统N"。由此可得：
┣&┓consN，即N"系统可证N是不一致的。又因N是N"系统的子系统，因此，在N"系统可证本系统不一致。
如果N一致，则由引理6。1可得N"必然一致。现已证N"不一致，则N不可能一致。
本文证明了罗素和怀特海的形式数论公理系统N自相矛盾，是不一致的。
N不一致，即罗素和怀特海的形式数论公理系统N不一致。则所有数学理论的一致性、可靠性未得到证明，量子力学、相对论、现代宇宙学的数学基础不可靠，数学与科学出现危机。
7．第四次数学危机的化解
在《李子逻辑学》认为命题的值不仅有真假二值，还有多值命题和虚值命题（悖论）。物理学也存在多值命题（如量子力学的概率事件）和虚值命题（如广义相对论的时间机器悖论）。
《李子逻辑学》让大家重新认识命题的种类，将命题分为三类，区分了二值命题、多值命题（偶然性命题、或然性命题）和虚值命题（悖论），用三个公理系统各自进行演算并且互相关联。
虽然悖论p是虚值命题，但命题（p&&┓p）在《李子逻辑学》却是二值命题，是可以判定和证明其真假的，这是二值命题与虚值命题的关联。因此，悖论也有真悖论和假悖论之分。
虚值命题与虚数相似，虚数在现实真实世界并不存在，如科学家无法测量1米&i的长度，1秒&i的时间和1公斤&i的重量，无法确定事实情况，但虚数与实数有关联，i^2=
-1。而悖论自相矛盾，也无法通过事实检验，如不可证命题悖论。悖论p不能确定其真假，其值为i，称为虚值命题，但命题（p&&┓p）是真命题。在《GEB-一条永恒的金带》书中的图2上升与下降是利用人的视觉上的错觉，虚构的图画，与悖论相似，不能在事实上建造这种楼梯。图画脱离事实，不是真实的建筑物，但可以画出来。
《李子逻辑学》可以化解第四次数学危机并彻底解决一直困扰人们的悖论问题，为开发判定命题真假和计算、论证信息真假及决策的多值计算机和人工智能的革命提供基础理论。
笔者认为判定信息真假的二值逻辑、多值逻辑和虚值逻辑涉及人工智能、计算机的更新换代和信息战、网络战的国家利益，因此，宁可失去著作权也暂不发表《多值命题论证公理系统II》和《虚值命题论证公理系统III》，不在电脑写作、储存二文信息，特此说明。
如果说否定相对论，建立自洽、符合事实的新物理学、新宇宙学是中国科学领先世界的一个战略机遇，则开发具有识别信息真假和计算命题真假功能的多值计算机，研制具有快速决策功能的人工智能是中国科技在计算机、人工智能领域领先世界的又一个战略机遇。希望我国科研机构能抢先开发具有识别信息真假和计算命题真假功能的多值计算机，研制具有快速决策功能的人工智能系统，早日造福人类。
[1]朱水林著，哥德尔不完全性定理，沈阳：辽宁教育出版社，1987年。
[2]莫绍揆，B6证明论，现代逻辑科学导引（上册），中国人民大学出版社，1987年。
[3]郑毓信编著，现代逻辑的发展，沈阳：辽宁教育出版社，1988年。
[4]乐秀成编译，GEB-一条永恒的金带，成都，四川人民出版社，1984年。
[5]元数学与元物理学（4），李子、李晓露
[6]二值命题论证公理系统I，李子、李晓露
[7]虚值命题论证公理系统III（待发表）李子、李晓露
[8]第四次数学危机及其影响（2），李子、李晓露
声明：此文著作权归作者所有，可以转载，但未经作者书面授权，不得改作者姓名，抄袭发表，违者将依法追究。
已投稿到：
以上网友发言只代表其个人观点，不代表新浪网的观点或立场。数学归纳法的逻辑原理及其在图论中的应用(1)_百度文库
您的浏览器Javascript被禁用，需开启后体验完整功能，
享专业文档下载特权
&赠共享文档下载特权
&100W篇文档免费专享
&每天抽奖多种福利
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
数学归纳法的逻辑原理及其在图论中的应用(1)
&&数学归纳法的逻辑原理及其在图论中的应用(1)
阅读已结束，下载本文需要
定制HR最喜欢的简历
你可能喜欢}