百科问答小站 logo
百科问答小站 font logo



哥德尔不完备性定理宣示了逻辑的边界,是否意味着逻辑本身证明了逻辑是有缺陷的,人类如何突破逻辑的窒锢? 第1页

  

user avatar   lljpcz 网友的相关建议: 
      

哥德尔第一不完备定理:“任何一个包含初等数论理论和一阶谓词逻辑的自洽的非递归形式系统中必然包含不可证真也不可证伪的命题”

如果题主看懂了这个定理在说啥——这里的“看懂了”至少要求读者了解“什么是形式系统”、“自洽的定义”、“非递归的定义”、“如果系统是递归的会产生啥问题”、“形式系统包含一阶谓词逻辑是啥意思”、“形式系统包含初等数论理论是啥意思”、“什么叫可证真”、“什么叫可证伪”——那么题主大概率不会问出这个问题了。

哥德尔第一不完备性定理只不过说明了,自然数语言本身很“弱”罢了,向“逻辑的正确性”衍生的解读完全是没看懂定理内容的自嗨。

思而不学则殆可能说的就是这个吧。


———————————————————————————

下面有回答指出我的回答有严重的错误,放一下链接供大家参考。

zhihu.com/answer/936904




  

相关话题

  对于飞天意面神教的嘲讽,从逻辑上一元神宗教真的拿它没办法吗? 
  谁能按着时间线告诉我西方哲学史上所有的著名哲学家? 
  形式语义学的最终目标是什么? 
  如何评价浙江省2020年高考作文满分范文《生活在树上》? 
  根据决定论的观点,「我」在未来能不能考上清华是一个已经被确定的结果,那么我现在的「努力」有什么用呢? 
  什么是无限呢? 
  会不会每一个夸克都是一个宇宙,而我们所谓的宇宙也只是那些更强大存在眼中的一丝尘埃? 
  请问当说"神爱世人"时,这时爱的定义是什么?神为什么要爱世人? 
  为什么逻辑学的排中律不是任何条件下都可使用的? 
  有哪些关于哲学的优秀微信公众号?或者优秀的哲学家哲学爱好者公众号? 

前一个讨论
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
下一个讨论
为什么在数轴上随便取一个点,一定取到的是无理数?





© 2025-06-26 - tinynew.org. All Rights Reserved.
© 2025-06-26 - tinynew.org. 保留所有权利