EP17:【数学】哥德尔不完备性定理证明了人比AI强？才怪！

很多人认为，哥德尔不完备性定理证明了人类比AI强，因为存在一些命题是AI不能证明但人类可以的。

但，事实上真的如此么？

不，这仅仅是人类的一个美好的愿望与信仰，与事实无关。

除非可以证明：

AI永远无法掌握元逻辑系统，且，存在一个形式系统L是AI可以掌握的而任何蕴含L的比L更大的形式系统都是AI无法掌握的，同时L和存在比L大的形式系统是人类可以掌握的。

但是，很可惜，上述这三点目前都没有被证明。

因此，不要被信仰和愿望所蒙蔽。

【执麦人】

塔塔：理科男/IT宅/科幻写手/科普作者兼译者

【制作团队】

• 制作人：塔塔
• BGM：Suno V4 + Gemini Flash 2.0 Thinking
• 封面图：Imagen 3 + Gemini Flash 2.0 Thinking