哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。     

以哥德尔不完全性定理认识偶数哥德巴赫猜想

哥德尔不完全性定理第一次破天荒地分清了数学中“真”与“可证”是两个完全不同的概念,揭示了形式化方法不可避免的局限性。对于偶数哥德巴赫猜想这一未决的数学难题,可以跳出形式化方法的局限性,以一种新的思维去认识它。     

形式Peano算术的Goedel不完备性定理的一个简单证明

给出了形式Peano算术的Goedel不完备性定理的一个简单证明．     

说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把自指代命题从自指命题中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的不可判定命题,现在有3种不同的错误解释:是非不可分辨的命题(三值)、是非可分辨(二值)但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致真理丧失说和数学丧失了确定性,但还应充分肯定哥德尔的历史功绩。     

也谈正确理解哥德尔不完全性定理——与陈慕泽先生商榷

就陈慕泽先生对《禁止使用自指代命题》关于哥德尔不完全性定理的质疑提出的批驳做出回应。认为陈先生回避要害,无视作者对哥德尔证明中双重标准之矛盾的分析和揭露,其批驳存在自相矛盾、循环论证和转移辩题的问题。还专门采用陈先生的符号,对哥德尔定理结论1和2的证明进行分析和批判,再次解释哥德尔定理的结论可以完全正确,但应该理解成:哥德尔所构造的不可判定公式违反逻辑,必须禁止在无矛盾的形式系统中使用。同时,还分析了现有主流学派对哥德尔定理结论的种种误解,提出重建逻辑学公理系统的主张。     

不完全性定理对人类思想的影响

哥德尔不完全性定理是数理逻辑中的一个定理,1931年奥地利逻辑、数学家克尔特·哥德尔(Kun Godel)发现并证明.这个定理彻底粉碎了希尔伯特的形式主义理想,从根本上澄清了作为一个整体的数学不可形式化的本质.而且哥德尔定理产生的影响已远远超出数学的范围,他从根本上改变了我们对"真理"的认识和对世界的认识,不了解哥德尔就不了解人类已达到的智力水平与人类智力奋斗的历程,也就无法了解我们这个世界在思想观念上已经发生或正在发生的深刻变化.     

对一个定理的质疑

本文指出并更正一个定理的错误．     

对三个悖论的消解

目的讨论意外考试悖论的自然语言版本、蒙塔古-卡普兰版本以及知道者悖论诸论证的有效性问题。方法以一条叫做逻辑先后律的思维原则为工具,对所论问题进行剖析。结果 (发现)①对第二天是否考试的判断环节的缺失,使问题无法讨论及论证无效;②意外考试悖论的自然语言版本中,不能推出最后一天不可能考试的结论;③意外考试悖论的蒙塔古-卡普兰版本中,合理假定(C4)非恒真;④知道者悖论的推理前提,是一个不合逻辑的定义。结论上述三个悖论的论证均是无效的。     

公理化方法及其内在局限性

讨论了公理化方法的基本轮廓及其在与数学相关学科中的应用,进而讨论了它对力学的影响;着重介绍了John Losee的牛顿公理化的三阶段及其对应规则,指出公理系统存在的意义是在于其实际中的意义,最后根据Church不可判定性定理和Goedel不完全性定理指出了公理化方法的哲学意义及其内在局限性.     

不确定模糊集的基本定理

不确定模糊集是基于信息和知识的不确定性提出来的,在处理信息系统中知识的不完善、不确定问题时有其自身的优点.定义了不确定模糊集上的截集,讨论了其性质.并在此基础上证明了不确定模糊集的分解定理、表现定理和扩展定理等基本定理.     

一种基于超连接的一阶逻辑反演推理算法

研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率．以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性     

一类α次星形映照的偏差定理

主要研究了复Banach空间单位球上一类α次星形映照的偏差定理，与此同时也讨论了复Banach空间单位球上α次星形映照的构造，它为某类α次星形映照的偏差定理提供极值映照．     

一类高阶微分方程亚纯解取小函数的收敛指数

研究了亚纯函数系数的高阶线性微分方程亚纯解取小函数的点的收敛指数问题,获得了线性微分方程亚纯解取小函数的点的收敛指数的精确估计.     

Cayley—Hamilton定理的推广

本文证明 Cayley-Hamilton 定理的一个推广:设 R 是含单位元的交换环,M_n(R)[λ]是 R 的矩阵环 M_n(R)上的多项式环,如果 F(λ)∈M_n(R)(λ),F(A)=0,(?)(λ)=detF(λ),则(?)(A)=0.     

少数民族生态移民社会资本重建模式初探——以北川羌族自治县震后重建为例

少数民族地区的生态移民在迁移人口的同时引起了其社会资本的变迁,少数民族移民社会资本的变迁具有其特殊的民族特色.本文通过对灾后重建北川羌族自治县社会资本重构的现状进行分析的基础上,为民族地区生态移民如何保护与传承其民族文化、社会资本重构提供建议.     

浅谈实验室气相色谱仪的使用与维护

详细介绍了实验室气相色谱仪的工作原理、操作流程、使用注意事项和日常维护方法,为从事气相色谱仪的使用与维护工作者提供宝贵的实践经验。     

语法的强等价和弱等价以及相关的句子计数、句法结构数和结构歧义的若干定理

讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式,探讨一些与这几个概念有关的句子（词）结构的问题,并且得出了几个有关句子（词）结构的有意义的定理。     

核素分类单位区的对称与递变

核素分类中,单个核素与一大片核素的分布具有相似性,均遵守对称与扩张的1,2,4规律.如中子数N36～N38的7核素就是这样一个对称小区,再如以6×8核素区作为一个分布单位区,内含3个递变的6×6核素区,7个这样的单位区递变则形成一个核素分布统一主区域,其中有14个6×6核素区,14个中心排列在差K17与K9,坐标S33与S37四线上,主区域的中心坐标(33,20)是放射核素.核素分类中显示出核素体系的对称性、整体性与数学美.     

展开定理的补充和偶次B样条基函数

在均匀分划的B样条展开定理中,奇次B样条以整数点展开,而对偶次B样条将如何展开,展开定理并未说明.通过时域的逼近计算,补充了偶次B样条在展开定理中的展开方式,提出了其基函数的一般构造方法.应用四次B样条基函数计算梁的弯曲,表明了偶次B样条展开方式的合理性,同时也表明了该基函数有较佳的逼近性能和适应性.研究成果属于逼近理论的基础部分,可以应用于需要逼近计算的诸多领域.     

对热力学第二定律的补充

基于客观事实,对已经应用了三百多年的热力学第二定律的普适性提出质疑,论证了被热力学第二定律忽略了的自然过程存在的普遍性。在此基础上,提出了对热力学第二定律补充方案,进一步探讨了补充部分的现实意义。