蕴含G(o)del定理抽象形式的集合论引理

• 作者: 徐利治 爱德华·阿罗约
• 来源期刊: 数学研究与评论
• 学科: 数学
• 关键词: 可数无穷集 G(o)del不完全性定理 图灵机
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 647-650
• 页数: 4页
• 分类号: O152
• 字数: 811字
• 语种: 中文
• DOI: 10.3770/j.issn.2095-2651.2005.04.011

摘要

本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐利治	大连理工大学应用数学系	38	173	7.0	12.0