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

  • 2025/02/28
  • 再生時間： 23 分
  • ポッドキャスト

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
    続きを読む 一部表示

あらすじ・解説

很多人认为，哥德尔不完备性定理证明了人类比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
続きを読む 一部表示

EP17:【数学】哥德尔不完备性定理证明了人比AI强？才怪！に寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。