411 REFERENCE · Wiktionary
Paris-Harrington theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Jeff Paris and Leo Harrington, who carried out work on this topic.
Proper noun
1
en mathematical logic A theorem stating that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.
Further reading
en eponyms