形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

浅谈科技社团在政府职能转换中的定位

加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析，说明科技社团的发展在于积极争取政府职能。同时，科技社团只有加强自身建设，抓住机遇，做好承接政府职能转移的大文章，才能增强实力，赢得发展。     

创新思维与新闻写作

创新是新闻写作的生命 ,要实现校报新闻写作的创新 ,就要突破思维定式 ,培养创新思维 ,以创新思维去实践校报新闻内容、新闻形式、新闻语言的创新。     

巧用Visual FoxPro制作套表打印

从报表创建、报表布局及打印调试等方面介绍了利用Visual FoxPro的快速报表实现套表打印的具体操作步骤。在Visual FoxPro下制作报表简单、实用、方便，很好地解决了数据套表打印问题。     

对北京故宫建筑布局的文化理解

通过对中国传统伦理文化的阐述，分析了北京故宫的建筑布局及空间营造，说明中国古代建筑是几千年传统文化积淀的产物，是传统文化意识在建筑及空间布局上的体现。     

太原市高层建筑的现状与未来的发展

作为省会城市，高层建筑的建设是必不可少的，但太原市在高层建筑的建设中却存在许多问题，在今后的城市建设中，应树立合理正确的城市发展规划体系，有效地拉制不合理建设，使太原市的城市面貌有一个大的改观。     

2个Lucas数乘积和的恒等变换

本文研究2个Lucas数乘积和交换问题,给r次恒等变换公式并给出一些例子。     

浮环密封失效原因分析及处理措施

叙述了离心压缩机浮环密封的结构，原理，分析了浮环密封失效原因。比较了目前常用的3种密封及密封失效处理措施。     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.