文献详情 - Gdtheory理论粤军网|广东智库信息化平台

文献详细_{Journal detailed}

蕴含Gdel定理抽象形式的集合论引理(英文)
A Set-Theoretical Lemma That Implies an Abstract Form of Gdel's Theorem

下载全文在线阅读

收藏

机构地区： FrancisMarion大学计算机科学系FlorenceSCUSA

出　　处： 《Journal of Mathematical Research and Exposition》 2005年第4期647-650,共4页

摘　　要： 本文证明了—个集合论性质的引理,由它可直接得出Godel不完全性定理的抽象形式. 文中还述及该引理的有关诸推论. We propose a simple set-theoretical lemma that implies Godel＇s Incompleteness Theorem. Also mentioned are some related consequences.

关键词： 可数无穷集不完全性定理图灵机

领　　域： [理学] [理学]

相关机构对象

机构广东外语外贸大学: 作者数：8857; 发文主题：创业研究,法治,语言学,战略性技术,系统功能语法,行政体制改革,语言维度,词汇语法,部门行政职权,主语,语法,双语词典,私有财产权,行政行为,创业决策,企业动态能力,语态,下行,级差,网络营销,语言模式,企业,可持续发展,具体行政行为,公法保护,法律规制,创业者,绿色营销,行政权,文体学,电子商务,人际,行政诉讼,服务型政府,实证研究,行政法治,汉语,营销研究,行政法,司法审查,系统功能语言学,组织知识,行政主体,企业家决策,动态能力,文化,企业绩效,语篇,法治视野,语义,韩礼德,英汉大词典,绿色消费,风险感知,商务背景,廊桥遗梦,持续竞争优势,公共行政,行政相对人,

机构华南师范大学: 作者数：20338; 发文主题：教师成长,宏观经济,社会主义实践,中国梦,二重性质,马克思主义经济学,人生哲学,有效教学,中国货币政策,教育科研,克鲁格曼,教育叙事研究,教育研究,政治经济学,人民内部矛盾,新自由主义,校本教研,人性,哲学发展,课程改革,老师,教育行动研究,卢卡奇,学校教育,动物精神,马克思哲学,凯恩斯主义,人类社会发展规律,西方经济学,因果,教学研究,社会主义市场经济,中国共产党,教师,实证研究,诺贝尔经济学奖,教育现象学,英美文学,埃尔斯特,实证检验,校本教学研究,中国化马克思主义,社会主义建设规律,唯物史观,经济政策,社会存在本体论,异化,日常教学,社会主义发展道路,叙事研究,早期西方马克思主义,教学理念,马克思主义,人民币国际化,历史唯物主义,萨金特,教育叙事,世界货币,本体论,

机构中山大学: 作者数：27151; 发文主题：电视节目,用户,实证研究,家居,硬件,视域,异构,权利,分布式存储,蓝牙,启迪,从严治党,音乐门铃,领导干部,加密方法,中间件,党内权力,数字电视,权力监督,制度反腐,实体化,数字家庭,民主监督,社会主义国家执政党,马克思主义,监控系统,视频图像,中间件系统,数据传输方法,毛泽东,中国特色社会主义,风险评估,中国共产党,邓小平,素质教育,青年农民工,嵌入式,

机构华南师范大学外国语言文化学院: 作者数：403; 发文主题：英语语法,国大党,非暴力,政治现代化,语音水平,语料库研究,圣经,词汇,英语,隐喻研究,语言教学,中国抗战,阅读教学,政治秩序,英语口语,外语教学,高中英语教材,英文,理据,英语教材,短语,音段,神学思想,宗教思想,语料库语言学,隐喻,语料库辅助,圣雄甘地,殖民统治,神学家,英汉双语,实证研究,素食主义,中印关系,隐喻理解,情感态度,渊源,印度政治,课程标准,英语教学,神灵,尼赫鲁,神学体系,语料库,日常教学,隐喻性,英汉,隐喻能力,中学英语教材,研究方法,表象表征,时间隐喻,政党,基于语料库,素质教育,

机构中山大学外国语学院: 作者数：571; 发文主题：连贯,社会符号学,英语,古诗英译,语言学,语言教学,语篇类型,系统功能语法,语法,语言学发展,功能语言学,语法范畴,文体,话语,连贯重构,语言,汉译,翻译,语境,边缘话语,翻译家,语篇分析,语言多样性,功能句法,引申,文学翻译,隐喻,音步,批评性分析,诗歌,语码转换,语言学研究,语篇翻译,小说翻译,系统功能语言学,翻译研究,话语分析,功能语篇分析,语义连贯,词汇衔接,异化,文化,语篇,韩礼德,文化批评,异化翻译,功能分析,游记,语法体现,批评话语分析,英译文,误导,诗学,诗歌翻译,

蕴含Gdel定理抽象形式的集合论引理(英文)
A Set-Theoretical Lemma That Implies an Abstract Form of Gdel's Theorem

参考文献更多+

二级参考文献更多+

引证文献更多+

二级引证文献更多+

同被引文献更多+

耦合作品文献更多+

相关文献更多+

相关作者

相关机构对象

相关领域作者

蕴含Gdel定理抽象形式的集合论引理(英文) A Set-Theoretical Lemma That Implies an Abstract Form of Gdel's Theorem

参考文献 更多+

二级参考文献 更多+

引证文献 更多+

二级引证文献 更多+

同被引文献 更多+

耦合作品文献 更多+

相关文献 更多+

相关作者

相关机构对象

相关领域作者

蕴含Gdel定理抽象形式的集合论引理(英文)
A Set-Theoretical Lemma That Implies an Abstract Form of Gdel's Theorem

参考文献更多+

二级参考文献更多+

引证文献更多+

二级引证文献更多+

同被引文献更多+

耦合作品文献更多+

相关文献更多+