哥德尔不完全性定理与人类对创造性的追求——侯世达对哥德尔不完全性定理哲学意蕴的阐释

发布时间：2017-07-29 23:08

  本文关键词：哥德尔不完全性定理与人类对创造性的追求——侯世达对哥德尔不完全性定理哲学意蕴的阐释

  更多相关文章： 哥德尔 不完全性定理 理性的边界 侯世达 创造性

【摘要】：哥德尔不完全性定理涉及人类理性、思维规律并被广泛应用于数学、哲学、语言学、心理学、人工智能等各个领域。因此,围绕着对其哲学意蕴的理解,在上述各个领域都爆发了激烈的争论。美国科学家霍夫斯塔特(即"侯世达")认为,包括理性认识和艺术创造在内的人类智慧在其形式化方面都是受到限制、有其边界、不可完全的,而其不完全性则意味着需要创造和创造性,需要突破现有界限,同时也意味着进行这种自由创造的无限可能性。
【作者单位】： 山东财经大学外国语学院;山东师范大学外国语学院;
【关键词】： 哥德尔 不完全性定理 理性的边界 侯世达 创造性
【分类号】：B812
【正文快照】： 一、哥德尔不完全性定理的诞生在国际数学界因“康托尔悖论”等语形悖论而引发了第三次危机之后的1931年,美籍奥地利数学家库尔特·哥德尔(Kurt G錸del,1906-1978年)发表了题为《论〈数学原理〉及相关系统的形式不可判定命题》的论文,在该论文中他证明了:“一个包含初等数论

【共引文献】

中国期刊全文数据库 前10条

1 黄展骥!深圳市太白03邮箱518019;“赋值”与“非赋值”平分秋色?——评克里普克的“悖论观”[J];安徽大学学报(哲学社会科学版);1999年05期

2 李志昌;论递归方法的实质和普遍意义[J];楚雄师专学报;2000年01期

3 刘社军;也谈“可能世界”之定义问题[J];广西大学学报(哲学社会科学版);1997年03期

4 何华灿,刘永怀,何大庆;经验性思维中的泛逻辑[J];中国科学E辑;1996年01期

5 程显毅,邵应清;推理与第四次数学危机[J];江苏理工大学学报;1998年05期

6 罗翊重;对形式逻辑和内容逻辑之对象论的数理分析——兼论现代哲学逻辑的发展趋势[J];昆明师范高等专科学校学报;2004年03期

7 张晓芒;略论问句的逻辑合理性问题[J];南开学报(哲学社会科学版);2002年06期

8 孙卢东;肖东生;;论风险的产生及风险复杂性的根源[J];南华大学学报(社会科学版);2006年01期

9 樊明亚;假话、谎话与反话的逻辑分析[J];上饶师范学院学报;1999年04期

10 凌德祥;论悖论的基础及其理论意义[J];学术交流;1990年03期

中国博士学位论文全文数据库 前2条

1 郭元林;复杂性科学知识论[D];中国社会科学院研究生院;2003年

2 张本祥;不可计算复杂性的机理与意义[D];华南师范大学;2006年

中国硕士学位论文全文数据库 前6条

1 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年

2 琚凤魁;塔斯基关于类演算语言的真句子定义[D];四川大学;2005年

3 李爱仙;特异水稻的细胞胚胎学研究及其杂交后代的遗传分析[D];四川农业大学;2005年

4 曾柱;论虚概念[D];广西师范大学;2007年

5 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

6 赵荣盛;博弈逻辑中局中人有限理性研究[D];广西师范大学;2008年

【相似文献】

中国期刊全文数据库 前10条

1 贾国恒;;哥德尔不完全性定理评析[J];天中学刊;2008年02期

2 温邦彦;;也谈正确理解哥德尔不完全性定理——与陈慕泽先生商榷[J];重庆工学院学报(社会科学版);2009年04期

3 李慧华;;自指、悖论与哥德尔定理[J];贵州大学学报(社会科学版);2010年02期

4 温邦彦;;禁止使用自指代命题——说谎者悖论的排除和哥德尔定理的讨论[J];安徽大学学报(哲学社会科学版);2006年05期

5 刘壮虎;;哥德尔不完全性定理研讨会在苏州召开[J];哲学动态;1990年12期

6 温邦彦;;说谎者悖论的排除和哥德尔定理的质疑[J];重庆工学院学报(社会科学版);2008年03期

7 甘进;张学立;;厘清形式系统的几个概念[J];昆明学院学报;2010年05期

8 W.V.O.蒯因,孙伟平;论现代逻辑的应用[J];湖南科技大学学报(社会科学版);2005年05期

9 罗翊重;;对哥德尔定理的辩证逻辑形式化解读[J];昆明学院学报;2011年04期

10 倪培民 ,柳岑;关于研究“矛盾”的现代哲学价值的对话——信访留美哲学博士生倪培民[J];社会科学;1989年05期

中国重要会议论文全文数据库 前4条

1 罗翊重;;从辩证逻辑形式化视野看哥德尔定理[A];中国思维科学研究论文选2011年专辑[C];2012年

2 刘晓力;;人工智能的逻辑极限[A];2001年逻辑研究专辑[C];2001年

3 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年

4 ;书讯[A];1996年逻辑研究专辑[C];1996年

，

本文编号：591486