期刊文献+

哥德尔不完全性定理评析 被引量:2

Comment on G?del’s Incompleteness Theorem
下载PDF
导出
摘要 哥德尔不完全性定理越来越受到人们的垂青和重视,但有些却是错解,需要予以澄清.哥德尔不完全性定理是整个逻辑学的中心,对其他许多学科也有重大的促进作用,甚至是有些学科的发端. Godel's incompleteness theorem is getting more and more attention, but some solutions are wrong, need to be cleared off. Godel's incompleteness theorem lies in the core of the whole logic, has important promotion roles on many subjects, and is even the source of some subjects.
作者 贾国恒
机构地区 浙江大学
出处 《天中学刊》 2008年第2期34-36,共3页 Journal of Tianzhong
关键词 不完全性 可表达 可证 incompleteness true expressible provable
  • 相关文献

参考文献4

  • 1http://www.sinoss.com/portal/webgate/_CmdArticleList?QUERY=d.id=185&JournalID=185;BigClassName=在线期刊&BigClassType=1.
  • 2Kurt Godel. The completeness of the axioms of the functional calculus of logic[A]. Jean van Heijenoort. From Frege to Godel[C]. Harvard University Press, 1967. 583.
  • 3约翰.康韦尔.霍金放弃终极理论[J].发明与创新(大科技),2004(7):24-25. 被引量:2
  • 4(美)王浩.哥德尔[M].上海:上海世纪出版集团,上海译文出版社,2002.184-185、215.

共引文献5

同被引文献13

  • 1约翰.康韦尔.霍金放弃终极理论[J].发明与创新(大科技),2004(7):24-25. 被引量:2
  • 22012年a:《情境语义学研究》,中国社会科学出版社.
  • 3克林,1984年:《元数学导论》,莫绍揆译,科学出版社.
  • 4Gtidel, K. , 1967a, "The completeness of the axioms of the functional calculus of logic", in. J. van Heijenoort ( ed. ), From Frege to G6del, Harvard University Press.
  • 51967b, "Some metamathematical results on completeness and consistency", in ibid.
  • 6Thomson, J. F. , 1962, "On some paradoxes", in R. J. Butler (ed.) , Analytical Philosophy, Oxford: Basil Blackwell.
  • 7张建军.逻辑悖论研究引论[M]南京:南京大学出版社,2002.
  • 8刘晓力.理性的生命:哥德尔思想研究[M]长沙:湖南教育出版社,200076-78.
  • 9沈有鼎.两个语义悖论[A]北京:人民出版社,1992215.
  • 10Montague R. Syntactical Treatment of Modality,with Corollaries on Reflection Principles and Finite Axiomatizability[A].New Haven CT:Yale University Press,1974.286-302.

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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