期刊文献+

也谈正确理解哥德尔不完全性定理——与陈慕泽先生商榷 被引量:1

在线阅读 下载PDF
导出
摘要 就陈慕泽先生对《禁止使用自指代命题》关于哥德尔不完全性定理的质疑提出的批驳做出回应。认为陈先生回避要害,无视作者对哥德尔证明中双重标准之矛盾的分析和揭露,其批驳存在自相矛盾、循环论证和转移辩题的问题。还专门采用陈先生的符号,对哥德尔定理结论1和2的证明进行分析和批判,再次解释哥德尔定理的结论可以完全正确,但应该理解成:哥德尔所构造的不可判定公式违反逻辑,必须禁止在无矛盾的形式系统中使用。同时,还分析了现有主流学派对哥德尔定理结论的种种误解,提出重建逻辑学公理系统的主张。
作者 温邦彦
出处 《重庆工学院学报(社会科学版)》 2009年第4期8-13,23,共7页 Journal of Chongqing Institute of Technology
  • 相关文献

参考文献4

二级参考文献11

  • 1温邦彦.略论创新与逻辑[J].中国人民大学学报,2005,19(1):95-102. 被引量:6
  • 2温邦彦.禁止使用自指代命题——说谎者悖论的排除和哥德尔定理的讨论[J].安徽大学学报(哲学社会科学版),2006,30(5):13-20. 被引量:5
  • 3[2]刘晓力.哥德尔定理及其哲学义蕴[c]∥现代科学哲学争论.北京:北京大学出版社,2003.
  • 4[1][美JKlein F.高观点下的初等数学:第1卷[M].台北:九章出版社,1996:6-16.
  • 5[3]Wen Bartgyan.Paradoxes from the Viewpoint of the History of Mathematics[C]//International Congress of Mathemaficiam;Abstracts of Short Commtmications and Poster Sessions.Beijing:Higher Education Press,2002:407.
  • 6Wen Bangyan, Paradoxes from the Viewpoint of the History of Mathematics [ A ]. International Congress of Mathematicians;Abstracts of Short Communications and Poster Sessions Higher Education Press,2002:407.
  • 7Kurt Gtidel. On formally undecidable propositions of principia mathematica and related systems 1 [ J]. 1931.
  • 8[美]LLINE M.数学—确定性的丧失[M].长沙:湖南科学技术出版社,1997.
  • 9Wen Bangyan. Paradoxes from the Viewpoint of the History of Mathematics[C]// Abstracts of Short Communications and Poster Sessions. Beijing: Higher Education Press, 2002.407.
  • 10Godel K. On formally undecidable propositions of Principia mathematica and related systems I[M]. Oxford :Oxford University Press; New York: Clarendon Press, 1986:145 - 195.

共引文献13

同被引文献5

  • 1[美]王浩.逻辑之旅--从哥德尔到哲学[M].杭州:浙江大学出版社,2009:86.
  • 2[美]丽贝卡·戋德斯坦.不完备性--哥德尔的证明和悖论[M].长沙:湖南科学技术出版社,2008:18.
  • 3[美]斯图尔特·夏皮罗.数学哲学--对数学的思考[M].上海:复旦大学出版社,2009:16.
  • 4皮亚杰 倪连生.结构主义[M].北京:商务印书馆,1984,11..
  • 5.马克思恩格斯选集(第四卷)[M].北京:人民出版社,1972..

引证文献1

二级引证文献1

  • 1李龙强.逻辑新论[J].重庆科技学院学报(社会科学版),2012(6):13-18.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部