检索结果-维普期刊中文期刊服务平台

哥德尔不完全性定理与人类对创造性的追求——侯世达对哥德尔不完全性定理哲学意蕴的阐释被引量：2: 1; 作者冯晶杨永良《理论学刊》 CSSCI 北大核心 2012年第12期73-75,共3页; 哥德尔不完全性定理涉及人类理性、思维规律并被广泛应用于数学、哲学、语言学、心理学、人工智能等各个领域。因此,围绕着对其哲学意蕴的理解,在上述各个领域都爆发了激烈的争论。美国科学家霍夫斯塔特(即"侯世达")认为,包... 展开更多; 关键词哥德尔不完全性定理理性的边界侯世达创造性; 在线阅读下载PDF 职称材料

哥德尔不完全性定理和“心灵与机器”的关系问题被引量：3: 2; 作者刘大为孙明湘《中南大学学报（社会科学版）》 2009年第6期733-738,817,共7页; 一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器... 展开更多; 关键词哥德尔不完全性定理一致性可证心灵与机器关系; 在线阅读下载PDF 职称材料

基于直觉主义对哥德尔不完全性定理的评论——从维特根斯坦的评论开始被引量：3: 3; 作者庄朝晖《厦门大学学报（哲学社会科学版）》 CSSCI 北大核心 2008年第2期77-84,共8页; 维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的对角线证明方法是不适当的,因为在证明中基于可数集定义的康托尔数是一直处于构造之中的,而且可数集与康... 展开更多; 关键词哥德尔不完全性定理对角线方法直觉主义维特根斯坦; 在线阅读下载PDF 职称材料

对不完全性定理的深度的分析被引量：1: 4; 作者程勇《哲学分析》 CSSCI 2021年第6期137-155,193,共20页; 基于当前文献中对数学深度的研究,并没有一个判断给定数学定理是否深刻的被广泛接受的一般标准。不完全性定理被广泛认为是逻辑领域“深刻”的数学定理。将不完全性定理作为研究数学定理深度的一个案例,其深度的问题可从两个方面加以研... 展开更多; 关键词不完全性定理数学深度不完全性的限度内涵性问题; 在线阅读下载PDF 职称材料

标准模态逻辑的判定方法和完全性: 5; 作者任秋云陶景侃《兰州大学学报（社会科学版）》 CSSCI 1993年第3期62-70,共9页; 本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。; 关键词语义图完全性定理规则模态逻辑判定公式当且仅当公理模型系统作图; 在线阅读下载PDF 职称材料

AI推理:从沉寂走向新生: 6; 作者陈小平《智能系统学报》 CSCD 北大核心 2021年第2期I0001-I0001,共1页; 推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含... 展开更多; 关键词递归函数人工智能不完全性定理图灵机哥德尔检验手段图灵测试 AI; 在线阅读下载PDF 职称材料

评本格对辩证法否定观的批判: 7; 作者李秀敏《内蒙古社会科学》 CSSCI 北大核心 2004年第3期63-66,共4页; 通过解析逻辑否定与辩证否定的区别及辩证否定观的真实内涵,本格对辩证否定提出质疑,认为辩证否定存在困难。从本格对辩证否定的批判,可以看出其出发点就存在对辩证法的误解。如本格认为,"一个给定性质的反性质是不具有这种性质&qu... 展开更多; 关键词辩证否定逻辑否定整体演化哥德尔不完全性定理; 在线阅读下载PDF 职称材料

通向哥德尔之路: 8; 作者克里普克徐召清《哲学分析》 2013年第3期152-163,199,共12页; 哥德尔不完全性定理是思想史近乎必然的结果,而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。首先,集合论悖论的存在表明,不受限制的概括公理模式是不一致的,而这足以得出不完全性定理的非构造性证... 展开更多; 关键词集合论悖论语义悖论哥德尔不完全性定理; 在线阅读下载PDF 职称材料

从形式系统的整体性看法规: 9; 作者孔晓明《现代哲学》北大核心 1996年第4期122-124,共3页; 形式系统的整体性一般包括公理独立性、一致性和完全性,另外还有层次性的问题。独立性是指各公理间的不可推演性;一致性是指它们会不会导致矛盾的性质;完全性是指系统内的公理加推演规则能否演绎出系统内的所有定理的性质;层次性则要求... 展开更多; 关键词形式系统法规层次性完全性定理自然语言公理独立性对象语言形式语言系统层次社会现象; 在线阅读下载PDF 职称材料

