哥德尔定理相关论文
近来,彼得·斯莱扎克(PeterSlezak)的《笛卡尔的对角演绎》(Descartes’sDiagonalDe—duction)和戴维·多伊奇(DavidDeutsch)的《量......
<正> 在人类各种认识方式中,科学与哲学之间鲜明而巨大的差异相当引人注目。科学讲究明确、清晰、严密甚至数学化,它的任何理论都......
在对数学的哲学基础研究中,20世纪通常说来有三大流派:逻辑主义、形式主义和直觉主义。但在哥德尔定理出现以后,一致性问题给逻辑主义......
在符合论真理、有用即是真理、逻辑自洽即真理和充足理由的真理等多种形式的真理观中,克尔凯郭尔认为真理是内心性、建设性和生成......
读了中国数学家齐民友的《数学与文化》一书,懂得了“没有现代的数学就不会有现代的文化”的道理。《数学与文化》全书分为三章,分......
在数学思想、内容与方法的历史性变革过程中,数学真理的现代性开始发生转向,逐步表现出一些后现代特征:数学真理从追求形而上学的......
随着我国高校就业指导工作的不断深入,对就业指导发展方向与改革措施的研究日趋成熟。其中,“高校就业指导与培养系统一体化”及就业......
本文力图用现代公理化方法来描述马克思的价值形式理论,使马克思所正确阐明的过程成为一个自洽和自足的形式系统,并引申出价值原则......
从现代解释学论证说明《山海经》的成书年代早于《禹贡》,说明该书为什么是一本原始社会的巫术百科全书,作为巫家“类书”的《山海经......
【正】在科学研究成果中?大多数是肯定性结果,但也有少数否定性结果。如“四次以上代数方程没有一般公式解法”;“第一、二类永动......
在前期研究的基础上,进一步讨论了康托对角线法及实数集的可数性问题,并给出了一个证明。同时对区间套法,康托定理,哥德尔定理,选择公理......
投票是群体选择采用的常用方法。但是在加总群体偏好中,会出现孔多塞悖论和不同投票程序之间的不自洽.其实,孔多塞悖论可以通过设置“......
在前期一系列论文的基础上,提出康托对角线法以及区间套法在证明实数集合不可数过程中的明显逻辑问题,其本质是反证法在这个具体的......
【正】 传统哲学家认为,人类用以再现世界的思维框架是完备的、一元的、连续的(或可比的),笔者认为,认识观是不完备的、多元的、不......
【正】50年代末,人工智能刚刚诞生不久,便在语言翻译、模式识别等领域取得初步成功。包括西蒙在内的一大批不同学科领域的专家都满怀......
<正> 目前,在西方的数理哲学研究中,虽然逻辑主义、形式主义和直觉主义这三大学派之间的讨论还没有结束,而且看来一时不会结束,但......
数学的发展从来不是一帆风顺的,每次数学危机都触及到了数学基础的牢固性与否的问题.而伴随着数学危机的发生,数学哲学往往也获得了很......
用数学思想研究社会改革所面临的社会悖论问题、公平与效率问题、人口问题,可分别找到这样的解决问题的思路:从高层次找出路;"系统......
<正> 柳岑(本刊编辑):倪培民先生,在当今中西哲学的比较中,不少学者发觉两种哲学虽然有很大的差异,却有一种互补性,他们试图把两......
【正】 帕克在《艺术的性质》中说:“一切哲学艺术都有一个共同的假设,就是不论诸门艺术在形式和内容上如何相异,其中都存在着一种......
哥德尔定理揭示了在形式系统中,首先,系统的完全性与一致性是难以兼容的,其次,系统的一致性在本系统内是无法得到证明的.这两个结......
从本世纪中期持续至今的关于康德的先验论证的讨论再一次证实了这一哲学遗产的艰深与价值。康德的先验论证系统是内在性,明示性和构......
【正】 本世纪最伟大的数学家之一,奥地利的哥德尔,1931年在《论“数学原理”及有关系统中的不可判定命题》一文中,首次提出并阐述......
用哥德尔定理解读美本质,以逻辑推理方式,论证了没有千古不变的美本身,确证了美本质的开放性及美学的合法性.......
在任何给定的严格的公理集中,存在着我们不能根据这些公理本身加以证明或反证的陈述。因此,我们决不能肯定一个系铳——一个模型—......
<正> 目前欧美比较著名的逻辑学史大约有四五种,其中比较流行的有天主教多明我会教士I.M.波汉斯基(Boche?ski)的《形式逻辑史》和......
数学认识论的进步日益显示出数学作为人类的一种文化建构的本质。现代性视域下的主体性观念有其自身的缺陷。数学知识观的演变赋予......
<正> 哲学有一个古老的信念:哲学是(应该是)完备的,哲学家们或者确信自己的哲学是完备的,或者相信有可能存在一种完备性哲学。这......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
【正】 1、人道主义在欧洲文化史的造山运动中,隆起三座精神高峰:晨曦和霞蔚流丽下的文艺复兴、启蒙运动,地火与风雪交冠的法国大......
<正> 本文只讨论数学悖论(也即逻辑悖论),而不讨论语义学悖论。 1902年,罗素(Russell·B·)揭示出集合论的一个悖论,这直接触及数......
说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把"自指代命......
就陈慕泽先生对《禁止使用自指代命题》关于哥德尔不完全性定理的质疑提出的批驳做出回应。认为陈先生回避要害,无视作者对哥德尔......
本文主要从分析哥德尔定理及其逻辑思想出发,来探讨中国禅宗中所蕴涵的元逻辑思想。这种思想,就是在《金刚经》、《坛经》及众多禅......
应把“自指代命题”从“自指命题”中区分出来,前者违反同一律,作代换还可能违反矛盾律,因此禁止使用自指代命题。对内容不明的自......
本文在对目前流行的几种检察权定位问题进行理性分析的基础上,指出了现行几种学说的逻辑错误,并进而通过对我国历史上具有特色的独......