聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 蕴含Godel定理抽象形式的集合论引理
出处:数学研究与评论 2005年第4期 647-650,共4页
摘要:本文证明了一个集合论性质的引理,由它可直接得出GSdel不完全性定理的抽象形式.文中还述及该引理的有关诸... 显示全部
关键词: 可数无穷集 不完全性定理 图灵机
找到1条结果
`