网站首页
|
期刊简介
|
编委会
|
作者须知
|
联系我们
|
English
爱德华·阿罗约,徐利治.蕴含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
徐利治
大连理工大学应用数学系
摘要点击次数
:
3114
全文下载次数
:
1595
中文摘要
:
本文证明了—个集合论性质的引理,由它可直接得出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新版本浏览器登录