【摘 要】
：
Godel不完全性定理的发表,是本世纪以来数学领域中所取得的重大成就之一,对数学基础的研究起了巨大的推动作用。这一定理的证明和陈述别具一格,方法独特,深奥难解。鉴于这种
论文部分内容阅读
Godel不完全性定理的发表,是本世纪以来数学领域中所取得的重大成就之一,对数学基础的研究起了巨大的推动作用。这一定理的证明和陈述别具一格,方法独特,深奥难解。鉴于这种情况,本文试图用不长的篇幅对这一定理的含义、证明方法及其重大意义给以全面的论述,以期使人们对这个具有深远影响的重大课题的全貌有所了解,对这一定理的证明所采用的独特方法有所借鉴。
The publication of Godel’s incompleteness theorem is one of the major achievements made in the field of mathematics since the beginning of this century. It plays a huge role in promoting the study of mathematics. The proofs and statements of this theorem are unique, unique in approach, profound and intractable. In view of this situation, this article attempts to give a comprehensive discussion on the meaning of the theorem, the proof method and its significance with a short space in the hope of getting people to understand the whole picture of this far-reaching major issue. A reasonable proof of the unique method used for reference.
其他文献
目的评价中药敷脐治疗小儿轮状病毒肠炎的有效性。方法通过检索近15年发表的中药敷脐治疗小儿轮状病毒肠炎的临床文献,按照纳入排除标准进行筛选,对纳入的文献进行Meta分析。
“十冬腊月天地荒,漫天飞雪幽云苍。纯电不宜过江北,取暖无力品牌伤。”显然这首只算是即兴的打油诗,还是能够阐述我的观点的。作为一个地道的东北人,我也是见过“酷冬”世面
现在汽车品牌众多,市场竞争异常激烈,为了促进销量,购车赠送礼品成了销售商最常见的促销方式。但是,不少车主反映,赠品“食之无味,弃之可惜”。万元赠品缩水成千元车主小吴从
传统汽车企业该如何面对中国未来的交通出行市场,大众汽车给出了自己的答案。在2016广州国际车展开幕前夕,大众汽车集团(中国)发布最新举措,宣布将进一步开拓移动出行未来,重
目的探讨知柏地黄丸联合醋酸亮丙瑞林治疗儿童中枢性性早熟的临床疗效。方法选取2014年10月—2015年10月在绵阳市中心医院治疗的儿童中枢性性早熟患儿86例,根据治疗方案的不
The fast-growing economy and the gradually established highway system have boosted the road transportation for both passenger and cargo over the last decade in
目前,长江干流石鼓以下及主要支流已建成或正在建设的控制性水库共计31座,其中已建成22座。三峡工程已全面发挥功能,雅砻江二滩、乌江沟皮滩、大渡河瀑布沟等支流控制性水库
为贯彻落实邓小平同志关于教育要“三个面向”的指示,全面贯彻教育方针,改革和加强中学生物课教学,提高生物课教学质量,更好地为学校开辟第二课堂,江西省教育厅最近发文,要
为了促进我区小学教师队伍的迅速成长,我们在全区开展了青年教师和部分科任教师的教学汇报活动。参加这次教学汇报活动的对象是三十五岁以下的青年教师和部分科任教师。活动
把采集到的蝗虫,放在毒瓶里毒死后,取出进行整形处理。在制作标本整形处理时,有的蝗虫后足僵直,腿节与胫节之间的关节不易自然弯屈,整形时较困难。过去常规方法是:将后足用