作业帮 > 历史 > 作业

请用最简单的例子解释一下哥德尔不完全性定理谢谢

来源:学生作业帮 编辑:拍题作业网作业帮 分类:历史作业 时间:2024/04/28 18:59:24
请用最简单的例子解释一下哥德尔不完全性定理谢谢
哥德尔不完全性定理 哥德尔是德国著名数学家,不完备性定理是他在1931年提出来的.这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑.该定理与塔斯基的形式语言的真理论,图灵机和判定问题,被赞誉为现代逻辑科学在哲学方面的三大成果.哥德尔证明了任何一个形式体系,只要包括了简单的初等数论描述,而且是一致的,它必定包含某些体系内所允许的方法既不能证明也不能正伪的命题.
哥德尔第一不完全定理
  设系统S包含有一阶谓词逻辑与初等数论,如果S是一致的,则下文的T与非T在S中均不可证.
哥德尔第二不完全定理
  如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明.
第一不完备性定理
  任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定.
第二不完备性定理
  任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性.