Extra
上位词
别名
精选别名
哥德尔不完全性定理
不完全性定理 不完备原理 不完备性定理 哥德尔不完备定理 哥德尔不完备性定理 哥德尔定理简介
哥德尔是奥地利裔美国著名数学家,不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论,图灵机和判定问题,被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
| 中文名 | 哥德尔不完全性定理 |
|---|---|
| 原始名称 | 哥德尔不完全性定理 |
| 品种 | 数学 逻辑学 |
| 外文名 | goedel |
| 时间 | 1931年 |
| 精选上位词 | 科学百科数理科学分类 |
| 英文名 | goedel |
相关实体