English Dictionary

Paris-Harrington theorem

固有名詞

(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.

日本語の意味

Paris-Harrington定理とは、数学的論理学における定理で、ラムゼー理論における有限ラムゼー定理の強化版という特定の組合せ原理が成り立つものの、その証明がペアノ算術では不可能であることを示した定理である。

Graduate students in mathematical logic debated whether the Paris-Harrington theorem demonstrates a natural example of a true but unprovable statement in Peano arithmetic.

数理論理学の大学院生たちは、パリ＝ハリントンの定理（強化された有限ラムゼーの定理）が、ペアノ算術では証明できないが真である自然な例を示すかどうかを議論した。

意味（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.

the Paris-Harrington theorem （ canonical ）