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

A Simple Proof of Gdel Incompleteness Theorems for Formal Peano Arithmetic

下载PDF

导出

摘要给出了形式Peano算术的G A simple proof of Gdel incompleteness theorems for formal Peano arithmetic is given in this note.

作者秦一明

机构地区昆明市康宏小区

出处《中国科学技术大学学报》 CAS CSCD 北大核心 2003年第6期681-682,共2页 JUSTC

关键词形式Peano算术 Goedel不完备性定理 formal Peano arithmetic Gdel incompleteness theorems

参考文献2

1耿晓华.圆锥曲线上一点处的切线方程的简单证明[J].数学教学通讯（教师阅读）,2012(8):61-61. 被引量：1
2林诒勋,原晋江.A Short Proof on the Bandwldth of A Graph and Its Complement[J].Journal of Mathematical Research and Exposition,1991,11(4):627-628.
3邱淦.亚纯函数三值定理的一个简单证明[J].宁德师范学院学报（自然科学版）,1996,18(2):137-139.
4毕永青.拉格朗日中值定理的简单证明与应用[J].河南教育学院学报（自然科学版）,2002,11(3):13-14. 被引量：1
5周尚超.关于图K_mUK_n的优美性[J].兰州铁道学院学报,1993,12(2):70-72.
6张则增,于兴江,姜玉武.积分第一中值定理的又一简单证明[J].菏泽师专学报,1995(4):54-55.
7刘保垣,王荣泰,杨以纲.磁场高斯定理和安培环路定理的简单证明[J].长春师范学院学报,1994,0(5):33-36.
8陈群.三次方程一个性质的简单证明[J].数学通报,1993,32(11):37-38.
9晏瑜敏,张新军,杨忠鹏.关于正定矩阵的Hadamand不等式的证明[J].莆田学院学报,2005,12(5):5-7.
10卢金.单位球上双全纯凸映射偏差定理的一个注记[J].数学物理学报（A辑）,2017,37(3):528-533.

中国科学技术大学学报

2003年第6期

内容加载中请稍等...