不完全性定理相关论文
<正> 由中国逻辑学会符号逻辑研究会、中国社会科学院哲学研究所、上海社会科学院哲学研究所和苏州市逻辑学会联合主办的全国哥德......
基于当前文献中对数学深度的研究,并没有一个判断给定数学定理是否深刻的被广泛接受的一般标准.不完全性定理被广泛认为是逻辑领域......
Godel不完全性定理的发表,是本世纪以来数学领域中所取得的重大成就之一,对数学基础的研究起了巨大的推动作用。这一定理的证明和......
设想一下,如果不许你和电脑接触,哪怕是一个星期的时间,会是什么感觉呢?从我们这一代开始,从诱惑我们跳入因特网冲浪开始,计算机......
希尔伯特规划的原初目的是为无穷数学辩护,然而为哥德尔不完全性定理所挫。反推数学的根本目标是为数学命题找寻能够证明它的下限......
哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑......
哥德尔的不完全性定理、埃舍尔的诡异版画、巴赫的天籁之曲……如果有一本书可以与之相提并论的话，那就是道格拉斯·霍夫斯塔特教授......
1东西方对数学本质的认知差异 数学家们一般认为： 数学的本质是经验性和演绎性的辩证统一. 数学源于生活，如计算时间、分配物品、......
由美国学者侯世达(Douglas R.Hofstadter)撰写的《哥德尔、艾舍尔、巴赫》(Cdef,Escher,Bach)一书,于1979年面世。当时即受到科......
哥德尔──当代最伟大的逻辑学家胡作玄哥德尔的名字可以说是尽人皆知了，由于他在逻辑方面的工作以及它对计算机科学的影响，使他声誉......
阿伯丁火车站的邂逅 1944年夏天,美国到处洋溢着轻松的气氛。盟军在诺曼底登陆,希特勒的覆灭已成定局,日军也节节败退。看来,结束......
该文是对Godel不完全性定理的较为全面的概括和总结,文中介绍了各种形式的不完全性定理以及相应的不判定公式,它既包括了前人的成......
该文首先简要介绍了逻辑学家哥德尔的生平、不完全性定理的梗概以及国内对此定理的研究情况,继而给出了不完全性定理的一个简单的......
当我们论及库尔特·哥德尔其人在逻辑学中的地位时，我们往往认为他是与亚里士多德以及莱布尼茨相齐名的人物。他的两条不完全性定理......
本文主要分为三个部分：第一部分将简单介绍不完全性定理的历史来源以及证明不完全性定理的大致思路,这部分基础性的知识主要是为后......
哥德尔不完全性定理与悖论有着耐人寻味的不解之缘。涉及描述自身规定的悖论本身就是描述边界的界碑,此界碑表明了形式系统本身的......
本文首先介绍了Ｇｏｄｅｌ的不完全性定理不可判定的概念。其次指出在二阶的标准分析模型Ｍ中，普遍存在不可判定的积分公式，如Ａ６：∫＾＋∞ｓｉｎｔｄｔ＝１等。第三，本文介......
<正> 近一年多来,《国外社会科学》杂志发表了杨熙龄同志的几篇数理逻辑评介文章(以下简称"龄文").龄文主要作了一阶逻辑和理论某......
【正】 这篇文章的主题是说明这样一种方法,就是用亚里士多德首先研究并称为模态逻辑的一个古代的逻辑分支来阐明一个现代的逻辑分......
<正> 逻辑学是一门古老的科学,在很长的历史时期内,发展缓慢;但近一百年来得到了迅速的发展。人们通常把近一百年来迅速发展起来的......
<正> 对待悖论,西方存在两种对立的观点。一种是从形式逻辑的视角出发,以逻辑的矛盾律为中心,坚持世界是协调的,即无矛盾的;矛盾只......
<正> 杨英锐同志评论了几篇拙文中有关哥德尔"不完全性定理"的介绍和论述.这儿先略谈杨文中提出的第二个问题.第一个问题比较单纯,......
本文试根据哥德尔的不完全性定理,把形式系统的局限性引申至人类理性之中,论述了人类理性的局限性,继而提出一种我们对待理论的态......
通过对哥德尔不完全性定理的证明语境和证明思维过程进行分析,可以从四个方面揭示出哥德尔思维方式的辩证性。这四个方面分别是:概......
哥德尔不完全性定理涉及人类理性、思维规律并被广泛应用于数学、哲学、语言学、心理学、人工智能等各个领域。因此,围绕着对其哲......
数学是不可完全的———哥德尔的哲学手稿刘晓力摘要数学的不可完全性是哥德尔不完全性定理揭示的深刻的数学本质。由此引发的哲学......
哥德尔不完全性定理在科学推理,特别是在通过有限步骤的手段而达到对无限的认识和把握中,具有重要的方法论意义,它启示人们对前提......
“电脑是否可代替人脑”、“人心是否胜过计算机”？这是当代心灵哲学家最为热衷的迹题，另有一批具有数理背景的科学家和哲学家很难抵......
