[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

736: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/08(火)14:03 ID:e/1pBNsJ(1/2) AAS
メモ

外部ﾘﾝｸ:esori.hatenadiary.org
esoriの日記
2009-05-07
Paris?Harringtonの定理

外部ﾘﾝｸ:ja.wikipedia.org

wikipedia:Paris?Harrington theorem
'strengthened finite Ramsey theorem'という定理がPA（一階のペアノ算術）からは証明できないらしい。PAで証明できない定理の例として、かなり面白いと思った。
wikipediaの記事にも書いてあるが、"strength finite Ramsey theorem"は以下のような主張。

任意の正の整数n,k,mに対して十分大きく自然数Nをとれば、{1,2,3,...,N}のn点部分集合全体をk色で塗り分けたとき、どんな塗り分け方をしても、m個以上の要素からなる部分集合Y⊂{1,2,3,...,N}が存在し、Yのn点部分集合はすべて同じ色になり、またYの要素の数は、Yに含まれる最小の数以上になる。

---

上下前次1-新書関写板覧索設栞歴

---

あと 266 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 1.243s*