题名哥德尔不完全性定理与人类对创造性的追求——侯世达对哥德尔不完全性定理哲学意蕴的阐释被引量：2: 1; 作者冯晶杨永良; 机构山东财经大学外国语学院山东师范大学外国语学院; 出处《理论学刊》 CSSCI 北大核心 2012年第12期73-75,共3页; 文摘哥德尔不完全性定理涉及人类理性、思维规律并被广泛应用于数学、哲学、语言学、心理学、人工智能等各个领域。因此,围绕着对其哲学意蕴的理解,在上述各个领域都爆发了激烈的争论。美国科学家霍夫斯塔特(即"侯世达")认为,包括理性认识和艺术创造在内的人类智慧在其形式化方面都是受到限制、有其边界、不可完全的,而其不完全性则意味着需要创造和创造性,需要突破现有界限,同时也意味着进行这种自由创造的无限可能性。; 关键词哥德尔不完全性定理理性的边界侯世达创造性; 分类号 B5 [哲学宗教—外国哲学]; 在线阅读下载PDF 职称材料

题名哥德尔不完全性定理和“心灵与机器”的关系问题被引量：3: 2; 作者刘大为孙明湘; 机构华南师范大学公共管理学院中南大学哲学系; 出处《中南大学学报（社会科学版）》 2009年第6期733-738,817,共7页; 文摘一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。; 关键词哥德尔不完全性定理一致性可证心灵与机器关系; Keywords Gdel＇s incompleteness theorem consistency provable mind-machine relationship; 分类号 B81-05 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名基于直觉主义对哥德尔不完全性定理的评论——从维特根斯坦的评论开始被引量：3: 3; 作者庄朝晖; 机构厦门大学信息科学与技术学院; 出处《厦门大学学报（哲学社会科学版）》 CSSCI 北大核心 2008年第2期77-84,共8页; 文摘维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的对角线证明方法是不适当的,因为在证明中基于可数集定义的康托尔数是一直处于构造之中的,而且可数集与康托尔数的展开是相互追随的。证明中的矛盾不是来自前提错误,而是来自不正当的对康托尔数的定义和使用。同样,哥德尔定理证明中得到的矛盾是来源于哥德尔对哥德尔公式的不正当定义和使用。这一结论还可以推广到递归函数和图灵机这些等价的计算模型。; 关键词哥德尔不完全性定理对角线方法直觉主义维特根斯坦; Keywords Goedel＇s Incompleteness Theorem, the diagonalization method, intuitionism, Wittgenstein; 分类号 O14 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名对不完全性定理的深度的分析被引量：1: 4; 作者程勇; 机构武汉大学哲学学院; 出处《哲学分析》 CSSCI 2021年第6期137-155,193,共20页; 基金国家社科基金一般项目“不完全性的限度及其内涵性问题研究”(项目编号:18BZX131)阶段性成果。; 文摘基于当前文献中对数学深度的研究,并没有一个判断给定数学定理是否深刻的被广泛接受的一般标准。不完全性定理被广泛认为是逻辑领域“深刻”的数学定理。将不完全性定理作为研究数学定理深度的一个案例,其深度的问题可从两个方面加以研究:刻画不完全性定理的深度的标准是什么,如何基于这些标准论证不完全性定理的深度。基于文献中最新的研究成果,可提出三个刻画不完全性定理深度的标准:成果的影响力、结论的丰富性、理论的统一性;基于这三个标准,不完全性定理的深度可得到论证。; 关键词不完全性定理数学深度不完全性的限度内涵性问题; Keywords the incompleteness theorem mathematical depth the limit of incompleteness the intentionality problem; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名标准模态逻辑的判定方法和完全性: 5; 作者任秋云陶景侃; 机构兰州大学哲学系; 出处《兰州大学学报（社会科学版）》 CSSCI 1993年第3期62-70,共9页; 文摘本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。; 关键词语义图完全性定理规则模态逻辑判定公式当且仅当公理模型系统作图; 分类号 C55 [社会学]; 在线阅读下载PDF 职称材料

