对角线论证：改变数学与计算机的证明方法

但但为君故 dreams.plus 2026/07/31

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文： https://dreams.plus/blog/2026/2026-07-31-the-diagonal-argument-en 1891 年，德国数学家格奥尔格·康托尔发表了一篇仅几页的论文，证明了一个在当时看来有悖直觉的结论：存在不同「大小」的无穷。他所采用的证明技巧——对角线论证——不仅解决了手头的问题，更在此后一个多世纪里，成为…