对哥德尔不完全性定理的质疑

[目的]考察Gdel不完全性定理证明的有效性及存在性问题。[方法]以"逻辑先后律"思维原则作为剖析工具,揭示相关观点和论证的错误。[结果]①与Gdel原证法本质上相同的形式化证明,均存在歧义谬误。②关于对哥德尔证明的解释,其错误是,真意指判断句,不可证意指被判断句,即二者并非意指同一命题。[结论]①与Gdel原证法本质上相同的形式化证明,都是无效的;在这类证明的基础上,该定理的相关推论的证明也都是无效的。②既是真的又是不可证的命题是不存在的。③Gdel不完全性定理不可能成立,该定理的相关推论也不可能成立。     

谈数学科学方法论——完全归纳法与不完全归纳法

完全归纳法作为数学的严格推理方法,在数学解题中有着广泛的应用.完全归纳法要求分类完全、面面俱到、不重不漏,它可以培养学生在考虑问题上养成全面周到的缜密思维.不完全归纳法通过特殊归纳,是发现并提出数学猜想的一种常见的方法.在探索数学真理的过程中,不完全归纳法能使我们迅速地发现客观事物的特征、属性、和规律,为我们提供研究方向,提供猜想的基础和依据.     

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

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

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

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

井间不完全数据层析成像的唯一性定理

考虑由过井间和地面三侧的Ｒａｄｏｎ变换重建问题用仿射变换，建立了这个重建问题与已知函数的圆外Ｒａｄｏｎ变换反演函数的关系，从而给出了在Ｌ２空间的唯一性定理     

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

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

基于不完全频谱感知的认知中继网络能量效率

针对认知中继网络中基于能量效率的资源分配问题,提出一种基于次用户能量效率最大化的功率分配优化算法,通过建立多重约束条件下的频谱感知和传输联合优化模型,在考虑单位发射速率消耗功率和干扰限制的情况下,利用分数规划将问题中的混合整数非线性规划问题转化为等价的凸优化问题,分析了不同参数对能量效率的影响。仿真结果表明,提出的功率分配优化算法在达到能量效率最优的同时降低了算法的计算复杂度。     

基于不完全频谱感知的认知中继网络能量效率研究

针对认知中继网络中基于能量效率的资源分配问题,提出一种基于次用户能量效率最大化的功率分配优化算法,通过建立多重约束条件下的频谱感知和传输联合优化模型,在考虑单位发射速率消耗功率和干扰限制的情况下,利用分数规划将问题中的混合整数非线性规划问题转化为等价的凸优化问题,分析了不同参数对能量效率的影响。仿真结果表明,提出的功率分配优化算法在达到能量效率最优的同时降低了算法复杂度低。     

不完全偏好下的极大元定理及其应用

首先提出并论证了一个Zom引理的等价定理,然后利用该定理,在不完全偏好意义下获得了若干极大元定理．统一和改进了若干已知结果,例如著名的Brezis—Browder序集一般原理及其推广等。     

不完全偏好下非连续增算子的不动点与广义不动点定理

在不完全偏好意义下得到了非连续增算子一些新的不动点和广义不动点定理 ,并推广了许多已知结果     

不完全偏好下的极大无存在定理及其应用

首先提出了不完全偏好的概念，发现了不完全偏好与半序之间的关系，然后，将这种关系和拓扑学中的一些原理相结合，并利用Zom引理得到了许多不完全偏好下的极大元存在定理,推广了Brezis-Browder序集一般原理，作为应用，证明了在半序集中取值的紧距离空间上的拟连续函数必有广义极小值，这个结果是著名的Weierstrass定理的改进。     

不完全偏好下的极大元存在定理及其应用

首先提出了不完全偏好的概念,发现了不完全偏好与半序之间的关系.然后,将这种关系和拓扑学中的一些原理相结合,并利用Zorn引理得到了许多不完全偏好下的极大元存在定理,推广了Brezis-Browder序集一般原理.作为应用,证明了在半序集中取值的紧距离空间上的拟连续函数必有广义极小值,这个结果是著名的Weierstrass定理的改进.     

不完全偏好意义下的极大元定理及其应用

由Brezis和Browder得到的非线性泛函分析序集一般原理及其推广已经被广泛应用到许多科学领域。然而，上述定理中的序集必须要求满足反对称性，而在理论数学、应用数学，特别是在经济学等许多领域中，一些序结构并不满足反对称性。为解决上述问题，我们首先提出了不要求反对称性的不完全偏好，在此基础上我们获得了许多不完全偏好意义下的极大元定理。作为应用，我们改进了由Brezis和Browder得到的非线性泛函分析序集一般原理及其许多推广，并给出了一个最小值定理，此定理推广了Weierstrass定理。     

基于不连续函数的中值定理

考虑基于不连续函数的价值性定理、微分中值定理及积分中值定理，得到若干判定准则，并给出了有关的应用实例。     

基于不完全信息的战略风险管理与竞争情报

探讨了不完全信息条件下战略风险的特点及战略风险管理的意义,并进一步深化了不完全信息条件下的竞争情报分析方法在战略风险管理体系中的应用,使企业在瞬息万变的环境中充分把握市场机遇,规避市场风险,或者将风险降低到最低程度,有利于保持企业的竞争优势。     

基于数学发展史的数学三维目标解读

新课程三维目标是国家课程标准对新课程应关注不同阶段学生成长的三个方面的基本要求,也是当今世界各国课程标准或教学大纲的共同元素。遵循这样的教学理念,数学课程目标具体可分为知识与技能、问题解决、数学思考、情感态度与价值观四个方面。根据历史相似性原理,三维目标在数学发展过程中的体现与学生学习数学有密切的关系,这为数学三维目标的实践落实提供了有效的理论支撑。     

数学认知结构与数学学习

从数学认知结构及其特征来寻找学生学习成绩发生分化的原因，阐明数学认知结构对数学学习的整个过程有着重要作用．     

数学认知结构与数学教学

探讨了数学认知结构的意义和特点，并就数学教学如何促进学生数学认识结构不断地优化和发展提出了几点建议。     

完全分配格的二个刻划定理

设L为完备格,记(?)_0={L\↑a:a∈L且a≠0},(?)_0={L\↓b:b∈L且b≠1}.基于(?)_0与ψ_0,本文将给出完全分配格的两个刻划定理.     

完全非线性椭圆方程的Liouville定理

应用Scaling方法和Evans-Krylov的C2,α内估计,证明了全空间上二阶完全非线性椭圆方程的Liouville定理.