抽象化で証明できる命題は増えないだろ (52レス)
抽象化で証明できる命題は増えないだろ http://rio2016.5ch.net/test/read.cgi/math/1738689837/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
38: 132人目の素数さん [sage] 2025/02/11(火) 02:26:35.97 ID:a715F0Tt >>37 ファン・デル・ヴェルデンの定理: 任意の自然数 k, l に対して、自然数 n(k, l) が存在して、 連続する n(k, l) 個の自然数をどのように k 色に塗り分けても、 同色で長さが l の等差数列が存在する。 この定理は帰納法で証明できるが、安直に帰納法を適用するなら、 ・ k,l に対する二重帰納法を使う ・ n=k+l として、nに対する帰納法を使う などの方法が挙げられる。だが、これらの方法は失敗する。 帰納法が上手く回らないのである。 http://rio2016.5ch.net/test/read.cgi/math/1738689837/38
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.398s*