19/06/02 09:06:27.73 KedKgjPL.net
>>487
＞ご利益があろうがなかろうが
御利益があることが大事です
数学はエンターテインメント
540:ですからｗ ＞お前らは（俺は数学科卒だから頭がいい）と思っているだろうが 数学科卒だから、ではなく、世間の素朴な常識を捨てられるから、 という理由で、頭がいい、とは思ってますが何か？
541:哀れな素人
19/06/02 09:08:35.11 FebaY9/c.net
>>493
お前はほんとにパカだな（笑
0.9999……は実際は0.99999…………9であって、
どんなに9を増やしても0.99999……………………9
だと言っているのである（笑
>0.9999……"は数なのか、それとも数以外の何かなのか。
僕の本のアマゾンの内容紹介を読んでくれ（笑
「無限小数とというようなものは存在しないし、数として存在できない」
と書かれている（笑
無限小数は数として存在できないから、僕は
「無限小数は数ではない」という題名を付けたのである（笑
542:１３２人目の素数さん
19/06/02 09:10:34.68 KedKgjPL.net
>>491
0.999…9という有限小数は１より小さいですよ
そこは誰でもわかることです
問題は無限小数0.999…です
あなたはそのようなものは存在しない、といいます
私は「無限小数0.999…は存在するし、それは１と等しい」といってます
問題は
「無限小数0.999…は存在するが、１とは等しくない」
という人です
スレ主は、無限小数にも最後の桁があるとかいってるので
おそらくそういう考えの持ち主でしょうｗ
543:１３２人目の素数さん
19/06/02 09:12:44.41 KedKgjPL.net
＞「無限小数は数ではない」
世間の素朴な常識では、書き表せないものは数ではない、ということなんでしょう
無限小数のすべての桁を書き表すことは誰にもできませんからね
しかしながら数学科では、
「すべての桁を書き表せないものは数ではない」
なんてことは申しません
544:哀れな素人
19/06/02 09:14:03.85 FebaY9/c.net
>>493
昨日も書いたが、
1/2＋1/4＋1/8 ←これが有限級数
1/2＋1/4＋1/8…… ←これが無限級数
【有限級数】項数の有限な級数。
【無限級数】項の数が限りなく多い級数。
これで十分である（笑
これ以上の説明も定義も要らない（笑
そして「限りなく多い」というのは、
「どんなに多くても有限である」ということである（笑
545:１３２人目の素数さん
19/06/02 09:19:24.39 ffOsX44+.net
>>496
お前の議論の最もバカバカしいところは、
自分で、
「(君の言う)無限小数とというようなものは存在しないし、数として存在できない」
と言っておきながら、その無限級数の定義に固執するところだよ。
定義が矛盾していると言うなら、その定義を破棄すればいいだけなのだよ。
それをせずに、
"自分の定義"に対しておかしい、おかしいと言い続けているのだよ。
まあ、その方向での可能性としては、
無限小数の定義として唯一可能な定義が君の
0.99999……は0.9＋0.09＋0.009＋……
だという事を示すことだよ。
(その前にその定義を正確に示す必要があるが。)
そして、それには、現代数学の極限による定義が
間違っていることを示す必要がある。
言っとくけど、君の定義を前提にして間違いというのはダメだよ。分かるよね。ｗｗ
546:１３２人目の素数さん
19/06/02 09:21:12.74 KedKgjPL.net
>>499
あなたにとっては無限級数は存在しないんでしょう？
だったら「これが無限級数」は誤りですね
正しくは
「1/2＋1/4＋1/8…… ←これも有限級数」
でしょう
「【無限級数】存在しない」
これこそ十分でしょう
これ以上の説明も定義も要らない
もちろん（笑もいらない
＞「どんなに多くても有限である」
だから無限は存在しないんでしょう？
世間の素朴な馬鹿として言い切りましょう
京大卒だって文学部なら馬鹿ですよ
東大卒だって法学部なら馬鹿でしょう？ｗｗｗｗｗｗｗ
547:１３２人目の素数さん
19/06/02 09:21:25.06 ffOsX44+.net
>>499
わざとか？
>そして「限りなく多い」というのは、
>「どんなに多くても有限である」ということである（笑
その2つは正反対の意味だよｗｗ
548:哀れな素人
19/06/02 09:23:06.62 FebaY9/c.net
>>498
「無限小数とというようなものは存在しないし、数として存在できない」
これは二つの意味を含んでいる。
１ 無限小数は実際は有限小数である。
２ 無限小数は数として存在できない。
そしてなぜ数として存在できないかは、
僕の本を読んでもらえれば分る（笑
僕は「書き表わせないから数ではない」
などと言っているのではない（笑
まあ実際は、無限小数は、
書き表わすこともイメージすることもできないから、
存在しないのだが（笑
数として
549:１３２人目の素数さん
19/06/02 09:26:44.75 KedKgjPL.net
＞１ 無限小数は実際は有限小数である。
それ詭弁
「無限小数は存在しない
…と書いたところで、所詮有限小数だ」
といえばいい
＞僕は「書き表わせないから数ではない」
＞などと言っているのではない
そこだけ「素朴でないソフィスティケイショーン」を
アピールするのが京大卒（ただし文学部ｗ）の悪いところだね
東大だろうが京大だろうが理学部数学科卒でないかぎり
数学に関しては世間一派の素朴な大衆と同じ馬鹿
これが現実ですよ
550:哀れな素人
19/06/02 09:29:46.50 FebaY9/c.net
>>
551:500-502 依然として僕が何を言っているのか、全然分っていないようだ（笑 僕は １ 無限小数は実際は有限小数である。 ２ 無限小数は数として存在できない。 と言っているのである。ただそれだけだ（笑 ところで 0.99999……は 0.9＋0.09＋0.009＋……と同じものではないのか？（笑 これを否定している数学者はいるのか？（笑
552:１３２人目の素数さん
19/06/02 09:31:01.91 KedKgjPL.net
哀れな素人氏は一貫して「素人」であり続ける点でわかりやすい
スレ主は「素人」のくせに「玄人」ぶりたがるから目障り
文系出身者はそもそも数学をありがたがってないから全面否定する
実に気持ちがいい
工学部の連中は数学を有難がってるから誤解してすり寄ってくる
実にキモチが悪いｗ
553:１３２人目の素数さん
19/06/02 09:32:47.08 KedKgjPL.net
>>505
＞１ 無限小数は実際は有限小数である。
>>504に書いたとおり、詭弁だから要らない
「無限小数は存在しない。いかなる小数も実際は有限小数である。 」
といえばいい
554:哀れな素人
19/06/02 09:33:05.10 FebaY9/c.net
東大だろうが京大だろうが理学部数学科卒でないかぎり
数学に関しては世間一派の素朴な大衆と同じ馬鹿
これが現実ですよ
↑と書いているお前が馬鹿なのが現実（笑
555:１３２人目の素数さん
19/06/02 09:35:21.83 KedKgjPL.net
「無限小数は存在しない」といいきる人に
無限小数の存在を宣教するつもりはない
無駄だから
だが
「無限小数0.999…は存在するが1とは異なる」
とかいうやつには、数学ではそう考えないと説教する
要するにハンパに認めてハンパに拒否する態度がキモチワルイからｗ
無限小数を認めるなら0.999…＝１となる理屈も認めろ、ということｗ
556:哀れな素人
19/06/02 09:36:20.34 FebaY9/c.net
>>507
お前の頭の悪さがもろに出ている（笑
「無限小数は存在しない。いかなる小数も実際は有限小数である。 」
という意味で、
無限小数は実際は有限小数である。
と書いているのである（笑
数学しかできない馬鹿が自惚れている（笑
557:１３２人目の素数さん
19/06/02 09:37:24.96 KedKgjPL.net
>>508
＞↑と書いているお前が馬鹿なのが現実
世間一般の馬鹿が、我々数学科出身者を「馬鹿」と罵るのは覚悟の上
そんなことで我々は世間一般の馬鹿に屈して
つまらない人生を送るつもりはない
558:１３２人目の素数さん
19/06/02 09:38:41.77 KedKgjPL.net
>>510
＞「無限小数は存在しない。いかなる小数も実際は有限小数である。 」
＞という意味で、
＞無限小数は実際は有限小数である。
＞と書いている・・・
そういう粗雑な文章は認められない
文学部なんだろ？文章は明確に書けよ
他にとりえがないんだから
559:哀れな素人
19/06/02 09:39:40.97 FebaY9/c.net
「無限小数は存在しない」
と僕も市川氏も言い切っているし、
ギリシャ人でもそう断言するだろう（笑
これが分っていないからお前らはアホだと
以前このスレに参加したときから口を酸っぱくして説いているのだが、
アホ揃いだから誰も理解しない（笑
560:１３２人目の素数さん
19/06/02 09:39:57.09 KedKgjPL.net
>>510
＞数学しかできない馬鹿
全く結構
我々は「数学ができない馬鹿」にはなりたくないだけだ
561:１３２人目の素数さん
19/06/02 09:40:57.54 ffOsX44+.net
>>505
君こそ、こちらの言っていることが全く分かっていないようだ。ｗｗ
0.99999…… = 9/10^i (無限) := lim 9/10^i (有限)
と書かずに、
0.99999…… = 0.9＋0.09＋0.009＋……
という記法にこだわるのは、ただの言葉遊びに過ぎない。
>>506
気持ち悪いのはお前の方だよ。ｗ
ここんところは同意だが。
>文系出身者はそもそも数学をありがたがってないから全面否定する
562:１３２人目の素数さん
19/06/02 09:42:18.17 KedKgjPL.net
>>513
＞「無限小数は存在しない」
＞と僕も市川氏も言い切っているし、
＞ギリシャ人でもそう断言するだろう・・・
君の言い分ではアルキメデスはギリシャ人ではないことになる
563:哀れな素人
19/06/02 09:45:06.70 FebaY9/c.net
>>512
無限小数は実際は有限小数である。
この文章の意味をこれまで何日もスレで説明している（笑
お前が今日初めてこのスレに参加したのなら、
以前のレスを読み返せばいい（笑
いや、今日のレスでも上の文章の意味は、
それより前にいろいろ説明していると思うが（笑
要するにお前は文脈が読めないアホ（笑
数学科卒だからといって世間人よりエライとか思うなバカ（笑
お前が理解できることは世間のフツーの人だって理解できるのだ（笑
564:１３２人目の素数さん
19/06/02 09:46:09.79 KedKgjPL.net
>>515
＞君こそ、こちらの言っていることが全く分かっていないようだ。
分かる気がないからいくらいっても無駄だよ
アメリカのガチな共和党支持者に
「地球温暖化の原因は二酸化炭素の増加」とか
「人間はより原始的な生物から進化した」とか
受け入れさせるようなものだからｗ
ついでにいうと我々はアメリカの民主党支持者よりもはるかに少数だ
565:哀れな素人
19/06/02 09:49:30.08 FebaY9/c.net
>>515
566:0.99999…… = 9/10^i (無限) := lim 9/10^i (有限) ↑何だ、この式は（笑 この式の意味を文系の人間にも分るように説明してくれ（笑
567:１３２人目の素数さん
19/06/02 09:49:42.42 KedKgjPL.net
>>515
＞気持ち悪いのはお前の方だよ。ｗ
ああ工学部出身者の方でしたかｗｗｗ
はっきりいって大学に工学部は必要ありません！（ビシッ）
専門学校で十分です 工学は学問じゃなく専門技術ですから
ま、職場に山ほどいる工学部出身者に
そんなことはいえませんけどね（をひ）
568:１３２人目の素数さん
19/06/02 09:50:06.99 ffOsX44+.net
爆弾発言をすると、
数学がわかるやつ = 何でもわかるやる
数学がわからないやつ = 何もわからないやつ
ｗｗ
ここのブログ面白い。
Willyの脳内日記 全ての学生に数学は必要か
569:哀れな素人
19/06/02 09:51:23.17 FebaY9/c.net
>分かる気がないからいくらいっても無駄だよ
それがお前のことだ（笑
尤もお前は、説明してやっても分らないバカだが（笑
570:１３２人目の素数さん
19/06/02 09:53:32.16 KedKgjPL.net
>>517
＞数学科卒だからといって世間人よりエライとか思うなバカ（笑
別に「エライ」とは思ってませんよ
イチローのように騒がれたいわけではないので
571:哀れな素人
19/06/02 09:54:03.32 FebaY9/c.net
>数学がわからないやつ = 何もわからないやつ
それがお前らだ（笑
0.99999……は１ではない。
こんな簡単なことが分らないとは、超弩級のアホ（笑
572:１３２人目の素数さん
19/06/02 09:56:52.89 ffOsX44+.net
>>519
再三言っているように、
「無限級数は有限級数の極限で定義されている」ということだよ。
つまり、
「有限級数(=有限和)という実数値からなる数列の極限で定義されている」ということだよ。
あとは、教科書を読むなり、ググればいい。
それについて理解できないのであれば、
君は、理解できないものを否定しようとしているに過ぎない。
実際には、君の考える"無限級数"とやらを否定しているに過ぎないのだが・・・。ｗｗ
573:１３２人目の素数さん
19/06/02 09:59:38.55 KedKgjPL.net
>>521
ブログ見た
＞確率微分方程式ができると、リスク資産を証券化して資産運用効率を上げられます。
これはちょっとヤバイね
経済学は他の自然科学ほど実証的でないので
経済学者がデッチあげた経済モデルを
現実のものと思い込んで計算したところで
その通りになる保証なんてないんだよね
ここらへん数学の過剰信仰が見られる
ノーベル賞に数学賞がなくてもいいけど
ノーベル経済学賞は有害無益だと思うよ
574:哀れな素人
19/06/02 10:00:19.04 FebaY9/c.net
>>525
アホレス乙（笑
無限級数は有限級数の極限ではない（笑
何度も説明してやったのに分っていないらしい（笑
２ｃｈの連中はみんなこれだ（笑
何度説明してもちっとも理解しない（笑
575:１３２人目の素数さん
19/06/02 10:04:55.30 KedKgjPL.net
>>525
＞「無限級数は有限級数の極限で定義されている」
極限を持たない無限級数もあるけどな
調和級数とかその典型
1+1/2+1/3+…
ちなみに無限小数は必ず極限をもつ
576:哀れな素人
19/06/02 10:09:04.99 FebaY9/c.net
【無限級数】項の数が限りなく多い級数。
↑広辞苑の定義だ（笑
どこにも極限などという説明はない（笑
無限級数が極限なら、
この無限級数の極限値を求めなさい、
などという問題は出されなくなる（笑
なぜなら無限級数が極限なら、
この無限級数の極限はこの無限級数です、
と答えればいいからだ（笑
無限級数とその極限は別の概念なのに、
そういう常識すら理解していない（笑
そのくせ俺は数学科だとうぬぼれている（笑
577:１３２人目の素数さん
19/06/02 10:09:05.66 KedKgjPL.net
個人的には
「非ユークリッド幾何学を認めると
エッシャーみたいにカッケー作品が作れるぜ」
というほうが好きだな
URLﾘﾝｸ(en.wikipedia.org)
578:哀れな素人
19/06/02 10:10:41.86 FebaY9/c.net
>ちなみに無限小数は必ず極限をもつ
お前の頭の悪さがまたもや露呈した（笑
579:１３２人目の素数さん
19/06/02 10:12:08.55 KedKgjPL.net
>>529
＞無限級数が極限なら、
＞この無限級数の極限値を求めなさい、
＞などという問題は出されなくなる
極限をもたない無限級数が存在することからしても
「無限級数が極限、というのは誤りだろ」
という君の指摘は正しい
工学部卒のいうことはだいたいハンパ
ま、全部分かる程度の頭があったら工学部�
580:ﾈんか入らないｗ
581:１３２人目の素数さん
19/06/02 10:14:08.73 ffOsX44+.net
>>528
もちろん分かっているよ。ｗｗ
それは、
lim n = ∞
と同じで、記法の煩雑さを避けるための便宜。
>>526
インチキ統計学でコロコロと騙される連中に比べたら、
憐れな素人みたいに疑ってかかる方が健全と言えるかもね。ｗｗ
582:１３２人目の素数さん
19/06/02 10:17:21.38 KedKgjPL.net
>>531
無限小数が極限を持つことは簡単に証明できる
・有限小数で１つずつ桁数を伸ばす数列は単調増加
・上記の数列は上限を持つ
ついでにいうと0.999…が1に等しいことも証明できる
0.9、0.99、0.999、・・・は単調増加で、しかもどの項も１より小さい
そして１より小さなどんな数ｒも、ｒより大きい上記の数列の項を持つ
逆にいえば、上記の数列のどんな項よりも大きいような
１より小さい数は存在しない
したがって、0.999…は1である
583:１３２人目の素数さん
19/06/02 10:19:43.65 ffOsX44+.net
>>532
まあ、正確には、"極限が存在する場合"と入れる必要がある。
しかし、この場合、そこは重要な論点ではない。
数式として
1 = 0
という式が書けるからと言って、
1 = 0
が成立すると言っているのではない。
584:１３２人目の素数さん
19/06/02 10:20:11.62 KedKgjPL.net
>>533
＞lim n = ∞
これは実数の範囲内では正しくないよ
もちろん、実数に∞という新しい要素を付け加える場合は別だが
（スレ主は複素平面とリーマン球面を区別しない馬鹿なので一応述べといた）
585:哀れな素人
19/06/02 10:21:35.05 FebaY9/c.net
>>534
アホレス乙（笑
僕の本の内容紹介で
「解析学の大錯誤」の説明を読んでみればいい（笑
586:１３２人目の素数さん
19/06/02 10:22:22.81 KedKgjPL.net
>>535
＞そこは重要な論点ではない
ではどこが重要な論点だい？
587:１３２人目の素数さん
19/06/02 10:23:47.25 ffOsX44+.net
>>536
拡張実数を使う流儀もある。
しかし、単なる記法と定義しても問題ない。
どちらも、実質的には同じ意味でしかない。
今の議論で拡張実数を使う必要性はない。
588:１３２人目の素数さん
19/06/02 10:25:21.03 ffOsX44+.net
>>538
もちろん、哀れな素人の主張に関する論点だよ。
彼は、発散する場合があるから間違いとは言っていない。
589:１３２人目の素数さん
19/06/02 10:26:40.02 KedKgjPL.net
>>537
君の本は買わないｗ
>>534で述べた証明は実数の定義を用いているから
君がその定義の中で受け入れられないものがあれば
君にはその証明は受け入れられないだろうな
で、具体的にどこが受け入れられないんだい？
いっとくけど「そもそも0.999…なんてすべて書き切れない」
というレベルの話なら御免だね
そもそも小数として書き切れるかどうかなんて
数学としては全然重要じゃないからｗ
590:１３２人目の素数さん
19/06/02 10:27:29.47 KedKgjPL.net
>>540
具体的に書いてごらん
他人に丸投げするのはダメだよ
591:哀れな素人
19/06/02 10:27:57.91 FebaY9/c.net
ID:ffOsX44+
これはどうも互除法男のような気がするが（笑
まあどうでもいい（笑
あとは二人でやってくれ（笑
592:１３２人目の素数さん
19/06/02 10:30:04.82 KedKgjPL.net
>>543
なんだ「解析学の大錯誤」なんていっといて
ここでの説明はしないんだ
だったら「大」錯誤なんて書くなよ
なんでも「大」をつけるのは幼稚園児の悪い癖だｗ
593:１３２人目の素数さん
19/06/02 10:36:56.72 ffOsX44+.net
>>542
何が、"具体的に書いてごらん"だよ。
過去ログを読めばいい。
一体何を"他人に丸投げする”んだよ。ｗｗ
594:１３２人目の素数さん
19/06/02 10:39:34.50 KedKgjPL.net
>>545
＞過去ログを読めばいい
君には過去ログから論点を抽出して
文章に表現する言語力はないのかい？
そこは論点でないといいだしたのは君
だからどこが論点か示すのは君
他の誰でもないよ 何甘ったれてんの
この専門学校卒ブルーカラーはｗ
595:１３２人目の素数さん
19/06/02 10:42:12.27 ffOsX44+.net
>>546
わざわざ書かないのはバカバカしいからだよ。
あえて言えば、"自明"だ。バカ。
596:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 10:45:12.21 X6R2CuVL.net
>>532
＞工学部卒のいうことはだいたいハンパ
半分は当たっているけどね
半分は、数学屋みたいに空想的論理だけで”おしまい”にはならんてこと
工学で一番大事なことは、「小さな間違いは可だが、大きな間違いをしないこと」ってやつね
”確率過程論を知っていれば、時枝解法不成立”がすぐ分る
そういう、別の角度からの検証を常にすることだ（普通、工学でなくとも、人は無意識にそれやるけどね）
工学でよく言われるのが、「その（計算の）数字、一桁間違っているよ」っていうやつね
一桁間違うと、橋が落ちたりビルが倒れたりということになる（「計算しないでもそれがわかれよ」ってこと）
良い意味での常識が、必要ってこと（「時枝解法？ あほか」という確率過程論の常識がね）
＞ま、全部分かる程度の頭があったら工学部なんか入らないｗ
ま、
”全部分かる程度の頭があったら工学部なんか入らない”と思って数学科行って
卒業前に、”就職先がない～！”と思った人も沢山いたんじゃないかな？（＾＾；
いま2019年なら、IT系の素養があれば、純粋数学でなくそっち方面への就職もありかも
それもできないのが、ピエロおまえだろ？（＾＾
数学も中途半端で落ちこぼれ、IT系の素養もない！
「小学生に数学教えてるんだって」？（＾＾；
えらいね、ピエロちゃんは（ピエロより上の小学生がいそうだな、それが救いかな）
597:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 10:53:52.02 X6R2CuVL.net
>>537
老婆心ながら、キチガイサイコパスを常人と思わないように
キチガイサイコパスが常人と同じように議論できると思わないように
（>>31-32）
「実際に人を真っ二つに斬れたら
爽快極まりないだろう」
（>>33-35)
「君子豹変」 VS 狂犬 論争
をご参照ください
まあ、まともに議論できる相手じゃない（＾＾；
598:１３２人目の素数さん
19/06/02 11:08:18.19 KedKgjPL.net
>>548
>>工学部卒のいうことはだいたいハンパ
>半分は当たっているけどね
この回答自体ハンパ
>半分は、数学屋みたいに空想的論理だけで
>”おしまい”にはならんてこと
現実に関わらない点を「空想」というのであれば
そもそも数学は現実を扱う学問ではないので
「空想」は当然のことだと返答します
空想結構！空想万歳！
>”確率過程論を知っていれば、時枝解法不成立”がすぐ分る
またその話ですか？
確率過程論では、あなたの主張は正当化できませんよ
まず、∞は自然数ではありません
自然数の定義から明らかです
勝手に∞を付加した「拡大自然数」を考えるのもNGです
次に、任意の自然数ｎについて
「決定番号ｄがｎ以下である確率は０」から
「選んだ列の決定番号ｄが他の列の決定番号以下である確率は０」
は導けません
皆がそれぞれ異なる列を選んだ場合矛盾が露呈します
どちらも確率過程とは無関係の誤りです
工学部出身者にはこの手のアサハカな誤りが多々見受けられます
論理に疎い欠点がモロに出てますね
>良い意味での常識が、必要ってこと
>（「時枝解法？ あほか」という確率過程論の常識がね）
もう一度言いますが、スレ主の「世間の素朴な常識」は
確率過程論では全く正当化できません
確率過程論を全く理解できない人が
見え透いた嘘をつくのは
見苦しいのでやめていただけますか？
599:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 11:10:18.86 X6R2CuVL.net
>>477
> (文字化けを懸念して、?を<=に書き換えたが、果たして)
ああ、やはりね
文字化けしたな
ところで、ふと思ったが
多項式環の多項式の次数kの最大次数が、可能無限
形式的冪級数環のの最大次数が、実無限（∞）
そう考えることもできる
URLﾘﾝｸ(ja.wikipedia.org)
600:A0%85%E5%BC%8F%E7%92%B0 多項式環 (抜粋) 注意すべき点として、多項式には項が有限個しかないこと ?つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ? は、暗黙の了解である。多項式の次数とは X k の係数が零でないような最大の k のことである。特別な場合として、零多項式（係数が全て零）の次数は定義しないか、あるいは負の無限大 ?∞ と定義する。 https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 (抜粋) 形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
601:１３２人目の素数さん
19/06/02 11:11:48.76 KedKgjPL.net
>>550
>”全部分かる程度の頭があったら工学部なんか入らない”と思って数学科行って
>卒業前に、”就職先がない～！”と思った人も沢山いたんじゃないかな？（＾＾；
ご安心を
私は無事就職致しましたので
>2019年なら、IT系の素養があれば、
>純粋数学でなくそっち方面への就職もありかも
そういうのはそれこそ理学部数学科より
工学部の数理工学科のほうが得意ですよ
同じ工学部といっても彼らはとっても優秀ですよ
スレ主みたいな「四則演算できればOK」みたいな
土方仕事とは違いますｗ
602:１３２人目の素数さん
19/06/02 11:16:12.38 KedKgjPL.net
>>551
＞ところで、ふと思ったが
＞多項式環の多項式の次数kの最大次数が、可能無限
＞形式的冪級数環のの最大次数が、実無限（∞）
＞そう考えることもできる
できません ホント馬鹿だねスレ主は
どちらも全体の最大次数は存在しません
ただし
・個々の多項式には0でない係数をもつ項の最大次数が存在する
・個々の形式的冪級数は一般に0でない係数をもつ項の最大次数が存在しない
この程度のことも日本語で述べられないスレ主は
実に粗雑な頭の持主だと言わざるを得ない
土方仕事しかしてないからしょうがないけどねｗｗｗｗｗｗｗ
603:１３２人目の素数さん
19/06/02 11:34:07.82 ffOsX44+.net
>>551
俺の理解では、
形式的冪級数環は多項式環の極限。
(超限という名の極限)
自然数Nが有限集合の極限(超限)であるから。
よって、形式的冪級数環は可能無限。
有限 --> 超限順序数ω(=自然数の集合) --> さらなる超限順序数 ・・・
この矢印-->が、極限操作(sup)によって得られるため、全てが可能無限ｗｗ
604:１３２人目の素数さん
19/06/02 11:35:21.37 KedKgjPL.net
何度でも書きますが、スレ主も
「時枝記事では予測できないもん」
の主張はすでに否定されてます
１．
「どの列も決定番号∞だからその先の尻尾が取れなくて予測できないもん」は
そもそも∞が自然数でないので間違ってます。どんな決定番号も自然数であり
その先の尻尾が取れます。スレ主ここでワンアウト
２．
「どの列を選んでも他の列より大きい決定番号だから予測できないもん」も
皆がそれぞれ異なる列を選んだ場合に、皆が皆他より大きな決定番号をもつ
と矛盾するので間違ってます。他より大きな決定番号を持つ列はたかだか１つ
です。スレ主ここでツーアウト
３．
正直言って、上記２つが否定された時点で、
スレ主が３つ目の「言い訳」を思いつけるとは
到底思えません。
「確率過程論ガー」とわめいてるようですが、
正直確率過程論のどこがどう関係するのか
全く示せてないのでただのうわ言レベルです。
もうスレ主スリーアウトでいいんじゃね？
605:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 11:37:19.00 X6R2CuVL.net
>>550
ピエロちゃん、悪いが、おれはあなたを常人扱いする気は無い
だから、常人とするよな議論をする気は、全くない（要は、まともに相手する気なし（＾＾； ）
悪しからず。但し、たまには相手するので、がんばってな（＾＾
>そもそも数学は現実を扱う学問ではないので
そんなことはない
数学者の多くは、過去「抽象的で応用する対象がない」と思われていた純粋数学の理論が、
何年もの歳月が経てば、思わぬ応用の対象が見つかるということは良くあって
「純粋数学でも、応用できる分野が出てくる例は多い」と主張する人は多いよ（例えば下記渕野 昌先生）
＞皆がそれぞれ異なる列を選んだ場合矛盾が露呈します
その”矛盾”を、DR
606: Pruss氏は、non-conglomerabilityによるParadoxだとして、本を一冊書きました（下記）（＾＾ https://books.google.co.jp/books?id=RXBoDwAAQBAJ&pg=PA77&lpg=PA77&dq=%22conglomerability%22+assumption+math&source=bl&ots=8Ol1uFrjJQ&sig=ACfU3U1bAurNGJm5872wDblskzsSgsU0iA&hl=ja&sa=X&ved=2ahUKEwioiPyV_IPiAhXHxrwKHUeaArUQ6AEwCXoECEoQAQ#v=onepage&q=%22conglomerability%22%20assumption%20math&f=false Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018 http://math.cs.kitami-it.ac.jp/~fuchino/chubu/method-math.html 数学の考え方 これは，中部大学 2002年度前期開講の「数学の考え方」（担当： 渕野 昌）の web page です． (抜粋) この回の講義では「数学は役にたつのか？ 数学は応用ができるのか？ ``応用ができる''， ということと ``役にたつ''ということの関係は？」 というような設問に答えてもらいました． 純粋な数学の理論として発展したものが，後になって， 物理学などの他の分野で応用されるようになった，という例がいくつもあります． 「数学は科学で使える道具を供する」ものである，という見方は， 数学者のコミュニティーの外側ではできても，数学者のコミュニティーの内側で このような規定をしてしまうと，純粋な数学の理論として発展が阻止されることで， 「数学は科学で使える道具を供する」ものである， という視点から有益とみなされる結果が得られなくなってしまう， という可能性さえあるわけです． つづく
607:１３２人目の素数さん
19/06/02 11:37:46.12 KedKgjPL.net
>>554
＞極限操作(sup)によって得られるため、全てが可能無限
そもそもωを作る最初の極限ですでに実無限ですが何か？
可能無限ではωすら存在しません これ豆なｗ
608:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 11:39:26.81 X6R2CuVL.net
>>556
つづく
数学と他の科学，という分化が成立しないような例も多くあります： ニュートン (1642/43～1727) や， ライプニッツ (1646～1716) の時代には，物理学と数学は未分化で， たとえば，ニュートンは彼の力学理論を確立する過程と平行して，そこで 縦横に使われることになる，微分積分学の基礎を作っていったのです．
20世紀に入って数学と物理学が研究分野としてはっきりと分離した後でも， 数学者自身が，物理学の研究をしたり， 経済学の研究をしたりというような例も多くあります．
たとえば， フォン・ノイマン (Johann Balthasar Neumann, 1903～1957) ， 量子力学という， 今世紀になって確立された，分子原子以下のマクロの世界にも適用できる， 新しい力学の数学的基礎づけに関する仕事や，数理経済学の確立などの 仕事や，コンピュータの設計原理に関する仕事（ノイマン型コンピュータという 言い方をどこかで聞いたことがあると思いますが，
これは， このノイマンにちなんだ命名です）などを行っています．
もともとは数学者ではない人が，その人の研究の必要から， 新しい数学理論を作ってしまう，ということもあります． チョムスキ
609:ー (Noam Chomsky, 1928～) は， 彼の作った生成文法の理論により，現代言語学で画期的な仕事をしています． チョムスキーの生成文法の理論は， もともとは自然言語を理解するために作られたものだったのですが， この理論は，現在では，コンピュータ言語 （コンピュータのプログラムを書くのために作られた人工的言語）の 理論の数学的基礎理論として，幅広く応用されています． ノイマンやチョムスキーの例でも，ニュートンでの場合と同じように， 数学とその応用，あるいは，数学を道具として使った他の分野の研究， というような分化は，成り立たっていなくて， 一つの理論として， 量子力学とその数学的基礎を記述するための数学的枠組の整理， 経済学と経済現象を記述するための新しい数学理論，あるいは， 言語理論とその基礎理論を記述するための新しい数学， というような複合物として， 新しい理論が生成されてゆくのを見ることができます． (引用終り)
610:１３２人目の素数さん
19/06/02 11:40:07.80 KedKgjPL.net
>>556
>>そもそも数学は現実を扱う学問ではないので
>そんなことはない
>数学者の多くは、過去「抽象的で応用する対象がない」と思われていた純粋数学の理論が、
>何年もの歳月が経てば、思わぬ応用の対象が見つかるということは良くあって
>「純粋数学でも、応用できる分野が出てくる例は多い」と主張する人は多いよ
「現実を扱えない」とはいってないよｗ
現実を扱うために考えたものではない、といっている
スレ主は日本語も正しく読めないらしい
それじゃ数学は理解できない
611:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 11:41:24.46 X6R2CuVL.net
>>552
>私は無事就職致しましたので
はいはい
あなたは不遇な数学科出身で
東京大学卒で
東京大学で博士課程終了で
小学生に数学を教える仕事でしたね
妄想ありがとう（＾＾；
612:１３２人目の素数さん
19/06/02 11:43:02.60 KedKgjPL.net
>>556
>>皆がそれぞれ異なる列を選んだ場合矛盾が露呈します
>その”矛盾”を、DR Pruss氏は、
>non-conglomerabilityによるParadoxだとして、
>本を一冊書きました
Prussの主張で否定されたのは、
スレ主の推論であって
The Riddleのゲームではないよ
ついでにいうと、Prussといえども
「他より大きな決定番号を持つ列はたかだか1つ」
という、確率論とは全く無関係の理屈は否定できない
613:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 11:43:42.90 X6R2CuVL.net
>>559
>「現実を扱えない」とはいってないよｗ
>現実を扱うために考えたものではない、といっている
数学史を知らない妄想だね
渕野 昌 >>556 >>558読め（＾＾
614:１３２人目の素数さん
19/06/02 11:46:02.83 KedKgjPL.net
>>560
＞東京大学卒で
違うけどｗ
＞博士課程終了で
そこも違うけどｗ
＞小学生に数学を教える仕事
いや、小学校教師も塾講師もやったことないよｗ
初めの2点を主張してた人は大学教授じゃなかったっけ？
で「小学生に数学教えてる」ってのはどこから出た話か知らんけど
私のことじゃないね
615:１３２人目の素数さん
19/06/02 11:49:23.49 KedKgjPL.net
>>562
>>「現実を扱えない」とはいってないよｗ
>>現実を扱うために考えたものではない、といっている
>数学史を知らない妄想だね
非ユークリッド幾何（双曲幾何）は
現実を扱うために考えたものではないね
ま、ロバチェフスキーもボヤイも死んじゃったから尋ねようがないけど
ガウスは天文学もやってたから非ユークリッド幾何が適用される可能性
を想定してはいたが、そもそもの動機は天文学とは無関係
616:１３２人目の素数さん
19/06/02 12:02:41.45 ffOsX44+.net
>>556,558
「数学とは何か？」
これは、非常に難しい問題だね。
以下に自説を偉そうに語る。
物理は、現実に存在する(と考えている)現象を解き明かすことが目的。
一方、数学は、"概念"を開発、発展させるのが目的。
ただし、ここでいう"概念"とは、
妄想など、思いつくことなら何でもいいと言うわけではない。
なんというか、まず、"正しい"概念であることが必須条件。
(well-defind ということかな。)
次に、考察する"価値がある"概念であること。
これは、必ずしも、他の分野への応用があるかどうかだけではない。
ここらへんは、数学者の価値判断が試されるところ。
そして、究極的には、"美しさ"が求められるのであった。ｗｗｗ
617:１３２人目の素数さん
19/06/02 12:30:39.38 JwK2fK4Z.net
>>479
>nよりしっぽの先までの全ての数で一致してd＝nとなる確率も0
dの分布など時枝解法の成否にとって無意味であることが未だに理解できないサル畜生。
選択公
618:理を仮定 ⇒ R^N/～の代表系が存在 ⇒ ∀di∈N,1≦i≦100 ⇒ {di} の単独最大元はたかだか1つ こんな簡単なことが3年半かかって理解できないサル畜生は人間様に進化できません。 あきらめてスレ閉じなさい。
619:１３２人目の素数さん
19/06/02 12:31:16.75 KedKgjPL.net
＞まず、"正しい"概念であることが必須条件。
＞(well-defind ということかな。)
全然違うよ
口からでまかせいうなよ
620:哀れな素人
19/06/02 12:48:31.20 FebaY9/c.net
ID:KedKgjPL
たとえば単調な有界数列は収束する（極限値を持つ）、
という解析学の基本公理は誤りなのである（笑
たとえば無限小数は上に有界な単調数列だが、
必ずしも収束する（極限値を持つ）わけではない（笑
0.99999……のような特殊な無限小数は極限値を持つが、
フツーの無限小数は極限値は持たない（笑
こういうことを、僕と市川氏は分っているが、
数学者はアホだから分っていない（笑
それから、0.99999……の上限は１だが、
0.99999……＜１であって、0.99999……≦１ではない（笑
お前らはこういうことが全然分っていない（笑
621:１３２人目の素数さん
19/06/02 12:53:21.05 JwK2fK4Z.net
>>487
>ご利益があろうがなかろうが、実無限なんてものは存在しない（笑
では存在しないことを証明してみては？
まずは「存在」の定義からどうぞ
622:哀れな素人
19/06/02 12:57:21.16 FebaY9/c.net
市川氏はそんなに利口な人ではない（笑
アホなこともたくさん書いている（笑
しかし素朴で常識的な理解力がある人で、
数学者や物理学者を説得できるような知識も才能もないが、
肝腎なことは理解しているのである。
たとえば一石とのやりとりの中で、
本人がどれくらい自覚していたかは知らないが、
フツーの無限小数には極限値はない、
という意味のことを書いていた。
それを読んだとき、ああ、この人はけっこう賢いな、と思った（笑
623:哀れな素人
19/06/02 13:00:49.66 FebaY9/c.net
>>569
僕の本を読めば分かる（笑
それが嫌ならアリストテレスの「形而上学」とか、
クザーヌスの「知ある無知」でも読めばいい（笑
ただしアリストテレスもクザーヌスも証明なんかしていない。
なぜならそれは常識で分ることだからである（笑
624:１３２人目の素数さん
19/06/02 13:17:15.62 JwK2fK4Z.net
>>496
>どんなに9を増やしても0.99999……………………9
>だと言っているのである（笑
0.999…は最初から無限に桁があるから、増やす必要は無い。
現代数学では無限公理によって無限集合の存在が認められているのでね。
君が現代数学と異なる数学を構築したいと主張しているならどうぞおやりなさい。誰も止めませんｗ
625:１３２人目の素数さん
19/06/02 13:30:28.29 JwK2fK4Z.net
>>571
＞僕の本を読めば分かる（笑
あなたが分からせたいならどうぞと言ってるのであって、
私が分かりたいと言ってるのではありませんｗ
626:１３２人目の素数さん
19/06/02 14:08:09.40 KedKgjPL.net
>>568
＞たとえば単調な有界数列は収束する（極限値を持つ）、
＞という解析学の基本公理は誤りなのである
上記は正しくは公理ではなく定理だが
上記の定理を導く実数の連続性の公理も
誤りなのかね？
627:１３２人目の素数さん
19/06/02 14:53:01.41 KedKgjPL.net
>>571
アリストテレスはトンデモなので読まないｗ
628:１３２人目の素数さん
19/06/02 14:53:01.54 KedKgjPL.net
>>571
アリストテレスはトンデモなので読まないｗ
629:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 16:35:13.23 X6R2CuVL.net
>>563
東京大学卒、博士課程終了、全部ウソと分っているよ
一石が「小学生に数学教えてる」は、哀れな素人さんの発言だったね
まあ、どうでも良いが
＞非ユークリッド幾何（双曲幾何）は
非ユークリッド幾何のキチガイのデタラメ解説は不要
きちんとした研究と解説が世にあるよｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
非ユークリッド幾何学
(抜粋)
非ユークリッド幾何学の成立
ベルンハルト・リーマン
あわせて4人が3通りの方法を発見した。その結果をまとめると以下のようになる。
略
(引用終り)
630:１３２人目の素数さん
19/06/02 16:36:25.16 GJjr72+Q.net
おっちゃんの証明 下書き版。
γを有理数とする。
γ＜q/p＜1 (p,q)＝1 p≧2
631:なる既約有理数 q/p を任意に取る。 n≧2 のとき {γ_n} は第n項が γ_n＝1＋1/2＋…＋1/n－log(n) なる下に有界な単減少列である。 また、任意の2以上の正整数nに対して log(n) は超越数だから、γ_n は無理数である。 よって、或る正整数kが存在して、n≧k のとき | γ_n－q/p |＜1/p^2＜| γ－q/p | となる。 故に、或る m_1≧k なる正整数 m_1 が存在して、n≧m_1 のとき 1/p^2＜| γ_n－q/p |＜| γ－q/p | となる。 γ＜58/100 だから、或る m_2≧k なる正整数 m_2 が存在して、n≧m_2 のとき γ_n＜58/100。 従って、m＝max( m_1, m_2 ) とおけば、n≧m のとき 1/p^2＜| γ_n－q/p |＜| γ－q/p | かつ γ_n＜58/100 となる。 n≧2 のとき第n項が γ_n＝1＋1/2＋…＋1/n－log(n) と表わされる数列 {γ_n} は下に有界でγに収束するから、 γ＞1/2≧1/k≧1/m に注意すると、或る n≧m を満たす十分大きな正整数nを固定して取れば、nに対して定まる 無理数 γ_n に対して或る γ＜q_n/p_n＜1 (p_n,q_n)＝1 n≧p_n≧k なる 既約有理数 q_n/p_n が存在して 1/p^2＜| γ_n－q_n/p_n |＜1/(p_n)^2、かつ有理数 1/p_n n≧p_n≧k に対して |γ_n－1/p_n|＝| ( 1＋1/2＋…＋1/n－log(n) )－1/p_n |＝( 1＋1/2＋…＋1/n－log(n) )－1/p_n ＞1/p_n となる。また γ_n は無理数であり n≧k だから、| γ_n－q_n/p_n |＜1/(p_n)^2。
632:１３２人目の素数さん
19/06/02 16:38:40.89 GJjr72+Q.net
(>>578の続き)
従って、既約有理数 q_n/p_n は 0＜| γ_n－q_n/p_n |＜1/(p_n)^2＜| γ_n－1/p_n | を満たす。
故に三角不等式から、0＜|γ_n－1/p_n|－|γ_n－q_n/p_n|≦|(q_n－1)/p_n|＝|q_n－1|/p_n となる。
p_n≧2 から |γ_n－q_n/p_n|＜1/(p_n)^2≦1/4 だから、γ_n＞γ＞1/4 から q_n が負の整数となることはあり得ない。
q_n≠0 だから、p_n＞0 から |q_n－1|/p_n＝(q_n－1)/p_n であって、(q_n－1)/p_n＞0 から q_n≧2、
よって q_n/p_n≧2/p_n から、γ_n－2/p_n≧γ_n－q_n/p_n＞0。
故に、n≧m≧k から、或る2以上の正整数 m' が存在して、q_m'/p_m' p_m'≧n 2≦q_m'≦m' なる
任意の既約有理数 q_m'/p_m' が 0＜|γ_n－q_m'/p_m'|＝γ_n－q_m'/p_m'＜1/(p_m')^2＜|γ_n－1/p_m'| を満たす。
q_m'＝m' とすれば、0＜γ_n－m'/p_m'、よって、γ_n＜3/5 から m'＜p_m'・γ_n＜p_m'・3/5＝3p_m'/5、故に、m'/p_m'＜3/5 を得る。
m'≧2 から、3p_m'/5＞2 となって p_m'≧4＞10/3。故に、q_m'/p_m' p_m'≧n 2≦q_m'≦m' なる
任意の既約有理数 q_m'/p_m' が 0＜γ_n－q_m'/p_m'＜1/(p_m')^2＜|γ_n－1/p_m'| を満たす。
q_m'＝2、p_m'＝n とすれば、0＜γ_n－2/n＜1/n^2 から、γ_n＜2/n＋1/n^2≦2/4＋1/4^2＝9/16 となる。
しかし、γ_n＜9/16 は γ_n＞57/100＞9/16 なることに反し、矛盾する。
γを有理数としたことで矛盾が導けたから、背理法が使える。故に、背理法を適用すると、γは無理数である。
633:１３２人目の素数さん
19/06/02 16:41:00.22 GJjr72+Q.net
くれぐれも下書きの証明。
634:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 16:44:53.75 X6R2CuVL.net
>>565
「数学とは何か？」
21世紀の「数学とは何か？」と
20世紀の「数学とは何か？」とは
違っていい
数学と物理とが、学会として同じだったときもあり
過去、一番密接に関連していたのでしょうね
でも、1946年に分離した
「21世紀における数学とはなにか」
AI時代、それを考えることもまた意味があることでしょう
そう思いますね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
日本物理学会
(抜粋)
自然科学の学会として、日本で最初に創立された。創立当初は、東京数学会社といい、のちに東京数学物理学会（さらに日本数学物理学会）に改組、1946年日本数学会と組織を分け、日本物理学会設立総会が開催された。ホームページでは、学会の創立時期を1877年までさかのぼって言及している。
1918年 - 日本数学物理学会に改称
1946年 - 日本数学会から独立、日本物理学会として設立総会を開く
635:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 16:52:15.73 X6R2CuVL.net
>>578-580
おっちゃん、どうも、スレ主です。
書きぶりから、本物のおっちゃんみたいだけど
＞γを有理数とする。
＞γ＜q/p＜1 (p,q)＝1 p≧2 なる既約有理数 q/p を任意に取る。
＞γを有理数としたことで矛盾が導けたから、背理法が使える。故に、背理法を適用すると、γは無理数である。
その証明って
γの定義 lim n→∞ γ_n（＝1＋1/2＋…＋1/n－log(n) ）＝γ
と合わないでしょ
つまり、定義の前半の｛1＋1/2＋…＋1/n｝部分から、そういうγ＝q/p みたいな仮定が採用できないことは明白
でしょ（＾＾；
636:哀れな素人
19/06/02 16:54:42.08 FebaY9/c.net
>>572
アホレス乙（笑
>0.999…は最初から無限に桁があるから
そんなものはない（笑
>>574
>実数の連続性の公理も誤りなのかね？
誤りである（笑
理由を知りたいなら僕の本を読めばいい（笑
どうせ読まないだろうが（笑
>>575
トンデモはお前ら（笑
とにかくお前らはアホすぎて話にならない（笑
理学部数学科がいかにアホの巣であるか分る（笑
637:１３２人目の素数さん
19/06/02 17:00:46.57 GJjr72+Q.net
>>582
それ、「1/p^2＜| γ－q/p |」で使っている。
γを有理数としたら、この不等式を満たす既約有理数q/pは可算無限個存在する。
あと、本来であれば、もっと書くことは沢山ある。
638:１３２人目の素数さん
19/06/02 17:10:43.08 KedKgjPL.net
>>577
スレ主のリンク先を見ても
非ユークリッド幾何学が
現実の研究のために発生した
とはどこにも書いてない
そりゃそうだ 全然違うからｗ
ついでにいうとリーマンの球面幾何学は
厳密には非ユークリッド幾何学ではない
というのは非ユークリッド幾何学という場合
平行性公準以外の前提を満たすものと考えるから
球面幾何は直線が大円になるから
平行線公準以外の前提も満たしてない
これ豆な 工学部じゃ教わらないだろうけどｗ
639:１３２人目の素数さん
19/06/02 17:15:58.04 KedKgjPL.net
＞キチガイ
「時枝記事は間違ってる！」と発狂するキチガイはスレ主だなｗ
時枝戦略で当たる確率は０と言い切るなら
以下の性質を満たす無限列１００列を構成してくれ
１）任意のｎについてｎ番目の箱に入る数の中身は
１００列中の１個だけ１で、あとは０
２）どの列についても、１列通してみたときに、
ほとんどすべて箱の中身が１
１）を満たすのは簡単だが、
同時に２）を満たすようにできなきゃ
スレ主は惨敗
640:１３２人目の素数さん
19/06/02 17:17:49.68 JwK2fK4Z.net
>>583
＞そんなものはない（笑
現代数学は無限集合の存在を公理で認めているから現代数学にただ乗りしたいなら受け入れるしかない。
それが嫌なら君独自の数学をゼロから構築するしかないよ。
天才数学者達が何世紀にもわたって築き上げたものを超えるものが君に構築できるとは思えないけど頑張ってね。
641:１３２人目の素数さん
19/06/02 17:19:34.16 KedKgjPL.net
>>583
>>実数の連続性の公理も誤りなのかね？
>誤りである
この時点で、君の主張に対する興味を完全に失った
他所に行ってくれたまえ
連続性の公理を満たさない数に興味はない
>理学部数学科がいかにアホの巣であるか
アホで結構
我々は君が考えるリコウになるつもりはない
他所に行ってくれたまえ
642:１３２人目の素数さん
19/06/02 17:22:08.84 KedKgjPL.net
>>587
哀れな素人氏は連続性の公理を否定した
連続性の公理を満たさない数による新数学には全く興味がない
643:１３２人目の素数さん
19/06/02 17:32:39.41 JwK2fK4Z.net
決定番号が自然数でありさえすれば時枝解法は成立する。
なぜなら「100個の決定番号の単独最大は高々1個」という命題は決定番号の値と無関係に真だからである。
サル知恵しか持たないサル畜生は理解しなくていい。
ただスレを閉じて公衆の面前から消え去ってくれればそれでいい。
644:哀れな素人
19/06/02 17:33:08.49 FebaY9/c.net
だから無限集合の存在とか
実数の連続性の公理が誤りだといっているのに
お前らはアホだからそれが分らない（笑
僕の本を読めば分かるのに、
お前らはアホだから読まない（笑
645:１３２人目の素数さん
19/06/02 17:39:33.92 JwK2fK4Z.net
>>591
だから現代数学と袂を分かち君独自の数学を構築したらいいと言ってるのに分からんね君も
646:１３２人目の素数さん
19/06/02 17:41:59.32 GJjr72+Q.net
それじゃ、おっちゃんもう寝る。
647:哀れな素人
19/06/02 17:42:31.71 FebaY9/c.net
>>592
だから現代数学は間違いだと言っているのに、
分らん奴だな、お前も（笑
648:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 17:44:12.77 X6R2CuVL.net
>>479 補足
＞このギャップが、DR Pruss氏のいう”non-conglomerability”を扱うと、確率で Paradoxになるということなのでしょう（＾＾
時枝解法不成立だけなら、簡単に言えるよ（＾＾
（過去にも書いた
649:けど） スレ65 https://rio2016.5ch.net/test/read.cgi/math/1557142618/653 より １） 箱の番号付け ・・・，n，・・・，2，1，0 ↓↑ ・・・1/n・・・,1/3,1/2,1/1 という形で 区間[0，1]に 自然数の集合Nを埋め込める （｛・・・1/n・・・,1/3,1/2,1/1｝に時枝の箱を対応させることができる） ２） 同様に、100個の区間[1，2]・・[k，k+1]・・[99，100] (1<k<99)で 自然数の集合Nを埋め込める （1/n → 1/n + k とすればいい） （これで、時枝記事の数列100個を作ることができる） ３） ここで、ある正則でない関数f(x)をとる ４） もし、時枝解法が正しいとすると （「あるDなる番号が存在し、D+1より大きい箱を開けて、中の数を知り、Dの箱の値を的中できる」が正しいとする） ５） 上記の関数f(x)の場合に適用すると 「ある1/Dなる数が存在し、1/D+1より大きいf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」というものである ６） これは、明らかに、既存の関数論に反する ７） 時枝解法には、（関数論からの）反例が存在するので、不成立である QED（＾＾； （この元ネタは、>>324に書いた 関数についてのPDFなどからです） 以上 （難しいのは、「不成立なのに、”なぜ成立するように見えるのか”という仕組み」の解明（＾＾ ）
650:哀れな素人
19/06/02 17:44:50.59 FebaY9/c.net
お前らが大学で習った現代数学、
カントールの実数論から生まれた現代数学は間違いだ、
と指摘してやっているのに、アホだから理解しない（笑
理系の人間の恐るべきアホさが露呈した（笑
651:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 17:47:21.63 X6R2CuVL.net
>>585
＞これ豆な 工学部じゃ教わらないだろうけどｗ
工学部じゃ教わらないけど
おれは高校時代から知っているよ
ゆとり前の世代では、常識の範囲（＾＾
652:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 17:50:29.91 X6R2CuVL.net
>>595 訂正
・・・，n，・・・，2，1，0
↓↑
・・・1/n・・・,1/3,1/2,1/1
↓
・・・，n，・・・，2，1
↓↑
・・・1/n・・・,1/3,1/2,1/1
まあ、分ると思うけど（＾＾；
653:１３２人目の素数さん
19/06/02 17:51:24.25 JwK2fK4Z.net
>>594
間違いと思う君が決別すればいいだけｗ
他人を巻き込もうとするなｗ
654:１３２人目の素数さん
19/06/02 17:54:07.66 JwK2fK4Z.net
>>595
反例になってませんよ？
>もし、時枝解法が正しいとすると
>（「あるDなる番号が存在し、D+1より大きい箱を開けて、中の数を知り、Dの箱の値を的中できる」が正しいとする）
が大間違い
655:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 17:55:22.81 X6R2CuVL.net
>>595 追加訂正
「ある1/Dなる数が存在し、1/D+1より大きいf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」というものである
↓
「ある1/Dなる数が存在し、ｘ＜1/D+1なるf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」というものである
ケアレスミスが多いな（＾＾；
656:１３２人目の素数さん
19/06/02 17:58:54.39 JwK2fK4Z.net
>>601
ケアレスミスの修正でどうにかなる問題じゃありません。根本的に間違ってます。
657:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 17:59:33.66 X6R2CuVL.net
>>600
>>もし、時枝解法が正しいとすると
>>（「あるDなる番号が存在し、D+1より大きい箱を開けて、中の数を知り、Dの箱の値を的中できる」が正しいとする）
>が大間違い
ほいよ（＾＾
スレ47 ｽﾚﾘﾝｸ(math板:20番)
(時枝記事抜粋)
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， 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-ε で勝てることも明らかであろう.
(引用終り)
658:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 18:00:21.46 X6R2CuVL.net
>>602
ほいよ>>603 （＾＾
659:１３２人目の素数さん
19/06/02 18:03:55.83 JwK2fK4Z.net
>>603 >>604
ほいよとは？
ほいよと言われても間違いは間違いです。
660:１３２人目の素数さん
19/06/02 18:06:01.64 JwK2fK4Z.net
>>603 >>604
君がほいよと提示しているものを君は理解してないようですね。
だからほいよで済むと思っている。
しかし間違いである。
661:１３２人目の素数さん
19/06/02 18
662::19:51.20 ID:KedKgjPL.net
663:１３２人目の素数さん
19/06/02 18:21:27.11 KedKgjPL.net
>>597
>おれは高校時代から知っているよ
じゃ君の負けじゃん
君 精神患ってるの？
664:１３２人目の素数さん
19/06/02 18:23:44.79 KedKgjPL.net
>>605
＞ほいよとは？
スレ主はときどき朝鮮語をつかうようですｗ
ホイヨが朝鮮語でいかなる意味かは存じませんがｗ
665:１３２人目の素数さん
19/06/02 18:24:37.52 KedKgjPL.net
時枝戦略で当たる確率は０と言い切るなら
以下の性質を満たす無限列１００列を構成してくれ
１）任意のｎについてｎ番目の箱に入る数の中身は
１００列中の１個だけ１で、あとは０
２）どの列についても、１列通してみたときに、
ほとんどすべて箱の中身が１
１）を満たすのは簡単だが、
同時に２）を満たすようにできなきゃ
スレ主の惨敗
666:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 18:25:25.75 X6R2CuVL.net
>>595 (訂正版 再投稿)
>>479 補足
＞このギャップが、DR Pruss氏のいう”non-conglomerability”を扱うと、確率で Paradoxになるということなのでしょう（＾＾
時枝解法不成立だけなら、簡単に言えるよ（＾＾
（過去にも書いたけど）
スレ65 ｽﾚﾘﾝｸ(math板:653番)
より
１）
箱の番号付け
・・・，n，・・・，2，1
↓↑
・・・1/n・・・,1/3,1/2,1/1
という形で
区間[0，1]に
自然数の集合Nを埋め込める
（｛・・・1/n・・・,1/3,1/2,1/1｝に時枝の箱を対応させることができる）
２）
同様に、100個の区間[1，2]・・[k，k+1]・・[99，100] (1<k<99)で
自然数の集合Nを埋め込める
（1/n → 1/n + k とすればいい）
（これで、時枝記事の数列100個を作ることができる）
３）
ここで、ある正則でない関数f(x)をとる
４）
もし、時枝解法が正しいとすると
（「あるDなる番号が存在し、D+1より大きい箱を開けて、中の数を知り、Dの箱の値を的中できる」*)が正しいとする）
５）
上記の関数f(x)の場合に適用すると
「ある1/Dなる数が存在し、ｘ＜1/D+1なるf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」というものであるというものである
６）
これは、明らかに、既存の関数論に反する
７）
時枝解法には、（関数論からの）反例が存在するので、不成立である
QED（＾＾；
（この元ネタは、>>324に書いた 関数についてのPDFなどからです）
以上
（難しいのは、「不成立なのに、”なぜ成立するように見えるのか”という仕組み」の解明（＾＾ ）
注：*) >>603 スレ47 ｽﾚﾘﾝｸ(math板:20番) (時枝記事抜粋)
667:１３２人目の素数さん
19/06/02 18:28:40.41 KedKgjPL.net
>>611
キチガイは平気で嘘つくから困る
>６）
>これは、明らかに、既存の関数論に反する
全然反しない
工学部って関数論全然教わらないんだなｗ
>７）
>時枝解法には、（関数論からの）反例が存在するので、不成立である
関数論からの反例なんて存在しない
口からでまかせの嘘つくサイコパスには困ったもんだなｗ
668:１３２人目の素数さん
19/06/02 18:30:43.17 JwK2fK4Z.net
>>611
反例になってません。
>４）
>もし、時枝解法が正しいとすると
>（「あるDなる番号が存在し、D+1より大きい箱を開けて、中の数を知り、Dの箱の値を的中できる」*)が正しいとする）
>注：*) >>603 スレ47 ｽﾚﾘﾝｸ(math板:20番) (時枝記事抜粋)
いいえ、４）は時枝記事の抜粋になってません。
669:１３２人目の素数さん
19/06/02 18:34:03.25 JwK2fK4Z.net
４）が時枝記事の抜粋だなどと平気で嘘を吐くところを見ると、ID:X6R2CuVLはサイコパスのようですね
670:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 18:37:44.25 X6R2CuVL.net
>>614
＞ ４）が時枝記事の抜粋だなどと平気で嘘を吐くところを見ると、ID:X6R2CuVLはサイコパスのようですね
なんだ、 ID:JwK2fK4Z は、やっぱり ピエロの別IDだったのか （＾＾；
”なりすまし” ご苦労さんｗ
671:１３２人目の素数さん
19/06/02 18:37:53.20 KedKgjPL.net
>>613-614
スレ主は時枝記事が怖くて、3年たった今も全文読めてないらしいｗ
とくに「100列から1列選ぶ」と
「他の列の決定番号の最大値をとる」の
ところを読もうとすると目が上向いてしまう
らしい
完全に狂ってるんだが、自分では正常だと思ってるらしい
もう精神病院に入院したほうがいい
もちろんネットは全面禁止
ネットにアクセスしてるかぎり
スレ主の精神病は治らんね
672:１３２人目の素数さん
19/06/02 18:39:36.35 KedKgjPL.net
>>615
スレ主の歌
♪これもピエロ あれもピエロ
たぶんピエロ きっとピエロ
完全な被害妄想ですね
(´･ω･｀)
／ ｀ヽ. お薬出しておきますねー
__/ ┃)) ＿_i |
／ ヽ,,⌒)＿__（,,ノ＼
673:１３２人目の素数さん
19/06/02 18:42:54.30 JwK2fK4Z.net
「時枝定理が正しいと仮定するとｘｘｘと矛盾する。よって仮定は偽。」
これは時枝定理の反例じゃなくて背理法による反証だけどねｗ
まあそこに目を瞑ったとしても反証の間違いには目を瞑れませんｗ
674:１３２人目の素数さん
19/06/02 18:45:34.93 JwK2fK4Z.net
>>616
はい、その通りです。
やはり分かる人にはすぐに分かりますね。
3年半かけても分からない人には分からないようですがｗ
675:１３２人目の素数さん
19/06/02 18:45:47.59 KedKgjPL.net
>>618
全然反証になってない
関数論に反するとかいうのがただの妄想だから
工学部ってこの手の馬鹿が多いんだよな
やっぱブルーカラーだからしょうがないな
理学部が普通科なら、工学部って工業科だからｗｗｗｗｗｗｗ
676:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 18:46:58.94 X6R2CuVL.net
>>611 補足
「ある1/Dなる数が存在し、ｘ＜1/D+1なるf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」というものである
↓
ここ、時枝記事の第k列に合わせて記述すると
「ある1/Dなる数が存在し、k＜ｘ＜1/D+1 + k なるf(x)の値（・・・f(1/D+1 + k ））を知り、f(1/D）の箱の値を決定できる」というものである
となります
まあ、記述が煩雑になり、本質が見えなくなるので、簡略にしました（＾＾
677:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 18:51:14.46 X6R2CuVL.net
>>615-620
>なんだ、 ID:JwK2fK4Z は、やっぱり ピエロの別IDだったのか （＾＾；
>”なりすまし” ご苦労さんｗ
ID:JwK2fK4ZとID:KedKgjPLとは、いきぴったり
シンクロナイズドしています
ご苦労さまですｗ
678:１３２人目の素数さん
19/06/02 18:52:10.43 KedKgjPL.net
>>621
関数100個から1個選ぶ点と同値類とDの内容を
まったく記載しない貴様は全く本質を見る気がない
スレ主は粗雑馬鹿
工業高校卒は他所いけよ シッシッ！
679:１３２人目の素数さん
19/06/02 18:52:56.90 KedKgjPL.net
>>622
スレ主の歌
♪これもピエロ あれもピエロ
たぶんピエロ きっとピエロ
完全な被害妄想ですね
(´･ω･｀)
／ ｀ヽ. お薬出しておきますねー
__/ ┃)) ＿_i |
／ ヽ,,⌒)＿__（,,ノ＼
680:１３２人目の素数さん
19/06/02 18:53:19.97 JwK2fK4Z.net
>>621
だから言ってるでしょ？
そんな小手先の訂正でどうにかなる問題じゃないと
根本的な間違いだと
681:１３２人目の素数さん
19/06/02 18:54:41.06 KedKgjPL.net
ID:JwK2fK4Z 君へ
１９：００から一時間用事があるので
キチガイの相手は任せたｗ
682:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 19:04:28.82 X6R2CuVL.net
>>626
芝居が細かいなｗ
683:１３２人目の素数さん
19/06/02 19:59:23.39 ffOsX44+.net
>>324-327
[HT08b]を読んだ。
なんだこれ、デタラメだな。
Theorem 3.1の証明が間違っているから、
その後の全てがダメ。
核心となる定理が間違っているから、
どうにもならないな。
684:１３２人目の素数さん
19/06/02 19:59:46.83 KedKgjPL.net
さ、戻ってきたよｗ
時枝戦略で当たる確率は０と言い切るなら
以下の性質を満たす無限列１００列を構成してくれ
１）任意のｎについてｎ番目の箱に入る数の中身は
１００列中の１個だけ１で、あとは０
２）どの列についても、１列通してみたときに、
ほとんどすべて箱の中身が１
１）を満たすのは簡単だが、
同時に２）を満たすようにできなきゃ
スレ主の惨敗
685:１３２人目の素数さん
19/06/02 20:07:45.08 ffOsX44+.net
>>578-579
おっ、おっちゃん、とうとうカミングアウトするのか。
>>584
>それ、「1/p^2＜| γ－q/p |」で使っている。
>γを有理数としたら、この不等式を満たす既約有理数q/pは可算無限個存在する。
>あと、本来であれば、もっと書くことは沢山ある。
それ、有理数、無理数関係なしに成り立たないか？
qをどんどん大きくすればいい。
686:１３２人目の素数さん
19/06/02 20:19:48.62 ffOsX44+.net
>>611
これは、関数を使わなくても、
単に、独立性の議論だけで十分ではなかろうか。
687:哀れな素人
19/06/02 22:11:46.90 FebaY9/c.net
>>599
真実を教えてやろうとしているのに、
他人を巻き込もうとするなｗ
と書くバカ（笑
お前のようなバカは数学をやる資格はない（笑
このスレから出ていけ（笑
688:哀れな素人
19/06/02 22:15:33.86 FebaY9/c.net
このスレの数学バカどものアホバカ珍言録（笑
ケーキを食べ尽くすことができる。
1/2+1/4＋1/8……は１になる。
0.99999……は１である。
有限級数の極限値が無限級数である。
実無限が存在する。
0.99999……は最初から無限に桁がある。
無限小数は必ず極限をもつ。
実数は連続性がある。
これからこのスレの数学バカどもの珍言録を蒐集してやろう（笑
689:哀れな素人
19/06/02 22:20:54.18 FebaY9/c.net
珍言を蒐集するために問題を出してやろう（笑
問い
０から１の間に実数は何個あるでせうか（笑
さあ答えてみろバカども（笑
690:哀れな素人
19/06/02 22:25:46.13 FebaY9/c.net
素朴なこと、基本的なこと、
フツーの人なら誰でも理解できることが理解できないくせに、
俺は理系だ、俺は数学科だからエライとうぬぼれているバカども（笑
お前らのアホさたるや常軌を逸している（笑
現代数学というインチキ宗教を信仰しているアホ信徒ども（笑
691:哀れな素人
19/06/02 22:40:54.36 FebaY9/c.net
0.99999……＝１
と聞いて、おかしい、と思わない時点で、
すでにアホであり数学的センスゼロなのである（笑
フツーの人なら誰でも（えっ、それはおかしいだろ）
と思うはずなのである（笑
そう思っていないどころか、
それを絶対的真理だと信仰しているアホさ（笑
自分がいかにアホであるかにまったく気付いていない（笑
692:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 22:47:56.00 X6R2CuVL.net
>>632-636
哀れな素人さん、どうも。スレ主です。
市川さんからの吉報をお待ちします
そして、「本買わない」と言われても
献本か、貸し出しで
読後感想を聞いて下さい
楽しみにまっています（＾＾
693:哀れな素人
19/06/02 22:51:20.53 FebaY9/c.net
市川氏はカントールの対角線論法を読んだとき、
何かがおかしい、と思ったのである。
そして無限とはどういうことかについて自分でいろいろ考えて、
実無限は存在しない、あるいは実無限という考えはおかしい、
という結論に達したのである。
最初に、おかしい、と感じたところに、
市川氏の常識的理解力があるのである。
日本の数学者はアホだから、誰もおかしいと感じない（笑
ちなみにウイ
694:ットゲンシュタインは、 カントールの対角線論法と実数論を知ったとき、 ナンセンスと笑ったそうである（笑 ウイットゲンシュタインが利口なのである（笑
695:哀れな素人
19/06/02 22:57:45.44 FebaY9/c.net
スレ主よ、市川氏は買ったに決まっている（笑
飛びつくように買っただろう（笑
なにしろ僕と市川氏は同じ考えの持ち主だからだ（笑
ただしあの人は異常に用心深い人だから、
僕にメールを寄越したりはしないだろう。
なにしろ2chで自説を発表すると殺される、
と本気で思っている人だから（笑
696:哀れな素人
19/06/02 23:08:01.95 FebaY9/c.net
市川氏は、現代数学はひどいインチキだと分っている。
相対性理論も非ユークリッド幾何学もおかしいと分っている。
ここの連中は真逆だ（笑
現代数学も相対性理論も非ユークリッド幾何学も信仰している（笑
絶対に間違いないと思っている（笑
もうそれはほとんど宗教だ（笑
宗教だから、それは間違っていると忠告しても、聞く耳を持たない（笑
そして自分たちが絶対に正しいと思っている（笑
さて11時だから、ここで終り（笑
697:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 23:14:34.36 X6R2CuVL.net
>>628
ID:ffOsX44+さん、どうも。スレ主です。
>[HT08b]を読んだ。
>なんだこれ、デタラメだな。
そうそう
（>>325より）
”[HT08b]（XOR’S HAMMERのパズル元ネタ）は、著者自身の手（[HT09]と[成書]と）で、否定されている”
ってことです
>>631
>これは、関数を使わなくても、
>単に、独立性の議論だけで十分ではなかろうか。
同意ですが、関数を使う反例は分り易いし、イメージしやすいと思います
>>611の例では
箱の番号付け
・・・，n，・・・，2，1
↓↑
・・・1/n・・・,1/3,1/2,1/1
としましたが
・・・1/n・・・,1/3,1/2,1/1
↓↑
・・・xn・・・ ,x3 ,x2 ,x1
という形で、任意のxnたちで関数値の列
・・・f(xn)・・・ ,f(x3) ,f(x2) ,f(x1)
を作れば、時枝の箱の数列が出来ます
で（正則でもない関数fで）
・・・f(xD+1)の値からf(xD)の値が的中できるとするのは
明らかに変です
蛇足ですが、ΔL ＝｜xD+1－xD｜で
ΔL は、必ずしも小さい値である必要はなく、大きな値にすることも可であり
まさにこれ”Paradox”で、反例になります
関数論を知っている人なら、時枝不成立を納得頂けるだろうと
”独立性の議論”の方は、確率過程論を修得している人用ですね
（もっとも、確率過程論を修得している人は、時枝のような子供だましには、ひっかからないでしょうが（＾＾ ）
698:１３２人目の素数さん
19/06/02 23:16:55.03 ffOsX44+.net
>>634
>０から１の間に実数は何個あるでせうか
いくつあんの？教えて。
699:１３２人目の素数さん
19/06/02 23:22:33.14 ffOsX44+.net
>>641
>”[HT08b]（XOR’S HAMMERのパズル元ネタ）は、著者自身の手（[HT09]と[成書]と）で、否定されている”
>ってことです
え？ほんとに？
Theorem3.1の証明が修正されているってこと？
[HT09]を読めば分かるんかな？
700:１３２人目の素数さん
19/06/02 23:27:45.47 JwK2fK4Z.net
>>641
>同意ですが、関数を使う反例は分り易いし、イメージしやすいと思います
反例になってませんが
701:１３２人目の素数さん
19/06/03 00:01:05.15 6QhOvQUK.net
>>643
確かに、[HT09]では問題のロジックが
ガラッと入れ替わっているようだ。
これを読み切るのはちょっと大変だな。ｗｗ
702:１３２人目の素数さん
19/06/03 00:34:51.17 IkUAMRF0.net
おっちゃんです。
>>630
>γ＜q/p＜1 (p,q)＝1 p≧2 なる既約有理数 q/p を任意に取る。
の部分は
>γ_2＜q/p＜1 (p,q)＝1 p≧2 なる既約有理数 q/p を任意に取る。
の間違い。
| γ_2－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たしかつ q/p ＜γ_2 または q/p＞1
であるような既約有理数 q/p は高々有限個しか存在しない。
だから、γを有理数とすると、γ_2＜q/p＜1 (p,q)＝1 p≧2 なる
任意の既約有理数 q/p に対しては、自動的に「 | γ－q/p |＞1/p^2」となる。
703:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 07:23:04.03 Acxa35OG.net
>>643
>Theorem3.1の証明が修正されているってこと？
>[HT09]を読めば分かるんかな？
いい
704:え 証明の修正でなく、結論が変わっています [HT08b]のINTRODUCTIONで ”there is a strategy for predicting the values of an arbitrary function, based on its previous values, that is almost always correct. ” と書かれていたのが、[HT09]では消されている そして、https://pdfs.semanticscholar.org/8514/a9f8b30546ea81739b9409132673276713d3.pdf [成書]The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems Hardin, Christopher S., Taylor, Alan D. November 26, 2012 のP77 ”7.4 Guessing the future”でも、未来予測は簡単じゃないとなっています。 だから、>>641の関数論を使った反例構成に繋がってくる
705:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 07:23:41.69 Acxa35OG.net
>>645
>これを読み切るのはちょっと大変だな。ｗｗ
ああ、やはり”あなたは数学科出身”(>>477)という気がしてきましたね（＾＾
で、P77 ”7.4 Guessing the future”をざっと読んで貰えれば結構かと
[HT08b]（2008）が、
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER（2008)(>>326）につながり
そして、Hart氏PDF（2013）（>>27）でも Note１で
”1 Source unknown. I heard it from Benjy Weiss, who heard it
from ..., who heard it from ... . For a related problem, see
URLﾘﾝｸ(xorshammer.com) ”
となっています
そして
mathoverflow（2013）でも、xorshammer（2008）と[HT08b]（2008）とが引用されています
そういう、” riddle ”の流れを把握頂ければと思います。
で、
１）もともと、関数論からみの話しであったこと
２）元ネタの[HT08b]の結論は修正されてしまったこと
３）>>641の関数論からみの反例構成にしてしまえば、「選択公理」は関係ないと
結論はそういうことなのです（＾＾
706:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 07:33:54.91 Acxa35OG.net
>>646
どうも。スレ主です。
やっぱり、>>578-580は、おっちゃんだったかｗ（＾＾
（>>582）
γの定義： lim n→∞ γ_n（＝1＋1/2＋…＋1/n－log(n) ）＝γ
から
背理法で、γを有理数q/p と単純に仮定できないと思いますけどね
それ、簡単にいえば、有限のｎで、p＜ｎと取れるから、この時点で矛盾（γ＝q/p とできない）でしょ？（＾＾
で、それで証明になっているなら、とっくの昔に証明終わっている
でも、「それは証明になってないぞ」というのが、プロ数学者の主張なんでしょ？
そこをしっかり文献調査で掘り下げておかないといけないと思うけど（＾＾
707:１３２人目の素数さん
19/06/03 07:36:00.50 8incFe7c.net
>>628
>[HT08b]を読んだ。
>なんだこれ、デタラメだな。
>Theorem 3.1の証明が間違っている
誤りを具体的に示せるかな？
>>643
>>”[HT08b]（XOR’S HAMMERのパズル元ネタ）は、
>>著者自身の手（[HT09]と[成書]と）で、否定されている”
>え？ほんとに？
>Theorem3.1の証明が修正されているってこと？
>[HT09]を読めば分かるんかな？
［HT09]でも、[HT08b]のTheorem 3.1にあたる主張は
否定されていないようだが？
708:１３２人目の素数さん
19/06/03 07:42:47.75 8incFe7c.net
>>641
>（正則でもない関数fで）
>・・・f(xD+1)の値からf(xD)の値が的中できるとするのは
>明らかに変です
それ、君の勝手な感想だね
関数論と全然関係ないよ
そんなくだらない感想を
「俺が関数論だ」
みたいな顔していうの
恥ずかしいよ
709:
710:哀れな素人
19/06/03 08:41:33.22 v0Bg7iMe.net
>>642
僕はお前らの珍言を蒐集するために設問しているのである（笑
お前が答えてみろ（笑
尤も、お前らがどう答えるかは最初から分かっているが（笑
なにしろ以前このスレに参加したとき、
全員が同じ答えをしたから（笑
711:哀れな素人
19/06/03 08:45:57.75 v0Bg7iMe.net
ちなみに市川市も同じ答えをしたのだ（笑
だから市川氏もまだ本当のことが分っていない（笑
ちなみにギリシャ人なら正解を即答するだろう（笑
ギリシャ人はお前らが思っているほどアホではないのだ（笑
現代人や現代数学の方がはるかに優れているとうぬぼれるな。
712:１３２人目の素数さん
19/06/03 08:46:24.40 v5hAs53T.net
>>648
これは酷い
713:哀れな素人
19/06/03 09:15:27.86 v0Bg7iMe.net
金重明氏のブログが見つかったので、出版告知メールを送っておいた。
三森明夫氏はブログ準備中となっているが、一向に開く気配がない（嘆
ところで「馬韓も百済も満州にあった」のアマゾンレビューが出たから、
興味がある人はそちらもどうぞ（笑
714:哀れな素人
19/06/03 09:27:47.50 v0Bg7iMe.net
ガロア第一論文に関しては、この人もPDFを上げている。
ガロアの第一論文を読む
URLﾘﾝｸ(sites.google.com)
しかし連絡先がない（嘆
ちなみに↓のスレは僕が立てたスレである（笑
ガロア第一論文について語るスレ
ｽﾚﾘﾝｸ(math板)
しかし参加者ほとんどなし（笑
たぶん第一論文を読んでいる者はほとんどいないのである。
このスレでも、読んでいるのはスレ主だけだ。
このスレはいつも数学板の上位にあるから、
興味本位で多くの者が覗きに来るだろうが、
第一論文を読んでいる者などほとんどいないのだ。
715:１３２人目の素数さん
19/06/03 09:44:14.88 IkUAMRF0.net
>>649
γを有理数とすると、| γ－q/p |＞1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は可算無限個存在する。
このときは、、| γ－q/p |＞1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は高々有限個存在する。
γを無理数とすると | γ－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は可算無限個存在する。
だから、転換法により実数γについて、γが有理数であることと、| γ－q/p |＞1/p^2 (p,q)＝1 p≧2 を満たす
既約有理数 q/p は可算無限個存在することとは、同値になる。
716:１３２人目の素数さん
19/06/03 09:49:41.32 IkUAMRF0.net
>>649
>>657において
>このときは、、| γ－q/p |＞1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は高々有限個存在する。
の部分は
>このときは、| γ－q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は高々有限個存在する。
717:１３２人目の素数さん
19/06/03 09:53:55.75 IkUAMRF0.net
>>649
>>657の
>だから、転換法により実数γについて、γが有理数であることと、| γ－q/p |＞1/p^2 (p,q)＝1 p≧2 を満たす
>既約有理数 q/p は可算無限個存在することとは、同値になる。
の部分は取り消し。
718:１３２人目の素数さん
19/06/03 10:02:35.18 IkUAMRF0.net
>>649
いや、>>659がなしで、>>657の
>だから、転換法により実数γについて、γが有理数であることと、| γ－q/p |＞1/p^2 (p,q)＝1 p≧2 を満たす
>既約有理数 q/p は可算無限個存在することとは、同値になる。
はいえる。条件の不等式を満たす既約有理数 q/p (p,q)＝1 p≧2 の存在性は、有理数の稠密性から保証される。
719:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 10:25:10.88 U0y75WUV.net
>>648 補足
前スレより
スレ65 ｽﾚﾘﾝｸ(math板:544番)
(引用開始)
おそらく、単純な二分法ではうまくいかないだろう。
この問題における各人の立場は、おそらく次の4通りに分けることが出来るだろう。
(1) 成立派(自明派)
時枝記事は単純なカード宛ゲームである。
さらに確率論を排除することも可能。
(2) 成立派(選択公理否定派)
選択公理を用いるとランダムなはずの数を
言い当てることが出来ることが示された。
やはり、選択公理を認めるのは危険である。！！
(3) 懐疑派
明らかに直感に反するこのパラドックスは、
何らかの否定的な解決がなされるべきである。
パラドックス解消の解決策は今だ持っておらず、
いくつかの問題点を指摘するに留まっている。
(4) 不成立派
時枝解法は誤りである。
このパラドックスは否定的に解決できるものである。
この分類の元では、私は現時点では(3)である。
そして、私の見立てでは次のようになる。
ここの成立派の諸君 ->(1)
Hart氏 ->(2)or(3)(or(4))
時枝氏 ->(3)
Pruss氏,Tony Huyn氏 ->(3)or(4)?
スレ主氏 ->(3)?
(引用終わり)
言いたいことは
１）スレ主氏 ->(4) 不成立派（理由は既に述べた通りで、お分かりでしょう）
２）私見では、Pruss氏,Tony Huyn氏 ->(4) でしょう （理由は同じ。彼らは分かっている）
３）「時枝氏->(3)」同意
４）Hart氏は->(3)(or(4))で多分(4)（理由は同じ。Hart氏も分かっているはず）
５）で、「私は現時点では(3)」を(4)に改訂頂ければ幸いです（＾＾
以上
720:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 10:28:49.50 U0y75WUV.net
>>656
哀れな素人さん、どうもスレ主です。
(引用開始)
ちなみに↓のスレは僕が立てたスレである（笑
ガロア第一論文について語るスレ
ｽﾚﾘﾝｸ(math板)
(引用終わり)
ああ、そうでしたか
そのスレには気づいていましたが
スルーしていました
”ガロア第一論文について語る”は、このスレの初期に終わっていますので
哀れな素人さんが、こられるずっと前ですが（＾＾
721:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 10:31:40.11 U0y75WUV.net
>>657-660
おっちゃん、どうも、スレ主です。
ご苦労様です
がんばってください（＾＾
722:１３２人目の素数さん
19/06/03 10:44:20.84 IkUAMRF0.net
有理数の稠密性から、既約有理数 q/p (p,q)＝1 p≧2 が可算無限個存在することは保証されている。
だから、条件の不等式に着目して転換法を適用すればいい。それじゃ、おっちゃん一旦もう寝る。
723:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/03 11:02:18.53 U0y75WUV.net
メモ
URLﾘﾝｸ(www.nikkei.com)
ソニー、デジタル人材の初任給優遇 最大2割増の730万円
2019/6/3 2:00日本経済新聞
ソニーは新入社員の初任給に差をつける取り組みを始める。人工知能（AI）などの先端領域で高い能力を持つ人材については、2019年度から年間給与を最大2割増しとする。対象は新入社員の5%程度となる見通し。デジタル人材の獲得競争は業界や国境を越えて激化している。横並びの給与体系の見直しが進めば、より付加価値の高い分野に人材をシフトさせ、日本全体の生産性を高める効果が期待できそうだ。