【摘 要】
：
维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的对角线证明方法是不适当的,因为在证明中基
论文部分内容阅读
维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的对角线证明方法是不适当的,因为在证明中基于可数集定义的康托尔数是一直处于构造之中的,而且可数集与康托尔数的展开是相互追随的。证明中的矛盾不是来自前提错误,而是来自不正当的对康托尔数的定义和使用。同样,哥德尔定理证明中得到的矛盾是来源于哥德尔对哥德尔公式的不正当定义和使用。这一结论还可以推广到递归函数和图灵机这些等价的计算模型。
其他文献
考虑空间环境中温度是光学系统成像质量的主要影响源,针对离轴三反射光学系统提出了一套由有限元分析到光学分析的热光学分析方法。在有效分析均匀温度场对系统影响的基础上,
通过实验室试验及中试,分析、比较了两类常用滤料(柱状炭和不定型炭)吸附性能及处理效果.结果表明:不定型炭的总吸附能力大于柱状炭,且对复杂的大分子及天然有机物的吸附具有
目的探讨单孔电视胸腔镜下治疗原发性自发性气胸的可行性和安全性。方法回顾分析15例自发性气胸的临床资料,全部采用单孔电视胸腔镜手术。结果全组患者术中出血10~50 ml,平均
<正>本报讯为了确保农业用水、促进节水,我国将加大现代农田水利建设力度,到2020年使全国农田有效灌溉面积达到10亿亩,节水灌溉工程占有效灌溉面积的比例达到60%以上。这是记
五味子为常用中药，商品有北五味子，原植物为五味子（Ｓｃｈｉｓａｎｄｒａｃｈｉｎｅｎｓｉｓ（Ｔｕｒｃｚ．）Ｂａｉｌ．）和南五味子，原植物为华中五味子（ＳｃｈｉｓａｎｄｒａｓｐｈｅｎａｎｔｈｅｒａＲｅｈｄ．ｅｔｗｉｌｓ．）。北五味子主产于辽宁、吉林、黑...
"《红楼梦》是中国传统文化的结晶,渗透着传统文化的因子。"近年来,国人对传统文化的关注度不断升温,《红楼梦》等经典影视翻拍之风也久盛不衰。但每一次的翻拍,都在"创新""
目的探讨等速肌力训练系统对不完全性脊髓损伤患者下肢肌力恢复的作用。方法将60例胸腰段不完全性脊髓损伤患者随机分为治疗组和对照组各30例。所有患者均接受综合康复治疗,
我国现有服役斜拉桥近百座。旧有的斜拉桥结构在使用过程中由于不利作用致使存在各种缺陷和损伤，且具有一定的普遍性，直接影响到桥梁结构的安全性、耐久性以及使用寿命。对此，工
广播节目编辑与广播台管理一样,集科学和艺术于一体。广播节目编辑不仅要科学合理,遵循工作规范和科学规则,还要不断根据公众舆论适时调整工作,与实际相结合,以推动广播产业
新课程标准强调：“阅读是学生的个性化行为，应引导学生钻研文本，在主动积极的思维和情感活动中，加深理解和体验，有所感悟和思考，受到情感熏陶，获得思想启迪，享受审美乐趣。要珍视学生