Uncountable：康托对角线证明与无穷大分类学交互博物馆

关于

主站（支持中英双语）： 中文直接访问： 内容简介 这是一个博物馆级的数学概念交互探索展（Explorable Explanation）： 从 1638 年伽利略的平方数悖论（自然数与完全平方数的一一对应）切入，一路推演至 1891 年格奥尔格·康托尔（Georg Cantor）打破人类直觉的对角线论证法（实数不可数）。 核心交互特色 1. 可探索解释（Explorable）：不只是静态图文，全站设置了六个循序渐进的展厅，读者可以通过鼠标点击矩阵格子，亲手构造出那行打破“实数可数假定”的对角线新数字（第 n 位小数取反），直观触摸数学史上最优雅的构造性反证法。 2. 无穷大分类学：通过直观的可视化映射，让普通读者在交互操作中亲身体会到：自然数、奇偶数、有理数虽然都是“无穷大”，但它们是“同一种大小”（阿列夫零）；而实数轴上的点是“另一种更大、无法列举的无穷大”。 3. 博物馆级交互美学：黑金夜调风格，纯前端静态渲染，零广告、零追踪，原生适配移动端与桌面端，支持一键切换简体中文与英文。

收录记录

1. 阮一峰周刊·用户投稿

   2026年9月28日 · 1 次收录