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

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

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

哥德尔不完全性定理剖析

介绍了哥德尔不完全性定理,论述了它的由来与意义。     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

关于笛沙格定理的附注

笛沙格定理在平面射影几何中必须选作公理,然而一般的高等几何教科书又都用投到无穷远法或解析法对它加以证明,本文从几何基础的角度指出了这种处理的合理性。     

关于空间理论中的三个定理

本文中对三个命题一富里叶级数收敛,(C[a,b],d_p)不完备,有限维赋范空间完备性一的证明方法比较简明、直观。     

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

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

惯性思维在学报审稿中的消极影响

惯性思维是一种心理现象 ,它在高校学报的审稿活动中发挥着一定的作用 ,其消极影响给学报的出版事业造成的损失不容忽视 ,编审人员要树立科学的世界观和方法论 ,深入了解人类思维的基本规律。审稿活动是一个不断创新的过程 ,编审人员要适应现代化的发展就必须不断更新知识、更新观念 ,转变思维方式 ,建立新的现代化的思维方式。     

英汉思维差异及对翻译的影响

思维支配着语言,影响着翻译。英汉思维差异主要表现在四个方面,其在语言上也有诸多不同的表现。英汉翻译时应考虑思维差异对翻译的影响,尤其是词、句子层面的翻译,以提高译文的质量。     

对称与破缺的物理模式

对称与破缺是自然规律。力学和电磁学的发展遵从这一规律，那就是由最初的一点破缺发展到更大的破缺。     

理学对诚斋体的负面影响

在理学对诚斋体的形成产生积极影响的同时,也给诚斋体带来了一些负面效应,主要是诗歌视野的狭窄；艺术魅力的缺失；内容的琐屑。     

早期道家对先秦宗教传统的改造

中国传统文化是多元融合而成的,道家尤其有这种色彩.曾任周史官的老子一方面精通周礼、娴熟于礼乐文化;另一方面又浸染有楚文化的内蕴.这使他在批判周礼时能毫不留情,又能直指其要害.老子以哲学本体论的"道"批判西周的宗教之天,扬弃了西周的宗法宗教传统.老子的自然本体论思想丢弃了西周的尚德精神,保持一种价值中立的观点.这使道家的楚文化背景发生影响.荆楚文化崇尚巫风和多神体系,而巫术是一种工具化的宗教思维.道家之所以能后启道教正是这种巫术思维影响的必然结果.     

爱玛·高德曼的女性主义对巴金的影响

巴金把高德曼独特的女性主义观点介绍到中国,并在自己的创作中逐步以她的思想思考中国现代女性的前途和命运。在《爱情三部曲》中,巴金心目中的理想女性是民粹主义式的女革命者。到了《寒夜》,巴金用高德曼女性主义中理想女性的观点重估了所谓新女性形象,用曾树生的生活悲剧,从反面阐释高德曼的女性主义观点。     

带转角自由度平面单元的不完备性

讨论了有限元法中带转角自由度的平面单元的收敛性。证明了其位移模式不同满足收敛条件,是不完备的。     

汽车流量对移动通信信号的影响研究

通过对一段城市道路上的汽车流量提取特征参数,进行一维建模,并以GSM基站发射的电磁波信号为入射波,利用矩量法对此一维散射情况建立矩阵方程,并进行数值计算、仿真,仿真结果显示了通信基站发射的电磁波在公路上的散射场随车流量变化而发生改变的规律,并分析了由此产生的对移动通信的影响。