哥德尔相关论文
本文旨在讨论语言和语言行为，并遵循三条脉络。第一条脉络是布尔巴基学派结构主义，其中引入了语言，特别是科学语言中的句法/语义双腿......
一 一九七九年，一本叫作GEB（G?del， Escher， Bach： An Eternal Golden Braid，中译《哥德尔，艾舍尔，巴赫：集异璧之大成》）的奇书横空出世。......
顾维桢先生在《捕风捉影说思维》中把深奥的数理逻辑问题用浅显的日常用语表达出来，很了不起。只是在国内专业工作者看来，有些译名不......
数学的发展源远流长,从古至今人们一直在追问数学是什么?数学的对象是什么?在20世纪针对这些数学基础问题的探讨中,哥德尔与当时的......
金岳霖先生（1895-1984）是在现代中国拥有自己完整学术体系的少数哲学家之一，凭着《论道》、《知识论》和《逻辑》三本著作，奠定了他在......
哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑......
哥德尔的不完全性定理、埃舍尔的诡异版画、巴赫的天籁之曲……如果有一本书可以与之相提并论的话，那就是道格拉斯·霍夫斯塔特教授......
当花蕾先生宣告他用一种极简单的方法证明了“电脑有无意识？”这个让许多学者感到头痛的问题时(见《读书》一九九六年第七期)，他有些......
机器能否会思维？这一问题在今天越来越凸现出其深刻的哲学底蕴。什么是思维？什么是人工智能？什么是精神？精神服从物理定律吗？物理定律是......
约书亚·司哥德尔是美国芝加哥大学英语系和比较文学系教授、比较文学系主任,出版论著有《英国诗歌的墓志铭:怀念与冲突(从琼生到......
中国古人讲人生三不朽，太上有立德，其次有立功，复次有立言，不仅明确划分了其中递进的境界，还以三者兼得为人生至善至美之境。今之人也有......
2月8日是冯·诺依曼逝世60周年的日子,他是20世纪最重要的数学家之一,在现代计算机、博弈论、核武器和生化武器等诸多领域内有杰出......
20世纪的计算革命导致了计算机和生物学交叉的前沿学科——人工生命的诞生。它以计算机为工具 ,力图在计算机或现实世界中创造出具......
该文首先简要介绍了逻辑学家哥德尔的生平、不完全性定理的梗概以及国内对此定理的研究情况,继而给出了不完全性定理的一个简单的......
当今,一般认为哲学理论与逻辑、数学以及其他科学理论处于不同的层面。哲学理论与其他具体学科理论之间并没有必然的逻辑联系。而......
数学在人类两千多年的文明史中扮演了重要的地位。到今天,数学的发展已经远远超出了普通人的想象。但是关于数学的一些哲学上的问......
本文主要分为三个部分：第一部分将简单介绍不完全性定理的历史来源以及证明不完全性定理的大致思路,这部分基础性的知识主要是为后......
库尔特·哥德尔(Kurt G(o)del)(1906-1978),奥地利数学家和逻辑学家.他是一个被爱因斯坦认为堪与其并肩的智慧巨人.......
一rn2006年4月28日是伟大的逻辑学家、数学家和哲学家库尔特·哥德尔(Kurt Gdel,1906～1978)诞辰100周年纪念日,国际学术界纷纷举......
哥德尔(Kurt Godel)自1959年起开始系统研读胡塞尔(Edmund Husserl)哲学并曾给予高度评价,晚年他还向逻辑学家们推荐胡塞尔的著作.......
哥德尔不完全性定理与悖论有着耐人寻味的不解之缘。涉及描述自身规定的悖论本身就是描述边界的界碑,此界碑表明了形式系统本身的......
塔斯基宣判"自然(日常)语言"死刑,是因为他发现它内含"矛盾被证".塔斯基误把自己犯的"矛盾定义"谬误"迁怒"、"归罪"于语言本身,所......
在真语句指称什么这个问题上,罗素和弗雷格的观点并不一样,前者认为真语句对应着事实,而后者则认为所有的真语句都指称真。丘奇、......
哥德尔对连续统问题的独立性的柏拉图主义回应作为一种"厚实在论"招致麦蒂(Penelope Maddy)的一个批评。作为一种可能的替代,麦蒂......
集异璧-GEB,是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀.《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有......
哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法，该法简明扼......
一个（图灵）理想，是满足两个封闭条件的图灵度集合：向下封闭；任意，中一对图灵度的上确界也在，中。可数理想不仅在图灵度整体性质的研究中有......
<正> 传统逻辑主要研究性质判断及其推理,没有发展关系理论。虽然古希腊的亚里士多德、古罗马的盖伦,以及欧洲中世纪的经院学者都......
本文以哥德尔的平行论为线索讨论哥德尔的数学哲学,辨明它所包含的一些困难,并指出修正哥德尔的数学哲学以避免这些困难的一个可能......
普遍数学思想从笛卡尔时代开始就一直贯穿了数理逻辑体系以及后世哲学的发展。笛卡尔在论述几何学和代数学相结合从而形成坐标系的......
赵晓生教授的专著《时空重组:巴赫平均律键盘曲集新解》(上海音乐出版社,(上)2005年,(中)、(下)2008年),为多年来早已波澜不惊的巴......
假句(包括矛盾句)存在于语言里是合法合理的."层级"论将存有"矛盾被证"的自然语言宣判"死刑",是把人(语言使用者)的逻辑犯规归罪于......
集合论是现代数学的基础,创立至今已有百年之久。它的产生与发展几经曲折,目前尚有一些重大问题来获彻底解决。《集合论——简史与......
<正>侯世达定律(Hofstadter’s Law)"做事所花费的时间总是比你预期的要长,即使你的预期中考虑了侯世达定律"。"侯世达"是Douglas ......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
本文讨论哥德尔吉布斯演讲中针对物理主义的一个论证，我们称之为“哥德尔析取式论证”（GDA）。除了强调GDA是一个值得分析哲学家重视的......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
对于逻辑是什么,有两种相互冲突的立场：当代哲学中流行的看法是逻辑是纯形式的,逻辑命题没有事实内容;而在弗雷格和哥德尔那里,逻辑......
<正> 逻辑学是一门古老的科学,在很长的历史时期内,发展缓慢;但近一百年来得到了迅速的发展。人们通常把近一百年来迅速发展起来的......
