伽利略无穷悖论计算器

伽利略悖论源于两个看似不相容的观察。完全平方数只是正整数的一部分：1、4、9、16，依此类推。大多数自然数不是平方数，在有限样本中，平方数看起来越来越稀疏。然而，每个正自然数 n 都恰好对应一个平方数 n 的平方，而每个正平方数也恰好有一个正平方根。这种一一对应表明，平方数集合与所有自然数的集合具有相同的无限大小。 本计算器直观展示有限情形。从 1 到上限 N 的自然数中，完全平方数有 floor(sqrt(N)) 个。到 100 为止有 10 个平方数，占样本的 10%；到 10,000 为止有 100 个，仅占 1%。随着 N 增大，比值 floor(sqrt(N))/N 趋近于零。用自然密度的术语来说，完全平方数在自然数中的密度为零。 无限情形依靠配对，而非占比。让 1 对应 1、2 对应 4、3 对应 9，一般地让 n 对应 n 的平方。输入端没有遗漏任何自然数，输出端也没有重复或遗漏任何完全平方数。现代集合论把这种规则称为双射。只要两个集合之间存在双射，它们就具有相同基数，即使其中一个是另一个的真子集。两个集合都是可数无穷集。 一旦认识到有限占比和无限基数是不同的度量，就不存在矛盾。占比考察上限不断扩大时，一个集合在另一个集合中分布得有多密；基数则考察元素是否能够逐一配对。对有限集，这些概念符合日常直觉：真子集的元素总是更少。无限集却不同，它们可以与自身的真子集完全配对。 伽利略讨论这一难题时，严格的无限基数理论尚未建立。后来，格奥尔格·康托尔将一一对应形式化，用于比较无限集。这个悖论至今仍是理解可数无穷、极限、密度和双射的良好入门。逐步增大上限，观察有限占比如何下降，同时记住 n 到 n 的平方的映射两端都不会耗尽。本工具并不计算无穷，而是展示有限趋势与无限配对如何回答两个不同的数学问题。