24 lines
817 B
Markdown
24 lines
817 B
Markdown
---
|
||
title: 连续统假设 (Continuum Hypothesis, CH)
|
||
created: 2025-04-15
|
||
updated: 2026-05-01
|
||
type: concept
|
||
tags: []
|
||
sources: []
|
||
---
|
||
|
||
# 连续统假设 (Continuum Hypothesis, CH)
|
||
|
||
- **领域**: 集合论
|
||
- **提出者**: 格奥尔格·康托尔
|
||
- **来源**: [[godel-incompleteness-tutorial|哥德尔不完备定理教程]]
|
||
|
||
## 概述
|
||
|
||
不存在一个集合，其基数严格介于自然数集和实数集之间（2^ℵ₀ = ℵ₁）。希尔伯特 23 个问题之首。哥德尔（1940）证明 CH 与 ZFC 相对一致，科恩（1963）用力迫法证明 CH 独立于 ZFC——这是[[godel-incompleteness-theorems|不完备性]]精神的典型体现。
|
||
|
||
> 📌 *占位符页面 — 待补充完整内容。*
|
||
|
||
## 相关概念
|
||
[[godel-incompleteness-theorems]] · [[hilberts-program]] · [[mathematical-pluralism]]
|