[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
495
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/27(木) 21:18:36.39 ID:Z9yZQTCw(6/7) AAS
>>490
>”定理”と書かれてなければ定理ではない
>”証明”と書かれてなければ証明ではない
>と主張するスレ主は

そんなことは主張していない

時枝記事では、定理及び証明とは書かれていないと主張しているのだ
だから、時枝記事に書かれたことが定理と証明なのかどうか、それを自分は(=貴方は)”定理と証明”と解釈するなら、そう主張すれば良いと言っている

但し、「時枝が記事の中で、定理と証明と書いている」と主張するのは事実に反するよと
そこに、貴方の”定理と証明だ”という解釈を加えない限り、「これが定理と証明だ」とは言えないのだよ

推論と事実ととは、厳密に区別すべきですよ
以上
502
(1): 132人目の素数さん [] 2018/12/28(金) 06:10:00.52 ID:fkehK+Gv(1/25) AAS
>>495
>時枝記事では、定理及び証明とは書かれていない

スレ主は「AI読み」しかできないみたいだな
以下の定理と証明が読みとれるのが人間だよ

【戦略】

1.閉じた箱を100列 s~1,s~2,・・・,s~100に並べる。
1〜100のいずれかkをランダムに選ぶ。
(100本の実数列 s~1,s~2,・・・,s~100
 はおのおの決定番号を持つ。)

2.第1列〜第k-1列、第k+1列〜第100列の箱を全部開ける。
 第k列の箱はまだ閉じたままにしておく。
 開けた箱に入った実数を見て、代表の袋をさぐり
 s~1からs~k-1、s~k+1からs~100の決定番号のうちの
 最大値Dを書き下す。

3.第k列のD+1 番目から先の箱だけを開ける。
s~k_D+1,s~k_D+2,s~k_D+3,・・・
 を見て代表r=r(s~k)が取り出せる。

【定理】

 列rのD番目の実数r_Dを見て、
 「第k列のD番目の箱に入った実数s~k_Dはr_D」
 と賭ければ、めでたく確率99/100で勝てる。

【証明】
 
 選ばれた列s~kの決定番号d(s~k)が
 他の列の決定番号どれよりも大きい、
 (すなわち
 D<d(s~k)
 となる)確率は1/100に過ぎない。
 
 (したがって、s~k_D=r_Dを満たす条件)
 D>=d(s~k)
 が正しい確率は99/100。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.042s