哥德尔不完全性定理相关论文
受哥德尔不完全性定理的启示，塔斯基提出了著名的算术真之不可定义性定理（常称为“塔斯基定理”）：任何一个形式语言，如果它丰富到足以包......
本文对非完整算法与算法试金石的积极作用进行了探讨。文章围绕哥德尔不完全性定理及其意义、NP完全理论(NP难度问题)及其意义、希......
悖论是一个语言的旋涡.“纵观整个思想史,悖论一直是哲学家头痛的问题--自集合论出现之后,它也成了令数学家头痛的问题.”[1]它如......
哥德尔不完全性定理是思想史近乎必然的结果，而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。......
对角化原则在数理逻辑与集合论中有广泛的应用．作为一项重的证明方法，它不仅在阐明悖论、证明Cantor定理时提供了形式化手段，而且为哥......
哥德尔不完全性定理是思想史近乎必然的结果,而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述......
文章认为,蕴涵关系＂P→Q＂基于命题P与Q的真值约定是不可取的,而应该将其定义为有效推理,这样不但可以解决通常所谓的蕴涵怪论,更可以......
本文用哥德尔不完全性定理研究法律系统，得出“法律完全性”是悖论，“法律漏洞”是这一悖论的现实表现这样的结论；塔尔斯基语言层次论......
"从一个矛盾出发,结果可以是任何东西"这个所谓的"万能定理",在根本上就违反了逻辑推理的可靠性原则要求,而哥德尔不完全性定理与......
数学命题的证明在结构上必然存在某种预设性,在其论证过程中必然存在逻辑空隙。数学推理在所采用的逻辑工具和方法上并非无懈可击,......
【正】 一九八二年,我参加了在北京召开的全国文科数理逻辑教学和科研讨论会。为促进我国逻辑学的现代化,会上由北大教授晏成书介......
卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论......
<正>对角线方法是指德国学者康托尔 ( G. Cantor) 在证明实数集不可数时所运用的一种技术方法。在这种意义上,康托尔的实数集不可......
一个不弱于初等数论的形式系统如果是一致的,则是不完全的。哥德尔不完全性定理明确揭示和证明自己把握“真”的能力限度。在这一......
哥德尔不完全性定理揭示了人类思维深层次的逻辑矛盾,是法律不完全性(即法律漏洞)产生的深层次根源;语言自涉理论是解释悖论产生的......
<正>擅写短诗的古希腊诗人卡利马科斯(Callimachus)曾言道:"一部大书便是一项大罪。1"1959年,英国哲学家罗素(Bertrand Russell)在......
借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不......
二十世纪哲学领域里发生的“语言转向”，对哲学研究的对象、方法以及哲学论著的风格，产生了极其重大的影响，使它们发生了根本性的变化......
面对集合论中存在的悖论,罗素、布劳威尔、希尔伯特等数学大师各自提出了不同哲学主张和解决方案,展开了激烈的争论,形成了逻辑主......
通过分析基于哥德尔不完全性定理的挑战,认为其对计算主义的批判是不成立的.虽然哥德尔 不完全性定理确实可以打击形式系统,但却并......
一直以来,康托尔对角线法总是与反证法密不可分,然而反证法并不如通常看得那样简单。文章从操作主义的观点,针对反证法提出了几点......
哥德尔不完全性定理第一次破天荒地分清了数学中"真"与"可证"是两个完全不同的概念,揭示了形式化方法不可避免的局限性。对于偶数......
哥德尔定理现在似乎已经越出了数学基础和哲学的范畴而在“当代”的日常数学研究中苏醒过来了。......
自我相关命题、说谎者悖论和哥德尔不完全性定理陈慕泽（中国人民大学哲学系）一家商店失窃了一颗名贵的钻石。两个职员涉嫌被调查。职......
一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、......
哥德尔不完全性定理是20世纪逻辑和数学史上的一座里程碑,必在哲学上引发巨大的思考空间和反思力度。首先,既然"真"与"可证"不能等......
维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的......
1931年,当哥德尔的不完全性定理发表后,举世震惊和赞叹。然而几乎和哥德尔同时代的20世纪最伟大的哲学家维特根斯坦却在此时发表了......
通过解析逻辑否定与辩证否定的区别及辩证否定观的真实内涵,本格对辩证否定提出质疑,认为辩证否定存在困难.从本格对辩证否定的批......
