Paris–Harrington theorem
Principio de Paris-Harrington
- Date
- 1977 · confidence medium
- Place
- Manchester, United Kingdom
- Credited to
- Leo Harrington y Jeff Paris
- Field
- Knowledge & symbols
What was discovered
Theorem by Jeff Paris and Leo Harrington showing that a strengthened version of the finite Ramsey theorem, true and expressible in Peano arithmetic, cannot be proved within that system, offering the first natural example of the phenomenon flagged by Gödel.
What it led to
- First natural example of incompleteness in Peano arithmetic
- Boost to proof theory and Ramsey combinatorics
- Spur to the search for other natural independent statements