哥德尔不完备性是谁发现的

问题描述

精选答案

哥德尔不完备性是由奥地利数学家哥德尔于1931年发现的。

1.因为哥德尔使用了自指的方式来证明任何形式化系统都是不完备的，这个系统不可能在其语言内部得到证明。

2. 哥德尔证明的意义不仅在于它显示了某些特定系统的局限性，同时也暗示了投入数学科学的本质描述需要使用比普通自然语言更加严格的、推理和符号化的语言。

3. 纵观数学史，哥德尔的发现被认为是20世纪数学中最伟大的一个成就之一，对数学和科学方法的发展产生了深远的影响。

其他回答

四川自考大百科

哥德尔不完备性是由哥德尔在20世纪上半叶发现的。

1. 哥德尔不完备性是指任何一种形式化的公理系统都不能同时满足完备性和一致性两个条件，即无法证明所有真命题，也无法完全避免悖论的产生，而这一被哥德尔在数理逻辑的研究中发现。

2. 哥德尔的这一发现不仅深刻影响了数理逻辑和哲学领域的研究，而且对于其他自然科学、社会科学等领域也具有一定的指导意义，使得人们更加谨慎地对待系统的完备性和一致性问题。

其他回答

四川自考大百科

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

这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。

该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。

哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题