| Rosser公式对偶形的存在及推导 |
| |
| 引用本文： | 邹姝稚,唐立中.Rosser公式对偶形的存在及推导[J].河海大学学报(自然科学版),2000,28(3):99-102. |
| |
| 作者姓名： | 邹姝稚 唐立中 |
| |
| 作者单位： | 1. 扬州大学工学院计算机科学与工程系,江苏,扬州,225009
2. 东南大学计算机科学与工程系,江苏,南京,210096 |
| |
| 摘 要： | Ｃｏｄｅｌ定理是数理逻辑发展中的一个里程碑，但其最初表述并不完善，Ｒｏｓｓｅｒ公式克服了Ｇｏｄｅｌ定理之不足，从而最终解决了形式数论系统的完备性，本文深入分析了Ｇｏｄｅｌ提出“ω无矛盾”的初衰和Ｒｏｓｓｅｒ公式的构造思路，运用Ｒｏｓｓｅｒ公式对偶对形式，并给出了与此相关的定理，通过这一研究将深化人们对数学系统相容悸 、完备性的认识。
|
| 关 键 词： | 数理逻辑 元数学 相容性 Rosser公式 对偶形 |
| 修稿时间： | 2004/11/11 0:00:00 |
Existence and Development of the Dual Form of Rosser Formula |
| |
| ZOU Shu zhi ,TANG Li zhong.Existence and Development of the Dual Form of Rosser Formula[J].Journal of Hohai University (Natural Sciences ),2000,28(3):99-102. |
| |
| Authors: | ZOU Shu zhi TANG Li zhong |
| |
| Institution: | ZOU Shu zhi 1,TANG Li zhong 2 |
| |
| Abstract: | |
| |
| Keywords: | mathematical logic metamathematics consistency completeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《河海大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《河海大学学报(自然科学版)》下载免费的PDF全文 |
