哥德尔的辩证思维与不完全性定理证明 - 重庆理工大学学报.pdf

哥德尔的辩证思维与不完全性定理证明 - 重庆理工大学学报.pdf

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
哥德尔的辩证思维与不完全性定理证明 - 重庆理工大学学报

重庆理工大学学报(社会科学)  2011年第25卷第9期 逻辑学与科学方法论 JournalofChongqingUniversityofTechnology(SocialScience)Vol.25No.92011 哥德尔的辩证思维与不完全性定理证明 林世芳 (福建医科大学 人文学院,福州 350008) 摘要:通过对哥德尔不完全性定理的证明语境和证明思维过程进行分析,可以从四个方面揭示 出哥德尔思维方式的辩证性。这四个方面分别是:概念的相互隶属、问题的嬗变、系统与系统的 同构转换以及悖论结构的转换和利用。 关键词:哥德尔;不完全性定理;辩证思维 中图分类号:B800    文献标识码:A 文章编号:1674-8425(2011)09-0015-04   辩证思维方式是从联系、运动、变化和发展的 学能力和哲学的辩证思维素养,这使他总能创造 观点来理解和把握事物及其概念的,它反对孤立、 性地发现数学结构之间的相互联系和相互隶属的 片面、静止和形而上学的观点。恩格斯指出:“辩 关系,并成功进行系统间、关系间、概念间以及问 证逻辑和旧的单纯形式的逻辑相反,不像后者那 题之间的转换与化归。 样只满足于把思维运动的各种形式,即各种不同 的判断形式和推理形式列举出来并且毫无联系地 一、概念的相互隶属 并列起来。相反地,辩证逻辑由此及彼地推导出 这些形式,不把它们并列起来,而使它们互相从 数学概念是从事数学思维的工具,概念构架 [1] 属,从低级形式发展出高级形式。” 数学中的概 是数学理解的工具,是数学家用以对他所探索的 念与命题是相互联系的,这种相互联系是具体的、 世界做出理解的方法。恩格斯指出,辩证思维是 [1] 抽象的,也是深刻的,并不能轻易地被发现,需要 “以概念本身的本性的研究为前提” 的。辩证思 发现者非凡的想象力和逻辑推理能力。逻辑学家 维方式不是从概念和符号的绝对对立中去思维, 柯琴是这样评价哥德尔不完全性定理的证明的: 而是承认概念的内在矛盾性,概念之间的矛盾和 “这个证明的两面性也反映出哥德尔头脑里某些 关系的多层次性,从对立、差异特殊性、多样性即 本质性的东西,狂野的想象力同单调的循规蹈矩 在对立统一中去思维。恩格斯指出:“所有的两极 结合在一起。”每一个证明都有特定的逻辑结构, 对立,都以对立的两极的相互作用为条件;这两极 该结构是一个相互联系的系统。杰出的瑞士学者 的分离和对立,只存在于它们的相互依存和联结 皮亚杰在《结构主义》一书中将结构的整体性、转 之中,反过来说,它们的联结,只存在于它们的分 换和自身调节性紧密联系在一起。他认为各种结 离之中,它们的相互依存,只存在于它们的对立 [1] 构都有自己的整体性,结构是可以形式化的,然而 之中。” 一项起结构作用的活动,只能包含在一个转换体 概念的辩证本质表现在概念的相互依赖、对 系里面进行,“结构最重要的是要成为一个若干转 立与统一,一个概念向另一个概念的转化,概念的 换的体系,不是某个静止的形式,而运算推理是起 永恒运动、更换。对概念的关系的准确把握是逻 [2] 自我调节作用的。” 通过对哥德尔不完全性定理 辑的主要内容。哥德尔对哲学与概念思辨的兴趣 证明的分析,我

文档评论(0)

magui + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:8140007116000003

1亿VIP精品文档

相关文档