Study note
Throwing Darts at the Real Line
Properties
- Type
- Blogs
- Status
- 待读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- ams.org
- Vault note
library/articles/math/Throwing-Darts-at-the-Real-Line-72debe39aae4047c.md
Summary
Joel David Hamkins 借 Freiling 的“向实数线投掷两支飞镖”思想实验讨论连续统假设。由每个实数对应一个可数实数集出发，概率与对称性的直觉似乎要求存在一对点，彼此都不属于对方对应的集合；这一对称公理在 ZFC 中等价于连续统假设的否定。
Highlights
文章的重点不只是给出一个等价命题，而是追问概率直觉能否合法地裁决独立于 ZFC 的集合论问题，并揭示逐点“几乎必然”推理在不可测结构面前需要格外谨慎。
Comments
Loading comments...