论文部分内容阅读
研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理1和定理2，给出了Godel不完备性定理证明的一种非形式化论述。非形式化地阐述了Godel不完备性定理证明的基本思想，论述了Godel不完备性定理证明在方法论上的特色及其深远影响。
Godel不完备性定理的非形式化论述
【摘 要】
：
研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理1和定理2，给出了Godel不完备性定理证明的一种非形式化论述。非形式化地阐述了Godel不
【机 构】
：
甘肃工业大学基础科学系
【出 处】
：
甘肃工业大学学报
【发表日期】
：
2000年3期
其他文献
军事物流系统是建设现代化后勤的重要途径,而军事物流网络是军事物流系统运行的基础.针对军事物流网络的特殊性,结合现有的民用物流网络方面的研究成果,在分析军事物流网络性
<正>"政银保"合作农业贷款以其免抵押、免保证金的优势,改变了农户贷款需抵押家庭财产、支付高额担保费用的窘境,切实给农民带去了实惠"政银保"合作农业贷款是广东省佛山市三
目的对比观察远端稳定的生物型股骨柄髋关节假体行人工股骨头置换术治疗老年转子间不稳定骨折的临床疗效。方法老年转子间不稳定骨折患者52例,平均年龄78.2岁,均行人工股骨头
近年来,跨境人民币在国际结算和国际交易领域里的地位突飞猛进,但在国际储备地位的上升却不明显,出现了跨境人民币职能发展上的不完全性。如果人民币在境外不能长期地、有效
在分析涡旋压缩机动涡旋盘动力特性的基础上，采用三自由度振动数学模型对其工作时的振动特性进行数学模拟，并以公式的形式明确表示出该振动系统的特性参数．为分析涡旋压缩机的气
介绍了作者继ＡｕｔｏＧＢＢＺ后研究开发的新版“国标标注软件”ＧＢＢＺ的新功能、新特征、新界面，该软件能依照最新的国家标准及ＣＡＤ通用技术规范，方便迅速高质量地创建初始绘图环境，完成粗糙度、形位公差、基准代号、焊缝符号、技术要求等文字及符号的标注，绘制并填写标题栏、明细表，为工程ＣＡＤ提供了极大的方便．
广西沿边金融综合改革试验区建设工作的启动,带来跨境人民币业务的快速发展,同时让基层央行跨境人民币业务工作面临新的难点和挑战。本文就这些难点和挑战进行探讨,并提出相