Math's Fundamental Flaw

Veritasium 从希尔伯特的三个问题讲起，区分完备性、一致性和可判定性。旁白用哥德尔编号解释，怎样把关于公式和证明的说法转成算术问题。对于一致、可有效公理化且能表达足够算术的形式系统，不完备性意味着有些命题在系统内既无法证明也无法反驳。影片随后转到图灵的停机问题：不存在一种算法，能对任意程序及其输入总是判定它是否会停机。

存档字幕（转写方式未注明） ↗ · 引文按字幕原文展示，可点时间戳回看片段。