[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
768: 06/30(月)17:38 ID:VC9XYnov(1) AAS
>>765
おっしゃることについてはその通り
で、プログラムは書けますか？
仮に反例があるとすると、反例であることを示すプログラムは書けるんですよ。
列を頭から順々に辿っていって、任意の自然数ｉについて
それより小さい値をもつ項を見つけてしめせばいい
で、Ｎが整列集合だから、そんなことはありえないというわけで
その場合、ｉが最低値以下だと反例を探すプログラムが延々と動き続けることになる
要するに最小値は存在するんだけれども、ここが最小値ですよと示すプログラムは書けない
やだねー
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 2.458s*