[過去ログ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
187(2): 現代数学の系譜11 ガロア理論を読む 2016/07/24(日)13:53 ID:FvwRWNCJ(4/15) AAS
>>186 つづき
まあ、要するにここまでをまとめると、時枝解法を擁護するために、Tさんは”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく、それに含まれない他の箱が常に存在する”などと言いだした。
それを補強するために、”帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張 とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”などと
証明おじさんは、”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”、
”(n∈N ⇒ P(n)は真) ⇒ (n=∞ ⇒ P(n)は真) が真であれば、数学的帰納法は不完全であると言える。実際には反例が存在するから不完全ではない。その反例を示すことを実体験しなさいと言ってるんだよ。”
(後の文は何を主張しているか意味不明。証明おじさんは結構この手の意味不明が多い(例えば現スレ>>68)。それを修正しないで放置するからわけわからん。)
188(2): 現代数学の系譜11 ガロア理論を読む 2016/07/24(日)13:54 ID:FvwRWNCJ(5/15) AAS
>>187 つづき
さらに要約すると、
1)n=∞ を帰納法に持ち込んだのはTさん、
2)そしてTさんは”とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”→”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”を主張する
3)証明おじさんは尻馬に乗って、”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”、”数学的帰納法は不完全であると言える。”と
199(1): 2016/07/24(日)15:50 ID:C2A4VhkC(1/6) AAS
>>187
>後の文は何を主張しているか意味不明。
お前以外のその場にいた人達からは正しく理解された。お前一人が有りもしない誤字を捏造した上で180度真逆に解釈した。
それは偶然ではない。お前に素養が無いからだ。
反論があるなら一年生レベルの数学をどの教科書で学んだのか、その書名を書きなさい。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.577s*