如何使用伽利略悖论计算器
伽利略悖论计算器让你探索有限集合与无穷集合比较之间的奇妙张力。输入上限 N，伽利略悖论计算器会立即显示该范围内自然数和平方数的数量，以及完整的配对表。
- 输入上限 N — 输入 1 到 10000 之间的任意整数，定义要分析的有限范围。
- 查看数量统计 — 伽利略悖论计算器显示该范围内的自然数总数（= N）和平方数数量（⌊√N⌋）。
- 查看占比 — 平方数与自然数的比率以百分比显示。N 越大，该比率越接近 0%，有限悖论愈发明显。
- 探索配对表 — 表格列出每个 n 与 n² 的对应关系，直观展示在无穷集合中成立的一一对应。
伽利略悖论计算器是学习基数、可数无穷和集合论的优质教学辅助工具。
公式与原理 - 伽利略悖论计算器
伽利略悖论计算器 使用的核心公式或规则基于伽利略·伽利雷（1638）在《两门新科学》中的观察：
有限范围 [1, N]：
自然数数量 = N
平方数数量 = ⌊√N⌋
占比 = ⌊√N⌋ / N → 0（当 N → ∞ 时）
无穷双射：
f: N → S，f(n) = n²
每个 n ∈ ℕ 映射到唯一的 n² ∈ S
每个 s ∈ S 有唯一的 √s ∈ ℕ
→ |ℕ| = |S|（两者均为可数无穷）| 符号 | 含义 |
|---|---|
| N | 有限范围的上限 |
| ⌊√N⌋ | N 的平方根向下取整；即 ≤ N 的平方数数量 |
| f(n) = n² | 将每个自然数映射到其平方的双射 |
| |ℕ| | 自然数的基数（大小） |
| |S| | 平方数集合的基数 |
伽利略的原始洞见
伽利略注意到这个悖论，但得出结论：大小比较（更多、更少、相等）不能以同样的方式应用于无穷量。格奥尔格·康托尔后来用基数的概念将其形式化：当且仅当两个集合之间存在双射时，它们的大小相同。
假设与限制
伽利略悖论计算器为便于实际展示，支持 1 到 10000 之间的整数。数学结论可以推广到所有正整数，不受此限制。
伽利略悖论计算器的使用场景
伽利略悖论计算器特别适用于教育和探索性场景：
- 集合论入门 — 演示直觉上的大小比较为何在无穷集合中失效。
- 基数课程 — 以互动方式说明可数无穷集合和双射的概念。
- 数学竞赛 — 验证平方数的性质，练习集合配对论证。
- 数学哲学 — 探索无穷本质的基础性问题。
- 计算机科学理论 — 与康托尔对角化、可枚举性和停机问题等概念相联系。
- 课堂互动 — 伽利略悖论计算器让抽象悖论变得具体可验证。