爱德华·阿罗约,徐利治.蕴含G?del定理抽象形式的集合论引理(英文)[J].数学研究及应用,2005,25(4):647~650
蕴含G?del定理抽象形式的集合论引理(英文)
A Set-Theoretical Lemma That Implies an Abstract Form of G?del's Theorem
投稿时间：2005-03-14  
DOI：10.3770/j.issn:1000-341X.2005.04.014
中文关键词:  可数无穷集  Godel不完全性定理  图灵机
英文关键词:Enumerably infinite set  Godel's Incompleteness Theorem  turing machines.
基金项目:
作者单位
爱德华·阿罗约 Francis Marion大学计算机科学系, Florence,SC,USA 
徐利治 大连理工大学应用数学系 
摘要点击次数: 3068
全文下载次数: 1571
中文摘要:
      本文证明了—个集合论性质的引理,由它可直接得出G?del不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.
英文摘要:
      We propose a simple set-theoretical lemma that implies G?del's Incompleteness Theorem. Also mentioned are some related consequences.
查看全文  查看/发表评论  下载PDF阅读器
  版权所有 《数学研究及应用》编辑部
主办单位：大连理工大学，中国工业与应用数学学会
单位地址：大连市甘井子区凌工路2号 大连理工大学创新园大厦A1112室 邮编 ：116024
服务热线：86-411-84707392 Email：jmre@dlut.edu.cn
本系统由北京勤云科技发展有限公司设计
由于安全因素，早期的浏览器无法登陆，推荐使用IE10, IE11，Google，火狐，360新版本浏览器登录