【摘 要】
:
[目的]考察Gdel不完全性定理证明的有效性及存在性问题。[方法]以"逻辑先后律"思维原则作为剖析工具,揭示相关观点和论证的错误。[结果]①与Gdel原证法本质上相同的形式
论文部分内容阅读
[目的]考察Gdel不完全性定理证明的有效性及存在性问题。[方法]以"逻辑先后律"思维原则作为剖析工具,揭示相关观点和论证的错误。[结果]①与Gdel原证法本质上相同的形式化证明,均存在歧义谬误。②关于对哥德尔证明的解释,其错误是,真意指判断句,不可证意指被判断句,即二者并非意指同一命题。[结论]①与Gdel原证法本质上相同的形式化证明,都是无效的;在这类证明的基础上,该定理的相关推论的证明也都是无效的。②既是真的又是不可证的命题是不存在的。③Gdel不完全性定理不可能成立,该定理的相关推论也不可能成立。
其他文献
新课标指出,在教学过程中教师要不断引进新的教学方法促进教学质量提高,并促进学生学习效率的提高。高中化学相关知识与生活是息息相关的,在高中化学教学过程中采用生活化教
终端短路法进行数据处理时会涉及到解超越方程的问题,如果采用手工计算费时且会降低测量结果的精确度。采用数学软件matlab处理,可以克服上述的缺点。为进一步提高整个操作流
焦虑情绪作为一种情绪体验逐渐受到语言学家的重视,它是影响二语习得的一个情感变量,对语言综合能力的听、说、读、写各项技能都会产生影响。由于我国学生过于重视语法而忽视
目的:探讨口服普萘洛尔治疗婴幼儿血管瘤的临床疗效、安全性及方法。方法:共收治56例体表血管瘤患儿,完善检查后口服普萘洛尔治疗,初始剂量为0.5mg/kg/d,分2次餐后服用,若患
动脉粥样硬化是多因素引起的,以动脉壁内脂质的沉积甚至粥样斑块的形成为特征的慢性血管炎症性疾病。巨噬细胞内胆固醇的堆积和泡沫细胞的形成是早期动脉粥样硬化形成的标志
党建工作是民办高职院校发展的重要组成部分。党员在群体中本应起着核心作用、导向作用、激励作用、矫正作用,但由于民办高职院校的党建工作对流动党员存在组织管理失位、思
改革开放以来,我国社会及国情发生了很大的变化,我国高校后勤应在市场经济运行中逐步摸索建立符合自身特色的高校后勤管理模式,参与市场竞争,取得社会效益。近年来,由于国家的支持
复杂电磁环境是现代战场的主要特征之一,它对电子信息装备战术性能的影响越来越大。开展复杂电磁环境下的武器装备试验已势在必行。从电磁环境的特定复杂性出发,分析构建了试
麟游县人口居住分散,水源不足,部分地区无法建设集中供水工程,分散式家庭饮水工程建设较为普遍。此种方式解决农村饮水困难效果明显,同时也存在不足之处,需要进一步改善。
渠灌区发展低压管道输水灌溉技术是我国目前正在研究探索的一项新的农田节水技术。针对渠灌区的特点和引黄灌区水源含沙量高的实际,文中以山西禹门口提黄灌区为试验示范区,提