不完全性定理的读音:bù wán quán xìng dìng lǐ
不完全性定理的拼音:bu、wan、quan、xing、ding、li
不完全性定理的简拼:BWQXDL
不完全性定理的首字母:B
不完全性定理的首字拼音:bu
分字拼音:不的拼音 全的拼音 完的拼音 定的拼音 性的拼音 理的拼音
哥德尔是奥地利裔美国著名数学家,不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论,图灵机和判定问题,被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
友情链接:姓名测试