| Godel不完备性定理的非形式化论述 |
| |
| 引用本文： | 张民悦,惠富春.Godel不完备性定理的非形式化论述[J].兰州理工大学学报,2000,26(3):105-107. |
| |
| 作者姓名： | 张民悦 惠富春 |
| |
| 作者单位： | 甘肃工业大学,基础科学系,甘肃,兰州,730050 |
| |
| 摘 要： | 研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了 Godel不完备性定理证明在方法论上的特色及其深远影响
|
| 关 键 词： | Godel不完备性定理 Godel数 Godel配数法 证明论 |
| 修稿时间： | ： 2000-03- |
Non-logic discussion on Godel incompleteness theorems |
| |
| ZHANG Min-yue,XI Fu-chun.Non-logic discussion on Godel incompleteness theorems[J].Journal of Lanzhou University of Technology,2000,26(3):105-107. |
| |
| Authors: | ZHANG Min-yue XI Fu-chun |
| |
| Abstract: | Godel incompleteness theorem 1 and theorem 2, which are significant and have a far reaching influence on modern mathematical logic and postulation method of logic system, are studied in this paper, a non logic discussion on the proof of Godel incompleteness theorems is given, the main idea their proof is explained non logically, and the peculiarity as well as its far reaching impact of the proof methodology of Godel incompleteness theorems are also discussed. |
| |
| Keywords: | Godel incompleteness theorems Godel number Godel number matching method proof theory |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
