爱德华·阿罗约,徐利治.蕴含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 
徐利治 大连理工大学应用数学系 
摘要点击次数: 3085
全文下载次数: 1580
中文摘要:
      本文证明了—个集合论性质的引理,由它可直接得出G?del不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.
英文摘要:
      We propose a simple set-theoretical lemma that implies G?del's Incompleteness Theorem. Also mentioned are some related consequences.
查看全文  查看/发表评论  下载PDF阅读器