不完备性原理是什么意思

138次

问题描述:

不完备性原理是什么意思求高手给解答

最佳答案

推荐答案

不完备性原理是奥地利裔美国著名数学家哥德尔在1931年提出来的。

这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。不完备性原理与塔尔斯基的形式语言的真理论,图灵机和判定问题,被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。第一定理:任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为否。第二定理:如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。

其他答案

哥德尔定理其实是两个定理,其中哥德尔第一不完备性定理是最重要、也是误解最多的,从这一定理的版本众多就可以看出.如:“如果一个形式理论T足以容纳数论并且无矛盾,则T必定是不完备的.”“任何一个相容的数学形式化理论中,只要它强到足以在其中定义自然数的概念,就可以在其中构造在体系中既不能证明也不能否证的命题.”“任何一个足够强的一致公设系统,必定是不完备的”第二不完备性定理是第一定理的一个推论:“任何相容的形式体系不能用于证明它本身的相容性”

为你推荐