30 lines
1.1 KiB
Markdown
30 lines
1.1 KiB
Markdown
---
|
||
title: "Paris-Harrington Theorem（巴黎-哈灵顿定理）"
|
||
created: 2026-05-11
|
||
updated: 2026-05-11
|
||
type: concept
|
||
tags: [mathematical-logic, proof-theory, incompleteness]
|
||
sources: [[ramsey-numbers-survey]]
|
||
---
|
||
|
||
# Paris-Harrington Theorem（巴黎-哈灵顿定理）
|
||
|
||
## 定义
|
||
|
||
Paris-Harrington 定理（1977）构造了一个在皮亚诺算术（PA）中可陈述但**不可证明**的命题——有限 Ramsey 定理的一个微小变体：要求单色集的极小元素大于其基数。
|
||
|
||
## 历史意义
|
||
|
||
这是 [[godel-incompleteness-theorems|哥德尔不完备定理]] 之后，首个在"自然"数学实践中发现的独立于 PA 的命题。不同于哥德尔人工构造的自指语句，Paris-Harrington 命题来自组合数学的正常研究。
|
||
|
||
## 启示
|
||
|
||
- 组合数学中看似简单的有限性命题可能已超出 PA 的证明能力
|
||
- 不可判定性并非逻辑学的孤立现象，而是渗透到数学实践的核心
|
||
- Ramsey 理论成为衡量证明论强度的标准尺度（逆向数学）
|
||
|
||
## 相关概念
|
||
|
||
- [[godel-incompleteness-theorems|哥德尔不完备定理]]
|
||
- [[ramsey-theory|拉姆齐理论]]
|