Paris-Harrington theorem

English

Etymology

Named after Jeff Paris and Leo Harrington, who carried out work on this topic.

Proper noun

the Paris-Harrington theorem

  1. (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
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.