标签:完全性 特德尔 Relationship 诞生 定理 附件 数学 theorem 当代
1929年,哥特德尔完全性定理诞生,开启了当代数学的发展进程。为什么? 根据何在?
有根有据, 请见本文附件。
袁萌 陈启清 6月27日
附件:
特德尔24完全性定理内容
Contents
1 Preliminaries
2 Statement
2.1 G?del's original formulation
2.2 More general form
2.3 Model existence theorem
2.4 As a theorem of arithmetic
3 Consequences
4 Relationship to the second incompleteness theorem
5 Relationship to the compactness theorem
6 Completeness in other logics
7 Proofs
8 See also
9 Further reading
10 External links
标签:完全性,特德尔,Relationship,诞生,定理,附件,数学,theorem,当代 来源: https://blog.csdn.net/yuanmeng001/article/details/106987149
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。