题名AI推理:从沉寂走向新生: 6; 作者陈小平; 机构中国科学技术大学机器人技术标准创新基地中国科学技术大学计算机学院; 出处《智能系统学报》 CSCD 北大核心 2021年第2期I0001-I0001,共1页; 文摘推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含着一个猜想:任何推理都是图灵机可计算的。在此基础上,1950年图灵提出了图灵假说:推理、决策、学习、理解和创造都可以用图灵机实现。图灵测试是图灵假说的一种检验手段,不是人工智能的定义。; 关键词递归函数人工智能不完全性定理图灵机哥德尔检验手段图灵测试 AI; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名评本格对辩证法否定观的批判: 7; 作者李秀敏; 机构南京大学哲学系; 出处《内蒙古社会科学》 CSSCI 北大核心 2004年第3期63-66,共4页; 文摘通过解析逻辑否定与辩证否定的区别及辩证否定观的真实内涵,本格对辩证否定提出质疑,认为辩证否定存在困难。从本格对辩证否定的批判,可以看出其出发点就存在对辩证法的误解。如本格认为,"一个给定性质的反性质是不具有这种性质","事物仅有肯定性质",这都说明他对肯定性质和否定性质同时存在的不理解。可以说在辩证法中,如没有否定性质,也一定没有肯定性质,因为这两种性质是存在于同一个统一体中,离开了整体观分析辩证法,只能是对辩证法的错误认识。; 关键词辩证否定逻辑否定整体演化哥德尔不完全性定理; 分类号 B712.59 [哲学宗教—外国哲学]; 在线阅读下载PDF 职称材料

题名通向哥德尔之路: 8; 作者克里普克徐召清; 机构普林斯顿大学纽约城市大学研究生中心四川大学公共管理学院; 出处《哲学分析》 2013年第3期152-163,199,共12页; 基金国家社科基金重点项目“描述论和直接指称论之争--回顾、批判与建构”(项目编号:12AZX008)和“分析哲学若干基本理论问题新探”(项目编号:12AZD072)的阶段性成果; 文摘哥德尔不完全性定理是思想史近乎必然的结果,而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。首先,集合论悖论的存在表明,不受限制的概括公理模式是不一致的,而这足以得出不完全性定理的非构造性证明。其次,每个关于属于关系的集合论悖论都可以转化为关于满足关系的悖论,再通过满足到真的归约转化为语义悖论,这恰好是哥德尔句的形式:"对自身不可证"对自身不可证。; 关键词集合论悖论语义悖论哥德尔不完全性定理; Keywords set theory paradox semantic paradox Gdel’s incompleteness theorem; 分类号 B812 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名从形式系统的整体性看法规: 9; 作者孔晓明; 机构中共广州市直属机关党校; 出处《现代哲学》北大核心 1996年第4期122-124,共3页; 文摘形式系统的整体性一般包括公理独立性、一致性和完全性,另外还有层次性的问题。独立性是指各公理间的不可推演性;一致性是指它们会不会导致矛盾的性质;完全性是指系统内的公理加推演规则能否演绎出系统内的所有定理的性质;层次性则要求系统层次分明,由分层本身不导致悖论。一个意义完整的法规与形式系统有着本质的不同。首先,法规无所谓公理;其次,法规中不仅仅有陈述句,更多的是规范句;再者,法规条文使用容易产生歧义的自然语言。; 关键词形式系统法规层次性完全性定理自然语言公理独立性对象语言形式语言系统层次社会现象; 分类号 D90 [政治法律—法学理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	哥德尔不完全性定理与人类对创造性的追求——侯世达对哥德尔不完全性定理哲学意蕴的阐释	冯晶杨永良	《理论学刊》 CSSCI 北大核心	2012	2	在线阅读下载PDF 职称材料
2	哥德尔不完全性定理和“心灵与机器”的关系问题	刘大为孙明湘	《中南大学学报（社会科学版）》	2009	3	在线阅读下载PDF 职称材料
3	基于直觉主义对哥德尔不完全性定理的评论——从维特根斯坦的评论开始	庄朝晖	《厦门大学学报（哲学社会科学版）》 CSSCI 北大核心	2008	3	在线阅读下载PDF 职称材料
4	对不完全性定理的深度的分析	程勇	《哲学分析》 CSSCI	2021	1	在线阅读下载PDF 职称材料
5	标准模态逻辑的判定方法和完全性	任秋云陶景侃	《兰州大学学报（社会科学版）》 CSSCI	1993	0	在线阅读下载PDF 职称材料
6	AI推理:从沉寂走向新生	陈小平	《智能系统学报》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
7	评本格对辩证法否定观的批判	李秀敏	《内蒙古社会科学》 CSSCI 北大核心	2004	0	在线阅读下载PDF 职称材料
8	通向哥德尔之路	克里普克徐召清	《哲学分析》	2013	0	在线阅读下载PDF 职称材料
9	从形式系统的整体性看法规	孔晓明	《现代哲学》北大核心	1996	0	在线阅读下载PDF 职称材料