字词 | 不完全性定理 |
类别 | 中英文字词句释义及详细解析 |
释义 | 不完全性定理哥德尔(K.Godel)1931年发表的两个定理。内容是:1.一个包括初等数论的形式系统如果是一致的就是不完全的;2.如果这样的系统是一致的,其一致性在本系统内不可证明;分别称为第一和第二不完全性定理。从理论上说明了希尔伯特方案的局限性。其证明方法推动了算法论和递归论的发展。 |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。