[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
578: 2020/03/21(土)21:34 ID:6p6Apyjd(4/4) AAS
>>573
あんたが>>552で数当てが当たらないと言っていることは確率以前のことで
conglomerabilityとは無関係なんだよ
[前提]
可算無限個の箱に当たりが1つだけ入っている
箱を全て開けて中身を見れば当たりが入っている箱を特定できる
[数当てが当たらないことの主張]
先頭から有限個に当たりが入っていないなら極限をとれば
可算無限個の箱全てに当たりが入っていないことがいえる
> DR Pruss氏議論が分かっていない
省7
579(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/21(土)22:13 ID:gPebnXHG(12/13) AAS
conglomerability おれは あんまり興味ない
∵ あまり普遍じゃないから
conglomerability でなく、DR Pruss氏は、主に
”That's a fine argument assuming the function is measurable. But what if it's not?”みたく
「measurable」で議論している
「measurable」で議論できるでしょ
で、「measurable」の議論に入れないのが、おサルの弱点だな
質問者 Denis氏に同じ（>>573 ご参照）
580(1): 哀れな素人 2020/03/21(土)22:26 ID:DgS6QrDj(1) AAS
スレ主よ、サル石とその同類のバカが、時枝問題を
「分からない問題はここに書いてね458」
に持ち込んだようだ（笑
原問題を提示しないと答えられるはずがないのに、
アホだから原問題も示さずに質問した（笑
こうなればいよいよ時枝問題専用スレを立てて、
決着を付けるしかないか、とも思うが、お前はどう思うか（笑
お前が立てたくないなら、僕が立ててやるぞ（笑
581: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/21(土)23:06 ID:gPebnXHG(13/13) AAS
>>580
哀れな素人さん、どうも出張レスありがとう（＾＾
(引用開始)
スレ主よ、サル石とその同類のバカが、時枝問題を
「分からない問題はここに書いてね458」
に持ち込んだようだ（笑
原問題を提示しないと答えられるはずがないのに、
アホだから原問題も示さずに質問した（笑
(引用終り)
同意です
省11
582(1): 2020/03/22(日)01:44 ID:da5TzX47(1/2) AAS
>>579
> 「measurable」で議論できるでしょ
Denisが以下のようにコメントして
> ah ok I see where the misunderstanding comes from,
結局Prussは戦略が数列に依存しないことに納得したのでしょ
583(2): 哀れな素人 2020/03/22(日)08:26 ID:uynM0ApJ(1) AAS
「分からない問題はここに書いてね458」から引用（笑
801
お帰り下さい
現代数学の系譜 カントル 超限集合論2
2chｽﾚ:math
841
>>801の中の人々とは関わらない方がいいかも。
2chの高レベルの連中からは、
このスレの人間は相手にされていないのである、
サル石その他もスレ主も（笑
584(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)09:09 ID:TMbOZsnt(1/22) AAS
>>583
哀れな素人さん、どうも。ガロアスレのスレ主です。
> 2chの高レベルの連中からは、
>このスレの人間は相手にされていないのである、
>サル石その他もスレ主も（笑
「2chの高レベルの連中」はともかくも
「このスレの人間は相手にされていないのである、
サル石」に同意ですｗ（＾＾；
585(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)09:10 ID:TMbOZsnt(2/22) AAS
私は、別に相手をして欲しいとは思ってないけど
私とサル石が、同じアホバカのレベルということは
皆さん認識されたということですねｗ(゜ロ゜；
586(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)09:53 ID:TMbOZsnt(3/22) AAS
>>582
おサル、それ誤読だよ
”misunderstanding”は、下記引用の3)のとこでしょ
でも、面白いね、文献の”philosophical reason”の「 independently」の
”orthodox (Kolmogorovian) probability theory”と異なる見方（哲学だけれど）
（>>553より参考）
外部ﾘﾝｸ:mathoverflow.net
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
DR Pruss氏
(抜粋)
省9
587(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)09:53 ID:TMbOZsnt(4/22) AAS
>>586
つづき
4)What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n?1)/n.
That's right. But now the question is whether we can translate this to a statement without the conditional "For each fixed opponent strategy". ? Alexander Pruss Dec 19 '13 at 15:05
5)How about describing the riddle as this game, where we have to first explicit our strategy, then an opponent can choose any sequence. then it is obvious than our strategy cannot depend on the sequence. The riddle is "find how to win this game with proba (n-1)/n, for any n." ? Denis Dec 19 '13 at 19:43
6)But the opponent can win by foreseeing what which value of i we're going to choose and which choice of representatives we'll make. I suppose we would ban foresight of i? ? Alexander Pruss Dec 19 '13 at 21:25
7)yes the order would be: 1)describe the probabilistic strategy 2)opponent choses a sequence 3)probabilistic variable i is instanciated ? Denis Dec 19 '13 at 23:02
(引用終り)
588: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)10:02 ID:TMbOZsnt(5/22) AAS
>>586
>Of course, one could mean "independently" here in some non-mathematical causal sense. (And there may be philosophical reason for doing this: fitelson.org/doi.pdf )
(補足)
外部ﾘﾝｸ[pdf]:fitelson.org
Synthese ・ September 2014?137 (3), 273-323
Declarations of Independence
Branden Fitelson and Alan Hajek
Abstract
According to orthodox (Kolmogorovian) probability theory, conditional probabilities are by definition certain ratios of unconditional probabilities. As a result, orthodox conditional probabilities are regarded as undefined whenever their antecedents have zero unconditional probability. This has important ramifications for the notion of probabilistic independence.
Traditionally, independence is defined in terms of unconditional probabilities (the factorization of the relevant joint unconditional probabilities). Various “equivalent” formulations of independence can be given using conditional probabilities.
省8
589: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)10:39 ID:TMbOZsnt(6/22) AAS
>>584-585
"分からない問題"スレで、完全にバカにされているおサル（下記）
因みに、下記「この日本語で何かが他人に伝わるのだろうか？」は
2chｽﾚ:math
のおサル 発言でしょうね〜ｗ（＾＾
分からない問題はここに書いてね458
2chｽﾚ:math
850 名前：１３２人目の素数さん[sage] 投稿日：2020/03/22(日) 09:17:51.68 ID:1BEnWcmA
この日本語で何かが他人に伝わるのだろうか？
851 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 10:02:57.97 ID:BUSW/Nah [5/7]
省20
590: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)10:46 ID:TMbOZsnt(7/22) AAS
どうした？
自称東大ｗ(゜ロ゜；
もっとガンバレ（＾＾
591: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)10:47 ID:TMbOZsnt(8/22) AAS
ぼこぼこに されている おサル
笑えるな〜ｗ
592: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)11:13 ID:TMbOZsnt(9/22) AAS
>>586-587
まとめ
数学DRにして大学教授（数理哲学）のPruss氏の回答に対して
質問者 Denis氏 （コンピュータサイエンス）は、確率の測度論に入っていけない
”but for this we only need the uniform distribution on {0,…,n}”の一点ばり
対して Pruss氏は、確率の独立概念の哲学文献などを示して、説得しようとするが、理解できないDenis氏
圧倒的に、Pruss氏の数学レベルが高い
まあ、測度論的確率論の知識が欠落しているのでしょうね、理解できないDenis氏は
測度論的確率論を、講義するわけにもいかず、DR Pruss氏はさじ投げた
（このスレに同じｗ（＾＾； ）
省11
593(12): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)11:42 ID:TMbOZsnt(10/22) AAS
>>450 補足
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜； ＞
広中−岡のエピソードの教訓により、さらに時枝を抽象化して（余計な要素を省いて） 考えてみよう
いま、問題の出題された数列
可算無限数列X：X1,X2,・・Xd,Xd+1,・・
に対し
無関係な人が数列を作ったとする
可算無限数列Y：Y1,Y2,・・Yd',Yd'+1,・・
ここに、d,d'はそれぞれの列の代表番号である
もし、d＜d'ならば、列Yの箱を開けて、d'を知り
省23
594(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)11:43 ID:TMbOZsnt(11/22) AAS
>>593
つづき
おさらいすると，仮定のもと， 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)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
外部ﾘﾝｸ:ja.wikipedia.org
広中平祐
特異点解消問題について、1963年に日本数学会で講演した。その内容は、一般的に考えるのでは問題があまりに難しいから、様々な制限条件を付けた形でまずは研究しようという提案であった。
その時、岡潔が立ち上がり、問題を解くためには、広中が提案したように制限をつけていくのではなく、むしろ逆にもっと理想化した難しい問題を設定して、それを解くべきであると言った。
その後、広中は制限を外して理想化する形で解き、フィールズ賞の受賞業績となる[4]。
省1
595(1): 2020/03/22(日)11:53 ID:+SjNGkOL(1/10) AAS
>>593
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど、２列関係ないでしょ？！ｗ（＾＾；
だから時枝はそんなこと言ってないと何度言えばｗ
おまえホント頭悪いね
596(1): 2020/03/22(日)11:55 ID:+SjNGkOL(2/10) AAS
文字通り100回くらい言ってきたぞ、時枝はそんなことは言ってないと
馬鹿は学習できないから数学無理
597(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:44 ID:TMbOZsnt(12/22) AAS
>>593 補足
>無関係な人が数列を作ったとする
>可算無限数列Y：Y1,Y2,・・Yd',Yd'+1,・・
さて さらに、この人（以下、”おっさん”と称する ｗ）
が、もっと数列を作ったとする
先の数列を Y1として
追加数列は
Y2：Y21,Y22,・・Y2d'',Y2d''+1,・・
Y3：Y31,Y32,・・Y3d'',Y3d''+1,・・
・
省17
598: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:49 ID:TMbOZsnt(13/22) AAS
みんな乗ってこないね
必死にたきつけるおサル
でも、白けですね ”シラ〜”ｗ(゜ロ゜；
みじめなおサルさんｗｗ（＾＾；
（参考）
分からない問題はここに書いてね458
2chｽﾚ:math
856 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 11:51:06.17 ID:OFMTPL9H [7/7]
某スレッドの自称大阪大工学部卒氏
敵（？）が東大理学部卒と思い込んで怒り狂う
省2
599: 2020/03/22(日)12:53 ID:+SjNGkOL(3/10) AAS
>>597
>時枝理論によれば
>１．n+1個の 代表番号は、 d,d',d'',・・d'' ' で
> dに対し、”おっさん”の数列で 最大値 dmax=max(d',d'',・・d'' ')
> として、d＜dmax なる確率 P（d＜dmax）＝n/(n+1) だという
おまえなに？痴呆症？
600(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:54 ID:TMbOZsnt(14/22) AAS
>>595-596
>>593より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜；
＜時枝を抽象化して（余計な要素を省いて） 考えてみよう〜！＞
601: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:56 ID:TMbOZsnt(15/22) AAS
>>600 訂正追加
>>593より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜；
↓
>>594より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜；
かな（＾＾
602: 2020/03/22(日)13:11 ID:+SjNGkOL(4/10) AAS
抽象化になってないと言ってんのに分らんの？バカなの？痴呆なの？
603: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)13:15 ID:TMbOZsnt(16/22) AAS
抽象化を、広い意味で、「余計な要素を落として、純粋に数学的要素だけを残して考える」とすれば、いいべ ｗ（＾＾
604(1): 2020/03/22(日)13:19 ID:+SjNGkOL(5/10) AAS
本質要素を落としてると言ってのが分からんの？バカなの？痴呆なの？
605: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)13:30 ID:TMbOZsnt(17/22) AAS
>>604
外部ﾘﾝｸ:bokete.jp
「能ある鷹は爪を隠す」の対義語
能なしサルはケツ真っ赤 - 2019年12月01日 ボケて（bokete）
(引用終り)
おサルのお顔は、まっかっかｗ（＾＾；
606(1): 2020/03/22(日)14:14 ID:OFMTPL9H(1/8) AAS
>>593 >>597
出題の列Xを固定するなら、的中確率はn/n+1じゃなくて1だけど
(証明)
列Xの決定番号をd
開ける項の番号をm
とする
d<=mなら代表元と一致
d>m なら一般的に代表元と一致しない
d<=mとなるmは無限個
d>mとなるmは有限個
省2
607(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)14:17 ID:TMbOZsnt(18/22) AAS
おサル、分からない問題スレで、冷たくあしらわれているな
分からない問題スレで、ドッチラケだな
哀れだねーｗ（＾＾；
分からない問題はここに書いてね458
2chｽﾚ:math
855 名前：１３２人目の素数さん[sage] 投稿日：2020/03/22(日) 11:47:03.77 ID:OFMTPL9H [6/7]
ID:BUSW/Nah氏への問い
Q.長さn以下の10進小数の9/10が長さn
ある人曰く
「だからｎ→∞の極限で有限小数の9/10が長さ∞」
省7
608(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)14:31 ID:TMbOZsnt(19/22) AAS
>>606
(引用開始)
d<=mとなるmは無限個
d>mとなるmは有限個
したがって無作為にmを選んだ場合 d<=mとなる確率1
(引用終り)
おっ、分かってきたかな？ｗ
なお
誤：したがって無作為にmを選んだ場合 d<=mとなる確率1
↓
省11
609: 2020/03/22(日)14:32 ID:OFMTPL9H(2/8) AAS
>>607
自爆で発狂 御愁傷様
外部ﾘﾝｸ:ja.wikipedia.org
610: 2020/03/22(日)14:36 ID:+SjNGkOL(6/10) AAS
>>608
>ここが、大問題なのだ （＾＾；
簡単に解決できるじゃん
1列から100列を作っていずれかを無作為に選べばいいだけ
バカですか？
611(1): 2020/03/22(日)14:48 ID:OFMTPL9H(3/8) AAS
>>608
＞おっ、分かってきたかな？
なんだ、分かってないのか
「的中確率１」だぞ
＞誤：無作為に
＞正：十分大きな
「十分大きな」では無意味
「無作為に」で十分
＞”可算無限長列で、
＞ 常に有限の決定番号ｄが存在するならば、
省18
612: 2020/03/22(日)14:52 ID:+SjNGkOL(7/10) AAS
conglomerability assumption
613: 2020/03/22(日)14:59 ID:OFMTPL9H(4/8) AAS
Prussがnon-conglomerableだと指摘した理由 それは
「場合分けによって確率が全然違ってしまうから」
１．項ｍで場合分けしたら、確率０
（ほとんどすべての列で決定番号ｄがｍより大きいから）
２．列ｘで場合分けしたら、確率１
（ほとんどすべての自然数ｍが列ｘの決定番号ｄ以上だから）
３．ｎ列固定で、1列選んで、The Riddleの戦略で項を決めたら確率１−１／ｎ
つまり場合分けの仕方でconglomerabilityに基づいた確率の結果が異なるから
614(1): 2020/03/22(日)17:31 ID:+SjNGkOL(8/10) AAS
3は1,2と独立且つ正しい
Prussはすべった
615: 2020/03/22(日)17:35 ID:OFMTPL9H(5/8) AAS
>>614
1,2も条件付き確率としては正しい
3を「100列を確率変数とした場合」に拡大できない
という点ではPrussは正しい
616: 2020/03/22(日)17:37 ID:OFMTPL9H(6/8) AAS
要するに
・１．２．３．とも条件つき確率としては正しい
・１．２．３．とも「１００列を確率変数とした場合」には拡大できない
617(1): 2020/03/22(日)17:47 ID:+SjNGkOL(9/10) AAS
Denisは
1,2は間違い
とも
3を100列を確率変数としても正しい
とも言ってないんじゃないかな
Prussも3が間違いとは言ってないとすれば、マチガッテルのはあの方だけですね
618: 2020/03/22(日)17:54 ID:OFMTPL9H(7/8) AAS
>>617
Denisが100列固定として理解してるとは思いますが
100列を確率変数とした場合に延長できるかどうか
についてはコメントがないですね
だからPrussは「100列が確率変数だったらダメだよ」
といってるんだと思います
Prussが100列固定の場合の3について否定してないことは
The Riddleを肯定したことからも明らかです
＞マチガッテルのはあの方だけですね
「確率１で決定番号が∞」と云ってる時点で明らかでしょう
省2
619: 2020/03/22(日)18:08 ID:+SjNGkOL(10/10) AAS
>決定番号∞だったら、同値でないってことですが
間違いのレベルがぶっ飛んでますね
620(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)18:39 ID:TMbOZsnt(20/22) AAS
>>608 補足
＞ １．”可算無限長列で、常に有限の決定番号ｄが存在するならば、十分大きなmを選んで、 d<=mとできるなら、代表列との比較で "rXd=Xd"と推測が的中確率1”
ここが問題なんだな
つまり、我々は、決定番号ｄを直接選ぶことはできないのだ
∵ 問題の列Xで、Xdを決してしることはできないのだから
（選択公理などで）選ぶことができるのは、代表列rXでしかないのです
おサルには理解出来ないかも知れないが、人には理解できるだろうｗ（＾＾
621: 2020/03/22(日)20:03 ID:da5TzX47(2/2) AAS
>>620
> 我々は、決定番号ｄを直接選ぶことはできないのだ
決定番号は数当てでは単なる比較のための基準でしかないから
回答者は数当てができるような基準を設定しているだけのことだよ
実数を1つ選んでその無限小数表示を考えて1桁ずつ並べて数列にする
たとえば12345.678999... の小数点を除外して
1, 2, 3, 4, 5, 6, 7, 8, 9, 9, 9, ...
この数列を見ても元の小数点の位置は分からないが
数当てをするのに小数点の位置を何らかの基準にするのならば
数列の数字を変えない前提で回答者は自分で小数点を付け加えて考えればよい
省2
622: 2020/03/22(日)20:17 ID:OFMTPL9H(8/8) AAS
>>620
決定番号ｄを選ぶ必要はありません
当てる列を固定すればいいだけです
つまり、試行を繰り返す場合には
毎度毎度別の人が回答者になればいいだけ
頭は生きてるうちに使いましょう
623: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)22:07 ID:TMbOZsnt(21/22) AAS
>>611
＞ したがって「代表列との比較で "rXm=Xm"となる的中確率1」が正しい
ああ、それでも可だ
下記 時枝にある通りで
”結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう”だな
だから、 "rXm=Xm"も "rXd=Xd"も どちらも可だ
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
時枝問題（数学セミナー201511月号の記事）
省6
624: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)22:09 ID:TMbOZsnt(22/22) AAS
おサル、分からない問題スレで、冷たくあしらわれているな
分からない問題スレで、ドッチラケだな
哀れだねーｗ（＾＾；
分からない問題はここに書いてね458
2chｽﾚ:math
862 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 14:04:27.32 ID:OFMTPL9H [8/8]
>>858
>>855に答えましょうね
863 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 19:48:33.60 ID:BUSW/Nah [9/9]
>>862
省3
625(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/23(月)07:54 ID:8hlHRLPg(1) AAS
>>597 補足説明
(引用開始)
ここで、出題の列Xと無関係な
見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って
P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて
dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け
>>593と同様に
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる
（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ）
これは、全くバカげた話ですｗ
省15
626(1): 2020/03/23(月)20:09 ID:lDyHiL++(1/2) AAS
>>625
>１．時枝理論を 回答者に有利なようにルールを変えることができる
> 「同値類の代表は、回答者に有利に選び直せる」こととする
>２．そうすると、dmaxはいくらでも 大きく取れる
> つまり、回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ
dが分かってないのにどうやってd＜dmaxとなるように選ぶの？
> （∵ dmax=1とか、あり得ないけど、小さな数では明らかに勝てない。
そんなことはない。大きかろうが小さかろうがd≦dmaxなら勝てる。
>で、dmaxが好きなだけ大きくできることは自明で、そうすれば良い。可算無限長の数列だから）
好きなだけ大きくしてもいいが、どうやってd≦dmaxを保証するの？dが分からないのに。バカ？
省19
627: 2020/03/23(月)20:12 ID:lDyHiL++(2/2) AAS
いやあ、よくもこれだけ恥を晒せるものだ
厚顔無恥のオリンピックがあったら金メダル量産だねｗ
628: 2020/03/23(月)20:26 ID:+uQyfpo2(1/2) AAS
>>625
（「箱入り無数目」について）
>回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ
然り
>それは、d番目の箱からdmaxまで、
>dmax - d + 1 個の 箱の中の実数が、
>箱を開けずに的中できるということ
然り
>dmaxは、いくらでも増やせるから、
>100万個でも1億個でも1兆個でも・・、
省24
629: 2020/03/23(月)20:37 ID:+uQyfpo2(2/2) AAS
追伸
>>626の指摘通り d≦dmaxなら当たる
630: 2020/03/23(月)22:03 ID:2vPoPtWs(1) AAS
>>625
> dmaxはいくらでも 大きく取れる
それは特定のある同値類(の代表元)に固定した場合であって
> ”有限の代表番号dの存在”は否定された
これは言えないよ
全ての同値類(ある1つの完全代表系に含まれる全ての代表元)について
は言えないから
省5
631(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)07:52 ID:1Hky7X6d(1/5) AAS
>>625 追加
(>>597より 引用開始)
ここで、出題の列Xと無関係な
見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って
P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて
dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け
>>593と同様に
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる
（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ）
これは、全くバカげた話ですｗ
省14
632(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)07:55 ID:1Hky7X6d(2/5) AAS
>>631
つづき
６．明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
何がどう おかしいか？
１）1つは、dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、有限dmaxに対して、確率P(d<dmax)は常に0
∵ dが自然数N全体を渡るので、自然数N全体に対して、d<dmaxの部分集合は無限小にすぎない
２）”d番目からさきが一致する”を考えてみると、これは”d番目からさき”の無限個の箱の数が一致するってことですｗ（＾＾；
列Xと代表rXとの比較で、1つの箱が一致する確率をpとすると、2つならp^2、n個ならp^n、無限ならp^∞＝0
つまり、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”確率は0 ！！
３）確率は0だからといって、そのような代表rXが存在しないわけではない
省5
633(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)07:57 ID:1Hky7X6d(3/5) AAS
>>632 補足
＞ １）1つは、dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、有限dmaxに対して、確率P(d<dmax)は常に0
簡単に一様分布を仮定したが、正確には一様分布ではなく、すそが発散するとんでもない分布なのです
（説明すると長くなるので、省略します（＾＾； ）
634: 2020/03/24(火)18:40 ID:nj3f9M7r(1) AAS
>>632
> 明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
可算無限個の箱の全てに実数であればどんな数字でも入れることが可能なんだから成り立っている
ある代表元とある箱から先の数字が全て一致しているから
可算無限個の箱の全てに実数を入れ終わったということが言える
> これ、宝くじの原理。当たりくじは、必ずある。
> 当たる確率は0に近い
回答者は完全代表系を用いるから宝くじで言えばくじを全部購入済み
当たりが必ず入っているんだから買ったくじのどれかが当たる確率は1
省1
635: 2020/03/24(火)19:28 ID:MEXav4AL(1/2) AAS
>>632
>明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
まず代表rXの選択を肯定するなら、どう代表を選んでも
任意の数列Xに対しても必ずある自然数dが存在して
d番目から先が、数列Xが所属する同値類の代表rXと一致する
なぜなら、代表元はそれが所属する同値類の中の任意の数列と同値だから
したがって否定するのは
”代表rXを選ぶことができて、”
その場合、選択公理を否定することになる
省3
636: 2020/03/24(火)19:29 ID:MEXav4AL(2/2) AAS
>>633
>dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、
>有限dmaxに対して、確率P(d<dmax)は常に0
だからといって、P(d∈N)=0、P(∞)=1、とはいえない
注：ここでは∞は任意のn∈Nより大きい「数」でNの要素でない、とする
「XとrXの一致項が無限個でない」と言いたいのなら当然そうなるだろう
（しかし、「」内の主張はXとrXが同値であることと真っ向から矛盾するが）
637: 2020/03/24(火)22:00 ID:RQgrFGVd(1/2) AAS
>>631
>３．見知らぬ "おっさん" が勝手に、数列Yを作って、同じように同値類から決定番号dmaxを得る
> １列作った場合、Xとの２列の比較で、d<dmaxとなる確率P(d<dmax)=1/2
大間違い
あれほど説明したのに未だに解ってないｗ バカに数学は無理ｗ
>４．さて、dmax+1から先を開けるのを、dmax+1+k(ｋ>=1)から先を開けると改良できる
> そうすると、d番目からdmax+k までの箱が、ごっそり的中できる。kは任意だから、100兆個でも1000兆個でも、ごっそり的中できる
どうやってｄを知るんだよｗ
>５．あきらかに、これはおかしい。
おかしいのはおまえｗ
638: 2020/03/24(火)22:08 ID:RQgrFGVd(2/2) AAS
>>631
バカに質問ｗ
なんで↓が成立すると思ってるの？
>ここで、出題の列Xと無関係な
> 見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って
> P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて
> dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け
> >>593と同様に
> 列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる
> （確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ）
省2
639(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)23:45 ID:1Hky7X6d(4/5) AAS
無限を考えるとき、人はしばしば間違う
そこで、有限の極限を確認するという、真面目な取り組みを心懸けるようお薦めしたい
時枝については、>>552に示している通りです
なお、物理学では、ボーアの指導原理「量子数 n が十分大きい極限では，古典力学による記述が可能となる」
プランク定数 h → 0 の極限で量子力学が古典力学に一致する
相対性理論は,光速度を無限大とする極限においては ニュートン物理学と一致する
などが有名です
（参考）
外部ﾘﾝｸ[pdf]:www.wattandedison.com
伝熱 2010 年 1 月
省9
640: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)23:46 ID:1Hky7X6d(5/5) AAS
>>639
つづき
外部ﾘﾝｸ:ja.wikipedia.org
プランク定数
(抜粋)
理論
プランク定数は量子論的な不確定性関係と関わる定数であり、h → 0 の極限で量子力学が古典力学に一致するなど、量子論を特徴付ける定数である。
外部ﾘﾝｸ:www.jstage.jst.go.jp
科学哲学39-2(2006)
相対性理論の意味 田中裕 (上智大学)
省7
641(1): 2020/03/25(水)05:22 ID:hW5LBiGq(1/2) AAS
>>639
>無限を考えるとき、人はしばしば間違う
>そこで、有限の極限を確認するという、
>真面目な取り組みを心懸けるようお薦めしたい
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
このとき、決定番号∞となる小数を一つ上げよ
例えば
省8
642(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)07:52 ID:wzyKzdmN(1/4) AAS
>>641
良い質問ですね〜（＾＾
(引用開始)
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
このとき、決定番号∞となる小数を一つ上げよ
(引用終り)
良い質問ですね〜
省40
643(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)13:46 ID:YzGeEn4T(1/3) AAS
>>642
コーシー列 補足
外部ﾘﾝｸ[pdf]:www2.math.kyushu-u.ac.jp
実数の構成に関するノート? 原隆 （九大）
Last updated: Juy 10, 2007
(抜粋)
これは僕の微積の講義ノートの付録として，また「数学 II」の補助ノートとして，実数論の初歩を書いたもの
です．具体的には「有理数の切断」としての実数の構成を 2 章で，また「コーシー列の同値類」としての実数の構
成を 3 章で論じた後，両者が基本的に同値なものである事を 4 章で述べました．そのあと，更に舞台を拡げて，実
数の公理を満たす体は本質的に一つに決まることを簡単に 5 章で説明してあります．
省24
644(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)17:10 ID:YzGeEn4T(2/3) AAS
>>643
コーシー列 補足２
（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾； ）
外部ﾘﾝｸ[pdf]:www.comp.tmu.ac.jp
澤野嘉宏 首都大 （２０１１年の微分積分 前期（月曜日一二限）（京都大学の過去の講義）関連か）
(抜粋)
1 実数とは
実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい．
近似をするときに，10 進法にこだわる必要はなく，k 進法であってもよい．とにかく，
与えられた x を有理数で近似する方法は当然のことであるがとてつもなく多い．
省25
645: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)17:37 ID:YzGeEn4T(3/3) AAS
>>644
＞（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾； ）
＞澤野嘉宏 首都大
＞実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい．
こうやって、コーシー列の資料を補足で貼っている意味が分からないかも
「実数とは、コーシー列と」いう視点に立つとき
「整数でさえ、コーシー列」だという 高い視点に立つことができる
そして、>>642の ゼロ(0)さえ 「0=.000…」で、コーシー列だという視点に立つことができる
ってことなのだが
ま、コーシー列が理解できていないと、分からないだろうな
省1
646(1): 2020/03/25(水)19:34 ID:hW5LBiGq(2/2) AAS
>>642
＞＞.999…が決定番号∞なのか？
＞Yes
本当？
まず、.999…はいかなるn∈Nについても
あるn<=mが存在して、m番目の桁が0でない
これは、.999…が、.000…と同値でないことを
示していると考えられるが如何？
＞＞もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？
＞・まず、修正：「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」だな
省15
647(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)21:23 ID:wzyKzdmN(2/4) AAS
>>646
Q1：コーシー列を、理解していますか？
Q2：コーシー列の存在を、認めますか？
ｗｗｗ（＾＾；
648(1): 2020/03/25(水)22:14 ID:GjA6/puQ(1) AAS
かわいそうに
自分がバカであることも分らないなんて
649(1): 2020/03/25(水)22:23 ID:ARqBz0VU(1) AAS
カキコで飯食ってるそうな
650: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)23:17 ID:wzyKzdmN(3/4) AAS
>>648
かわいそう
同じ穴の狢（ムジナ）って、分かりますかぁ〜ｗ（＾＾
５ｃｈで、大きな顔をする人を、そう呼びますｗｗ(゜ロ゜；
なお、ガロアスレのスレ主は、「バカ」ではなく「馬鹿であほ」です
以前は、テンプレがあったんだがね〜ｗ（＾＾；
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
2chｽﾚ:math
16 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/02/09(日) 19:34:31.31 ID:XY5HcLEF [16/24]
過去スレより
省17
651: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)23:42 ID:wzyKzdmN(4/4) AAS
>>649
＞カキコで飯食ってるそうな
ぼくちゃん、引きこもりだね
世間を知らないんだ
狭い世界観、５ｃｈ数学板の外には
「釣れる」ところが沢山ある
有名なのが「ニュー速」板とかね
下記は、勢いランキングだけど
ニュース速報+ なら勢い 1位で108252、 100位で3649
一方、数学板では 1位で111、 100位は0 （＾＾；
省24
652(2): 2020/03/26(木)05:07 ID:/vnWknlA(1/11) AAS
>>647
A1：はい
A2：はい
逆に質問
Q3：「箱入り無数目」の無限列がR^Nだと、理解していますか？
Q4：∞は自然数Nの要素でない、つまり自然数Nには最大元がないと、認めますか？
653(1): 2020/03/26(木)05:52 ID:HUPBeOCI(1) AAS
このスレと日高のスレと朝日新聞ははやくつぶれてくれと願うのみ
不快、目障り
654: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)07:31 ID:+Ol1TdQp(1/6) AAS
>>653
結構結構
「毀誉褒貶相半ばする」
そういう人がいていいｗ（＾＾
もっとも、良い評判は聞かないがね〜ｗｗ（＾＾；
（”相半ば”してないか？ｗ）
（参考）
外部ﾘﾝｸ:eigobu.jp
英語部
公開日: 2018.03.03 更新日: 2018.03.03
省8
655: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)07:32 ID:+Ol1TdQp(2/6) AAS
>>652
A3：Yes
A4：Yes
続きは後で（＾＾
656(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:10 ID:Toc1jVc8(1/8) AAS
>>647
さて
「コーシー列を、理解し 存在を認めた」（>>652）ところから、出発しよう
そして、>>642の課題
１）決定番号∞
と
２）「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」
を略証しよう。
（厳密な証明は書かない。長くなり、視認性が悪くなるから。行間は各人埋めること。質問は可とする）
１．決定番号∞について
省13
657(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:13 ID:Toc1jVc8(2/8) AAS
>>656
つづき
２．「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」について
・まず、「コーシー列を、理解し 存在を認めた」として、√2とか円周率πが無限桁の小数だということは良いだろう（上記）
・一番簡単なのは、有限小数を ある小数第ｎ位以降が全て”0”の無限小数と見ることである
（この視点は、多項式が ある項以降全て”0”の形式的冪級数と見る視点と同じ（下記））
・そこで、.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える
このコーシー列Cが、整数”1”を表す（収束する）ことは、実数の構成から自明だ
そして、コーシー列Cは 有限で終わってはならないこともまた、上記 √2とか円周率πと同様だ
・そこで、任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせることも、上記の通り
省4
658(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:14 ID:Toc1jVc8(3/8) AAS
>>657
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
外部ﾘﾝｸ[html]:www.phys.u-ryukyu.ac.jp
自然科学のための数学2014年度第11講
省22
659: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:16 ID:Toc1jVc8(4/8) AAS
>>658
訂正
√x=1+1/2(x?1)?1/8(x?1)^2+1/16(x?1)^3?5/128(x?1)^4+?
↓
√x=1+1/2(x-1)-1/8(x-1)^2+1/16(x-1)^3-5/128(x-1)^4+・・
まあ原文見てください（＾＾；
660(1): 2020/03/26(木)12:38 ID:/vnWknlA(2/11) AAS
>>657
＞.999…00…が.000…00…と同値
{0,…,9}^Nの要素である.999…00…が.000…00…と同値であることは自明
この場合.999…00…の0の開始位置は必ずある自然数dで表される
なぜなら、{0,…,9}^Nの要素である無限列のどの桁の位置も
自然数で表されるから
＞.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える
＞任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせる
＞この数列cn＝0.99・・9 00・・と、数列 000…00… とは、
＞時枝の定義のしっぽが一致し、決定番号dはd=n+1となる
省18
661(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)15:22 ID:Toc1jVc8(5/8) AAS
>>657
補足
あと
１）決定番号ｄの範囲が無限大になるとき、ｄは非正則分布になる（下記ご参照）
この場合、確率的な取り扱いができない
（ｄを確率変数として考えた時、ｄの範囲が無限大なら、ｄは裾が減衰しないと、積分が発散して∞になる。そのとき、全事象Ω＝１にすると、各事象は０とならざるを得ない。つまり、確率の公理を満たせない）
２）決定番号ｄをランダムに選ぶとか、あるいは（非可算無限集合たる同値類の中から）代表をランダムに選ぶことを考えるときには
下記の確率のベルトランのパラドックスのように、”無作為な選択の方法”を定義しなければ、確率計算ができない！
だが、時枝は定義がない。そもそも「（非可算無限集合たる同値類の中から）代表を無作為に選ぶ」が、定義できるのかどうか？？？
３）上記の１）と２）とを合わせて、確率計算で誤魔化しをしているのが、時枝記事です
省20
662(1): 2020/03/26(木)15:33 ID:/vnWknlA(3/11) AAS
>>661
決定番号が必ず自然数の値をとることは
尻尾の同値関係と同値類の定義から示されることで
非可測だからといって決定番号が∞になることはない
上記を理解しましたか？
663(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)17:26 ID:Toc1jVc8(6/8) AAS
>>662
下記
レーヴェンハイム?スコーレムの定理（上方部分）：いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない
を理解しましょうｗｗ（＾＾；
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
664(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)17:33 ID:Toc1jVc8(7/8) AAS
>>660
なんか、反論になっていない！！
勘違いの ”あさって” 妄言ではないでしょうか？？ｗｗ（＾＾；
・まず、>>658の形式的冪級数：a0+a1X+a2X^2+・・で考える
・二つの形式的冪級数を考える
一つは、係数が全て9の形式的冪級数：F(X)=9+9X+9X^2+・・
一つは、係数が全て0の形式的冪級数：G(X)=0+0X+0X^2+・・
・いま、上記において、一つのｎ次多項式 f(X)=a0+a1X+a2X^2+・・・anX^n を
考えて、上記の二つの形式的冪級数の先頭部分を取り換える
F(X)'=a0+a1X+a2X^2+・・anX^n+9X^(n+1)・・
省27
665: 2020/03/26(木)17:35 ID:/vnWknlA(4/11) AAS
>>663
自然数は有限のモデルを持たないことを理解しましょう
（自然数全体の集合Nは有限集合にならない）
また、
・最大の自然数は存在しない
・いかなる自然数も自分以上の自然数が無限に存在する
ということも理解しましょう
（参考）
自然数の定義
・自然数0が存在する。
省4
666(1): 2020/03/26(木)17:42 ID:/vnWknlA(5/11) AAS
>>664
そもそも、>>642の「まず修正」が見当違い
.999…は全ての桁の値が9
.999…∈{0,…,9}^Nは、桁の位置が全て自然数で表される
.999が実数として1に等しいというのは
「箱入り無数目」とは無関係
無限列としては等しくないから
667: 2020/03/26(木)17:49 ID:/vnWknlA(6/11) AAS
>>666
追伸
3進カントール集合は、3進無限小数のうち1が現れないもの
{0,2}^nと考えることができる
0.022…と０.200…は無限列としても数としても異なる
668: 2020/03/26(木)18:00 ID:/vnWknlA(7/11) AAS
（質問）
もしかして
・数列 .9、.99、.999、… の極限は.999…
・そして、数列の各項について
.000…と.9000…は同値 （決定番号2）
.000…と.9900…は同値 （決定番号3）
.000…と.9990…は同値 （決定番号4）
…
上記２点から
・.000…と.999…も同値 （決定番号∞）
省1
669(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)18:21 ID:Toc1jVc8(8/8) AAS
>>663
ｗ（＾＾；
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート id:fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
(抜粋)
第５章
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
省28
670(2): 2020/03/26(木)19:27 ID:w9QXoHzC(1/3) AAS
>>656
>１．決定番号∞について
>・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
バカの言ってることが正しいと仮定。
「決定番号dは全ての自然数を渡る」より d∈N
決定番号d=∞ より ¬(d∈N)
矛盾が導かれたので仮定は偽。
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
671(1): 2020/03/26(木)19:59 ID:/vnWknlA(8/11) AAS
>>670とは関係ないが・・・
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
672: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:15 ID:+Ol1TdQp(3/6) AAS
>>670
レーヴェンハイム・スコーレムの定理を否定するとな？！ｗ （＾＾；
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
673: 2020/03/26(木)20:21 ID:w9QXoHzC(2/3) AAS
バカの一つ覚えｗ
674(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:22 ID:+Ol1TdQp(4/6) AAS
>>671
(引用開始)
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
(引用終り)
意味不明だな
言葉のサラダ？
言葉のスパゲティー？ｗ（＾＾；
省9
675: 2020/03/26(木)20:30 ID:/vnWknlA(9/11) AAS
>>674
意味は明瞭
決定番号ｎが標準自然数でも超準自然数でも、
ｎ＋１が存在するからその先の尻尾が得られる
一方∞が最大の要素であって、∞＋１が存在しないなら
決定番号が∞の場合、その先の尻尾が得られない
「箱入り無数目」の方法の妨げとなるものは
「決定番号の先の尻尾の非存在」しかない
しかし、∞＋１が存在しない、という主張は
ペアノの公理である後者の存在を真っ向から否定する
676(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:36 ID:+Ol1TdQp(5/6) AAS
>>674
数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ （＾＾；
”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．
標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ
（参考）
外部ﾘﾝｸ:sites.google.com
Sendai Logic Homepage
仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです．
文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩）
省26
677: 2020/03/26(木)20:41 ID:/vnWknlA(10/11) AAS
>>676
＞超準モデルもペアノの公理を満たしている
でしょう？
では∞について、∞＜∞＋１ となる∞＋１の存在を認めるね？
上下前次1-新書関写板覧索設栞歴
あと 325 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s