论文部分内容阅读
本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.
蕴含G(o)del定理抽象形式的集合论引理
【摘 要】
：
本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.
【机 构】
：
Francis,大连理工大学应用数学系
【出 处】
：
数学研究与评论
【发表日期】
：
2004年期
其他文献
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
从科学社会主义产生到现在,对于什么是社会主义从来就有不同回答.实际上,社会主义应该从本质论和本体论两个视角来认识.本质论是从本质属性上回答什么是社会主义,而本体论则
目的剖析现代战争对战时军人心理活动的影响,心理训练实践及评估结果,为我军平战时心理管理提供参考。方法对我陆军某部80名新兵连战士进行为期两个月的心理训练,具体包括自
目的我国爱滋病感染者中43%是海洛因注射者(IDUs),既往研究多关其高危注射行为,本研究将对IDUs中的高危性行为情况进行分析.方法收集了上海141名住院戒毒者的临床资料、HIV、
目的:研究鹿茸提取物对东莨菪碱及亚硝酸钠所致小鼠学习记忆障碍的影响。方法:小鼠连续灌胃鹿茸提取物15D后,对东莨菪碱及亚硝酸钠造成学习记忆障碍的小鼠进行“Y”型电迷宫
随着现代社会经济和科技的发展,政府组织调整社会生活的功能和权限范围不断扩大,行政主体享有的自由裁量权也随之增加。忽视行政自由裁量的伦理维度,必然造成行政自由裁量的
目的研究新入伍地方大学毕业生心理健康状况及其人格特征,为部队人才素质建设提供科学依据。方法应用症状自评量表(SCL-90)、艾森克个性问卷(EPQ)对167名新入伍地方大学生进
在回族形成发展的过程中,其饮食文化不断改造、吸收和发展,同时也在不断传播。回族饮食文化对周边民族和中华饮食文化都不可避免地产生了巨大影响,应当正视回族对中华饮食文
人的全面发展观是马克思主义理论的重要内容,是中国面临的重大课题,也是世界各国面临的共同课题。党的十六届三中全会对我国今后的发展模式进行了崭新的诠释,提出了以人为本,