抽象化で証明できる命題は増えないだろ (52ﾚｽ)
抽象化で証明できる命題は増えないだろ http://rio2016.5ch.net/test/read.cgi/math/1738689837/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
39: １３２人目の素数さん [sage] 2025/02/11(火) 02:32:05.76 ID:a715F0Tt ファン・デル・ヴェルデンの定理の証明は色々あるが、 帰納法が回るように定理の内容を大幅に抽象化しなければならず、 どう抽象化すればいいのかが腕の見せどころになる。 グラフ理論の言葉で書き換えて抽象化した上で帰納法を使ったり、 あるいは Hales–Jewettの定理 のような拡張の仕方もある。 もともとの定理から離れすぎない抽象化の仕方は wiki に載っていて、 もともとのパラメータ「 k, l 」とは異なる方向性からの 3つのパラメータが導入されて、3重帰納法の様相を呈している。 http://rio2016.5ch.net/test/read.cgi/math/1738689837/39
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.349s*