81:１３２人目の素数さん
16/07/16 12:56:06.47 ZOXTgErc.net
>>75
だから一部分だけ切り取るのは卑怯者のすることだと何度言わせる？
全文を引用した上で、”その反例”の”その”が何を指しているか（何を指しているとお前が認識しているか）を答えなさい
と何度言わせる？
お前が答えさえすればお前の勘違い（お前以外は誰も勘違いしていない）が明らかになるんだよ
ほれ、さっさと答えろやアホ
＞いまの私の数学的帰納法の理解は、上記>>6-12です
そんなものは理解とは言わない。数学では自分で証明できて初めて理解したと言える。だからさっさと証明を書け。
82:現代数学の系譜11 ガロア理論を読む
16/07/16 13:03:14.16 6gtR58FD.net
＞数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”>>330で良いということは、ご理解いただけましたか？（＾＾；
責任逃れをするわけじゃないが、言い訳をすると
そもそも、>>20 Tさん「＞６．これを繰り返すと、有限部分族に上限はなく、”常に有限個の組でしかなく”に反する
ここがおかしい
また帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ」
正確には 19スレ ｽﾚﾘﾝｸ(math板:295番) 295 返信：１３２人目の素数さん[] 投稿日：2016/05/27(金) 23:53:53.12 ID:UVhMlqM5
と言いだした。これが、帰納法とn=∞がからみ出した最初なんだ
それに引っ張られて、乗せられてしまった、未熟なスレ主ではあった（＾＾；
でも、良く考えると、時枝問題は>>32「箱がたくさん，可算無限個ある」ってことだから、n=∞を持ち出すのはおかしいんだよね
（∵自然数の集合Nは可算無限の濃度だから、箱に１から連番をつければ、n=∞を考える必要は無かったんだ。n=∞なしで、可算無限の濃度（可算無限個）は言えたんだ）
でも、続けて、証明おじさんがチョウチンをつけた
ｽﾚﾘﾝｸ(math板:310番)
310 名前：１３２人目の素数さん[] 投稿日：2016/05/28(土) 11:04:41.65 ID:rEES5QT5
＞帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
これが理解できないスレ主のためにわざわざ問題出して上げたのに(>>144)ガン無視かよｗ
（引用おわり）
そういう経緯なので、責任としては、数学的帰納法の理解が浅く、Tさんの間違った理解と証明おじさんがチョウチンに脳波を狂わされた私がバカということだけど
言い訳をすれば、経緯は上記の通り
で、結論は、Tさんも、それにチョウチンを付けた証明おじさんも、同じ穴の狢さ（＾＾；
83:現代数学の系譜11 ガロア理論を読む
16/07/16 13:08:39.08 6gtR58FD.net
>>77
>これが理解できないスレ主のためにわざわざ問題出して上げたのに(>>144)ガン無視かよｗ
で、(>>144)が下記。ここから、開集合の話が絡んできたんだ。が、時枝問題とは何の関係もないことは、>>77に述べた通りです（＾＾；
ｽﾚﾘﾝｸ(math板:144番)
現代数学の系譜11 ガロア理論を読む19 [無断転載禁止]©2ch.net
144 名前：１３２人目の素数さん[] 投稿日：2016/05/18(水) 00:22:26.33 ID:DGquPMc9 [1/2]
スレ主に丁度良い問題をあげよう
１．任意の有限個の開集合の共通部分は開集合であることを示せ
２．無限個の開集合の共通部分は開集合とは限らないことを示せ
84:１３２人目の素数さん
16/07/16 13:11:32.13 ZOXTgErc.net
だから言い訳はもういいって
さっさと証明を書け そっちが肝心だ
85:現代数学の系譜11 ガロア理論を読む
16/07/16 13:31:35.51 6gtR58FD.net
>>77 つづき
で、
>「＞６．これを繰り返すと、有限部分族に上限はなく、”常に有限個の組でしかなく”に反する
> ここがおかしい
>また帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
> とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ」
>＞帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
>これが理解できないスレ主のためにわざわざ問題出して上げたのに(>>144)ガン無視かよｗ
とこれに自ら乗り出して、>>78の開集合の例が、帰納法不成立の例だと。反例があると
証明おじさんが書いた証明が、>>68です
なにを証明しているのかさっぱり分からんかった（記号∪と∩とを取り違えとったしね）（＾＾；
で、戻ると、無限というのは、n=∞という集合の要素という話とは別に、自然数の集合に上限がない（言い換えればコンパクトではない）という意味もあり
時枝問題の「箱がたくさん，可算無限個ある」は、後者の意味だったわけです
それを早く指摘してあげることが出来なかった未熟を反省しています（＾＾；
86:現代数学の系譜11 ガロア理論を読む
16/07/16 13:32:56.26 6gtR58FD.net
>>68
これが証明だと胸を張る証明おじさん
しかし、見る人が見れば、数学のレベル丸分かり
思うに、数学の記述問題がある大学入試レベルにさえ達していないと思う（＾＾；
まあ、数学科で学んでいるのではなく、独学で数学やっているんだろうね・・
が、そんなレベルの人から、なにを言われようが、無意味だし、相手にしないのが得策というものよ（＾＾；
87:１３２人目の素数さん
16/07/16 13:43:28.84 ZOXTgErc.net
>>80
＞帰納法不成立の例だと。反例があると
つまり”その反例”の”その”とは数学的帰納法であるとお前は認識しているってことでいいな？
はい、大間違い。誰もそんなこと言ってない。その証拠にそんなアホな勘違いしているのはお前だけ。
お前が勝手に勘違いして勝手に馬鹿晒して勝手に人に噛みついているだけ。
だがそんなことはどうでもいい。お前の馬鹿には興味ない。
早く証明を書け。肝心なのはそっちだ。
＞自然数の集合に上限がない
何を言いだすかと思えばｗ
88:１３２人目の素数さん
16/07/16 13:46:10.97 ZOXTgErc.net
>>81
はいはい、早く証明書こうね
あ、書けないから
＞が、そんなレベルの人から、なにを言われようが、無意味だし、相手にしないのが得策というものよ（＾＾；
などと逃亡の準備してるんですね？わかりますｗ
89:１３２人目の素数さん
16/07/16 13:47:13.49 ZOXTgErc.net
証明もできないのに理解したと胸を張るアホｗ
90:１３２人目の素数さん
16/07/16 13:50:32.17 i74MPJp/.net
1次元ユークリッド空間Rに通常の位相を入れる
各番号iに対してU_i:=(-1/i,1/i)とする
U_iは開集合である
(2)の方針を適用すると、任意の有限個の自然数からなる自然数の部分集合Mに対して、Mには最大元が存在する。
これをmとすると、
∩_[j∈M]U_j={x∈R|∀j∈M,x∈U_j}=U_m=(-1/m,1/m)
となるので、任意の有限個の共通部分は開集合となる
一方、共通部分の定義から、
∩_[n∈N]U_n={x∈R|∀n∈N,x∈U_n}
である
このことから容易に∩_[n∈N]U_n={0}であることがわかる
(1)の方針を適用すると、無限個の共通部分は開集合でない
問題は(1)の方針を無限族の独立に適用する方法があるかどうか
(1)と(2)が同値というのは間違い(少なくとも時枝さんの考えとは違う)で、数学では(1)の方針で無限族の独立性を扱う方法が(今のところ)ない、というのが正しいのではないか
無限を扱うのに(1)の方針と(2)の方針で結論が異なることは開集合の例でわかる
91:現代数学の系譜11 ガロア理論を読む
16/07/16 15:41:10.27 6gtR58FD.net
素人さんのご参考に
URLﾘﾝｸ(www.minamiazabu.net)
SSH と 数学
この夏の思い出，数学の課題研究，または 方程式のガロア群 140921 初版 141019 更新
(抜粋)
5次方程式の解法の考察
数学の課題研究のテーマを決める際に， 話 をして彼らが選んだのが，高次方程式でした。
多少数学に興味のある生徒ならガロアのことを知っています。 先日結城浩さんの話を聞く機会がありましたね。 (私の感想はこちら) 私も同感で，ガロアの理論を高校生にも知ってもらいたかった。 むしろ，大学生になってから洗練された理論を学ぶより， 課題研究なら泥臭い計算をさせたかった。
5次方程式に解の公式がないのは，有名な話ですが， 5次方程式にも開法で解けるものがあるのは， 論理が未熟な高校生にはあまり知られていません。 例えば，x^5?2=0 です。
ちなみに， この方程式のガロア群は 位数20 のフロベニウス群といわれるものです。
彼らの数学の実力は高校入学時から知っていましたから， 彼らがこのテーマを選んだ時に， まず，私は師匠からもらったプリントをコピーして， 3次方程式，4次方程式の解法を研究せよといいました。
また，ガロア理論を学びたいというのが， 彼らの裏の目標でしたから， まずは，彌永先生の「ガロアの時代 ガロアの数学」で 原論文を読んでみなさい，と指示しました。
その中で彼らと私が選んだのが， 雪江先生の「代数学 1 2 3」でした。
URLﾘﾝｸ(www.minamiazabu.net)
その２ 3次方程式
URLﾘﾝｸ(www.minamiazabu.net)
92:3.html その３ 4次方程式 (抜粋) 課題研究をしている彼らに，a, b はこの4次方程式の根ということだろう， と問題の見方を紹介して じゃあガロア群は何? と 問いかけました。 クラインの四元群じゃないでしょうか と答えてきました。 1月時点で彼らの学習・研究はそこまで辿り着いていました。 つづく
93:現代数学の系譜11 ガロア理論を読む
16/07/16 15:43:06.64 6gtR58FD.net
>>86 つづき
URLﾘﾝｸ(www.minamiazabu.net)
その４ 5次方程式
(抜粋)
年明け前後に彼らが得た結果は， x1 たちを5次方程式の根として，
p1=x12(x2x5+x3x4)+x22(x1x3+x4x5)
+x32(x1x5+x2x4)+x42(x1x2+x3x5)+x52(x1x4+x2x3)
が， 彼らのいう C20 の元の作用で不変だということです。
C20 = F5 = < (1 2 3 4 5), (2 3 5 4) >
正直驚きました。 5次方程式の群で可解となる最大の群や 基本的な群論の知識， 置換群による作用の様子，計算， そして，式を見る洞察力，と すでに私の予想を超えていました。 私はただ すごい発見じゃない とたたえるだけでした。
私は先述のように，体の自己同型としてガロア群をとらえていて， 学生時代にガロア群を求め方を考えたこともありましたが， それには方程式の根が必要でした。 彼らは，ガロアの主著を基本にして， 不変式を見つけたのです。
その後，彼らは 参考文献 [D] の Dummit の定理を 誰からもヒントを与えられずに，独自に再発見するのです。 途方もない計算のすえに。
彼らが独自に見つけたことは，定理と名乗ってよいこと， 可解判定規準 と名付けてよいこと，を助言しました。 そして，可解なものの具体例をあげよう といったら， x5+15x+12=0 を作ったのです。
つづく
94:現代数学の系譜11 ガロア理論を読む
16/07/16 15:44:29.37 6gtR58FD.net
>>87 つづき
発表会
4月に行われた校内の発表会では， 生徒はおろか，大人も彼らの発表に圧倒されました。 むしろ，生徒は彼らのすごさを分かっているので， 大変なことをやってのけたことを肌で感じていたかもしれません。
高校生どうしで議論できない研究は， 課題研究向きではないのではという意見もありました。 ですが，彼らが疑問に思ったことを，考え抜いて答えを出したことは， 称賛に値しますし，それだけで， 研究をした意義があります。 特に数学は，なにものからも自由であるべきです。 役に立つとか，誰かのためになる研究ではないはずです。
また，このような高度な研究には大学院生のような TA を つけるべきだという意見も同じ人からありました。 その意見を聞くと， 若手の数学者と対話する機会を設けてあげればよかったな とも思いますし， 私たち高校数学科教員のレベルを軽んじているとも取れます。
いずれにしても， 高校生は定理の再発見でもよいと考えています。 洗練された最先端の理論を学ぶよりも， 定理を発見する道のりを一歩一歩辿っていくほうが， 時間の使い方としてはいいようで， そこから理論化，問題解決法を身につけるようです。
なにより，自力で考え抜く姿勢をつけさせたいと思っています。 答えのあるものなら答えがネットに転がっています。 ただ，多くの人から正当な評価は早くから与えてあげればよかったと思います。
ですが，私は研究の方向性だけ指導したのですが， それは彼らのためになったと考えています。 大学の先生の研究指導に近いことをやらせていただき， 私自身も数学の知識や指導法など，たくさんのことを学びました。
（抜粋引用おわり）
95:現代数学の系譜11 ガロア理論を読む
16/07/16 15:49:57.09 6gtR58FD.net
>>86
これはどこの高校の話か分かりませんが、素人さんの参考にはなるでしょう
96:素人さん
16/07/16 17:08:50.42 FF2Y9hRU.net
>>86-89
サークルＫサンクス(笑
またヒマなときに読ませてもらう。
ところで私は今日の午前中に解説を書き上げてしまった。全部で36ページ。
午後に図書館からコックス「ガロアの理論（下）」を借りて来て、
第八節の参考になりそうな箇所だけパラパラと見てみたが、
結局何の参考にもならなかった。
ところでスレ主は私が前スレで挙げた質問をどう思うか。
第五節にガロアが挙げている
（θ＋αθ1＋…）＾p
という式はｐが素数でなくても成立するのか。
素数でなくても、この式の値が不変であることは確かめた。
問題は、この式の値が有理数になるかどうかである。
もし素数でないなら成立しないなら、
第七節の後半の議論は成立しないように思える。
ちなみにこの式の値は全体の群に適用したときは有理数になるが、
部分群に適用したときは有理数にはならない。
97:素人さん
16/07/16 17:13:45.85 FF2Y9hRU.net
それから任意の二根で他の根が有理的に表せるということは、
私が最初に考えた方法でも通用することを確認した。
ただしそれがガロアが考えていたことと同じかどうかは不明である。
また三森氏の解説は、第七節に関しても一箇所間違いがあることを知った。
98:現代数学の系譜11 ガロア理論を読む
16/07/16 21:01:26.95 6gtR58FD.net
>>90-91
素人さん、どうも。スレ主です。
素人さんの突っ込みはいつも鋭いね
Q1
ところでスレ主は私が前スレで挙げた質問をどう思うか。
第五節にガロアが挙げている
（θ＋αθ1＋…）＾p
という式はｐが素数でなくても成立するのか。
A1
１．よく数学で言われるところの、ｐは素数に限定しても一般性を失わないというのが答えだと思う
２．例えば、n=p1*p2と二つの素数p1とp2と二つの素数の積から成るとすると、nのベキ根はp1のベキ根とさらにそのp2のベキ根を取れば良いから
３．具体的には、aのベキ根を考えるとして、a^(1/n)=a^(1/(p1*p2))=a^((1/(p1)*(1/(p2)))=(a^((1/(p1)))^(1/(p2))という式変形だ
４．で、n=p1*p2で、（θ＋αθ1＋…）＾n として良いかだよね？ うーん、考えたことが無かったね。すぐに答えられないね。なにか不都合が起きるかだが・・
（n=p1*p2と素因数分解して適用する場合と、素因数分解しないでa^(1/n)でそのまま適用した場合で差があるかの問題だが・・。ガロア理論としては素因数分解するのが筋だが）
Q2
もし素数でないなら成立しないなら、
第七節の後半の議論は成立しないように思える。
A2
その心配はないよ。なぜなら、nがもし素数でないならnをn=p1*p2などと素数に因数分解して、各p1,p2・・・に上記を適用すれば良いから
あとは良いかな
99:現代数学の系譜11 ガロア理論を読む
16/07/16 21:04:32.53 6gtR58FD.net
>>92 訂正
２．例えば、n=p1*p2と二つの素数p1とp2と二つの素数の積から成るとすると、nのベキ根はp1のベキ根とさらにそのp2のベキ根を取れば良いから
↓
２．例えば、n=p1*p2と二つの素数の積から成るとすると、nのベキ根はp1のベキ根とさらにそのp2のベキ根を取れば良いから
100:現代数学の系譜11 ガロア理論を読む
16/07/16 21:10:43.77 6gtR58FD.net
街灯の下で鍵を探す
URLﾘﾝｸ(ja.wikipedia.org)
抜粋
街灯の下で鍵を探す（がいとうのしたでかぎをさがす）は、古くはアラブに起源があるというたとえ話。多くの変種がある。
概要
ある公園の街灯の下で、何かを探している男がいた。そこに通りかかった人が、その男に「何を探しているのか」と尋ねた。
すると、その男は、「家の鍵を失くしたので探している」と言った。
通りかかりの人は、それを気の毒に思って、しばらく一緒に探したが、鍵は見つからなかった。
そこで、通りかかりの人は、男に「本当にここで鍵を失くしたのか」と訊いた。すると、男は、平然としてこう応えた。
「いや、鍵を失くしたのは、あっちの暗いほうなんですが、あそこは暗くて何も見えないから、光の当たっているこっちを探しているんです」
教訓
この譬え話は、さまざまな教訓として解釈されており、特に学問研究に関するものが多い。その場合、次の状態を揶揄するものと理解されている。
本当に重要なところはどこか分かっているが、そこは分析する方法がない。そこで、光が当っているところばかりが研究されている。
異なった解釈
野口悠紀雄は、「街灯の下で鍵を探す」という喩えを「分析できるところから研究すべきである」という意味で捉えている。野口によれば、物理学が進歩したのは、「街灯の下原則」に狙っていたからだという[4][5]。
こうなると、「街灯の下で鍵を探す」という喩えの原意が、まったく反対になっている。
101:現代数学の系譜11 ガロア理論を読む
16/07/16 21:15:25.09 6gtR58FD.net
本来問題になっているのは、可算無限個の確率変数をどう取り扱うべきかのはず
そこに突然のように、開集合の話
果たして、”本当に重要なところはどこか分かっているが、そこは分析する方法がない。そこで、光が当っているところばかりが研究されている”の例にならないだろうか？
はたまた、”野口悠紀雄、「街灯の下で鍵を探す」という喩えを「分析できるところから研究すべきである」という意味で捉えて”良いものか（＾＾；
102:１３２人目の素数さん
16/07/16 22:27:44.48 EHqXAG3C.net
>>95
> 突然のように、開集合の話
その話は数列がとる値に数列の極限の値が含まれていなくても問題ないことをスレ主が理解していないことが
発端だったから別に話の流れとして突然でもないと思うが
103:素人さん
16/07/16 23:09:18.85 FF2Y9hRU.net
>>92-93
スレ主の回答を見ると、
スレ主はおそらく第七節の後半の意味を考えたことはなく、
第七節に関する解説も読んだことがないのではないかと疑われる。
スレ主以外誰の反応もないところを見ると、
その他の連中も考えたことも解説を読んだこともないのではないか。
104:１３２人目の素数さん
16/07/16 23:18:24.03 9aMDkwUK.net
現代数学の手法で解決出来る問題だけを解く。
ご都合主義はどんな学問にも存在する。
105:１３２人目の素数さん
16/07/16 23:38:52.78 uTn+cmm2.net
>>86
>5次方程式に解の公式がないのは，有名な話ですが， 5次方程式にも開法で解けるものがあるのは， 論理が未熟な高校生にはあまり知られていません。 例えば，x^5?2=0 です。
>
>ちなみに， この方程式のガロア群は 位数20 のフロベニウス群といわれるものです。
その方程式は前スレでもあがっていた２項方程式の特別な場合だね。
106:１３２人目の素数さん
16/07/17 03:32:40.85 3XYxN6ur.net
週末なのに伸びないなw
107:現代数学の系譜11 ガロア理論を読む
16/07/17 08:46:04.24 ZVWBrROz.net
>>65 補足
Periods Kontsevich and Zagier IHES 2001のPDFが落ちていたから、上げておく
IHESのサイトに行けば公開されているかも知れないが、見つけた場所はUKだった
ありがたい時代だね（＾＾；
URLﾘﾝｸ(www.maths.ed.ac.uk)
Andrew Ranicki’s Homepage School of Mathematics University of Edinburgh
URLﾘﾝｸ(www.maths.ed.ac.uk)
Papers
URLﾘﾝｸ(www.maths.ed.ac.uk)
Periods Kontsevich and Zagier IHES 2001
108:現代数学の系譜11 ガロア理論を読む
16/07/17 08:52:50.13 ZVWBrROz.net
どうも。スレ主です。
素人さんへの回答の前に簡単なところから
>>96
いやいや、突然という意味は、”本来問題になっているのは、可算無限個の確率変数をどう取り扱うべきかのはず”>>85
開集合とは、なんの脈絡もないように思う
従って、”「街灯の下で鍵を探す」という喩えの原意”通り>>94じゃないのかと
開集合をいくら論じたところで、”可算無限個の確率変数をどう取り扱うべきか”には繋がらないだろう？
109:現代数学の系譜11 ガロア理論を読む
16/07/17 09:01:20.29 ZVWBrROz.net
>>98
どうも。スレ主です。
>現代数学の手法で解決出来る問題だけを解く。
>ご都合主義はどんな学問にも存在する。
それは、野口悠紀雄流>>94でしょ
で、￥さんは、ご都合主義の『Kolmogorovが近代確率論を成立させるに当たり、当時出来上がったばかりの測度論を使ってしまった』>>5という部分をそろそろ見直す時期じゃないかと
そして、その問題意識は個人的には同感出来る部分がある。Kolmogorovの時代から百年近く経っているしね
が、それはさすがにこのスレの役割じゃないだろうと思う
やりたいならやれば良いとは思うが
しかし、開集合をいくらいじっても答えは出ないだろう
110:現代数学の系譜11 ガロア理論を読む
16/07/17 09:34:10.27 ZVWBrROz.net
じゃ、素人さんへの回答
>>97
>スレ主はおそらく第七節の後半の意味を考えたことはなく、
>第七節に関する解説も読んだことがないのではないかと疑われる。
いや、第六節からは素数次の既約方程式の話だから、次数pは素数に限定して考えて良い
だから、素数以外の場合を考えたことがなかったというだけのことです
で宿題に戻ると
>>92
> ４．で、n=p1*p2で、（θ＋αθ1＋…）＾n として良いかだよね？ うーん、考えたことが無かったね。すぐに答えられないね。なにか不都合が起きるかだが・・
> （n=p1*p2と素因数分解して適用する場合と、素因数分解しないでa^(1/n)でそのまま適用した場合で差があるかの問題だが・・。ガロア理論としては素因数分解するのが筋だが）
矢ヶ部のP387-389にあった URLﾘﾝｸ(www.amazon.co.jp) 数III方式 ガロアの理論 単行本（ソフトカバー） ? 2016/2/25 矢ヶ部巌 (著)
要するに、n次方程式が代数的に解けるならば、ラグランジュの分解式のn乗は、方程式の係数a1,・・・anとζ（1のn乗根で原始根）とから加減乗除で表される。
逆に、ラグランジュの分解式がそのような性質を持てば、ベキ根で解けるから、n次方程式が代数的に解ける
つまり、n次方程式が代数的に解けるを前提として、
”第五節にガロアが挙げている （θ＋αθ1＋…）＾p という式はｐが素数でなくても”有効だ （いわずもがなだが、（θ＋αθ1＋…）＾p という式はラグランジュの分解式）
（「成立」>>92の意味が不明なので、「有効」（代数的解法に使える）とした）
ここで、nは素数には限定されない
111:現代数学の系譜11 ガロア理論を読む
16/07/17 10:22:02.28 ZVWBrROz.net
>>104 つづき
”n次方程式が代数的に解ける”と、”ラグランジュの分解式のn乗は、方程式の係数a1,・・・anとζ（1のn乗根で原始根）とから加減乗除で表される”は、等価だったんだ。
あまり意識していなかったが、aha!だね
それで、素数以外の場合を考えたことがないというのも、普通ガロア第一論文を読むときは、多少現代数学のガロア理論を学んでからなんだ
で、可解群というのがあってね
「組成列においてすべての商が素数位数の巡回群である」は、良く出てくる表現で、”素数限定”は当たり前と思って、それ以外を考えたことがなかったんだ
URLﾘﾝｸ(ja.wikipedia.org)
可解群
有限群の場合は、同値な定義として「組成列においてすべての商が素数位数の巡回群である」というものもある。
有限群の組成列の長さは有限であり、全ての単純アーベル群は素数位数の巡回群であるため、この定義は上の定義と同値である。
ジョルダン・ヘルダーの定理より、一つの組成列が上記の性質を持つ場合、すべての組成列は同様に上記の性質を持つことが保証される。
多項式のガロア群の場合は、巡回群はある体の上の冪根に対応する。無限群の場合は必ずしも同値ではない。
112:１３２人目の素数さん
16/07/17 10:43:21.37 BI9i1gAR.net
>>102
> 開集合をいくら論じたところで、”可算無限個の確率変数をどう取り扱うべきか”には繋がらないだろう？
前々スレ参照。以下スレ主の発言です
>>264
> いや、普通に考えると、「任意の有限部分族が独立」から、”「常に無限個の組」”が証明できるんじゃないかい？
>>579
> そして、時枝>>7の「(2)有限の極限として間接に扱う，・・の方針が可能である.」という主張は、単純には成立しないと思う。
> ”有限の極限として間接に扱う”は、即ち帰納法に他ならないから
> だから、時枝も間違ったんだ。
「帰納法では示せません。位相空間に反例が存在しますよ」と有志が教えてくださったんですな
話の筋を忘れているようなのでお伝えしました
あともう1つ。スレ主は
（１）無限を直接扱うことと、（２）n→∞の極限として扱うこと
をきちんと区別してますか？
時枝の記事ははっきり区別している
記事にそう書いてある
時枝が問題視しているのは（２）の成立ではなく（１）だ
スレ主はそれを区別せず、（２）の成立をもって一方的に時枝を否定している
（２）の成立など時枝にとっては分かりきった事実である
113:現代数学の系譜11 ガロア理論を読む
16/07/17 11:08:13.37 ZVWBrROz.net
>>32 戻る
時枝正先生、面白い経歴の人だね～（＾＾；
ちょっと長いが引用する
URLﾘﾝｸ(kankyodou.blog.so-net.ne.jp)
「プロの数学者」になるには・・（時枝正ケンブリッジ大Trinity Hall 数学主任） 《熔融鐵鐵斎》只管読書：So-netブログ:2015-10-30
(抜粋)
URLﾘﾝｸ(www.amazon.co.jp)
数学まなびはじめ 第３集 日本評論社 2015/07/23
上記イメージ書籍の13人中、特異中特異な経歴の持ち主は、時枝正先生かもしれない。「プロの数学者」を志した経緯がそもそもフツウでない。「ひょんな」キッカケで数学の道を歩みだすのだが、フツウそんなことで、「プロの数学者」になぞなれるものではない。
しかし、「プロの数学者」になってしまった。だから、時枝先生は、フツウでない。フツウでないから、フツウの人間には、フツウでない先生の経験は参考にならないかもしれない。それでも、参考になりそうなところを以下に抜き書きしてみる。「プロの数学者」の説く、プロになる秘訣？をまとめておく。
（以下、上記書籍『数学まなびはじめ 第３集』から引用）
遠山啓の算数教材をやらされるのがいやで、おそれおおくも「とおやまのばか」と表紙に落書きし、「遠山先生はばかじゃない」と叱られた。・・・ p190
つづく
114:現代数学の系譜11 ガロア理論を読む
16/07/17 11:10:07.20 ZVWBrROz.net
>>107 つづき
15歳早々フランスへ単身渡り、ボルドーのリセGrand Lebrunに就学した。
渡仏がきりで絵はお休みになった。言語という新世界に開眼したからである。憑かれたかの如く様々な言語を身につけてゆくのを目の当たりにしたリセの先生が「この子の頭の構造はどうなっているのだろう」と訝ったそうな。若くしてボルドーで暮らしたおかげで、フランス語は訛なし、母国語同格になった。
帰朝後、上智大学でギリシャ人J.Roussosに師事、古典語（ギリシャ、ラテン、ヘブライ）を専攻した。当時日本には18歳未満大学に入れるべからず、というきまりがあり、目をつぶってくれたのは上智だけだったのである。p192
卒論のめどがついた時分、ひょんなめぐりあわせからランダウ Л. Д. Ланда?у の伝記を繙いた。ランダウは53歳のとき自動車事故に遭い、ふた月も死境をさまよったが、やっと意識を回復した朝、息子がたまたまアカデミー病院に見舞いに来ていた。
月並な偉人伝ならお涙頂戴場面。しかしこの伝記によればなんと、目覚めたランダウ先生、息子を相手に早速 「dx/sinxの積分はどうやって求める？」と口頭試問を始めた。そしてつまった息子に対し「どうしたんだ。
こんなのがむずかしいのか」と笑ったという。（マイヤ・ベサラブ『ランダウの生涯』東京書籍をあらためたら、記憶と原文と微妙にくいちがっている。ここでは記憶のままにしておく。）
この一笑が私にはこたえた。文系では優等生で通してきたのに、「dx/sinxの積分」の題意からしてちんぷんかんぷんではないか。憤慨した私は、そこで、積分とやらの水準まで数学を独習しよう、と決心した。
独習するにはどうしたらよいか？同伝記中、物理を志した若者にランダウが「数学を身につけるには、教科書ではなく、問題集ーどんなものでもよいが、ただし問題がたくさんのっているものーが主要な役割を演じます」と諭すくだりがあった。
相談のつてとて他になし、ランダウの諭告を真に受け、なるべく大きな問題集を探して掘り出したのが・・・（ここに、ロシア語の著者名、問題集の表題が示されてあるのだが、引用不可。総問3084あるという。
つづく
115:現代数学の系譜11 ガロア理論を読む
16/07/17 11:11:05.72 ZVWBrROz.net
>>108 つづき
一冬投資、ロシア語を学びながら дпк に取り組んだ。毎日7、8時間がんばった。
なぜあんなに熱中しえたか不思議である。約1/3進んだ一節で ∫ dx/sinx＝1ｎtg x/2 が求まるようになったが、勢いにのって進み（ロシア語と数学同時に進歩するので2乗に加速する）、余寒すぎにはいつしか問題数十を余すのみとなり、ロシア語もすらすら読めるようになっていた。
この期に及び私はふたつの事実に勘づいた。
ⅰ）自分はこの手の問題がけっこうできる。
ⅱ）しかしどうも数学にはこの手の問題があるらしい・・・
次の秋、私は数学の学部課程を正規に修むべく、British Councilの奨学金を懐に、オックスフォードに学士入学した。p194
ε-δは苦にならなかった。厳密な言語訓練を積んできた賜物、量子化の順を替えると意味が変わる、云々（例えばトゥキュディデスの複文をほぐす作業に比べれば）おちゃのこさいさいだったのだ。
数学教育の難しさのかなりの部分は、学習者の言語的未熟が元凶ではなかろうか。もっとも教科書にも悪文が多い。苦になったのはむしろ組合せ論的技巧。10代の訓練が不十分だったせいであろう。p196
つづく
116:現代数学の系譜11 ガロア理論を読む
16/07/17 11:12:29.10 ZVWBrROz.net
>>109 つづき
いったい数学の講義はされる側よりする側が勉強になるもので、講義にかよって単位を取る、という体験がぬけたまま自分が講義する側になりおおせた私は、得をした、ともいえる。
小学校の代理教員以来、される側に随分迷惑をかけたろう。今でもあちこちでさせてもらうたびに勉強になる。p198
今年の正月、園児のお姉さんの算数の宿題をみてあげた。近所の浜辺の砂をビンに入れたり出したり、パズルを解きながら進む。（中略）
ふと気付いたら、自分の教え方はなんと、水が砂に代わっただけで、30年昔「とおやまのばか」に習った水道方式そのものではないか。
幸いこの子には性があったらしく、あどけなく面白がり、宿題もひととおりでき、ごほうびのマンゴジュースを啜って満足の態であった。「おおきくなったらね。おいしゃさんになる」のだそうだ。南半球の真夏の太陽がぎらぎら照っていた。
こんな「数学まなびはじめ」もある。p203
（引用おわり）
全文は長すぎて引用できないので、原文を読む方が面白いと思います
117:現代数学の系譜11 ガロア理論を読む
16/07/17 11:15:57.86 ZVWBrROz.net
>>110 つづき
時枝正先生のホームページ
philologistとか、learnt basic mathematics from Russian collections of problemsとか、意味分からなかったが、上記で分かったよ
URLﾘﾝｸ(www.dpmms.cam.ac.uk)
Tadashi Tokieda
URLﾘﾝｸ(www.dpmms.cam.ac.uk)
bio 略歴
T^2 grew up as a painter in Japan, became a classical philologist in France,
learnt basic mathematics from Russian collections of problems (сборники задач), then
was taught topology by W. Browder
physics of fluids by 今井功
dynamical systems by A. Chenciner, inter alia.
He has lived in 6 countries so far.
Ph.D. Princeton (1996)
Stephan & Thomas Korner Fellow and Director of Studies in Mathematics at Trinity Hall, Cambridge (2004?)
Radcliffe Fellow at Harvard (2013?14)
Halmos-Ford Award of the Mathematical Association of America (2014)
Poincare Professorship at Stanford (2015?16)
Blok Award and Lectureship of the Society for Industrial and Applied Mathematics (2016)
118:現代数学の系譜11 ガロア理論を読む
16/07/17 11:18:48.55 ZVWBrROz.net
>>111 つづき
wikipediaに記事があるが、英語版だ。日本語版がないね（＾＾；
生まれた年の情報がないが、いま４０代？
URLﾘﾝｸ(en.wikipedia.org)
Tadashi Francois Tokieda (in Japanese: 時枝 正) is a Japanese mathematician, specializing in mathematical physics.
He is the Director of Studies in Mathematics[2] at Trinity Hall, Cambridge. He is also very active in inventing, collecting, and studying toys.[3]
In comparison to most mathematicians, he had a very unusual path of life: he grew up as a painter in Japan and was then educated as a classical philologist, before he later became a mathematician.[4]
Life and career
Tokieda was born in Japan and grew up as a painter. He was then educated in France as a classical philologist. According to his personal homepage, he then learnt basic mathematics from Russian collections of problems. He obtained his PhD at Princeton University under the supervision of William Browder.[5]
In 2004 he became a lecturer at Trinity Hall,[6] where he now is the Director of Studies in Mathematics.[7]
He was the William and Flora Hewlett Foundation Fellow in 2013?2014 at the Radcliffe Institute for Advanced Study at Harvard University.[8]
In 2015?2016, he is the Poincare Visiting Professor at Stanford University.[9]
He is fluent in Japanese, French, and English and knows Greek, Latin, classical Chinese, Finnish, Spanish, and Russian.[10] So far, he has lived in six countries.[11]
Selected publications 略
References 略
119:現代数学の系譜11 ガロア理論を読む
16/07/17 11:24:35.17 ZVWBrROz.net
>>111 戻る
時枝正先生のホームページに連絡先があるよ
Tさん、時枝記事で疑問があるなら、本人に聞いてみなよ
こんなところでくすぶっていないで
その方がよほど勉強になるよ
URLﾘﾝｸ(www.dpmms.cam.ac.uk)
Tadashi Tokieda
120:現代数学の系譜11 ガロア理論を読む
16/07/17 11:29:54.44 ZVWBrROz.net
>>106
なんだ、Tさん、まだこんなスレでくすぶっていたのか？ >>113
>「帰納法では示せません。位相空間に反例が存在しますよ」と有志が教えてくださったんですな
「数学的帰納法に反例がある」なんて、電波を流さない方が良いと忠告しておく
「数学的帰納法に反例がある」なんて書いてある数学の教科書があるなら、示してもらいたい。一冊もないはずだ。教養を疑われるぜ（＾＾；
疑問があるなら、時枝に直接聞いてみな>>113
121:１３２人目の素数さん
16/07/17 11:47:48.07 rnqudGbG.net
>>114 ＞「数学的帰納法に反例がある」なんて、電波を流さない方が良いと忠告しておく "帰納法に"反例があるなんて言ってんのお前だけだからな ＞疑問があるなら、時枝に直接聞いてみな>>113 お前が認めるかどうかの問題だろ、逃げんな
123:１３２人目の素数さん
16/07/17 11:59:20.13 9IPRhDvj.net
「電波届いてる？」
かの人にメールしたくなるw
124:現代数学の系譜11 ガロア理論を読む
16/07/17 12:02:21.96 ZVWBrROz.net
有志って、証明おじさん？（＾＾；
”「帰納法では示せません。位相空間に反例が存在しますよ」と有志が教えてくださったんですな”って、「数学的帰納法に反例がある」以外にどう解釈するんだよ？
わけわかんない非数学的言動が、多すぎませんか？ Tさん
125:現代数学の系譜11 ガロア理論を読む
16/07/17 12:10:29.77 ZVWBrROz.net
街灯の下で鍵を探す
無限個の確率変数が、自分の手に余るから、開集合ほじくっているのか？
だが、開集合ほじくったところで、無限個の確率変数についての理論的解明がすすむわけもない
わけわかんない非数学的言動が、多すぎませんか？ Tさん
おれがどう理解するかとか、そんな些末なことに拘らず、あなたの理解を示しなさいよ
それができないから、あなたの周りにだれも居なくなったんだろ？
126:１３２人目の素数さん
16/07/17 12:12:28.48 rnqudGbG.net
>>117
＞”「帰納法では示せません。位相空間に反例が存在しますよ」と有志が教えてくださったんですな”って、「数学的帰納法に反例がある」以外にどう解釈するんだよ？
「任意の自然数に対して命題が成り立つ」ことは帰納法で示せる
「"n→∞"でも命題が成り立つ」ことは帰納法では示せない(たぶんお前は"n→∞"の意味をわかってないか履き違えている)
127:１３２人目の素数さん
16/07/17 12:17:31.82 9IPRhDvj.net
数学的帰納法による演繹になっていない物を、
数学的帰納法による証明と勘違いしているだけw
128:現代数学の系譜11 ガロア理論を読む
16/07/17 13:01:23.02 ZVWBrROz.net
>>106
>（１）無限を直接扱うことと、（２）n→∞の極限として扱うこと
>をきちんと区別してますか？
>スレ主はそれを区別せず、（２）の成立をもって一方的に時枝を否定している
>（２）の成立など時枝にとっては分かりきった事実である
”確率論の専門家”さん>>50
・”(2)から(1)が導かれてしまった”、
・”「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ”
129:現代数学の系譜11 ガロア理論を読む
16/07/17 13:02:28.39 ZVWBrROz.net
>>119-120
ほんとに面白い連中だね
>>20に整理しておいたが、Tさんが
”１．前々スレ >>235 Tさん「無限個の確率変数が独立であるとは「無限個のうち任意の有限個が独立」と定義される。
「無限個がまるまるすべて独立」という定義ではない。これは記事に書いてあるとおり。
そしてここにパラドックスの成立する余地がある。
すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく、
それに含まれない他の箱が常に存在する。
その箱の情報が別の箱から得られないことを独立性の定義からは結論できない、というわけ。」と
２．前々スレ >>293 スレ主「５．そして、X1と上記の「互いに独立な確率変数は常に有限個の組」との併合、{X1}∪{「互いに独立な確率変数は常に有限個の組」}を考えると、定義より”任意の有限部分族が独立”だからこれらも独立な有限部分族になる。
６．これを繰り返すと、有限部分族に上限はなく、”常に有限個の組でしかなく”に反する」
３．前々スレ >>295 Tさん「＞６．これを繰り返すと、有限部分族に上限はなく、”常に有限個の組でしかなく”に反する
ここがおかしい
また帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ」”
（引用おわり）
つづく
130:現代数学の系譜11 ガロア理論を読む
16/07/17 13:03:20.77 ZVWBrROz.net
>>122 つづき
ってことで、「帰納法に反例」云々自身が問題なのではなく、Tさんの主張
”帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張 とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”
↓
”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく、それに含まれない他の箱が常に存在する。その箱の情報が別の箱から得られないことを独立性の定義からは結論できない、というわけ。”
ここが根本問題であって、帰納法云々は、Tさんが自分の弁明のために持ち出しただけのことだ
しかし、”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”は不成立だと、”確率論の専門家”からばっさり切られたんだよ
（>>4 "「無限族の独立性の定義は微妙」は、そもそも時枝氏の勘違い．時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である"）
�
131:ｻもそも、”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”なんて主張は、だれが考えてもおかしいわけで それを、誤魔化すために、”帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”とかわけわからんことを言い出しただけ
132:１３２人目の素数さん
16/07/17 13:40:48.50 BI9i1gAR.net
>>123
> （>>4
133:１３２人目の素数さん
16/07/17 13:54:32.47 BI9i1gAR.net
おや、書き損ねた(>>124)
>>123
> （>>4 "「無限族の独立性の定義は微妙」は、そもそも時枝氏の勘違い．時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である"）
何回言っても分からないから無駄だと思うけど、スレ主は記事を誤解してるんだよ
>>4の発言は、(2)無限をn→∞の極限として扱う話であって、(1)無限を直接扱う話ではないんだよ
時枝は無限を(1)のように扱えるなら戦略が成り立たない、と言っている
（その理屈は俺にはよく分からないが、分かっている人もいるようだ）
時枝は>>4のn→∞の極限で独立性が議論できるなら戦略が成り立たない、とは言っていない
スレ主はそこを思い切り履き違えている
俺の言っている意味が分からなければもういいよ
『非可測だから計算できない』で思考をストップさせてパラドックスに何の疑問も
持たないようなら、それ以上議論しようとは思わなくても当然だ
134:１３２人目の素数さん
16/07/17 14:48:24.26 A4SgS5ba.net
>>114
＞「数学的帰納法に反例がある」なんて、電波を流さない方が良いと忠告しておく
どこをどう読んだらそんなアホなレスができるのか？お前脳みそ腐ってるだろ
135:１３２人目の素数さん
16/07/17 14:51:49.43 A4SgS5ba.net
>>114
＞「数学的帰納法に反例がある」なんて書いてある数学の教科書があるなら、示してもらいたい。一冊もないはずだ。教養を疑われるぜ（＾＾；
そうやってすぐ思考停止するのは馬鹿のすること。
数学では自分で証明できないのは理解してないのと同じこと。
何度も言わせるな。早く証明を書きなさい
136:１３２人目の素数さん
16/07/17 14:56:32.77 A4SgS5ba.net
>>117
やっぱり、お前が言う”その反例”の”その”は数学的帰納法だったんだなｗ
ここには沢山人が来るけどそんなアホはお前一人ｗ
他の人は”その”が何を指しているかちゃんと理解している。
「最低限の素養が無いと会話すら成り立たない」の好例ｗ
137:１３２人目の素数さん
16/07/17 14:57:59.71 A4SgS5ba.net
>>117
＞わけわかんない非数学的言動が、多すぎませんか？ Tさん
わけわかんないのはどう見てもお前ｗ
アホ過ぎて会話すら成立しないのはお前ｗ
138:１３２人目の素数さん
16/07/17 15:01:18.10 A4SgS5ba.net
>>117
ていうかさ、そんなアホなお前のためにわざわざ噛み砕いて説明してやったはずなんだが、
読んでないのか？ アホならアホなりに努力しろよ アホのくせに楽しようとすんな
それともそれすらも理解できんかったんか？ やっぱり脳みそ腐ってるｗ
139:１３２人目の素数さん
16/07/17 15:09:47.29 A4SgS5ba.net
＞たぶんお前は"n→∞"の意味をわかってないか履き違えている
あのアホは大学一年生の教科書さえまともに勉強したことが無い。
だから極限の正確な定義すらわかっていない。
だからアホ発言を連発する。
「極限の定義を書け」と言うとコピペで済ます。思考停止して理解
しようとしない。
おいアホ、数学の話がしたいなら、せめて大学一二年生の教科書
くらい勉強しろや。最低限の素養が無いと会話が成り立たちすら
しないと何度言わせるんだ？
140:現代数学の系譜11 ガロア理論を読む
16/07/17 16:21:12.68 ZVWBrROz.net
>>125
Tさん、もう良いんじゃない？
もう「お引き取り下さい」というしかないね
>>4の引用発言は、”確率論の専門家”さんでしょ
141:現代数学の系譜11 ガロア理論を読む
16/07/17 16:21:50.78 ZVWBrROz.net
>>132
Tさん、もう良いんじゃない？
Tさん、議論が深まらないんだよね。時枝記事を守ることに汲汲としている
”すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”>>122は、どうなったんだ？
”すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”は取り下げるのかどうかだ
帰納法とかうんぬんは、これが決着してからにしようぜ
142:現代数学の系譜11 ガロア理論を読む
16/07/17 16:22:32.45 ZVWBrROz.net
>>133
Tさん、もう良いんじゃない？
開集合うんぬんとか帰納法うんぬんとかに逃げちゃって
で、直接確率論に切り込んで行くつもりがない
可測 or 非可測集合の部分に、直接切り込んで行けば良いじゃない。でも、それが出来ないんでしょ？
もう「お引き取り下さい」というしかないね
143:現代数学の系譜11 ガロア理論を読む
16/07/17 16:23:44.46 ZVWBrROz.net
>>134 つづき
Tさん、もう良いんじゃない？
>>4の発言は、”確率論の専門家”さんでしょ
で、前スレ ”確率論の専門家”さん
564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
>>563
ごめん，少し誤解があった
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう
（引用おわり）
だったよね
だから、非可測集合の部分に、直接切り込んで行けば良いじゃない。でも、それが出来ないんでしょ？
144:現代数学の系譜11 ガロア理論を読む
16/07/17 16:25:35.80 ZVWBrROz.net
>>135
Tさん、もう良いんじゃない？
あなたが、思考ストップさせて時枝記事に何の疑問も持たないようなら、それ以上議論しようとは思わない
前スレ引用
(抜粋)
17 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 07:20:11.31 ID:suG/dCz5 [11/23]
１１．以上、時枝パラドックス（論理的な矛盾）について述べてきたが、では、解法のどの部分に問題があるのか？
思うに、前スレ>>521 ”現代確率論からすれば、測度論（完全加法族）をベースとして、確率が基礎づけられなければならない
ところが、時枝の>>3-4の無限の実数列のしっぽの同値類から商集合をつくって、代表元から決定番号を決め、確率を論じるところで
時枝が>>5で、カミングアウトしているように、「R^N/～ の代表系を選んだ箇所で選択公理を使っている.その結果R^N →R^N/～ の切断は非可測になる.」と
まあ、「非可測になってますよ」というベースで、果たして正確に確率が計算できるのかどうか？
そういう目で見ると、”この仮定が正しい確率は99/100”>>4のところが、直観に頼ってしまって、実は数学的な証明がなされていないことに気付く
いま私が考えているのは、時枝パラドックス>>16で、一番あやしい部分がここじゃないかと（＾＾；”
（引用おわり）
”確率論の専門家”さんが書く前に、私は同じことを指摘しているだろ？
145:現代数学の系譜11 ガロア理論を読む
16/07/17 16:28:46.98 ZVWBrROz.net
>>136 つづき
で、”確率論の専門家”さんのレベルは、明らかに、Tさんや、証明おじさんより上だよね（勿論私よりもだが）
それが分かって、みんな”確率論の専門家”さんのいうことに納得したんだろう？
時枝解法不成立>>135 と、”「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ”>>121だと
Tさんの時枝記事に対するこだわりは分かるけど、”確率論の専門家”さんの発言の方が説得力あるよね
で、非可測集合の部分に直接切り込まずに、「街灯の下で鍵を探す」（開集合をほじくったり、帰納法に逃げたり）ばっかじゃさ
議論が深まらない。もう良いんじゃない？ もう「お引き取り下さい」というしかないね
146:１３２人目の素数さん
16/07/17 16:30:14.55 rnqudGbG.net
>>133
＞”すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”>>122は、どうなったんだ？
どうもなってない、任意の有限個についての議論しかしていないだろ
違うというなら無限個まるまる扱う方法を述べよ
(1)と(2)が同値なのではなくて(2)の扱いでしか独立性を定義していないだけ
(1)の方針でできるのか、できたらどうなるかは知らん
147:現代数学の系譜11 ガロア理論を読む
16/07/17 16:32:15.59 ZVWBrROz.net
>>137 つづき
前スレより Tさん発言
(抜粋)
565 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 22:43:48.47 ID:hgUPmIoq [7/10]
>>564
レスありがとう
ここから先、話が数学的ではなく恐縮なんだけど、
率直にどんな感想をもつか貴方のコメントがもらえたらと思う
・・・
（引用おわり）
で、”確率論の専門家”さんのコメントは無し
前スレは倉庫落ち
本格的にやりたければ、自分でスレ立てな
148:１３２人目の素数さん
16/07/17 16:44:39.89 rnqudGbG.net
>>139
お前がやりたくないならそれでいいが間違った主張は全て撤回しとけよ
149:現代数学の系譜11 ガロア理論を読む
16/07/17 17:03:29.26 ZVWBrROz.net
>>139 つづき
今後は、非可測集合の部分に直接切り込まずに、「街灯の下で鍵を探す」>>94（開集合をほじくったり、帰納法に逃げたり）ばっかじゃさ>>137
不毛だよ
もうおれは�
150:Q加しない ただ、時枝記事不成立の結論は、このスレでは書かせて貰うよ それは、”確率論の専門家”の意見の通りでもあり>>4-5 かつ、私が前スレで主張した通りでもあるから>>136 追伸 １．時枝記事で、>>35「選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う」とあるが ”確率論の専門家”の意見は、非可測集合では、確率99/100は言えないと>>135 ２．また、>>36"「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. いったい無限を扱うには， (1)無限を直接扱う， (2)有限の極限として間接に扱う， 二つの方針が可能である. 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ." については、”確率論の専門家”の意見は、>>50"(2)から(1)が導かれてしまったので， 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので， ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ"だと （可算選択公理が使えるってことだろう>>11） ここも繰り返し指摘させもらうよ
151:１３２人目の素数さん
16/07/17 18:31:01.36 BI9i1gAR.net
>>141
> お前がやりたくないならそれでいいが間違った主張は全て撤回しとけよ
にまったく同意見です
152:１３２人目の素数さん
16/07/17 19:07:22.14 uySx6hre.net
ハゲは韓国のほこりだ！
根国固有のものだ
ハゲキモは日本人ではない！
昇進相目に韓国人である。
307 :
阪京@genuine
2016/06/28(火) 04:07:25.37 ID:cbgt7/m1
おまい恥ずかしくないか？ 韓国？？？？？
お武家さまの家系のうちでの家訓は「鮮人と部落との通婚は絶対にあかん」だわ。
153:１３２人目の素数さん
16/07/17 19:29:02.40 A4SgS5ba.net
>>137
＞で、非可測集合の部分に直接切り込まずに、「街灯の下で鍵を探す」（開集合をほじくったり、帰納法に逃げたり）ばっかじゃさ
＞議論が深まらない。もう良いんじゃない？ もう「お引き取り下さい」というしかないね
その数学的帰納法さえ理解できない馬鹿がどの口で言うのか？
154:１３２人目の素数さん
16/07/17 19:31:41.17 A4SgS5ba.net
>>136
＞あなたが、思考ストップさせて時枝記事に何の疑問も持たないようなら、それ以上議論しようとは思わない
ｗｗｗ
年中思考停止のお前が「議論」ってｗ
最低限の素養さえ無いお前は会話が成り立ちすらしないレベル
まずは大学一年生の教科書勉強して会話が成り立つところから始めようね
155:１３２人目の素数さん
16/07/17 19:41:07.49 A4SgS5ba.net
いいかアホ
お前が人の発言を180度真逆に受け取ったのは偶然ではない
お前の無知、無学、思考停止が原因だ
お前が線形代数、解析をどの本で勉強したのか書名を書いてみろ
書けないよな？当然だ、お前は勉強していないんだから
そりゃ頓珍漢な発言ばかりするわけだわ
ほれ、どうだ？ここまで言われて悔しくないのか？書名を書いてみろよ
あと数学的帰納法の証明もな 何度言わせるんだ？
156:１３２人目の素数さん
16/07/17 19:53:55.59 BI9i1gAR.net
>>136
> まあ、「非可測になってますよ」というベースで、果たして正確に確率が計算できるのかどうか？
> そういう目で見ると、”この仮定が正しい確率は99/100”>>4のところが、直観に頼ってしまって、実は数学的な証明がなされていないことに気付く
非可測なんだから測度論的確率論で99/100を計算したんじゃないよ？
何度も言うけどさ、記事に書いてあるじゃん 非 可 測 って
そんなあたりまえなことを自分が発見した新事実かのようにドヤ顔で主張しないでくれ
測度が計算できないにもかかわらず確率99/100に見える、というのがこのお話の肝です
非可測であることは記事を読んだ読者が考えをめぐらせるスタート地点で、ゴールじゃないんです
スレ主にミスリードされる人がいると困るのでレスしておきます
157:１３２人目の素数さん
16/07/17 20:16:28.84 BI9i1gAR.net
前スレ>>812の人は居なくなっちゃったかな？
> 直接扱えるとすると
> 0 < 1-(1/2) < ... < 1-(1/n) < ... < 1 < 2-(1/2) < ... < 2-(1/n) < ... (< 2)
> のような可算無限個の数でも順番を変えないでそのまま箱に入れることができる
>
> 有限を介した場合は上の可算無限個の数は以下のように
> 0, 1, 1-(1/2), 2-(1/2)
158:, ... , 1-(1/n), 2-(1/n), ... > 順番を変えて箱に入れることになる 戦略不成立の理由を記事の戦略に即した形で説明してもらえるとありがたい そもそも『箱に入れることができる』という命題は 箱を開ける側のプレイヤーの戦略と直接結びついていないよね？ だからあなたの言わんとすることが理解しづらいんだ （着目ポイントは正しいような気もする） 俺の質問を再度書いておく↓ > 俺は"無限族を直接扱えるなら戦略が頓挫する"という時枝氏のコメントが理解できない > 直接扱えるとすると下記戦略のどこで頓挫するのか > > >>565 > >［1］x,y∈R^Nがそれぞれ自然数dx,dyに紐づいている > >［2］であれば、xとyのどちらかを選べば、大きい自然数を選んだか、または小さい自然数を選んだことになる > >［3］大きい自然数を選べば負け、小さい自然数を選べば勝ち
159:現代数学の系譜11 ガロア理論を読む
16/07/18 08:09:12.32 2+E02pBT.net
もうおれは議論に参加しないが、読者が誤解しないように、結界（バリアー）を明示して、攻撃が跳ね返るところを見えるようにしておく （攻撃を受ければ、必要な自衛の反撃はするけど、下記結界で足りると思う）
・時枝記事不成立は、>>141に書いた通り。それは前スレでの”確率論の専門家”の意見の通りでもある>>4-5
・時枝解法成立派>>7の残党が、３人いる。Tさん（多分>>147-148）、証明おじさんとID:rnqudGbGの名無しさん>>140
＜結界１＞（数学的帰納法について）
１．>>138で、「＞”すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”>>122は、どうなったんだ？」「どうもなってない、任意の有限個についての議論しかしていないだろ 違うというなら無限個まるまる扱う方法を述べよ」
だと発言したこの敵失はありがたいね。
２．こんなレベルで、「帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張」>>122を持ち出す
この奇妙と分からないんだろうね
その数学的帰納法の例えは、何の反論にもなっていない
３．前々スレ（その19）の最後の方（863-866）で、”「全ての」と「任意の」は同義”という話がある
４．通常「∀」と表記され、全称量化子などとも呼ばれる。 URLﾘﾝｸ(ja.wikipedia.org)
５．これで言いたいことはお分かりだろう（任意は全てと同義）。数学的帰納法云々以前の話だということ
160:現代数学の系譜11 ガロア理論を読む
16/07/18 08:09:54.99 2+E02pBT.net
>>149 つづき
＜結界２＞（測度と非可測集合とについて）
１．確率変数 X : Ω → Eは、その取り得る値 Ωから取り出した部分 E に由来する可測関数である。 URLﾘﾝｸ(ja.wikipedia.org)
２．測度論の分野における可測関数（かそくかんすう、英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。 URLﾘﾝｸ(ja.wikipedia.org)
３．測度論は、このような容積（や他の測度）の概念を可測集合と呼ばれる非常に漠とした集合のクラスへ一般化するものである。実際、応用上で非可測集合を扱うわけでないとしても、測度論を展開するには議論を可測集合（および可測函数）に制限しなければならない。 URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
４．前スレ￥さん(抜粋)549 名前：￥ ◆2VB8wsVUoo [sage] 投稿日：2016/07/04(月)「私も（チラ見した程度ですが、でも）その問題意識には『全く同感』なん
ですよね。でも一番の問題点は「有効な代案を出す事が出来ない」という事ではないかと。・・・」
５．「有効な代案を出す事が出来ない」＝現代の”測度論を展開するには議論を可測集合（および可測函数）に制限しなければならない”。
６．ここをすっとばして、「測度が計算できないにもかかわらず確率99/100に見える」>>147だ？ 時枝は「めでたく確率99/100で勝てる.確率1-ε で勝てることも明らかであろう.」>>34と明白に書いているよ
７．どこからそんな曲解ができるのか。また、それでは時枝の「測度論は確率の基礎， と数学者は信じがちだ.だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」>>35
という主張に、力がなくなるよ。（もっとも、実際は、時枝解法が否定され、独立な確率変数の無限族の扱いも否定されたから、時枝記事でここだけしか残らないんだが・・）
（測度と非可測集合とについては、おっちゃんの方が詳しいだろうが（＾＾； ）
161:現代数学の系譜11 ガロア理論を読む
16/07/18 08:11:46.45 2+E02pBT.net
>>150 つづき
＜結界３＞（選択公理について）
１．>>148の
> 直接扱えるとすると
> 0 < 1-(1/2) < ... < 1-(1/n) < ... < 1 < 2-(1/2) < ... < 2-(1/n) < ... (< 2)
> のような可算無限個の数でも順番を変えないでそのまま箱に入れることができる
>
> 有限を介した場合は上の可算無限個の数は以下のように
> 0, 1, 1-(1/2), 2-(1/2), ... , 1-(1/n), 2-(1/n), ...
> 順番を変えて箱に入れることになる
は、選択公理を仮定すれば、どちらも可能だよ。（選択公理と等価な命題：整列可能定理 任意の集合は整列可能である。 URLﾘﾝｸ(ja.wikipedia.org)）
２．そして、時枝は「非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない. しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う」>>35 としている
３．だから、時枝記事では、そもそも選択公理は仮定されているんだ
４．結局、「確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ"だと」>>141 (可算選択公理が使えるし、選択公理自身も時枝記事内で仮定されている)
162:現代数学の系譜11 ガロア理論を読む
16/07/18 08:14:03.51 2+E02pBT.net
>>151 つづき
＜結界まとめ＞
１．これで、バカな攻撃がすべて結界で跳ね返されることが、読者の皆様にも見えるだろう
２．一体、数学の基礎の理解が不十分なのは、どちらなのか？ 一目瞭然だろう
３．”確率論の専門家”が指摘したことが、理解できていないようだ
４．現代確率論を見直すなら、時枝解法みたいなガセを相手にしないで、\さん指摘の>>5「あの当時とは違って、今はゲーム理論とかAI（NNみたいな学習理論とか）、また流行りのファイナンスとか、そういうのが『Kolmogorovの公理系からははみ出してる』・・」を直接攻めるべきと思いますよ
163:現代数学の系譜11 ガロア理論を読む
16/07/18 08:21:16.39 2+E02pBT.net
>>149 訂正
この奇妙と分からないんだろうね
↓
この奇妙さが分からないんだろうね
164:１３２人目の素数さん
16/07/18 08:25:03.52 B5AT1BAC.net
>>149-153
>>146
165:１３２人目の素数さん
16/07/18 08:25:49.21 B5AT1BAC.net
＞２．一体、数学の基礎の理解が不十分なのは、どちらなのか？ 一目瞭然だろう
大学一年生の教科書さえ勉強していないお前だよお前
166:１３２人目の素数さん
16/07/18 08:29:53.48 B5AT1BAC.net
>>151
お前は選択公理も整列定理も全く理解していない。
＞数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”>>330で良いということは、ご理解いただけましたか？（＾＾；
167:１３２人目の素数さん
16/07/18 08:32:44.90 B5AT1BAC.net
そもそもお前は
＞数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”>>330で良いということは、ご理解いただけましたか？（＾＾；
を撤回したと言ってるが、じゃあ何故ZFCの選択公理と無限公理を認めても成り立たないのかの振り返りが全く無い。
只他人から反例を突き付けられて認めざるを得なくなっただけだ。全て他人任せの思考停止。
168:１３２人目の素数さん
16/07/18 08:33:44.39 B5AT1BAC.net
いい加減に他人任せの思考停止やめたら？
そんで一年生の教科書の勉強から始めろよ
169:現代数学の系譜11 ガロア理論を読む
16/07/18 08:39:05.59 2+E02pBT.net
いいね。気持ちいいね。攻撃が全部跳ね返って行く（＾＾；
170:１３２人目の素数さん
16/07/18 09:10:12.19 B5AT1BAC.net
は？
＞数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”>>330で良いということは、ご理解いただけましたか？（＾＾；
はお前の発言なんだがｗ 何が跳ね返るって？ｗ
171:１３２人目の素数さん
16/07/18 09:19:55.34 V3KFLzW9.net
> ・時枝記事不成立は、>>141に書いた通り。それは前スレでの”確率論の専門家”の意見の通りでもある>>4-5
> ・時枝解法成立派
時枝記事不成立派の主張：
・非可測集合を経由した→99/100は測度論的確率論で計算�
172:ｳれたものではない→よって時枝は間違っている 俺の主張： ・測度が計算できないことなど織り込み済みである（記事に書いてある） ・戦略の不成立を示すためには、確率が0であること、あるいは戦略のどこかに論理破綻があることを言わなければならない
173:現代数学の系譜11 ガロア理論を読む
16/07/18 09:33:22.81 2+E02pBT.net
>>75 再録
（前スレより引用）
733 自分：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/06/17(金) 21:51:21.62 ID:sLJ89lT1 [1/5]
どうも。スレ主です。
\さん、みなさん、謝らないといけない
全く理解が浅かった
先週数学的帰納法について述べたことについては、多くを撤回します
みんな分かってたんだ。分かってないのは、私だけ
（引用おわり）
って、ことで、数学的帰納法について述べた過去発言を引用しても無効です
よって、証明おじさんの攻撃はすべて無効です
なので、結界は有効で、気持ちいいね。攻撃が全部跳ね返って行く（＾＾；
174:１３２人目の素数さん
16/07/18 09:41:53.68 V3KFLzW9.net
>>733の見せ掛け謝罪の後のレスがコレ(>>746)だな
帰納法と数学的帰納法の違いをアツく語っているようだが・・ｗ
----------------------------------
746 ：現代数学の系譜11 ガロア理論を読む：2016/06/18(土) 08:14:59.96 ID:PtXTSbRe
>>745 つづき
帰納法と数学的帰納法を混同させるカキコといえば
ID:fipUlhuk さんが、>>692で書いてくれているように、数学的帰納法は簡単に言えば、
「ｎまでの結果を使って、ｎ＋１でも同じことが成り立つ」ことをいうこと
>>371 "1/1 ≠ 0, 1/2 ≠ 0, 1/3 ≠ 0, 1/4 ≠ 0, ... , 1/n ≠ 0, ... 。よって、1/∞ ≠ 0 でいいの？"は、帰納法であって、数学的帰納法ではない
>>575 "平行な直線が無限遠点で交わることは帰納法で証明できるのか？"とID:otD5Zz1rさんも、バカな私に調子を合わせて電波を発信してくれました
（>>652 "イプシロンデルタ論法は実無限を扱っているのであって帰納法のような可能無限ではありません"なども、同趣旨の意味不明な脳波を狂わす電波でした）
だから、繰り返しますが、>>371>>575は、帰納法であって、数学的帰納法ではないと
だから、数学的帰納法の例外にはならない
175:現代数学の系譜11 ガロア理論を読む
16/07/18 09:45:00.35 2+E02pBT.net
>>104 訂正と補足
訂正
要するに、n次方程式が代数的に解けるならば、ラグランジュの分解式のn乗は、方程式の係数a1,・・・anとζ（1のn乗根で原始根）とから加減乗除で表される。
↓
要するに、n次方程式が代数的に解け、当該方程式または補助方程式（k次）の群が巡回群ならば、ラグランジュの分解式のn乗またk乗は、方程式の係数a1,・・・anとζ（1のn乗根で原始根）又は補助方程式の同様の係数とζ’（1のk乗根で原始根）とから加減乗除で表される。
補足
１．矢ヶ部の引用した部分は、「ガウスの結果の一般化」の節で、ここは方程式の群が巡回群に限られているんだ
２．だから、方程式の群が巡回群でなく、可換（アーベル）の場合には次の節の記述によることになる
３．一方、n次方程式が代数的に解ける場合は、補助方程式を通じて順次ベキ根を添加してゆけるので、そのときは、ラグランジュの分解式は有効
４．なので、上記のように訂正します。
５．詳しくは、矢ヶ部を読んでください
176:現代数学の系譜11 ガロア理論を読む
16/07/18 09:45:40.36 2+E02pBT.net
数学的帰納法について述べた過去発言を引用しても無効です
よって、証明おじさんの攻撃はすべて無効です
なので、結界は有効で、気持ちいいね。攻撃が全部跳ね返って行く（＾＾；
177:１３２人目の素数さん
16/07/18 09:53:29.58 V3KFLzW9.net
>>165
> 数学的帰納法について述べた過去発言を引用しても無効です
無効ではないなぁｗ
>>746は発言撤回宣言(>>733)の"後"になされていますから
178:１３２人目の素数さん
16/07/18 10:04:15.85 V3KFLzW9.net
前スレ>>631
> スレ主の定理：「数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”」
これは撤回かぁ。スレ主の大定理はガセだったか。期待していたのに残念だよ
しかし、いっときでもこのような馬鹿ネタをばらまいちゃうスレ主の脳みそ
179:ってどうなってんの？
180:１３２人目の素数さん
16/07/18 10:06:27.29 NT4gTESn.net
>>149
>２．こんなレベルで、「帰納法で例えるけど帰納法はn=∞でも成り立つ
「帰納法で例えるけど帰納法は任意(可算無限個)の自然数に対して成り立つ」と書きたいのかも知れないが、
「帰納法で例えるけど帰納法はn＝∞でも成り立つ」と書いている時点で間違い。
(正負の)無限大∞は、可算無限の意味での無限大か非可算無限の意味での無限大かまでは厳密には定義されてなく、
単純に「∞」と書いたからといって、即座に可算無限の意味での無限大とは断言出来ない。
証明おじさんの主張は正しく、スレ主の方が間違っている。
181:１３２人目の素数さん
16/07/18 10:36:13.08 B5AT1BAC.net
>>162
>>156-157
182:１３２人目の素数さん
16/07/18 10:39:50.25 B5AT1BAC.net
>>165
人のレスはよく読もうな（>>156-157）
何の結界にもなってないことをまずは自覚しろ
183:現代数学の系譜11 ガロア理論を読む
16/07/18 11:11:32.06 2+E02pBT.net
>>87 補足
>その後，彼らは 参考文献 [D] の Dummit の定理を 誰からもヒントを与えられずに，独自に再発見するのです。
Dummitは下記PDFURLﾘﾝｸ(www.ams.org)
D.S. Dummit Solving oluvable qiuntics, Math. Comp. 57(1991)
Dummitの内容は、下記PDFに詳しい（これは過去初代スレで紹介している）
URLﾘﾝｸ(repository.hyogo-u.ac.jp)
可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003
下記は、素人さんにも参考になるだろう
URLﾘﾝｸ(people.math.carleton.ca)
Kenneth Williams' Home Page School of Mathematics and Statistics Carleton University Ottawa, Ontario, Canada
URLﾘﾝｸ(people.math.carleton.ca)
Publications Available Electronically
URLﾘﾝｸ(people.math.carleton.ca)
Characterization of solvable quintics x^5 + ax + b, Amer. Math. Monthly 101 (1994), 986-992. (with B. K. Spearman)
これは、パワーポイントベースなので、これだけでは分かり難いが
URLﾘﾝｸ(www.mast.queensu.ca)
David Wehlau Professor Department of Mathematics and Statistics Queen's University
URLﾘﾝｸ(www.mast.queensu.ca)
Describing Resolvent Sexticsof Quintic Equations By Frank D. Grosshans URLﾘﾝｸ(en.wikipedia.org)
Frank_Grosshans のPDFが、David Wehlau Professorのところになぜという疑問が残る。また、文書の出所と日付がない
これは６次方程式でめずらしい
URLﾘﾝｸ(www.sciencedirect.com)
General Formulas for Solving Solvable Sextic Equations Thomas R. Hagedorn Journal of Algebra Volume 233, Issue 2, 15 November 2000, Pages 704-757
URLﾘﾝｸ(ac.els-cdn.com)
Download f
184:ull text in PDF
185:現代数学の系譜11 ガロア理論を読む
16/07/18 11:12:11.83 2+E02pBT.net
数学的帰納法について述べた過去発言を引用しても無効です
よって、証明おじさんの攻撃はすべて無効です
なので、結界は有効で、気持ちいいね。攻撃が全部跳ね返って行く（＾＾；
186:現代数学の系譜11 ガロア理論を読む
16/07/18 11:24:03.65 2+E02pBT.net
＜結界１＞（数学的帰納法について）より
通常「∀」と表記され、全称量化子などとも呼ばれる。 URLﾘﾝｸ(ja.wikipedia.org)
これ分かりますよね
>>138で、「＞”すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”>>122は、どうなったんだ？」
「どうもなってない、任意の有限個についての議論しかしていないだろ 違うというなら無限個まるまる扱う方法を述べよ」
”「全ての」と「任意の」は同義”
>>36"(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ."
ここで、任意の→全ての に置き換えてみな
>>39”2. 無限族の独立性の定義は微妙
2に関して言うとそもそも時枝氏の勘違い．
時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である” by ”確率論の専門家”さん
こんなレベルで、「帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張」>>122を持ち出す
この奇妙さが分からないんだろうね
その数学的帰納法の例えは、何の反論にもなっていない
結界は有効だな（＾＾；
187:現代数学の系譜11 ガロア理論を読む
16/07/18 11:35:45.49 2+E02pBT.net
>>171 訂正
Dummitは下記PDFURLﾘﾝｸ(www.ams.org)
↓
Dummitは下記PDF
URLﾘﾝｸ(www.ams.org)
188:１３２人目の素数さん
16/07/18 11:56:03.44 B5AT1BAC.net
>>172
アホ過ぎてレスも読めんか？
人に言われて撤回して終わりか？
何故自ら正しいとしたはずの主張が覆されたのか、振り返りは無しか？
お前がやってることは他人任せの思考停止以外の何物でもない。この件に限らない、全てがそうだ。
ほれ、ここまで言われて悔しいなら、馬鹿の一つ覚えの”結界”以外に何か言ってみろ
１．自らの主張を裏付ける論理のどこに飛躍があったのか？
２．数学的帰納法の証明
まずは１．次に２．を書いてみろ。
これはコピペでは解決できない。いくら検索してもこんなアホ発言はヒットしないだろうから。
コピペ癖が染みついたお前に丁度良い課題だよ。
189:１３２人目の素数さん
16/07/18 12:10:27.14 i7v9ksMw.net
コピペで知識を脳に取り入れて理解する
驚異のテクノロジーをスレ主は開発した！
190:１３２人目の素数さん
16/07/18 12:44:46.54 HP1oWNyD.net
帰納法の話はスレ主さんがもう負けを認めてるんだからいいんじゃない
191:１３２人目の素数さん
16/07/18 17:40:28.19 V3KFLzW9.net
>2に関して言うとそもそも時枝氏の勘違い．
スレ主の勘違い
記事を理解できずに何度も馬鹿コメントを繰り返すスレ主でした
192:１３２人目の素数さん
16/07/19 11:42:19.56 1VdAJ47S.net
>>176
コピペを２ちゃんに貼付けるだけで理解はしてないだろ・・・
193:１３２人目の素数さん
16/07/19 13:02:17.54 jLX2OmIL.net
スレ主はおまいたちの言動を元に深層学習を繰り返している
スレ主が馬鹿なのはおまい等のレベルの低さの反映と言える
194:１３２人目の素数さん
16/07/19 14:51:46.42 vATuOY6T.net
深層学習は、人工知能(AI)とのかかわりが生じ、少なくとも
生身の人間がすること(推論やパターン認識などの知覚)ではない。
2つ目の文では、スレ主のバカさの原因を他人のレベルの低さにして、
他人の責任にしている。1つ目の文と2つ目の文には、何も脈絡がない。
これら3点や、ageているところからすると、>>180は、何かスレ主が書きそうな文章に見える。
スレの流れや文脈からすると、何ともスレ主らしい文章だ。
数学的帰納法は、高1でやっているから大抵の人は知っている。
195:１３２人目の素数さん
16/07/19 14:56:47.61 vATuOY6T.net
>>181は>>180についての話。
196:１３２人目の素数さん
16/07/19 21:03:46.06 IPwNB/io.net
帰納法とは、正面から攻める代わりに、外堀を埋めていく戦法である。
地下に抜け道があるかもしれないから気をつけろ。
197:現代数学の系譜11 ガロア理論を読む
16/07/24 13:51:13.71 FvwRWNCJ.net
どうも。スレ主です。
金土と親戚に不幸があり不在でした。失礼しました。
>>177
>帰納法の話はスレ主さんがもう負けを認めてるんだからいいんじゃない
その声は、バリバリの数学科さんかな？
コメントありがとう！
198:現代数学の系譜11 ガロア理論を読む
16/07/24 13:52:24.53 FvwRWNCJ.net
>>184 つづき
負けは認めてないが、「勝ち負け」は数学的には無益な論争なので経緯を再度まとめる
（一応>>6-12にも
199:まとめはあるが） １．時枝解法成立派 Tさん：（19スレ）235 名前：T[sage] 投稿日：2016/05/22(日) 09:30:31.50 ID:F3N1SMTr [8/10] (抜粋)”無限個の確率変数が独立であるとは「無限個のうち任意の有限個が独立」と定義される。 「無限個がまるまるすべて独立」という定義ではない。これは記事に書いてあるとおり。 そしてここにパラドックスの成立する余地がある。 すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく、 それに含まれない他の箱が常に存在する。 その箱の情報が別の箱から得られないことを独立性の定義からは結論できない、というわけ。”と言い出した ２．同 （19スレ）295 返信：１３２人目の素数さん[] 投稿日：2016/05/27(金) 23:53:53.12 ID:UVhMlqM5 [2/3] (抜粋)”＞６．これを繰り返すと、有限部分族に上限はなく、”常に有限個の組でしかなく”に反する ここがおかしい また帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張 とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”と つづく
200:現代数学の系譜11 ガロア理論を読む
16/07/24 13:53:02.45 FvwRWNCJ.net
>>185 つづき
３．時枝解法成立派 証明おじさん：（19スレ）310 名前：１３２人目の素数さん[] 投稿日：2016/05/28(土) 11:04:41.65 ID:rEES5QT5
(抜粋)”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
これが理解できないスレ主のためにわざわざ問題出して上げたのに(>>144)ガン無視かよｗ”
（関連）”144 名前：１３２人目の素数さん[] 投稿日：2016/05/18(水) 00:22:26.33 ID:DGquPMc9 [1/2]
スレ主に丁度良い問題をあげよう
１．任意の有限個の開集合の共通部分は開集合であることを示せ
２．無限個の開集合の共通部分は開集合とは限らないことを示せ ”
（関連）(抜粋)”382 返信：１３２人目の素数さん[] 投稿日：2016/06/04(土) 20:00:07.35 ID:sCL4/KGi [2/3]
(n∈N ⇒ P(n)は真) ⇒ (n=∞ ⇒ P(n)は真) が真であれば、数学的帰納法は不完全であると言える。
実際には反例が存在するから不完全ではない。その反例を示すことを実体験しなさいと言ってるんだよ。”
201:現代数学の系譜11 ガロア理論を読む
16/07/24 13:53:47.09 FvwRWNCJ.net
>>186 つづき
まあ、要するにここまでをまとめると、時枝解法を擁護するために、Tさんは”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく、それに含まれない他の箱が常に存在する”などと言いだした。
それを補強するために、”帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張 とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”などと
証明おじさんは、”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”、
”(n∈N ⇒ P(n)は真) ⇒ (n=∞ ⇒ P(n)は真) が真であれば、数学的帰納法は不完全であると言える。実際には反例が存在するから不完全ではない。その反例を示すことを実体験しなさいと言ってるんだよ。”
（後の文は何を主張しているか意味不明。証明おじさんは結構この手の意味不明が多い（例えば現スレ>>68）。それを修正しないで放置するからわけわからん。）
202:現代数学の系譜11 ガロア理論を読む
16/07/24 13:54:26.91 FvwRWNCJ.net
>>187 つづき
さらに要約すると、
１）n=∞ を帰納法に持ち込んだのはTさん、
２）そしてTさんは”とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”→”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”を主張する
３）証明おじさんは尻馬に乗って、”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”、”数学的帰納法は不完全であると言える。”と
203:現代数学の系譜11 ガロア理論を読む
16/07/24 13:55:37.12 FvwRWNCJ.net
>>188 つづき
一方私スレ主は、
１．数学的帰納法の理解が浅かった。Tさん、証明おじさん、およびそれにチョウチンを付ける人たちにきちんと反論できず、脳波を狂わされ、迷走しました
２．開集合、閉集合も同様。
＜補足＞
１．数学的帰納法は、自然数の範囲ではn=∞は含まず、自然数の集合の濃度は可算無限。よって、n=∞を除いても、自然数の可算無限集合を数学的帰納法で取り扱える。なので”帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて”は、Tさんのミスリード
２．開集合、閉集合で、一見数学的帰納法は不完全であると見えるのは、極限と収束の問題と考えることができる。（>>9-10ご参照）
追記
n=∞という元を集合に導入することは、射影やリーマン球や超実数などの手法で可能だ。
しかし、n=∞を導入すると代数では体でなくなるし、1/nで実数n>0で1/n≠0だが、n=∞では1/n=0など、それまでと異なる状況になることに注意が必要だ。
また、位相論では、リーマン球でn=∞を含まなければ複素平面と同相だが、n=∞を含めればリーマン球はコンパクトになるなどもある。
204: それらは、数学的帰納法の外の問題であり、”数学的帰納法は不完全である”と捉えてはならない。 ここらは上記一応>>6-12にもまとめてあるので、そちらを見て貰えればと思います。
205:現代数学の系譜11 ガロア理論を読む
16/07/24 13:56:23.77 FvwRWNCJ.net
さて
可測非可測について
１．決定性公理を使えば、実数の任意の部分集合について「ルベーグ可測である」ことが従う。
URLﾘﾝｸ(ja.wikipedia.org)
決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性（英語版）を持つ」ことが従う。
２．そうやって、決定性公理から弱い形の選択公理（可算選択公理）が導かれ、Lebesgue測度を導入することができる（下記4-6節）
URLﾘﾝｸ(www.jstage.jst.go.jp) 決定性公理に関する最近までの諸結果について 無限ゲームの理論 田中尚夫 数学 1977
（また、下記なども参考になるだろう）
URLﾘﾝｸ(math.cs.kitami-it.ac.jp)
ルベーク測度の拡張の可能性について 渕野2006
URLﾘﾝｸ(fuchino.ddo.jp)
第I部 構成的集合と公理的集合論入門 渕野 昌 2015
(抜粋)
選択公理は，ツェルメロがこの公理を定式化した当初から色々と物議をか
もした公理である．バナッハ=タルスキーの逆理など，我々の物理的直観と
相容れない結果を導くこともあるため，問題視されることもある．それにも
かかわらずこの公理が通常仮定されるのは，
(1.9) 後述のゲーデルの構成的集合に関する結果から，ZF とZFC とは
無矛盾性に関して等価であることが示せること13)；
(1.10) Shoenfield の絶対性定理により，集合論での命題として表したとき
にそれほど複雑な形にならない数学的命題については14)，ZFC で
の証明が得られれば，それから選択公理を用いない証明を作りなお
すことができること；
(1.11) 選択公理のオルタナティヴと考えられる決定性公理の成り立つ世界
は，選択公理の成り立つ集合論の「宇宙」の内部モデルとしてとら
えることができること- ウディン(H. Woodin) による（本書第II部を参照）；
そして何よりもまず，
(1.12) 選択公理の仮定のもとで展開される数学が非常に豊かなものであること，
などがその理由として挙げられるだろう15)．
206:現代数学の系譜11 ガロア理論を読む
16/07/24 13:57:48.88 FvwRWNCJ.net
>>190 つづき
＜決定番号の確率分布について＞
・決定性公理などを使って、時枝問題の集合を非可測から可測集合として、測度を導入できたとしてもなお
・決定番号の確率分布を考察すれば、”この仮定が正しい確率は99/100”>>34はなお不成立と思う
・鉛筆転がしをモデルとしよう。ｎ角形の鉛筆に数字を書く。ほとんど全ての面に最大値ｎを入れる。ｎ以外の数もわずか（零集合）入れる
・n→∞を考えると、まっとうな確率確率分布にはならず、１００列の決定番号の比較で、”この仮定が正しい確率は99/100”などとはとても言えないことが分かる
207:現代数学の系譜11 ガロア理論を読む
16/07/24 13:59:26.84 FvwRWNCJ.net
さて
208:>>176 >コピペで知識を脳に取り入れて理解する驚異のテクノロジーをスレ主は開発した！ どうも。スレ主です。 コピペするときに、ボリュームが多いと全文は引用できない。 どこをコピペすべきかなど、内容を読んで考える。もちろん、そのまえに、この文が適切で意味があるかなども。 それが、勉強になっていることは否定しない。 それよりも、Tさん、証明おじさんは、文献紹介が殆ど無いのが不満だ だから、議論が深まっていかない おまいら、そんな天才なん？ 確率論、測度論、可測非可測の集合論。希代の天才たちが何年も掛けて積み上げてきた。 それを、こんな板で文献調べもせず、せいぜい数字間。数日あるいは数週間の素人の思索で凌駕できるとでも？ まず、自分で可測非可測の集合論や確率論調べてみなよ そうすれば、非可測集合で確率を考えるという主張の数学的おかしさが分かると思う（例えで、距離空間でないのに距離を考えると。例が適切かどうか不明ですが）
209:現代数学の系譜11 ガロア理論を読む
16/07/24 14:00:55.77 FvwRWNCJ.net
>>192 つづき
（下記ご参照）
URLﾘﾝｸ(oshiete.goo.ne.jp)
測度論の非可測集合って何？ 質問者：mori0309 質問日時：2000/12/14
No.1ベストアンサー 回答者： stomachman 回答日時：2000/12/15
(抜粋)
数学の公理のひとつに、選択公理というものがあります。すなわち「選択公理：与えられた集合の中から、要素をひとつ選び出すことができる。」当たり前みたいな話でしょう？でもこの公理を使うと「（どうやってかは知らないけど）委員を選ぶことができる。そこで...」と論を進められます。
そしてその結果、「非可測集合」や「バナッハ-タルスキーの定理」など、へんてこなものが出てくる。でも、選択公理を拒絶すると、数学のパワーがまるで弱くなる。証明できることがもの凄く少なくなってしまう。数学のかなりの部分（しかもおいしいミソの部分）は選択公理がないと成り立たないんです。
（「選択公理なしでどこまで行けるか」という研究分野があるからこそ、こういう事が分かったんです。）
●こういった話は、数学基礎論（「基礎的な数学」ではなく、数学の基礎となる前提に変なところはないか、などを研究する分野）です。
「超限集合論」「選択公理」「連続体仮説」「不完全性定理」などなどについて、色々一般向けの解説書が出ていますが、著者ごとに説明の仕方（読者から見れば疑問のポイント）が違いますので、乱読をお勧めします。
ちなみにStomachmanが数学基礎論と出会った最初の書物は「(島内剛一)数学の基礎」（既に絶版）でした。
210:現代数学の系譜11 ガロア理論を読む
16/07/24 14:03:36.19 FvwRWNCJ.net
Tさん、時枝記事を是として、論を展開しているが、いまや賛同する人はほとんどいない
もう良いだろう？
では
211:現代数学の系譜11 ガロア理論を読む
16/07/24 14:08:29.33 FvwRWNCJ.net
>>191 訂正
まっとうな確率確率分布にはならず
↓
まっとうな確率分布にはならず
212:現代数学の系譜11 ガロア理論を読む
16/07/24 14:09:49.96 FvwRWNCJ.net
>>192 訂正
せいぜい数字間
↓
せいぜい数時間
213:現代数学の系譜11 ガロア理論を読む
16/07/24 14:20:50.00 FvwRWNCJ.net
>>194 補足
￥さんが言ったように、「測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」>>35
という問題意識はありだろう
しかし、選択公理絶対でもないことは、>>190に書いたし、時枝の主張がいまいちすっきりしない
さらに、時枝は、”もうちょっと面白いのは，独立性に関する反省だと思う.”>>36
などと書いたが、なんとこれが、”確率論の専門家”さんに否定された>>4
時枝記事をもっと掘り下げたければ、それなりのスレを立てるなり、確率論のスレに移ってやるかだろう
一番良いのは、あんた大学へ勉強に行ったらどうだ？
このスレじゃ、これ以上は無理だよ
みりゃ、わかるでしょ
バリバリの数学科さんだって、のってこないでしょ
214:現代数学の系譜11 ガロア理論を読む
16/07/24 14:27:29.74 FvwRWNCJ.net
>>192 補足
位相の例で、
１９スレ 389 自分：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/06/04(土)
URLﾘﾝｸ(www.math.titech.ac.jp)
集合と位相第一 講義ノート 東京工業大学 理学部 2011 年度前期 山田光太郎
２０スレ 618 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/09(土)
URLﾘﾝｸ(www.misojiro.t.u-tokyo.ac.jp)
T5 閉集合と開集合 基礎数理 (副題：数理工学への入門)室田一雄 東大 2012
みんなこっちが探してきた位相の例じゃんか
自分で調べようとしていない。なんにもしない
だから議論が深まらないと思うけどね
215:１３２人目の素数さん
16/07/24 15:50:32.72 C2A4VhkC.net
>>187
＞後の文は何を主張しているか意味不明。
お前以外のその場にいた人達からは正しく理解された。お前一人が有りもしない誤字を捏造した上で180度真逆に解釈した。
それは偶然ではない。お前に素養が無いからだ。
反論があるなら一年生レベルの数学をどの教科書で学んだのか、その書名を書きなさい。
216:１３２人目の素数さん
16/07/24 15:56:22.56 C2A4VhkC.net
>>188
＞１）n=∞ を帰納法に持ち込んだのはTさん、
自分のアホを他人のせいにすんな
＞３）証明おじさんは尻馬に乗って、”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”、”数学的帰納法は不完全であると言える。”と
またその手かよｗ
人の発言の一部分だけ切り取っておかしなことを言ったかのように偽装するいつものお前の手ｗ
これを馬鹿の一つ覚えと云うｗ
217:１３２人目の素数さん
16/07/24 15:57:48.17 C2A4VhkC.net
>>189
＞１．数学的帰納法の理解が浅かった。
今も浅いだろｗ
反論があるなら証明を書きなさい。
218:１３２人目の素数さん
16/07/24 16:03:20.89 C2A4VhkC.net
>>189
＞ここらは上記一応>>6-12にもまとめてあるので、そちらを見て貰えればと思います。
何もわかっていないお前のまとめなんて糞の価値も無い
そろそろ気づけよ 自分の馬鹿にｗ
219:１３２人目の素数さん
16/07/24 16:07:03.15 C2A4VhkC.net
>>192
＞それが、勉強になっていることは否定しない。
否定するｗ
そんなものは勉強のうちに入らんとあれほど諭したのに未だわかってないｗ
やはり馬鹿は死ななきゃ治らないｗ
220:１３２人目の素数さん
16/07/24 16:09:07.76 C2A4VhkC.net
>>192
＞それを、こんな板で文献調べもせず、せいぜい数字間。数日あるいは数週間の素人の思索で凌駕できるとでも？
一年生の教科書すらろくに勉強してこなかったお前がどの口で言うのか？ｗ
221:１３２人目の素数さん
16/07/24 20:44:10.40 sLYM4Can.net
修論で定義とか調べてちゃんと書いてきなさい、と言われた後輩が
Wikiedia丸写しみたいな文章をそのまま貼付けてきて教授が頭を
抱えたのを思い出すな。
その部分について聞いても何も答えられない。ただコピペしただけ。
この部分は使ってないからなくてもいいだろ、と俺が言ったら「そうですね、
ありがとうございます」ってさくっと削除。で、ただ削除しただけだから
前後の文章のつながりがおかしいのに、それを直そうともしない。
修論発表会は教授が手取り足取りで準備、俺がその後何度か
話をきいてやって、操り人形みたいにして乗り切った
222:￥ ◆2VB8wsVUoo
16/07/24 22:58:00.59 ntolEbC+.net
この国には大学院なんて必要ありません。全部焼いて始末するべき。
￥
223:１３２人目の素数さん
16/07/24 23:05:00.54 QaTVFKyl.net
お、さらに先鋭化したね
224:￥ ◆2VB8wsVUoo
16/07/24 23:10:50.40 ntolEbC+.net
だってイランやろ。どうせコピペばっかしやさかいナ。あのナ、「やりました、
出来ました」なんていう論文なんて書かんでもエエのや。そやしアホ院生は焼い
て全部始末したらエエのや。せやろ。
￥
225:１３２人目の素数さん
16/07/24 23:20:09.08 108wkpdG.net
猫はもう数学やり尽くしたでしょ
226:￥ ◆2VB8wsVUoo
16/07/24 23:37:41.18 ntolEbC+.net
いいや、死ぬまでやります。
￥
227:￥ ◆2VB8wsVUoo
16/07/25 05:48:39.35 kzohBiLJ.net
￥
228:￥ ◆2VB8wsVUoo
16/07/25 05:48:57.45 kzohBiLJ.net
￥
229:￥ ◆2VB8wsVUoo
16/07/25 05:49:15.23 kzohBiLJ.net
￥
230:￥ ◆2VB8wsVUoo
16/07/25 05:49:32.63 kzohBiLJ.net
￥
231:￥ ◆2VB8wsVUoo
16/07/25 05:49:49.00 kzohBiLJ.net
￥
232:￥ ◆2VB8wsVUoo
16/07/25 05:50:04.41 kzohBiLJ.net
￥
233:￥ ◆2VB8wsVUoo
16/07/25 05:50:21.28 kzohBiLJ.net
￥
234:￥ ◆2VB8wsVUoo
16/07/25 05:50:37.56 kzohBiLJ.net
￥
235:￥ ◆2VB8wsVUoo
16/07/25 05:50:54.08 kzohBiLJ.net
￥
236:￥ ◆2VB8wsVUoo
16/07/25 05:51:09.43 kzohBiLJ.net
￥
237:１３２人目の素数さん
16/07/25 23:00:25.26 8DjdKwVz.net
>>210
てめえがいるいらん思うのはいいけど発狂キモすぎやわ、他のところで発狂してこいよ
邪魔
238:１３２人目の素数さん
16/07/27 00:56:36.42 p/cnETiO.net
パチンコで大数の法則とボルレカンテリの法則つかってかてますか？
上極限寄せです
239:￥ ◆2VB8wsVUoo
16/07/27 06:25:40.87 +s77x0ZI.net
￥
240:￥ ◆2VB8wsVUoo
16/07/27 06:26:00.58 +s77x0ZI.net
￥
241:￥ ◆2VB8wsVUoo
16/07/27 06:26:22.74 +s77x0ZI.net
￥
242:￥ ◆2VB8wsVUoo
16/07/27 06:26:44.35 +s77x0ZI.net
￥
243:￥ ◆2VB8wsVUoo
16/07/27 06:27:07.60 +s77x0ZI.net
￥
244:￥ ◆2VB8wsVUoo
16/07/27 06:27:29.21 +s77x0ZI.net
￥
245:￥ ◆2VB8wsVUoo
16/07/27 06:27:51.01 +s77x0ZI.net
￥
246:￥ ◆2VB8wsVUoo
16/07/27 06:28:12.61 +s77x0ZI.net
￥
247:￥ ◆2VB8wsVUoo
16/07/27 06:28:36.22 +s77x0ZI.net
￥
248:￥ ◆2VB8wsVUoo
16/07/27 06:28:58.39 +s77x0ZI.net
￥
249:￥ ◆2VB8wsVUoo
16/07/28 16:39:33.34 8pzjc5xM.net
￥
250:１３２人目の素数さん
16/07/28 23:16:39.87 Fq/8P1f6.net
工学の数学は、とにかく解を求めることにあった。ガウスザイデル収束徹夜でやったな
251:￥ ◆2VB8wsVUoo
16/07/29 08:01:34.81 h6nhWaO9.net
その『与えられた道具を作法通りに使うだけ』という考え方。ソレこそが
日本人の専売特許たる「ナントカ道」という考え方だ。それには利点もあ
るので、従って全面的に批判する事は確かに難しいが、でも：
★★★『学問とは全てそういうモノであり、それ以外の価値観は一切認めない』★★★
という閉鎖性が、正に日本をダメにする原因というものだろう。そういう
芳雄的な世界観だけしか認めないから、多様性を潰し、そして学問が閉塞
する。そういうのを見てると、息が詰まりそうで逃げ出したくなる。
私はそういう硬直化した考え方にもう加担しなくて済むので幸いだが。
￥
252:１３２人目の素数さん
16/07/29 13:06:37.18 Wmw93REz.net
「数学にも芸術にも、真実の基準というものはありません。何が真実であるかを決めるのは、
唯一、実験だからです」
数学は、思考実験を別にすれば実験を行わないから、自然科学ではない。数学的宇宙は
イマジネーションの中だけに存在し、その宇宙の法則は人間が作ったものだ
したがって数学は小説が持っている美と可能性、そして「もし～なら」という仮定的な性質の
すべてをそなえている
「完全なる証明」マーシャ・ガッセンP73
ギリシャ人が算術を奴隷や商人の学問として嫌ったのは事実と結果がはっきりしてるからだろう
欧米が事実や真実を回避して空想や妄想に力を入れた原因は知能が引くかったからだろうが
知能が低くても足掻いてこねくり回せば素晴らしいものを手に入れられるといういい教訓だ
ウルトラ文系人間で科学も数学も全部文学にしてしまうのが欧米の強さなんだろう