不完全性定理的拼音及详细解释

【词语名称】不完全性定理（buwanquanxingdingli）

【词语拼音】bu wan quan xing ding li

【词语读音】bù wán quán xìng dìng lǐ

【词语简拼】BWQXDL

【网络释义】 哥德尔是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

【分字组词】不字组词 全字组词 完字组词 定字组词 性字组词 理字组词