查询结果
不完全性定理
bù wán quán xìng dìng lǐ
ㄅㄨˋ ㄨㄢˊ ㄑㄩㄢˊ ㄒㄧㄥˋ ㄉㄧㄥˋ ㄌㄧˇ
「不完全性定理」是什么意思？
更新 2026-07-18 20:45:42
- 拼音字母bu wan quan xing ding li
- 首字母bwqxdl
- 注音符号ㄅㄨ ㄨㄢ ㄑㄩㄢ ㄒㄧㄥ ㄉㄧㄥ ㄌㄧ
扩展释义
哥德尔是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
拆字组词
相关词语
- 事略查含义
- 云南灰天牛查含义
- 侍魂闪查含义
- 刘小岑查含义
- 勐堆乡查含义
- 古湖街道查含义
- 周文彬查含义
- 安字营乡查含义
- 张小凤查含义
- 年轻的喝彩查含义
- 张加良查含义
- 戴月披星查含义
- 李文义查含义
- 櫜甲束兵查含义
- 母畜查含义
- 毛飞飞查含义
- 温带草原带查含义
- 索具螺旋扣查含义
- 粪产碱菌查含义
- 纯一查含义
- 荣登查含义
- 萨达姆家族查含义
- 蓝建平查含义
- 诈唬查含义
- 超魔鬼毁灭者查含义
- 轧钢设备查含义
- 货币制度查含义
- 郭永琰查含义
- 长安丹师查含义
- 长身鳜查含义
- 陈文婷查含义
- 马头山查含义
- 庵查含义
- 拉格纳斯查含义
- 屌丝龙查含义
- 和宫悟查含义
- 富信查含义
- 无限凶险查含义
- 虾酱蒸盘菜查含义
- 蔬菜桃果汁查含义
- 上海中医药报查含义
- 迪厄泽查含义
- 空心粉查含义
- 囊拟扁蛛查含义
- 龙神柱查含义
- 州职一号查含义
- 粉红头果鸠查含义
- 黑胫迷缘蝽查含义
- 肤尔净查含义
- 喷雾丝袜查含义