弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
词语繁体：不完全性定理
词语读音：bù wán quán xìng dìng lǐ
首字拼音：Bu
词语拼音：bu wan quan xing ding li
词语简拼：BWQXDL
词语字数：六字词语
哥德尔是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
【不的意思】：不 bù（ㄅㄨˋ） （一）、副词。（二）、用在动词、形容词和其它词前面表示否定或加在名词或名词性语素 详情>
【完的意思】：完 wán（ㄨㄢˊ） （一）、全：完备。完全。完整。完善。完好。完璧归赵。覆巢无完卵。（二）、尽，无 详情>
【全的意思】：全 quán（ㄑㄨㄢˊ） （一）、完备，齐备，完整，不缺少：齐全。完全。智勇双全。求全责备。（二）、 详情>
【性的意思】：性 xìng（ㄒ一ㄥˋ） （一）、人或事物的本身所具有的能力、作用等：性质。性格。性命（生命）。性能 详情>
【定的意思】：定 dìng（ㄉ一ㄥˋ） （一）、不动的，不变的：定额。定价。定律。定论。定期。定型。定义。定都（ 详情>
【理的意思】：理 lǐ（ㄌ一ˇ） （一）、物质本身的纹路、层次，客观事物本身的次序：心理。肌理。条理。事理。（二） 详情>
