20/07/02 13:28:42.19 4m348Ow9.net
証明が正しいなら、別に５ｃｈじゃなくても
大学教授のとこでも、投稿サイトでも、何処に持って行っても認められる。
間違ってるなら、５ｃｈだろうが何処だろうが認められない。
595:１３２人目の素数さん
20/07/02 13:30:23.02 rJLkPaWG.net
>>560
>それ事実誤認だよ。これまで散々論理の間違いを指摘されてきただろう。
>おれの知る限り、乙の証明に納得するひとがいるとこなんて見たことないよ。
お前さんが見ていないだけだろう。
>証明認めた証人だけ欲しいというのは虫が良すぎる。
そもそも、証人がほしくて証明を書いた訳ではない。
596:１３２人目の素数さん
20/07/02 13:33:51.79 4m348Ow9.net
「誤答おじさん」と言われてバカにされているのなら見たことある。
「誰が見ても間違った証明が認められることなんてないんだな」
と思った。
597:１３２人目の素数さん
20/07/02 13:34:17.10 rJLkPaWG.net
>>560
>>558でいう
>証明を読んだ人のうち何人かからは、それがいえる根拠を聞かれ、私はそれに答えた
ようなことは、幾つかのスレにわたって行った。
598:１３２人目の素数さん
20/07/02 13:37:21.24 rJLkPaWG.net
>>563
お前さんがいう「そこら辺にある問題」にしっかりした解答を与えることは難しい。
599:１３２人目の素数さん
20/07/02 13:38:12.38 V0JwUX+4.net
>>555
>反則になるが、大学1年のオイラーの定数γの定数の値の式γ＝0.577……を参考文献にして使えば、
>ここでγの有理性を証明したといえることになる。
やってみて
600:１３２人目の素数さん
20/07/02 14:20:59.90 V0JwUX+4.net
>>541
意味不明な例えだね
百億円あれば一円のものなど簡単に買えるが、
デカいεを持ち出すのは何の証明にもならないので一円のものすら買えない
全然わかってないでしょ？
301現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/06/25(木) 07:28:23.44ID:odZewMPY>>300
まあ、例えていえば
１円払えば済むところを
１万円払うみたいことです
おバカですよ
ε＝1000000000000
なんて、１円に百億円払うみたいなｗｗｗ（＾＾
601:１３２人目の素数さん
20/07/02 14:33:40.31 aOg/A0t4.net
なんだ、乙はまーだ自分のウソ証明の誤りが理解できないidiotなのか？（嘲）
乙のいう証明って クソGスレ57の340-356のクソ書き込みのことだろ？
URLﾘﾝｸ(5ch-ranking.com)
乙の「ウソ」証明によれば(360の指摘）
「57/100＜ω＜3/5 を満たす実数ωは必ず有理数である。」
だそうだｗｗｗｗｗｗｗ
貴様こんな明確な誤りにも気づけないほどの白痴(idiot)なのか？
死んだほうがいいな
セタは只の軽薄馬鹿だが、貴様は真性の精神異常白痴
602:１３２人目の素数さん
20/07/02 14:37:25.51 aOg/A0t4.net
>>567
ま、いくら小さいεを持ち出したって、
0＜x<εとなる実数ｘは必ず非可算無限個あるから
まっっっっったく無意味だけどね
603:１３２人目の素数さん
20/07/02 14:42:19.46 aOg/A0t4.net
数学板の総意
１．セタは「IUTを読むための用語集資料集
604:スレ」にのみコピペ書き込みすること 一切自分のウソ見解を書かぬこと セタは数学ではウソしか書けない馬鹿だからｗ https://rio2016.5ch.net/test/read.cgi/math/1592654877/ ２．乙はどうしても「オイラー定数は有理数だ」という妄想による ウソ証明を書き散らかす衝動が抑えられないなら専用スレ立てて そのスレにのみ書き込むこと（いわゆる●違い隔離スレ）
605:１３２人目の素数さん
20/07/02 14:54:54.09 V0JwUX+4.net
57<57+√2<60
があるね
606:１３２人目の素数さん
20/07/02 15:07:55.26 aOg/A0t4.net
>>571
新スレ立てたｗｗｗｗｗｗｗ
【おっちゃんの定理】オイラーの定数γは有理数
ｽﾚﾘﾝｸ(math板)
また一人、数学板からトンデモがデビュー・・・ＯＴＬ
607:１３２人目の素数さん
20/07/02 15:14:36.94 aOg/A0t4.net
数学板 五大トンデモスレ
・フェルマーの最終定理の簡単な証明 （日高）
・未解決問題の証明論文は論文誌には載らない （高木）
・0.99999……は１ではない （安達）
・【おっちゃんの定理】オイラーの定数γは有理数 （乙）
・純粋・応用数学 （セタこと◆yH25M02vWFhP）
608:１３２人目の素数さん
20/07/02 15:25:22.10 aOg/A0t4.net
数学板 五大トンデモのトンデモ主張
・フェルマーの最終定理の初等的証明ができた （日高）
・奇数の完全数が存在しないことの証明ができた （高木）
・0.99999……は１ではない！ 実数は不連続！ （安達）
・オイラーの定数γは有理数だと証明できた （乙）
・数セミ記事「箱入り無数目」は間違ってる！ （セタ）
どいつもこいつも、数学のスの字も分らんド素人のくせして
自分は数学の大天才だ、と自惚れる●チガイ野郎ばかりｗｗｗ
609:１３２人目の素数さん
20/07/02 15:54:14 DDlksrxQ.net
>>566
>>572が立てたスレとは異なるような専用スレを私が立てておくので、そちらに書きましょう。
今確認中なので、今日は書きません。
610:１３２人目の素数さん
20/07/02 16:28:56.41 DDlksrxQ.net
それじゃ、おっちゃんもう寝る。
611:１３２人目の素数さん
20/07/03 06:20:50 +ynyFm3O.net
トンデモ🐎🦌野郎曰く
【定理】 オイラーの定数γは有理数
【証明】
γが無理数であったとする。任意の有理数 1/p pは3以上の整数 に対して
|γ－1/p|＝| lim_{n→+∞}( 1＋1/2＋…＋1/n－log(n) )－1/p |
＝lim_{n→+∞}( 1＋1/2＋…＋1/n－log(n) )－1/p
＞( 1＋1/2＋…＋1/p－log(p) )－1/p
＝1＋1/2＋…＋1/(p－1)－log(p)
＞0、
従って、或る2以上の正整数kが存在して、p≧k のとき |γ－1/p|＞( 1＋1/2＋…＋1/p－log(p) )－1/p＞1/k≧1/p。
γは無理数だから、0＜|γ－q/p|＜1/p^2＜|γ－1/p| を満たすような既約有理数 q/p p≧2 は無限個存在する。
既約有理数 q/p p≧2 が 0＜|γ－q/p|＜1/p^2＜|γ－1/p| を満たすとする。すると、
三角不等式から、0＜|γ－1/p|－|γ－q/p|≦|(q－1)/p|＝|q－1|/p となる。
p≧2 から |γ－q/p|＜1/p^2≦1/4 だから、γ＞1/4 から qが負の整数となることはあり得ない。
従って、p＞0 から |q－1|/p＝(q－1)/p であって、(q－1)/p＞0 から q≧2、
よって q/p≧2/p から、γ－2/p≧γ－q/p＞0。故に、M＝max(2,k) とおけば、或る2以上の正整数mが存在して、
q/p p≧M 2≦q≦m なる任意の既約有理数 q/p が 0＜|γ－q/p|＝γ－q/p＜1/p^2＜|γ－1/p| を満たす。
q＝m とすれば、0＜γ－m/p、よって、γ＜3/5 から m＜p・γ＜p・3/5＝3p/5、故に、m/p＜3/5。
m≧2 から、3p/5＞2 となって p≧4＞10/3。故に、N＝max(4,M) とおけば q/p p≧N 2≦q≦m なる
任意の既約有理数 q/p が 0＜γ－q/p＜1/p^2＜|γ－1/p| を満たす。
q＝2、p＝N とすれば、0＜γ－2/N＜1/N^2 から、γ＜2/N＋1/N^2≦2/4＋1/4^2＝9/16。
しかし、γ＜9/16 は γ≧57/100＞9/16 なることに反し、矛盾する。
γを無理数としたことで矛盾が導けたから、背理法が使える。故に、背理法を適用すると、γは有理数である。
612:１３２人目の素数さん
20/07/03 06:29:14 aW67qst7.net
おっちゃんです。
>>572が立てたスレと私が立てたスレがどっちも削除されたようだが、昨日見ないうちに何があった？
613:現代数学の系譜 雑談
20/07/03 13:27:31.66 bxcPs0DD.net
これ面白いわ
URLﾘﾝｸ(president.jp)
金なし･無名校でも…なんで私が東大に? 合格勉強法を大公開
参考書代の合計は､わずか2000円
プレジデント 2020年6月12日号
山口 雅之
フリーライター
(抜粋)
東大生の家庭の世帯年収は6割超が950万円以上だ。しかし、同300万円ほどで無名校から進学した学生がいる。彼らのお金をかけない超効率的な勉強法を探る。
参考書代の合計は、わずか2000円
文学部4年生の布施川天馬さんは、大学に入るまで1度も家族旅行をしたことがなく、「父親の仕事が不安定で年収は300万円程度、一家3人が日々食べていくだけで精一杯でした」という。それでも中高一貫の私立共栄学園中学高等学校に進めたのは、成績優秀者は学費免除という特待生制度があったから。ただし、評定平均が基準を下回ると特待生の資格を喪失し、学費を納めなければならなくなる。それは布施川さんにとって退学宣告にほかならない。それゆえ両親からはいつも、「勉強はどうでもいいから特待生だけは死守してくれ」といわれていた。
そんな布施川さんが東大を意識したのは、高校3年の春だった。「進路相談で担任から『学業優秀で中高と生徒会長、吹奏楽部でも大活躍、これで東大に受かったらカッコいいじゃないか』と、わりと軽いノリで勧められ、それもそうだなとその気になりました」
「出費を最小限に抑えるために、参考書は各教科一冊と決めました。それに、東大の入試は教科書の範囲からしか出ません。参考書は教科書の内容を頭に定着させるためのもので、そういう意味でも一冊をとことん使い倒すというのは、理にかなっていたのです」
では参考書はどうやって選んだのか。
つづく
614:現代数学の系譜 雑談
20/07/03 13:28:03.76 bxcPs0DD.net
>>579
つづき
「効率を上げるには無駄を省くにかぎります。わからない問題を前に悩んでいる時間もその1つ。数学なら3分間考えて答えが出せなければ、すぐに解答と解説を見て頭に入れました。入試問題には絶対に答えがあり、そこにいかに早く正確にたどりつけるかを計るのが受験の本質だからです」
この勉強法で布施川さんは、1年の浪人を経て見事に東大に合格した。なお、浪人時代には予備校にも通ったが、その費用は週3日のアルバイトでまかない、足りない分は親が借金して工面してくれたというから泣ける。
予備校通いよりも効率的な宅浪
もう1人取材に応じてくれたのが経済学部4年生の永見琉輝さんで、非進学校出身の東大生が同様の環境下で東大を目指す受験生を支援する「東京大学フロンティアランナーズ（UTFR）」というサークルに所属している。前出の布施川さんもメンバーの1人だ。
「小学2年生のときに両親が離婚してから、ずっと母親との二人暮らしです。家計に余裕はなく、習い
615:事をした記憶もありません。高校は近所にある私立高校の特進コースに、学費免除の特待生で入りました」 翌年1月のセンター試験同日模試では、東大合格者の同時期の点数とわずか90点差だった。この結果に自信をもった永見さんは、志望校を横国から東大に変更することを担任に報告する。ところが、担任からは予想外の言葉が返ってきた。 「『考え直しなさい』といわれました。東大に合格できるのは小さいころから勉強だけに集中できる恵まれた家庭の子女だけと、そのときの僕は思いました。でも、想定外のルートから東大に入るやり方だって絶対あるはず。だったら僕がそれを証明してやると、逆にヤル気が湧いてきました」 しかし、現役で合格とはいかず、「宅浪」で捲土重来を期すことになった。予備校に行かなかったのは経済的な理由だけではなく、「教室でライバル30人と足並みを揃えるよりも、自分のペースとやり方で勉強したほうが効率がいい、と思ったからです」という。 つづく
616:現代数学の系譜 雑談
20/07/03 13:28:23.18 bxcPs0DD.net
>>580
つづき
お金をかけずに非進学校から東大に合格する秘訣
では、永見さんは宅浪時代、いったいどんな勉強をしていたのだろう。
「量もそうですが、それ以上に重視したのが勉強の質です。たとえば数学は、すぐに解法が浮かばないときは先に解答を見て、なぜこの定理が使われているか、解説の行間を読むことに時間をかけました。そこさえ理解できれば後の計算は省いていいし、解法は他の問題にも転用できるので、数をこなすより短期間で力が伸びるのです」
1人だと1年間モチベーションを維持するのが大変な気もするが、この点も永見さんは対策を立てていた。
「浪人中は一日を有意義に過ごそうと、勉強以外の食事、運動、睡眠などにも気を配り、体と精神の状態を常に安定させました。模擬試験の点数が悪くて落ち込むようなこともない。予備校の先生が作った問題が東大の過去問より質が高いはずがなく、過去問さえ解ければいいと割り切ったのです」
こうして翌春見事に東大合格を果たした永見さんに、お金をかけずに非進学校から東大に合格する秘訣を尋ねると、「自分には何が足りないか、なぜ間違ったのかを突き詰めて問い、その対策を自分で考えられる人なら、可能性は大いにあると思います」との答えが返ってきた。この言葉に勇気づけられる受験生は少なくないはずだ。
(引用終り)
以上
617:１３２人目の素数さん
20/07/03 13:32:14.53 SEDy8Imn.net
数学徒では無いみたいですね…
618:現代数学の系譜 雑談
20/07/03 13:39:25.84 bxcPs0DD.net
>>578
>>>572が立てたスレと私が立てたスレがどっちも削除されたようだが、昨日見ないうちに何があった？
（>>572）
【おっちゃんの定理】オイラーの定数γは有理数
ｽﾚﾘﾝｸ(math板)
か
確かに、存在しないね
私が立てたスレも見ていないが
（>>575）
">>572が立てたスレとは異なるような専用スレを私が立てておくので、そちらに書きましょう。
今確認中なので、今日は書きません。"かな？
ひょっとして、数学板の管理人に、多少数学の分かる人がなったのかも
「オイラーの定数γは有理数」なんて、アホかというか、
まっとうな神経というか、
数学的な常識から、あほスレを削除したんでしょうね、数学を多少分かる管理人さんが（＾＾
619:現代数学の系譜 雑談
20/07/03 13:55:26.95 bxcPs0DD.net
>>582
>数学徒では無いみたいですね…
まあ、そうなんだけど
数学でよく言われるのが、”天才”とか”才能”とかだが
対して、（>>570）
「『考え直しなさい』といわれました。東大に合格できるのは小さいころから勉強だけに集中できる恵まれた家庭の子女だけと、そのときの僕は思いました。でも、想定外のルートから東大に入るやり方だって絶対あるはず。だったら僕がそれを証明してやると、逆にヤル気が湧いてきました」
ってところ
ある程度の”才能”は必要としても
東大→数学
に置き換えれば
やり方とか
努力とか
そういう面もあるんじゃない？
と思った次第です（＾＾
”数学やって、なにするの？”って話もある
アカデミックポストは、東大、京大などで占められる
（東大、京大の中でも競争は熾烈らしい）
多くの数学徒は、数学以外の勉強もしなければならないよね、きっとね（数学のアカデミックポストがゲットできないなら）
そういうこと（数学以外の勉強が必要）もある（＾＾
620:１３２人目の素数さん
20/07/03 17:07:16.66 +ynyFm3O.net
>>578
>昨日見ないうちに何があった？
ガロアスレ全削除事件同様、
トンデモ🐎🦌認定されたなｗ
621:１３２人目の素数さん
20/07/03 17:11:05.78 +ynyFm3O.net
>>583
＞「オイラーの定数γは有理数」なんて、アホかというか
「箱入り無数目は間違ってる」とかほざくダラズがいうなよｗ
このスレはトンデモ🐎🦌のセタが立てた正真正銘のトンデモスレだから
乙は正々堂々、🐎🦌証明書いていいぞｗｗｗｗｗｗｗ
で、次からこのスレのタイトルは
「純粋・応用数学（含むトンデモ理論）３」
ｗｗｗｗｗｗｗ
622:１３２人目の素数さん
20/07/03 17:32:54 ap2iqGj0.net
>>587
あっそう。私はトンデモ認定されたか。
まあ、理解不能な書き方みたいだから、もうチョット丁寧に書く。
623:１３２人目の素数さん
20/07/03 17:36:55 ap2iqGj0.net
オイラーの定数γの有理性だけなら、参考文献は小平解析入門と何かの超越数論の本で間に合う。
それじゃ、おっちゃんもう寝る。
624:１３２人目の素数さん
20/07/03 18:56:30.55 +ynyFm3O.net
>>588
0.57＜ｘ＜0.6なるxはみな有理数、と証明できる時点で誤りに気づけｗ
625:１３２人目の素数さん
20/07/04 01:07:15.96 CWyEcjzD.net
おっちゃんです。
>>589
それは既に気付いている。
それを踏まえた上で、もうチョット丁寧に書くといっている。
今は少し眠いので、また寝る。
626:１３２人目の素数さん
20/07/04 02:28:36.49 CWyEcjzD.net
まあ、眠くて朦朧としていたが、緑茶のカフェインの効き目が少しは出て来たか。
627:１３２人目の素数さん
20/07/04 06:24:57.08 iKe8zzl2.net
>>590
根本的に間違ってるから、書き直しても無駄だよ
悪いことは言わない 諦めな
628:１３２人目の素数さん
20/07/04 07:01:05.01 CWyEcjzD.net
>>592
書き直しているけど、神経を使うところが他にある。
629:１３２人目の素数さん
20/07/04 10:23:45.18 iKe8zzl2.net
>>593
根本的に誤解してるから、どう書き直しても無駄だよ
悪いことは言わない 諦めな
630:現代数学の系譜 雑談
20/07/04 10:31:13.60 CndtYA/1.net
>>583 補足
>【おっちゃんの定理】オイラーの定数γは有理数
このスレタイを見て、「あほスレ」と判断して削除できる管理人は、多分 大学数学科卒以上だろうね（＾＾；
>>>>572が立てたスレと私が立てたスレがどっちも削除されたようだが、昨日見ないうちに何があった？
>私が立てたスレも見ていないが
「私が立てたスレ」というのは、おっちゃんが立てたスレだが
どんなスレタイで、テンプレに何を書いたか見ていないが
もし、というかおそらく、”オイラーの定数γは有理数”のようなこと書いたのだろうが、それを見て 「あほスレ」と判断した 数学的なかなり高度（大学数学科以上）の常識のある管理人がいるのかな？（＾＾
631:現代数学の系譜 雑談
20/07/04 10:37:51.28 CndtYA/1.net
>>539
>そして、21世紀では
>”εδ論法マンセー！”は少数派で
>時代錯誤でしょうね
あなたの発想、乏しくないですか？
数学的思考は、もっと自由だと思います
εδに捕らわれるのは、もう古いｗ（＾＾；
AI時代の数学は、もっと自由で柔軟であるべきと思いますよ
URLﾘﾝｸ(ascii.jp)
キャリア・ピックアップ 第34回 KADOKAWA ASCII Research Laboratories, Inc.
あなたの発想、乏しくないですか？ 数学的思考で新サービスを開発 2008年04月03日
最近、さまざまな分野で数学をもっと取り入れようという動きが広がっている。数学だからといって単なる公式などを思い浮かべてはいけない。もっと柔軟な発想を得るために“数学的思考方法に学ぼう”という動きである。
IT業界周辺でもこのような動きが出始めているようだが、そもそもコンピ
632:ュータは“数学そのもの”である。では、最新のサービスや技術が生み出される開発現場では、どのように数学が取り入れられているのだろうか。 数学者であり、情報共有基盤システム「NetCommons」の開発責任者でもある新井紀子さんに聞いた。 https://ascii.jp/img/2008/04/03/44799/l/cc590bc690baf270.jpg 新井紀子さん 1962年東京生まれ。一橋大学法学部卒業後、イリノイ大学数学科博士課程修了。理学博士であり、数学者。現在、国立情報学研究所教授。情報共有システム「NetCommons」の開発を手掛け、また教育サイト「e‐教室」を通じて全国の小中高校生へインターネット上で授業を行なっている。 「www.」の次を考えられる発想力 つづく
633:現代数学の系譜 雑談
20/07/04 10:39:20.91 CndtYA/1.net
>>596
つづき
根本から既存のサービスを覆せるほどの発想力が重要、というわけだ。そこで数学的思考が役に立つというのだが、そもそも数学自体が難しそうである。では、具体的に数学を生かして新発想を得るにはどのようにすればいいのだろうか。新井さんは、文章（仕様や理論）から新サービスなどのイメージを持つようにすれば、数学的思考の訓練になるだろう、と語る。
「まず“文章（仕様や理論）の段階”で『こんなことが実現できる』と、頭の中でさまざまにイメージを持てることが大事です。それは数学でいうところの『論理的読解力』です。理論で書かれたものに、どんな可能性が込められているのかを考えられれば、新しいサービスで市場をリードすることは難しくないでしょう。イギリス人のティム・バーナーズ＝リーが『www.』を発表したのは1990年です。
論理的読解力で開発された「NetCommons」
「決め付け」が思考の幅を狭める
20代後半～30代前半のエンジニアがステップアップをしたいと考えたとき、自分がイメージしている世界やサービスをパワーポイントなどで説明できる「プレゼン力」も必要だが、根源的なところから考えをまとめ上げる力があれば、ビジネスのバリエーションは広がるものだ。
「例えば、サービスがすでに載ったブラウザではなく、『ブラウザとはこういうものだから』といった原点に戻って、定義に近い部分から、『データとはこういうものだから、約束事を決めればこのように通信ができるはずだ』という数学的思想を身に付けているとビジネスのバリエーションは広がると思います。
個々の機能など細かい部分で付加価値を追及すると、結局は価格競争に陥ってしまうわけです。もっと根源的なところから考えをまとめる、考えを構築することがビジネスで成功するカギだと思います」
つまり、開発には“斬新な発想”が必ずしも求められるわけではなく、数学的な「定義にさかのぼって考える力」と「その考えをまとめ上げる力」が必要なのだ。
固定観念に縛られないで、あらゆる情報を言葉にして論理的に持っていく。論理で固まるとそこからの発想が柔軟になるという。新しい技術やサービスが生まれる原点が、数学の論理的な考え方にあるのだ。
(引用終り)
以上
634:現代数学の系譜 雑談
20/07/04 10:43:53.36 CndtYA/1.net
>>586
>「箱入り無数目は間違ってる」とかほざくダラズがいうなよｗ
おサル
時枝先生の数学セミナー記事「箱入り無数目」は間違ってるよ
「箱入り無数目は正しいと叫ぶ おサル
それ逆効果
「自分は、アホです」と叫んでいるに等しいｗ（＾＾；
（>>549より）
（参考：時枝のデタラメ戦略(数学セミナー201511月号の記事)）
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:7番)
635:現代数学の系譜 雑談
20/07/04 10:45:33.33 CndtYA/1.net
>>598 タイポ訂正
「箱入り無数目は正しいと叫ぶ おサル
↓
「箱入り無数目」は正しいと叫ぶ おサル
コンピュータプログラムなら、エラーが出て通らないな（＾＾；
636:１３２人目の素数さん
20/07/04 11:05:58.19 iKe8zzl2.net
>>595
＞どんなスレタイで、テンプレに何を書いたか見ていないが
必死チェッカーもどき見ればわかるよ
タイトルは「おっちゃんのスレ」
書き込みはこれだけ↓
1 ：１３２人目の素数さん[sage]：2020/07/02(木) 16:01:36.49 ID:DDlksrxQ
おっちゃんです。
ここは、明日以降おっちゃんが書き込むスレ。
スレだけ用意して立てておく。
荒らしはしないように。
それじゃ、今日はおっちゃんもう寝る。
2 ：１３２人目の素数さん[]：2020/07/02(木) 16:05:52.62 ID:DDlksrxQ
一応 age ておく。
それじゃ、おっちゃんもう寝る。
637:現代数学の系譜 雑談
20/07/04 12:16:33.78 CndtYA/1.net
>>600
>必死チェッカーもどき見ればわかるよ
ありがとう
これか
（参考）
URLﾘﾝｸ(hissi.org)
必死チェッカーもどき
ここは2005年2月末頃更新が途絶えてしまった通称必死チェッカーの(多分)後を継いだサイトです。
>タイトルは「おっちゃんのスレ」
>書き込みはこれだけ↓
まあ、それで削除されるなら、他にも削除されるべきスレ多数と思うけどなｗ（＾＾
まあ、もう少し格好付けた方がよかったかもよ（＾＾；
638:１３２人目の素数さん
20/07/04 12:37:05 iKe8zzl2.net
>>601
>他にも削除されるべきスレ多数
例えば、このスレとか、な
639:１３２人目の素数さん
20/07/04 12:47:00.03 iKe8zzl2.net
箱入り無数目 自明に正しくね？
100列から1列選んで、その決定番号dが
100列の決定番号の最大値Dじゃなかったら
d<Dだから、箱の中身は代表元と一致して当たるだろ？
必ず外れるって云ってる奴は、
「選んだ列の決定番号が必ず100列中の最大値になる」
っていってるのか？
もしそうならオカルトだろ？
640:１３２人目の素数さん
20/07/04 12:57:23.12 CWyEcjzD.net
>>594
余計な口出してジャマすんな。
641:１３２人目の素数さん
20/07/04 13:10:34.38 iKe8zzl2.net
>>604
時間を有効に使いなよ
間違いに気づかずに、正当化で無駄な時間を費やすより
間違いを見つけたほうがはるかに意義があるから
642:現代数学の系譜 雑談
20/07/04 13:30:12.05 CndtYA/1.net
そういえば
おサルは
以前、狂気の連投をしたことがあったな
必死チェッカーもどきに残っているなｗ（＾＾
24時間で447投したんだ
（複数ＩＤを使っていたから、ほんとうはもっとだが）
（参考）
URLﾘﾝｸ(hissi.org)
必死チェッカーもどき
トップページ > 数学 > 2019年06月13日 > DhrTdtd0
書き込み順位＆時間帯一覧
1 位/114 ID中 時間 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Total
書き込み数 1 0 0 0 0 0 0 0 0 0 0 2 3 4 3 2 6 169 60 87 16 30 25 39 447
使用した名前一覧 書き込んだスレッド一覧
１３２人目の素数さん
現代数学の系譜 工学物理雑談 古典ガロア理論も読む67
現代数学の系譜 工学物理雑談 古典ガロア理論も読む68
643:１３２人目の素数さん
20/07/04 13:55:25.81 k4/zjNB4.net
工学バカが数学板でコピペマウントしまくる滑稽さに比べれば
644:１３２人目の素数さん
20/07/04 13:59:49.84 k4/zjNB4.net
「箱入り無数目は成立」は数学科出身者はみんな言ってるね。
工学部出身のセタが認めないだけｗ
645:１３２人目の素数さん
20/07/04 14:12:40.32 k4/zjNB4.net
トンデモがトンデモに陥るのって、共通点があるよね。
ハタから見ると、「お前に思いついて、それで証明に
なってるなら世界中の誰かがとっくに思いついてるし
未解決問題でもないだろ」って明らかなんだけど
なぜか本人は自分にだけ天啓があって、証明ができて
るんだって、ありえない期待にかけている。
646:１３２人目の素数さん
20/07/04 14:20:00.28 GpISF/1n.net
>>605
私に限らず、他人にもお前が相手が希望しないのに口挟んでしつこくつきまとっている。
余計なお世話である。
647:１３２人目の素数さん
20/07/04 14:22:03.88 1EH0+MbP.net
箱入り無数目がマチガッテルと喚くなら n>m 且つ n<m を満たす自然数の組n,mを示してね
648:１３２人目の素数さん
20/07/04 14:27:34.88 k4/zjNB4.net
未解決問題に拘るより、まだ誰も発見してない基本的な
ことを思いつく可能性の方がまだ遥にある。
ただし、数学的に正しい推論ができることは必要条件だけどね。
「箱入り無数目の元ネタ」だって比較的最近だろうし
遠アーベルなど広大な研究につながったBelyiの定理の
発見は1979年。この定理本当にすごい。
URLﾘﾝｸ(en.wikipedia.org)
649:現代数学の系譜 雑談
20/07/04 14:30:59.46 CndtYA/1.net
時枝「箱入り無数目」の数当て戦略の不成立の証明は、あるよ（下記）
但し、証明のレベルが高いので、大学教程の確率論・確率過程論を学んでいないと、分からないぞｗ（＾＾
あとは、下記スレ使えｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:877番)-878
（時枝問題（数学セミナー201511月号の記事）の戦略不成立の証明（＾＾；）
650:１３２人目の素数さん
20/07/04 14:33:18 1EH0+MbP.net
>>603
>必ず外れるって云ってる奴は、
>「選んだ列の決定番号が必ず100列中の最大値になる」
>っていってるのか？
そう言ってるとしたら間違い。
確率分布はランダム（一様分布）と明示されているので。
「さて， 1～100 のいずれかをランダムに選ぶ.」
多分そういうことじゃなくてもっと単純に同値類や選択公理が理解できていないだけでしょうね。
何しろ大学一年4月に落ちこぼれた方ですから。
651:１３２人目の素数さん
20/07/04 14:34:53 1EH0+MbP.net
>>613
証明になっていないことを具体的に指摘しているのにおまえが無視しているだけやん
ほざくなアホ
652:１３２人目の素数さん
20/07/04 14:37:43 GpISF/1n.net
>>612
他人にしつこく付きまとうことは、余計なお世話である。
653:１３２人目の素数さん
20/07/04 14:37:44 1EH0+MbP.net
箱入り無数目は証明が簡単な割に見た目はインパクトあるからなあ
実際数学が分からないアホはマチガッテルーと喚いてるしｗ
654:現代数学の系譜 雑談
20/07/04 14:46:16.93 CndtYA/1.net
>>612
その話は、ＩＵＴスレでも出したが下記だな
URLﾘﾝｸ(mathsoc.jp)
グロタンディーク・タイヒミュラー理論の話題から
中村博昭（大阪大学理学研究科）
Contents
1. Introduction 1
1.1. 円分指標 2
1.2. 道草 (復元の話） 2
2. 伊原ベータ関数とその楕円類似 3
2.1. π1(P1 ? {0, 1,∞}) 3
2.2. GQ の組合せモデルとしての GT 4
2.3. 楕円曲線版 5
3. エル進ガロア・ポリログ関数 6
3.1. ガロア・ポリログ 6
3.2. 白谷ゼータ関数 8
References 8
1. Introduction
代数曲線やそのモジュライ空間のエタール基本群を通じて，数体の絶対ガロア群の数論
幾何的な働きが大きく映し出される現象が，１９８０年代に Belyi, Grothendieck, Ihara
等により指摘されて以来，数論的基本群を中心に，遠アーベル幾何学，ガロアの逆問題な
どの問題群の理解も深められてきた．こうした研究の中で重要な役を務める対象として，
いくつか個性的なガロア群上の数論的関数たちがモジュライ空間の数論的基本群の群論的
構造の中に棲息している．それぞれの関数の持つ数論的な特徴や相互関係を見極めるこ
と，そして岩澤理論や虚数乗法論など周辺の数論分野との関連性を確立すること，なども
豊穣な研究テーマとして少しずつ理解が進んでいる昨今である．本稿では，これまで筆者
が親しんできたいくつかの実例（伊原ベータ関数やその楕円類似，エル進ガロアポリログ
関数など）を中心に，そうした側面の一端を紹介したい．
655:１３２人目の素数さん
20/07/04 14:48:36.32 iKe8zzl2.net
>>613
＞時枝記事の”勝つ戦略”なるものは
＞「ある1つの箱を残して、他の箱を全て開けることを許せば、
＞ その1つの箱の実数を 確率99％で的中できる」
＞ということだった
記事が正しく読めてたら、そんな誤解はしないよ
「100列並べて1列を選びさらにその中から
他の99列の決定番号の最大値D_iの場所の箱を選ぶ
100列あるから選べる箱は合計100個とすれば
そのうち99個は、自列の決定番号をd_iとしたとき
d_i＜D_iとなるから中身が代表元と一致し当たる」
というのが正しい主張だよ
100人がそれぞれ異なる列を選べば、99人は必ず当たる
必ず外れるって云ってる奴は、
「100人が100人とも外す」
って云ってるの？
そんなのあり得ないよ
>>611も云ってるけど、異なる2列i,jの決定番号d_i,d_jが
d_i<d_j かつ d_j<d_i となることなんてないから
656:１３２人目の素数さん
20/07/04 14:50:41.54 iKe8zzl2.net
>>614
>単純に同値類や選択公理が理解できていないだけ
そうなの？そんな難しい話じゃないけどな
数セミのたった2pの記事が理解できないようじゃ
大学の数学なんてどれ一つとっても理解できないよね
657:１３２人目の素数さん
20/07/04 14:53:29.48 1EH0+MbP.net
>>620
>そうなの？そんな難しい話じゃないけどな
はい、その通り。
>数セミのたった2pの記事が理解できないようじゃ
>大学の数学なんてどれ一つとっても理解できないよね
はい、その通り。
瀬田は大学一年の4月にεδ論法の授業についていけず落ちこぼれたので、大学数学はからっきしなんです。
658:１３２人目の素数さん
20/07/04 14:53:42.61 iKe8zzl2.net
>>618
「箱入り無数目」も理解できない人には
その記事は到底無理だな
悪いこといわないから 諦めな
時間の無駄だから
659:１３２人目の素数さん
20/07/04 15:01:45 iKe8zzl2.net
>>621
＞大学一年の4月にεδ論法の授業についていけず落ちこぼれた
そうなんだぁ
よく聞く落ちこぼれの話って
「なんで、これで連続だって云えるんだ？」
って問いから抜け出せなくなるやつ
でも、そんな問いは無意味なんだよな
だってεδが関数の連続性の定義だから
定理なら証明が必要だけど、
定義は受け入れるしかないよね
実数をデデキントの切断とかカントルの基本列で定義するって聞いて
「なんでこれで定義できるんだ？」っていうのも同じ
そんなこと問い続けたって実数なんか理解できない
デデキントの切断の場合、先生が不親切で
本当は有理数の切断で実数を定義するのを端折って
切断がある性質を満たせばいい、っていう説明しか
しないのもあるね それで落ちこぼれが大量発生
660:１３２人目の素数さん
20/07/04 15:11:22 iKe8zzl2.net
>>609
おっちゃんは、はっきりいって、数学なめてるよね
教科書に書かれてる不等式を使えば、
どんなDiophantus問題も解けると
本気で思ってるんじゃないかな？
もちろん、そんなことはないよ
そもそもHilbertの第10問題の否定的解決に反するよね？
もしかしたらオイラー定数の問題は
数論における決定不能問題かもしれんとか
そういう考えは微塵もないんだろうね
661:１３２人目の素数さん
20/07/04 15:15:21 iKe8zzl2.net
>>610
数学をなめた素人に、ここの玄人達の風当たりが強いのは当然だよね
自分がどれだけ不遜なのか 気づいたほうがいいよ
662:１３２人目の素数さん
20/07/04 15:19:09 iKe8zzl2.net
>>616
誤証明の正しさに拘る素人にこ、この玄人達の風当たりが強いのは当然だよね
自分がどれだけ不遜なのか 気づいたほうがいいよ
663:１３２人目の素数さん
20/07/04 15:21:03.20 iKe8zzl2.net
正直、素人が分�
664:閧烽ｵないのに、したり顔して数学を語るから、 玄人から反感買って、執拗になじられるんだよ 自分が不遜なのが一番の原因なんで、 他人が意地悪みたいにいうのは筋違いだよね
665:１３２人目の素数さん
20/07/04 15:28:39.15 iKe8zzl2.net
ところで
ｽﾚﾘﾝｸ(math板)
>IUTが正しいことは、99％確定です。
IUT論文って600pあるんだっけ？
その1%というと6p
「正しいかどうかわからない」記載が
6pもあるとしたら、相当酷くない？
666:１３２人目の素数さん
20/07/04 15:36:36 GpISF/1n.net
>>624
数学のあらゆる分野にとやかく口を出そうとしていることが
私から余計なお節介とか他人から傲慢といわれる所以だ。
この論理バカ。
667:１３２人目の素数さん
20/07/04 15:40:15 GpISF/1n.net
>>625
こういうのが余計なお節介だ。
668:１３２人目の素数さん
20/07/04 15:43:56 iKe8zzl2.net
>>629
＞論理バカ。
論理が分からないなんて、ただの馬鹿だよ
そういう馬鹿でも理科大とか入れちゃうんだなあ
日本の大学入試（というより学校教育）って根本的欠陥があるよなあ
669:１３２人目の素数さん
20/07/04 15:46:27.11 iKe8zzl2.net
>>630
素人は幼稚な嘘証明で数学を冒涜しないでほしいね
670:１３２人目の素数さん
20/07/04 15:49:20.87 GpISF/1n.net
>>631
情報科学科卒で数学科卒ではないから、今までの主張から分かるように論理学ばかりやってただろ。
671:１３２人目の素数さん
20/07/04 15:52:59.64 GpISF/1n.net
>>632
世間でよくいわれるように、素人が玄人を気取ってますw
672:１３２人目の素数さん
20/07/04 16:12:26.24 iKe8zzl2.net
>>633
私、数学科卒だけど 誰か別の人と勘違いしてない？
>>634
自嘲はいいよ みんなわかってるから
673:１３２人目の素数さん
20/07/04 16:18:36.16 iKe8zzl2.net
記号論理学に従って証明を記載する必要はないが
何が論理的に正しい推論か分かってない人が
正しい証明を書くのは不可能だね
674:１３２人目の素数さん
20/07/04 16:35:42.92 GpISF/1n.net
>>635
>私、数学科卒だけど 誰か別の人と勘違いしてない？
今まで、情報科学科卒と主張していた人はいた。
>自嘲はいいよ みんなわかってるから
5チャンで世間的にいう玄人と出会う可能性は低い。
675:１３２人目の素数さん
20/07/04 16:45:05.64 GpISF/1n.net
じゃ、寝る。
676:１３２人目の素数さん
20/07/04 16:45:14.08 iKe8zzl2.net
>>637
＞今まで、情報科学科卒と主張していた人はいた。
妄想じゃない？
＞5チャンで世間的にいう玄人と出会う可能性は低い。
やれ工学部だ理系だといいながら、
大学１年の解析学が全然理解できてない
素人はそこらじゅうで出会う
日本の大学教育がいかにいい加減かわかる
677:１３２人目の素数さん
20/07/04 16:46:26.12 iKe8zzl2.net
>>638
もう二度と数学板に書くなよ いや数学板を読むなよ
君には無理だから
678:１３２人目の素数さん
20/07/04 16:49:07.60 k4/zjNB4.net
玄人だろうが素人だろうが、間違った証明が受け入れられることなんてない
これが真実。読まずにゴミ箱に直行させる玄人よりも
読んだ上で間違いを指摘してくれる５ちゃんねらーの方が
ありがたいだろ。
679:１３２人目の素数さん
20/07/04 16:57:38.29 GpISF/1n.net
>>639-641
こういうのを有難迷惑という。
>>641
>読まずにゴミ箱に直行させる玄人よりも
>読んだ上で間違いを指摘してくれる５ちゃんねらーの方が
>ありがたいだろ。
具体的に間違いを指摘されたことがなく、余計な指摘であった。
680:１３２人目の素数さん
20/07/04 16:58:33.08 GpISF/1n.net
じゃ、寝る。
681:１３２人目の素数さん
20/07/04 17:04:13.92 k4/zjNB4.net
玄人じゃないと思うなら、直接玄人のところに持ってくか
玄人の目に留まるところに論文投稿すればいいだろ。
自分で５ｃｈに間違った証明書いておいて
間違い指摘されたら余計な指摘とか、何様のつもり？
682:１３２人目の素数さん
20/07/04 17:07:01.51 k4/zjNB4.net
これまで散々間違った証明書いてきたし
数学の理解もからっきしだから、５ｃｈでさえ信用ないけどね。
乙が未解決問題の正しい証明を書くなんて、サルがランダムに
タイプライター打って小説が出来上がるようなもの。
683:１３２人目の素数さん
20/07/04 17:07:13.39 GpISF/1n.net
>>644
マウント取りには飽きた。
684:１３２人目の素数さん
20/07/04 17:07:58.87 GpISF/1n.net
じゃ、寝る。
685:１３２人目の素数さん
20/07/04 17:10:56.23 GpISF/1n.net
マウント取りばかりしていると、疲れる。
じゃ、寝る。
686:１３２人目の素数さん
20/07/04 17:23:02.7
687:0 ID:iKe8zzl2.net
688:１３２人目の素数さん
20/07/04 17:26:14.38 iKe8zzl2.net
マウント君の例
・二言目にはガロアとかグロタンディクとかいう名前を口にする
・なにかというと「多変数関数論」とか言い出す
こういう人に限って大体数学分かってないし実は数学に興味もない
689:１３２人目の素数さん
20/07/04 17:29:32.72 iKe8zzl2.net
マウント君への意地悪な質問
・ガロア理論について説明せよ
・グロタンディクの業績について説明せよ
・多変数複素関数が一変数複素関数と決定的に違う点について例を挙げて説明せよ
上記の質問に対する回答が返ってきた試しがない
690:粋蕎
20/07/04 20:26:44.49 urj4b54T.net
岡潔
691:１３２人目の素数さん
20/07/04 20:52:41 1EH0+MbP.net
>>613
おまえの証明とやら完膚無きまでに叩き潰したで
反論があるなら言うてみーや
692:１３２人目の素数さん
20/07/04 20:54:29 1EH0+MbP.net
瀬田みたいなアホが偽証明を堂々と投稿してるの見ると無性に腹立つわ
693:現代数学の系譜 雑談
20/07/04 22:01:20.47 CndtYA/1.net
math jinさんを見て買いました
これいいわ
紙が必要な方は、お早めに
キンドル版もあるみたいだが
なんかね
・圏論と集合論 ／ 渕野昌：これ結構良い
・ソフトウェアの数理モデルと圏論 ／ 檜山正幸：檜山正幸さんて、学者さんでもないのに、すごいね～
URLﾘﾝｸ(www.seidosha.co.jp)
青土社
現代思想2020年7月号 特集＝圏論の世界
-現代数学の最前線-
【Discussion】
圏論がひらく豊穣なる思考のインタラクション ／ 加藤文元＋西郷甲矢人
【Keynote/Introduction】
圏論の哲学―圏論的構造主義から圏論的統一科学まで ／ 丸山善宏
圏はどういうものであったか ／ 小原まり子
【Mathematics/Logic】
圏論とトポロジー ／ 玉木大
数論幾何と圏論 ／ 伊藤哲史
圏論的論理学への道案内―論理学と数学をつなぐトポス ／ 荒武永史
圏論と集合論 ／ 渕野昌
【Computing/Language】
コンピュータ科学と圏論についての回想と考察 ／ 三好博之
代数的言語理論の圏論的公理化とガロア理論との統一 ／ 浦本武雄
ソフトウェアの数理モデルと圏論 ／ 檜山正幸
【Sciences/Art】
科学の書き言葉としての圏論 ／ 谷村省吾
普遍性とそのゆらぎ―ネットワークの圏論的諸展開 ／ 春名太一
圏論の展開?脱圏論への転回 ／ 郡司ペギオ幸夫
圏の図式からみた芸術の理論―穴・コホモロジー・アブダクション ／ 久保田晃弘
【Philosophy】
圏論による現象学の深化―射の一元論・モナドロジー・自己 ／ 田口茂＋西郷甲矢人
数学の構造概念はフランスの構造主義にいかなる理解をもたらすか―ブルバキ、カヴァイエス、ロトマン、そして圏論を手引きにして ／ 中村大介
アラン・バディウの哲学と数学の関係についての批判的考察―「概念の哲学」のポスト・カヴァイエス的展開の諸相という観点から ／ 近藤和敬
【連載●科学者の散歩道●第六九回】
新たな居場所を求めて―人格教育と科学 ／ 佐藤文隆
694:現代数学の系譜 雑談
20/07/04 22:05:32.75 CndtYA/1.net
>>654
なに
695:悔しがっているんだ？ ばかサルがよ オチコボレが（＾＾；
696:１３２人目の素数さん
20/07/05 00:06:44.57 q/TUMTvn.net
>>656
悔しい？腹立たしいと言ったんだがおまえは日本語もダメか？
悔しいのはお前だろ、ダメ出しされて悔しかったら時枝記事の欠陥箇所を具体的に指摘してみな？
絶対無理と断言する。
697:１３２人目の素数さん
20/07/05 09:07:38.40 2HW2ukuX.net
>>653-654
仕方ないよ、大学１年の４月で数学から落ちこぼれたみたいだから
εδとかいう以前に実数論の定義が受け入れられなかったんじゃないかな
要するに安達弘志氏と同じレベル
698:１３２人目の素数さん
20/07/05 09:11:16.68 2HW2ukuX.net
>>655
落ちこぼれって圏論好きだよね
肝心の圏の定義は全く理解できないというのに
群の定義も理解できん人が圏なんか理解できるわけないから
現代思想は査読ないので素人の駄文でも掲載される
掲載されただけでスゲェといってる人は何も分かってない素人ですね
699:１３２人目の素数さん
20/07/05 09:16:29.26 2HW2ukuX.net
◆yH25M02vWFhP君へ
0.999…を0.9,0.99,0.999,…の収束先（もし存在すれば）とする
１．0.999…が存在することを示せ
２．0.999…は実は1と等しいことを示せ
700:１３２人目の素数さん
20/07/05 09:27:50.31 q/TUMTvn.net
瀬田よ
>>660に完璧に答えられたら少しは見直してやるぞ がんばって解いてみい
まあ無理だとは思うが
701:現代数学の系譜 雑談
20/07/05 09:37:34.35 UyE0c9o0.net
>>541-452
”位相（開集合）を使った収束の定義や、さらに発展させたフィルターやネット、あるいはノンスタ（超準）、そして圏論の極限と余極限”
ここらを総合的に理解しておけば
”εδ論法”なんて、どうってことないのよ（＾＾
εδマンセーは古い
距離空間にしか使えないから
早く、位相空間を学びましょう～！（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
位相空間
(抜粋)
位相空間（いそうくうかん、英語: topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。
収束の一意性は、位相空間に「ハウスドルフ性」という性質を加えると成立する。
X、Y が距離空間である場合、前述した連続性の定義はイプシロン・デルタ論法による連続性の定義と同値である。
距離空間の場合、点列の収束の概念を用いることで連続性や閉集合といった基礎的概念を特徴づけることができたが、一般の位相空間ではそのような事はできない。(これが可能な空間を列型空間という)。
これは点列という概念が、自然数という限定的な添え字しか許さないことや、点の列だけで集合の列を考慮していない事などが原因である。
しかし、そうした側面に対して点列の概念を一般化したものである有向点族やフィルターの概念を用いれば、前述した基礎的概念をこれらの収束性で特徴づけることができる。
これらの収束性を考える利点はもうひとつあり、点列の収束性では必要性しかいえない命題が、これらの収束性を用いれば、必要十分性が言えるときがある。
例えば点列の収束の一意性は、前述したハウスドルフ性の必要条件に過ぎないが、有向点族の収束の一意性はハウスドルフ性の必要十分条件となる。
分離公理とは、位相空間 X 上の2つの対象(点や閉集合)を開集合により「分離」(separate)する事を示す一連の公理、もしくはそこから派生
702:した公理である。 代表的な分離公理としてハウスドルフの分離公理があり、これは以下のような公理である： つづく
703:現代数学の系譜 雑談
20/07/05 09:37:58.37 UyE0c9o0.net
>>662
つづき
X 上の相異なる2点 x、y に対し、x、y の開近傍 U、V があり、U ∩ V =Φである。
URLﾘﾝｸ(upload.wikimedia.org)
相異なる2点を分離するそれぞれの開近傍
ハウスドルフの分離公理は、点 x と y が開近傍という位相的な性質を利用して「区別」(separate) できる事を意味している。すなわちX の位相は点の区別が可能なほど細かい事をこの公理は要請している。
全ての位相空間がハウスドルフの分離公理を満たすわけではなく、例えば密着位相の入った空間には開集合は全体集合と空集合しかないのでこのような区別は不可能である。
一方、距離空間は必ずハウスドルフの分離公理を満たし、ハウスドルフの分離公理を満たす空間(ハウスドルフ空間)では点列の収束の一意性が成り立つことが知られている。
ハウスドルフ空間で点列の収束の一意性が成り立つのは、点列の収束先が x なのか y なのかが開集合により区別可能だからである。
このように分離公理は、位相空間上の対象を区別する上で重要な役割を担う。
URLﾘﾝｸ(ja.wikipedia.org)
分離公理
(抜粋)
アンドレイ・チホノフ（英語版）に因んで、チホノフの分離公理とも呼ばれる。
いくつかの分離公理に "T" が付くのは「分離公理」を意味するドイツ語の Trennungsaxiom に由来する。
分離公理に関する用語の正確な意味は時とともに変化してきた。特に、古い文献を参照する際には、そこで述べられているそれぞれの条件の定義が、自分がそうだと思っている語の意味と一致しているかどうか確認しておくべきである。
(引用終り)
以上
704:１３２人目の素数さん
20/07/05 09:41:23.67 2HW2ukuX.net
>>662
＞εδは古い
＞距離空間にしか使えないから
＞早く、位相空間を学びましょう～！
セタ君は、実数の位相をどうやって定義するつもりかね？
705:現代数学の系譜 雑談
20/07/05 09:47:13.97 UyE0c9o0.net
>>660-661
>２．0.999…は実は1と等しいことを示せ
その問いには、穴がある
「等しい」の定義がないｗｗｗ（＾＾
「等しい」の定義に仕方によっては
0.999…と 1とは、「等しい」とは言えない！
proof
１）
・0.999… は、デジタルコンピュータでは扱えない
・一方、1は、デジタルコンピュータでは扱える
２）
・”0.999…” は、プリントしたとき、インクの使用量が多い（半角5文字、全角1文字）
・一方、”1”は、プリントしたとき、インクの使用量が少ない（半角1文字のみ）
３）
よって、『0.999…と 1とは、「等しい」とは言えない！』
QED
（＾＾；
706:現代数学の系譜 雑談
20/07/05 09:48:11.34 UyE0c9o0.net
>>664
＞実数の位相をどうやって定義するつもりかね？
実数Rを、距離空間と考えるｗ（＾＾
QED
707:１３２人目の素数さん
20/07/05 09:49:32.78 2HW2ukuX.net
>>663
御託はいいから、セタ君が嫌う距離を全く使わず
セタ君が愛する抽象的な位相だけで
0.999…=1が示せるというなら
やってみせてくれ
不可能とは言わない
しかし、セタ君には無理だろう
セタ君は位相とかいう小難しい技を使うより
工学部のアホどもでも分かる距離を使った
εδを使うことを覚えたほうがいい
708:１３２人目の素数さん
20/07/05 09:52:00.39 2HW2ukuX.net
>>666
＞＞実数の位相をどうやって定義するつもりかね？
＞実数Rを、距離空間と考える
君、距離空間の位相の定義を知ってるかい？
知ってるというなら、書いてごらん
そうしないかぎり QEDといってはいけないよ
ウソをついたことになるからね
709:１３２人目の素数さん
20/07/05 10:03:05.92 2HW2ukuX.net
>>665
＞その問いには、穴がある
＞「等しい」の定義がない
定義はあるよ 君が知らないだけ
セタ君、大学の工学部を卒業したんだろう？
当然教養課程で微分積分学も学んだよな？
そのテキストに必ず実数における等しさの定義がある
それを真っ先に確認することだ
確認もせずに、自分勝手に
710:俺様定義を捏造するのは 馬鹿というか●違いのすることだよ その上で ＞１） ＞・0.999… は、デジタルコンピュータでは扱えない ＞・一方、1は、デジタルコンピュータでは扱える もし0.999…をいわゆる浮動小数点表現で扱うつもりなら 不可能に決まってる し・か・し、浮動小数点表現がデジタルコンピュータで 0.999…を扱う唯一無二の方法だと思ってるなら、 セタ君のアタマが悪い coqで、0.999…=1を証明するのに 浮動小数点表現を使う馬鹿はいないｗ ＞２） ＞・”0.999…” は、プリントしたとき、インクの使用量が多い（半角5文字、全角1文字） ＞・一方、”1”は、プリントしたとき、インクの使用量が少ない（半角1文字のみ） ＞３） ＞よって、『0.999…と 1とは、「等しい」とは言えない！』 セタ君は正真正銘の馬鹿かね？ 文字列として一致しているものだけが等しい とかいう幼稚極まりないレベルから 一歩も先に進む気がないなら、 現代数学は到底無理だから諦めたほうがいい 地獄道の住人のセタ君がいくら大声で「グロタンディク！」と叫んでも 天道のグロタンディクには聞こえんよ 間には餓鬼道・畜生道・修羅道・人間道と４つも別世界があるんだからな R.I.P. （安らかに眠れ）
711:１３２人目の素数さん
20/07/05 10:07:52.12 2HW2ukuX.net
セタ君は、どうやら安達氏同様
「0.999…は1より真に小さい筈
小数として異なる表現のものが
同じ数であることなどあってはならない
矛盾だ！矛盾だ！！矛盾だ！！！」
と思ってるようだ
こんな人に狂信されてもグロタンディクも迷惑だろう
712:１３２人目の素数さん
20/07/05 10:15:22.77 2HW2ukuX.net
セタ君の>>665のベタベタに具体物に密着した屁理屈を見ると
この人が、グロタンディクの抽象志向とは全く逆向きの
具体志向の人だと分かる
セタ君のグロタンディク信仰というのは、たとえていえば
「天皇は唯一無二の現人神！」と思ってる人が、
一切の権威を否定するアナーキストを有難がるようなものである
（実際、グロタンディクの父親はアナーキストであったし
当人もかなりアナーキーな人物であった）
大して抽象度が高くないεδすら理解できない人が、
はるかに抽象度の高い位相空間や圏論を有難がっても
向こうのほうからお断りされるだけのことである
713:１３２人目の素数さん
20/07/05 10:39:04.29 2HW2ukuX.net
安達氏は現代数学が分かってないが、
現代数学が目指す方向が自分の信念とは逆方向
とは気づいている
セタ氏は現代数学が分かってない上に、
現代数学が目指す方向が自分の信念と同じ方向
だと誤解している
そこが実に気持ち悪い
貧乏なのに国家を有難がるネトウヨみたいなものか
714:１３２人目の素数さん
20/07/05 11:15:02.45 gr02GsF/.net
遠アーベル哲学だと「アーベル群からほど遠い基本群」とか言うのだろうけれど
安達やセタの信念はいわば遠数学哲学だから「数学からほど遠い屁理屈」という感じかな
715:１３２人目の素数さん
20/07/05 11:35:50.37 q/TUMTvn.net
>>662
>ここらを総合的に理解しておけば
>”εδ論法”なんて、どうってことないのよ（＾＾
理解しておけばっておまえ理解してないやん
「どうってことない」という一言に落ちこぼれコンプレックスが表れとる
716:１３２人目の素数さん
20/07/05 11:48:47.93 q/TUMTvn.net
>>665
>その問いには、穴がある
>「等しい」の定義がないｗｗｗ（＾＾
はい、不正解です。
0.999…は0.9,0.99,0.999,…の収束先（もし存在すれば）、つまり有理数列の極限と定義されている。有理数列の極限はある実数と等しい。
ほら言った通りでしょ？瀬田は絶対に正解できないと。
もう一つ予言しよう、瀬田はこの指摘を見た後でも正解できない。
717:現代数学の系譜 雑談
20/07/05 12:24:46.80 UyE0c9o0.net
>>665
テレンス・タオｗｗｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
0.999...
(抜粋)
数学における循環十進小数 0.999… は、 "1" と同じ数。実数として"0.999…"と「1」は同じ数であると示すことができる。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階の数学的厳密性（英語版）が相応に考慮された、多様な
718:定式化がある 0.999… と 1 の等価性は、実数の体系（これは解析学ではもっとも一般的に用いられる体系である）に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある そのような体系の大半は、標準的な解釈のもとで式 0.999… の値は 1 に等しくなるが、一部の体系においては記号 "0.999…" に別の解釈を与えて 1 よりも無限小だけ小さいようにすることができる 等式 0.999… = 1 は数学者に長く受け入れられ、一般の数学教育の一部であったにも拘らず、これを十分直観に反する（英語版）ものと見做して、疑念や拒絶反応を示す学徒もいる 超実数 数 0.999… の標準的な定義は 0.9, 0.99, 0.999, … なる数列の極限というものだが、それと異なる定義として例えばテレンス・タオが超極限 (ultralimit) と呼ぶ数列 0.9, 0.99, 0.999, … の超冪構成（英語版）に関する同値類 [(0.9, 0.99, 0.999, …)] は 1 より無限小だけ小さい。 より一般に、階数 H の無限大超自然数の位置に最後の 9 がくる超実数 uH = 0.999…;…999000…, はより厳密な不等式 uH < 1 を満足する。これに応じて、「無限個の 9 のあとに 0 が続く」ことの別解釈を 略 と理解することができる。このように解釈した "0.999…" は 1 に「無限に近い」。 イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]。 Katz & Katz (2010b) に基づき、R. Ely (2010) もまた学徒のもつ「0.999… < 1 という考えを実数に対する誤った直観とする仮定に疑問を呈し、むしろそれを「超準的」直観と解釈した方が解析学の習得において価値があるのではないかとした
719:１３２人目の素数さん
20/07/05 14:22:05 2HW2ukuX.net
>>676
「テレンス・タオの超極限が…」といいだした時点で
セタ君がε-N論法による収束の定義を全く理解していない
と露見しちゃったね
ついでにいうと、おそらく超極限の定義も全く理解してないんだろうな
単に「0.999…は1より真に小さい」という自分の非論理的直感を
支持する言葉に脊髄反射しただけだろう
自己愛に満ちた素人という「毛深い獣」ほど、真理から遠いものはない
まず、その自己愛という「モジャモジャの剛毛」を剃って裸になれ
720:１３２人目の素数さん
20/07/05 14:30:12 2HW2ukuX.net
セタは、結局今の数学に代わる「代替数学」を探し求めてるらしい
しかし、位相や圏論は今の数学の抽象化であるから代替数学にはならない
また、セタが「ノンスタ」とお笑いコンビのように呼ぶ
超準解析（超準数学？）も結局は標準解析から独立したものではない
「無限小」を定義するのに「標準部」を必要とするのがいい例
ぶっちゃけ0.999…が1より真に小さいとかいうつまらん考えに固執するより
いかなる根拠によって0.999…=1と結論したのか知るほうが有益だろう
721:１３２人目の素数さん
20/07/05 14:40:32.11 2HW2ukuX.net
安達氏が見たらどう反応するか興味あるページ
滑らかな無限小解析
URLﾘﾝｸ(ja.wikipedia.org)
「滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は
無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。
ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、
SIAは全て
722:の関数は連続であって、離散的実体を用いて表現することができないものと見做す。 SIAは理論としては総合微分幾何の一部である。」 「中間値の定理やバナッハ＝タルスキのパラドックスを含む、 標準解析と超準解析の幾つかの定理は、滑らかな無限小解析に於いては偽である。 超準解析の文は極限に関する文へと翻訳可能であるが、 同じことは滑らかな無限小解析に於いては必ずしも成り立たない。」
723:１３２人目の素数さん
20/07/05 14:45:57.05 2HW2ukuX.net
>>679の続き
「このアプローチ（滑らかな無限小解析）は排中律を拒否することによって
従来の数学に用いられている古典論理から離れる。
例えば NOT (a ≠ b) は a = b を含意しない。
とくに、滑らかな無限小解析の理論においては、全ての無限小 ε に対し、
”NOT (ε ≠ 0) ”を証明することができるが、それにもかかわらず、
”全ての無限小がゼロに等しい、ということはない”
と証明される。」
（注：直観主義論理では排中律が成立せず
したがってド・モルガンの法則は成り立たないから
”全ての無限小がゼロに等しい、ということはない” から
”ゼロに等しい無限小が存在する” を導くことはできない）
724:１３２人目の素数さん
20/07/05 14:55:48.81 2HW2ukuX.net
トポスもつきつめれば（直観主義論理による）「代替数学」を提供するようだ
Synthetic differential geometry
URLﾘﾝｸ(en.wikipedia.org)
In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory.
There are several insights that allow for such a reformulation.
The first is that most of the analytic data for describing the class of smooth manifolds can be encoded into certain fibre bundles on manifolds: namely bundles of jets (see also jet bundle).
The second insight is that the operation of assigning a bundle of jets to a smooth manifold is functorial in nature.
The third insight is that over a certain category, these are representable functors. Furthermore, their representatives are related to the algebras of dual numbers, so that smooth infinitesimal analysis may be used.
Synthetic differential geometry can serve as a platform for formulating certain otherwise obscure or confusing notions from differential geometry.
For example, the meaning of what it means to be natural (or invariant) has a particularly simple expression, even though the formulation in classical differential geometry may be quite difficult.
725:１３２人目の素数さん
20/07/05 15:14:22.85 2HW2ukuX.net
オルタナティヴ感満載な記述（注：別にDISってない）
>>679
「中間値の定理…を含む、標準解析と超準解析の幾つかの定理は、
滑らかな無限小解析に於いては偽である。」
中間値の定理 ―
「実数直線 R の閉区間 I ＝［a, b］上で定義される
連続な実数値関数 f がf(a) < f(b) を満たすとき、
閉区間［f(a), f(b)］内の任意の点 γ に対して、
γ ＝ f(c) となる I 内の点 c が存在する。」
726:粋蕎
20/07/05 15:42:27.69 yUIjS5QS.net
>>669
こりゃ。天道じゃと終いにゃ堕ちるじゃろ｡
727:１３２人目の素数さん
20/07/05 17:45:11.81 9gFet3N9.net
>>665
> proof
> １）
> ・0.999… は、デジタルコンピュータでは扱えない
さすがにアホすぎでは？使えるよ。
728:粋蕎
20/07/05 18:25:04.10 yUIjS5QS.net
豪州の数学者テレンス・タオ(Terence
729:Tao、陶哲軒、1975年7月17日 - ) - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%86%E3%83%AC%E3%83%B3%E3%82%B9%E3%82%BF%E3%82%AA 英国の数学者イアン・ニコラス・スチュアート(Ian Nicholas Stewart,1945年9月24日 - ) - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%A4%E3%82%A2%E3%83%B3%E3%83%BB%E3%82%B9%E3%83%81%E3%83%A5%E3%82%A2%E3%83%BC%E3%83%88_(%E6%95%B0%E5%AD%A6%E8%80%85) >>676-677 確かにイアンがタオの超極限を基に "「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法"と述べたんは 有限超実数の 0.999…;…999… の事ではなく 0.999…;…999000… の事じゃけぇ違うのう｡ 後者は確かに無限小超実数差が有るが、前者には 1 との差は無い上に スレ題意に従う超実数は後者では無く前者の 0.999…;…999… の方｡ 故に瀬田氏の回答はズレとる｡
730:粋蕎
20/07/05 18:44:15.53 yUIjS5QS.net
>>665前編
> その問いには、穴がある
> 「等しい」の定義がないｗｗｗ（＾＾
>
> 「等しい」の定義に仕方によっては
> 0.999…と 1とは、「等しい」とは言えない！
実数体に於いては無限小差を丸めた実数同士の比較の上で同値である事を以て「等しい」と言う｡
Archimedes性に則う｡
超実数に於いては非無限小超実数なる無限小超々実数差を丸めた超実数同士の比較の上で同値である事を以て「等しい」と言う｡
非Archimedes性の上での話じゃが超実数に於ける超位移行原理、超Archimedes性(仮称)に則う｡
累超実数に於いては非同位無限小累超実数なる上位無限小累超実数差を丸めた同位累超超実数同士の比較の上で同値である事を以て「等しい」と言う｡
非Archimedes性、非超Archimedes性の上での話じゃが累超実数に於ける累超位移行原理、累超Archimedes性(仮称)に則う｡
「 1-0.999…=0 」と為される事の本質は各位Archimedes性による丸め(round)が為される事に依る｡
如何なる丸め(round)も為されぬ超現実数まで細分拡張して漸く「 1-0.999…=ε(=1/ω)≠0 」は言える｡
731:粋蕎
20/07/05 19:05:25.83 yUIjS5QS.net
>>665後編
> １)
> ・0.999… は、デジタルコンピュータでは扱えない
> ・一方、1は、デジタルコンピュータでは扱える
そもそも離散数学の話はしとらん｡
> ２)
> ・”0.999…” は、プリントしたとき、インクの使用量が多い（半角5文字、全角1文字)
> ・一方、”1”は、プリントしたとき、インクの使用量が少ない（半角1文字のみ)
・"有限小数0.0001220703125" はプリント時のインクの使用量が多い（半角15文字)
・一方、"分数1/8192"はプリント時のインクの使用量が少ない（半角6文字のみ)・両者同値
> ３)
> よって、『0.999…と 1とは、「等しい」とは言えない！』
> QED
> （＾＾；
瀬田氏ぃ～。言うとる事ぅ興が過ぎて戯けに至っとるわ｡
732:粋蕎
20/07/05 19:16:37.88 yUIjS5QS.net
>>684
基本言語に拘らなきゃ微分積分できる時代じゃしのう｡
733:現代数学の系譜 雑談
20/07/05 23:24:36.71 UyE0c9o0.net
>>676 補足
>テレンス・タオｗｗｗ（＾＾
補足すると
１．テレンス・タオが示したように、超実数（無限小を含めたノンスタ（超準））を導入して
「無限個の 9 のあとに 0 が続く」ことの別解釈を・・ "0.999…" は 1 に「無限に近い」とできることを示した
２．イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]。
３．Katz & Katz (2010b) に基づき、R. Ely (2010) もまた学徒のもつ「0.999… < 1 という考えを実数に対する誤った直観とする仮定に疑問を呈し、むしろそれを「超準的」直観と解釈した方が解析学の習得において価値があるのではないかとした
４．一方で、スタンダード（標準）な実数Rにおいては、アルキメデス距離を導入することで、距離空間として完備であり、ハウスドルフになる
そして実数R内で、任意のコーシー点列が、R に属する極限を持つ（任意のコーシー点列が収束する）
結局、例えば、標準的には、1/9の無限小数展開を、循環小数として、"0.111…"と定義すれば、これは定義の問題であって、証明の問題ではない
1/9＝0.111… と定義されるということ。両辺に9を掛ければ、1＝0.999… が得られる
逆に、1＝0.999…と定義すれば、両辺を9で除して、1/9＝0.111… を得る
つまりは、上記の2つの定義は、同値。繰返すが、定義の問題であって、証明の問題ではない！
５．上記の１～３のノンスタ（超準）の立場と、上記４のスタンダード（標準）な立場は、21世紀の現代数学内では、両立しうる
QED （＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
超準解析
超準解析（nonstandard analysis）は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する
Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語�
734:gい始めたため、そのように呼ばれるようになった 無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた つづく
735:現代数学の系譜 雑談
20/07/05 23:24:56.21 UyE0c9o0.net
>>689
つづき
URLﾘﾝｸ(ja.wikipedia.org)
位相空間
距離空間は必ずハウスドルフの分離公理を満たし、ハウスドルフの分離公理を満たす空間(ハウスドルフ空間)では点列の収束の一意性が成り立つことが知られている
URLﾘﾝｸ(ja.wikipedia.org)
完備距離空間
距離空間 M が完備またはコーシー空間であるとは、M 内の任意のコーシー点列が M に属する極限を持つ（任意のコーシー点列が収束する）ことを言う
(引用終り)
以上
736:１３２人目の素数さん
20/07/06 00:21:31.37 B0u50akG.net
瀬田、不正解の理由を教えられた後でも>>660に正答できず
こんな落ちこぼれが
>”位相（開集合）を使った収束の定義や、さらに発展させたフィルターやネット、あるいはノンスタ（超準）、そして圏論の極限と余極限”
>ここらを総合的に理解しておけば
>”εδ論法”なんて、どうってことないのよ（＾＾
などと広言。笑えますなｗ
737:１３２人目の素数さん
20/07/06 02:52:25 EAN372iQ.net
>>689
0.9999....
は、
1に無限に近い？
まあ、近いじゃなく、厳密な意味で一致するわけですが。
738:粋蕎
20/07/06 04:55:14.86 vT6vjXzA.net
>>687改訂
>>665後編
> １)
> ・0.999… は、デジタルコンピュータでは扱えない
> ・一方、1は、デジタルコンピュータでは扱える
基本言語の儘に拘らなければ扱える。そもそも離散数学の話はしとらん｡
> ２)
> ・”0.999…” は、プリントしたとき、インクの使用量が多い（半角5文字、全角1文字)
> ・一方、”1”は、プリントしたとき、インクの使用量が少ない（半角1文字のみ)
・"有限小数0.0001220703125" はプリント時のインクの使用量が多い（半角15文字)
・一方、"分数1/8192"はプリント時のインクの使用量が少ない（半角6文字のみ)
・有限小数0.0001220703125=分数1/8192
> ３)
> よって、『0.999…と 1とは、「等しい」とは言えない！』
> QED
> （＾＾；
瀬田氏。まさか>>685-686の意味が分からんかったんか？
739:粋蕎
20/07/06 05:51:43.96 vT6vjXzA.net
0<ε_0<{∀ε(∈R)(>0)} & 0<δ_0<{∀δ(∈R)(>0)} with lim[x→a]f(x) 例えば 0<dx<{∀⊿x(∈R)(>0)}
ε-δ論法は此のε_0、δ_0に言及せず暗示する論説手法、故に微小域に拘る必要は全く無い｡
下手に超準解析を摘まみ食うけぇε-δ論法内のεとδの値を減らす事に思考を捕られるんじゃ｡
εもδも減らす事で0より大きく全ての正実数より小さく出来るか？出来んじゃろ｡
【悲報】理工大でも数学学科以外はε-δ論法が必修でない学科が増えた【世も末】
740:１３２人目の素数さん
20/07/06 17:43:47.82 IOCDH4u9.net
>>689
>1/9の無限小数展開を、循環小数として、"0.111…"と定義すれば
それ計算結果だから、定義じゃなく定理
>（1/9＝0.111… と1＝0.999…は）同値。
それは、その通りだが
>定義の問題であって、証明の問題ではない！
それは誤り 定義じゃなく定理 当然証明可能
こんなの証明できないようじゃ、大学１年の微分積分学は赤点だぞ
741:１３２人目の素数さん
20/07/08 02:48:13.25 5oz68ZO2.net
>>694
いんじゃない？
数学科以外は「計算できること」が重要で理論の理解なんて二の次三の次なんだから。
むしろ数学科とそれ以外の違いがよりはっきりして、瀬田のような勘違い自惚れ工学屋が減る効果があるｗ
742:１３２人目の素数さん
20/07/08 04:06:44.55 /gqz9hNo.net
実際物理ですらいぷしろんでるたなんて出てこないしなぁ
743:１３２人目の素数さん
20/07/08 06:07:22.18 rakYJXts.net
>>697
数学を使う人は定理に基づいて計算するだけで
一切証明しないからεδ知らなくても生きていける
744:１３２人目の素数さん
20/07/08 06:13:28.84 rakYJXts.net
昨日の惨状
URLﾘﾝｸ(hissi.org)
セタも、おっちゃん同様、自分の無能を恥じて、消え去ってほしいな
745:１３２人目の素数さん
20/07/08 06:17:25.51 rakYJXts.net
ｽﾚﾘﾝｸ(math板:994番)
●違いが何を探求しても、得られるのは
746:嘘という名の糞ばかり 乙然り セタ然り
747:１３２人目の素数さん
20/07/08 15:18:18.92 oC0BfVm4.net
>実際物理ですらいぷしろんでるた
なんて出てこないしなぁ
あほくさ
物理は実験観測誤差論による
以下略
セタとあらそっていていてくれ
748:１３２人目の素数さん
20/07/08 15:35:21.31 oC0BfVm4.net
>超準解析
超準解析ノンスタンダードを使うとは、
ブラウン運動のウィナー測度なら
上手くいっても
量子力学で使う経路積分の測度は
破綻する。
(あらまといったら基礎屋の人いわく
そんなもんだそうだ)
749:現代数学の系譜 雑談
20/07/09 23:13:40.91 nrcdZVDh.net
>>702
>量子力学で使う経路積分
（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数学と物理学の絡み合い
中島 啓
京都大学大学院理学研究科
大阪大学理学部 「理学への招待」
2006 年 7 月 7 日
論理だけでは, 意味があることができない. 面白いこ
とが見付けられない.
・ 新しい理論・定理を見付けるのには, 論理だけでは
不十分. 直観が必要.
物理的な直観が新しいことを見付けるのにしばしば役に
立つ. (歴史的にもそうである.)
特に現在では
・ 数学的に厳密な裏付けのない場の量子論
に基づいて, 豊かな数学が生み出されてきた...
数学への侵略 (さまざまな予想)
・ 数学的な不変量を, 物理的な観測量として定義し, そ
の性質を調べる.
・ ミラー対称性
・ 弦理論の研究からリーマン面の幾何学へ. (すべての
リーマン面を同時に考える.)
・ さらに数論の世界へ (双対性からラングランズ予想
を導く)
Jones はもともとは, 作用素環とよばれる結び目理論と
は違うものの専門家であった.
Jones 以降, 結び目理論と他の分野との関連が次々と見
付けられた.
統計力学, 表現論, ...
物理学者 Witten は, Chern-Simons 理論という, ゲージ
理論の分配関数として Jones 多項式を定式化しなおし,
同時に 3 次元多様体の不変量へと拡張した.
それ以降, 弦理論との関係, など次々と発展があり, 現在
も活発に研究されている.
URLﾘﾝｸ(ja.wikipedia.org)
経路積分
URLﾘﾝｸ(en.wikipedia.org)
Path integral formulation
750:現代数学の系譜 雑談
20/07/09 23:19:51.85 nrcdZVDh.net
>>702
>量子力学で使う経路積分
論文書いている人もいるね（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録
第 1723 巻 2011 年 1-22
経路積分入門-経路積分,虚数時間の場合も-
(Introduction to Path Integral ?Path Integral in Imaginary-Time as Well-)
一瀬 孝 (Takashi ICHINOSE) *
§ 1. 経路積分とは ?
§ 2. 如何に数学にするか
§ 3. 有限次元積分による近似
§ 4. 数学的な可算加法的な測度の構成
§ 5. もっと，虚数時間経路積分について
§ 5.1. 指数積公式近似 (再訪)
§ 5.2. 虚数時間相対論的 Schr\"odinger 方程式
§ 6. スリット実験からもう一度「経路積分」のアイディアをみる
概要
Feynman による，量子力学の別の定式化を与える経路積分のアイディアを
751:説明し，そのいくつかの数 学的なアプローチについて概説する．
752:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/10 06:54:20 F8J9moxS.net
>>689 補足
Karin U. Katz先生が、”A strict non-standard inequality .999... < 1”とか、いろいろと（8個の論文）書いておりますです（＾＾
（参考）
URLﾘﾝｸ(www.researchgate.net)
(抜粋)
URLﾘﾝｸ(www.researchgate.net)
Karin U. Katz's research while affiliated with Bar Ilan University and other places
(抜粋)
What makes a theory of infinitesimals useful? A view by Klein and Fraenkel Feb 2018
URLﾘﾝｸ(www.researchgate.net)
Cauchy, Infinitesimals and ghosts of departed quantifiers Dec 2017
URLﾘﾝｸ(www.researchgate.net)'s_Infinitesimals_His_Sum_Theorem_and_Foundational_Paradigms/download
Cauchy’s Infinitesimals, His Sum Theorem, and Foundational Paradigms Apr 2017
URLﾘﾝｸ(www.researchgate.net)
Interpreting the Infinitesimal Mathematics of Leibniz and Euler May 2016
URLﾘﾝｸ(www.researchgate.net)'s_Continuum/citation/download
Cauchy's Continuum Aug 2011
URLﾘﾝｸ(www.researchgate.net)
When is .999... less than 1? Jul 2010
URLﾘﾝｸ(www.researchgate.net)
Zooming in on infinitesimal 1?.9.. in a post-triumvirate era Jul 2010
URLﾘﾝｸ(www.researchgate.net)
A strict non-standard inequality .999... < 1 Dec 2008
753:１３２人目の素数さん
20/07/10 08:03:57 e3xNYXlE.net
>>703
論理がなければ、
「もっともらしいウソ」と
「信じがたい真実」の
区別もできないがな
箱入り無数目も理解できないセタ
貴様のことだｗ
754:１３２人目の素数さん
20/07/10 08:05:26 e3xNYXlE.net
セタの「ノンスタ」はnon standard(非標準)ではなくnon style(無形式)
755:１３２人目の素数さん
20/07/10 12:50:46.15 e3xNYXlE.net
現代数学の系譜 カントル 超限集合論2
スレッドは終了しましたので、
今後こちらで議論を行います
なお、「箱入り無数目」に関しては
状況によって今後別スレッドを立てます
756:１３２人目の素数さん
20/07/10 13:10:51.11 e3xNYXlE.net
方針を変更して新スレッドを立てました
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
757:１３２人目の素数さん
20/07/10 14:06:38 xg6vrE4V.net
>>704
コピベが専門のバカ層◆yH25M02vWFhP
には無縁な世界
758:１３２人目の素数さん
20/07/10 17:01:36 e3xNYXlE.net
今後、◆yH25M02vWFhPについては以下のスレッドでお願いします
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
759:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/12 10:03:39 /6i4k5qr.net
>>689
WILLIAM P. THURSTON ｗｗｗ（＾＾
（参考）
URLﾘﾝｸ(arxiv.org)
APPEARED IN BULLETIN OF THE
AMERICAN MATHEMATICAL SOCIETY
Volume 30, Number 2, April 1994, Pages 161-177
ON PROOF AND PROGRESS IN MATHEMATICS
WILLIAM P. THURSTON
(抜粋)
2. How do
760:people understand mathematics? This is a very hard question. Understanding is an individual and internal matter that is hard to be fully aware of, hard to understand and often hard to communicate. We can only touch on it lightly here. People have very different ways of understanding particular pieces of mathematics. To illustrate this, it is best to take an example that practicing mathematicians understand in multiple ways, but that we see our students struggling with. The derivative of a function fits well. The derivative can be thought of as: (1) Infinitesimal: the ratio of the infinitesimal change in the value of a function to the infinitesimal change in a function. (2) Symbolic: the derivative of x^n is nx^(n-1), the derivative of sin(x) is cos(x), the derivative of f ・ g is f′ ・ g * g′, etc. (3) Logical: f′(x) = d if and only if for every ε there is a δ such that when 0 < |Δx| < δ, |{(f(x + Δx) - f(x))/Δx}- d |< δ. (4) Geometric: the derivative is the slope of a line tangent to the graph of the function, if the graph has a tangent. (5) Rate: the instantaneous speed of f(t), when t is time. (6) Approximation: The derivative of a function is the best linear approximation to the function near a point. (7) Microscopic: The derivative of a function is the limit of what you get by looking at it under a microscope of higher and higher power. つづく
761:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/12 10:04:12 /6i4k5qr.net
>>712
つづき
This is a list of different ways of thinking about or conceiving of the derivative,
rather than a list of different logical definitions. Unless great efforts are made to
maintain the tone and flavor of the original human insights, the differences start
to evaporate as soon as the mental concepts are translated into precise, formal and
explicit definitions.
I can remember absorbing each of these concepts as something new and interesting, and spending a good deal of mental time and effort digesting and practicing
with each, reconciling it with the others. I also remember coming back to revisit
these different concepts later with added meaning and understanding.
(引用終り)
762:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/12 10:08:29 /6i4k5qr.net
>>712
>WILLIAM P. THURSTON ｗｗｗ（＾＾
補足
・WILLIAM P. THURSTON氏は、>>712の(1)～(7)の７つを、
微分（derivative of a function）について
挙げている
・(3)がεδ論法だが、”εδマンセー”ではない
・(1)～(7)の７つに、それぞれ利害得失があるという立場だ
これが、21世紀の数学のあるべき姿と思います！（＾＾；
763:１３２人目の素数さん
20/07/12 15:10:01.62 JQJ8LacZ.net
自分がεδ理解できなかったからってεδ全否定すんなよ
やってることが朝鮮・韓国大嫌いの愛国馬鹿ソックリだな
おまえ、在特会の桜井誠？
764:１３２人目の素数さん
20/07/12 15:39:42.20 mZIL+yCm.net
不動点の一種の縮小写像で書き換えることは可能。
765:現代数学の系譜 雑談
20/07/12 15:42:12.56 /6i4k5qr.net
>>715
話は逆
・20世紀の中頃の日本の大学
766:数学は、”εδマンセー”だった ・時代は進んで、世界の数学は、”εδマンセー”から脱した ・21世紀になって、日本の大学数学も、”εδマンセー”から脱しつつある そういうことよ 但し、５ｃｈには、20世紀の中頃の日本の大学数学での ”εδマンセー”の残党が残っている そういうことよ
767:現代数学の系譜 雑談
20/07/12 15:44:06.16 /6i4k5qr.net
>>716
>不動点の一種の縮小写像で書き換えることは可能。
かもね
数学は、もっと自由なんだよ
”εδマンセー”
”εδでなければ 大学数学にあらず～！”
と神格化することが
間違っているんだ（＾＾；
768:１３２人目の素数さん
20/07/12 15:46:15.07 mZIL+yCm.net
日本では受験制度上文系扱いの経済学の価格理論が事実上縮小写像論
769:１３２人目の素数さん
20/07/12 15:47:18.20 mZIL+yCm.net
受験理系は経済学やたらディスる馬鹿な学部卒がやたら居る
770:１３２人目の素数さん
20/07/12 16:23:46 JQJ8LacZ.net
>>717
ノンスタマンセーなセタ君へ
x^2の微分計算を「ノンスタ」でやってみせて
771:１３２人目の素数さん
20/07/12 16:44:45 JQJ8LacZ.net
>>719
経済学で、確率過程論を使った資産・所得分布の不均衡の拡大の説明と
その実証をやってくれたら褒めてやりたい
＃すでに誰かやってたら教えて
772:１３２人目の素数さん
20/07/12 17:14:20 mZIL+yCm.net
大不幸ゲームなら読んだ
773:１３２人目の素数さん
20/07/12 17:14:32 qgkT6/xZ.net
>>718
> ”εδでなければ 大学数学にあらず～！”
馬鹿ですね。
自分で勝手に思い込んで。
774:１３２人目の素数さん
20/07/12 17:39:53.79 mZIL+yCm.net
>>722
まあ多分部屋の隅に埃がたまるのと同じ数理モデルじゃね？
775:１３２人目の素数さん
20/07/12 17:45:42.42 JQJ8LacZ.net
>>725
実は星の分布の不均衡と同じことかもしれんな、となんとなく思ってる
巨大質量ブラックホールは実は大金持ちの象徴なんだよ・・・なんちって
776:粋蕎
20/07/13 06:14:34.84 hn/nZ6UJ.net
もしかして安達翁がε-δ論法から逃げたしたの、>>694からか？
777:現代数学の系譜 雑談
20/07/15 11:02:15.12 Y0wUbHu5.net
これ、ちょっと良かった
数学用ではないのだが
１時間ばかし読んでしまった
最後に、圏論の勉強のためのリストと講評があるので参考になるだろう
（参考）
URLﾘﾝｸ(www.ivis.co.jp)
株アイヴィス
わかみず会
第465回（2020/3/25）
発表題目
計算機科学のための圏論の基礎の基礎
発表者
古賀 明彦
URLﾘﾝｸ(www.ivis.co.jp)
計算機科学のための
圏論の基礎の基礎
Akihiko Koga
Ver. 0.90, 2020.3.25
2020/3/23 (C) 2020, Akihiko Koga 1
私のホームページ
URLﾘﾝｸ(www.cs-study.com)
に関連の情報がありますので
ご興味があればそちらも参照してみてください． また，この資料のメンテナスもそこで行う予定です．
778:１３２人目の素数さん
20/07/16 07:15:47.98 MQr/5bWm.net
>>728
全然大したこと書いてないが
論理が全然分かってない毛深い獣のセタには
全く理解できなかったに違いない
（１時間読んでまったく理解できず諦めたんだろｗｗｗ）
779:粋蕎
20/07/17 02:17:43.68 gN3uZqJy.net
毛深い馬鹿？
Guide to Icelandアイスランド観光情報アイスランドの自然アイスランドの馬たち｜歴史、特徴などの完全ガイド
URLﾘﾝｸ(guidetoiceland.is)
トナカイ - wikipedia URLﾘﾝｸ(ja.wikipedia.org)
種族を超えた禁断の愛燦々と「鹿と羊」のドッキング（中国）URLﾘﾝｸ(karapaia.com)
780:１３２人目の素数さん
20/07/17 10:20:10 F8EhslVu.net
|∞ 。○ ( 毎日ｲﾁｬｺﾗ…
|*”) (>>730)
|∞ 裏山ｽｷﾞｨｨｯ!
|;><)
|وڡ
|∞ …ﾅﾝﾃﾞ…ｫ別ﾚｼﾅｷｬﾅﾉ…
|ﾟ´д`)゜。可哀想ｽｷﾞﾙ…
ｾｯｶｸ💞ｲﾁｬｺﾗ💞盛ﾘ上ｶﾞｯﾃﾙﾉﾆ…
|∞ 長毛ｻﾝ＆純子ｻﾝﾉｺﾄ…
|ﾉд`)ﾟ。…放ｯﾄｨﾃｱｹﾞﾃ欲ｽｨ…
|∞
|٩)ﾟ。純子ﾁｬﾏｶﾞ…裏山ｽｨｨ…
|ﾟ。✳゜。ﾋﾟｨｨｨ…
|=3
781:１３２人目の素数さん
20/07/18 10:02:01 OWRHnywK.net
|∞ ( 長毛ｻﾝ＆純子ｻﾝﾉ
|*“)。○ ( ｫ２人ﾊ ｱﾉｱﾄ…
皆ｻﾏﾉ温ｶｨｺﾞ声援ｦ頂ｨﾃ…
動物園職員ｻﾏ方ﾉ ｺﾞ理解頂ｹﾃ
💖Ｓｔ.Ｖａｌｅｎｔｉｎｅ’ｓ💞ｄａｙ💗ﾆ
💒💐結婚式💍🐑🦌ｦ挙ｹﾞﾃ貰ｪﾀｿｩﾃﾞｽ…
|∞ 🎶良ｶｯﾀ🎶(建前)
|*´∀`)🎶良ｶｯﾀ🎶(本音)
|∞ …
|ﾉд\)ﾟ。゜裏山ﾋﾟｨｨｯ!
(deepﾅ本音)
|ﾋﾟｬｧｧｧｯ!
|゜✳。○ﾟ。゜
|=3
782:１３２人目の素数さん
20/07/18 12:17:44.63 OWRHnywK.net
…たぶん…
…長毛さんは違うと思うんだけど…
…長毛さんのことじゃないと思うけど…
カラパイアコメント欄に…
⒌
羊は鹿に限ったことではないよ
他の動物にも手を出してるんだ 画像探せば色々でてくるよ
13.
メスはともかくオスは精力旺盛だぞ、ヒツジって。
雌羊の群れの中に手違いで一頭だけ雄が混ざったまま一晩放置された結果
百頭を超える雌羊が妊娠した例もある
| …
|")
|=3
783:現代数学の系譜 雑談
20/07/18 13:07:19.47 ywyns0bH.net
ありがとう
お疲れさまです（＾＾
784:１３２人目の素数さん
20/07/18 14:13:33.00 34X7G75E.net
馬鹿にされてることすら理解できない瀬田だったとさ
785:１３２人目の素数さん
20/07/18 15:01:01.19 OWRHnywK.net
|∞ 主さま… ｫ邪魔痛ｼﾃｫﾘﾏｽ…
|//艸/) >>734 ｫﾊｽﾞｶｼｨ…
|ｫｽﾚ汚ｼﾁｬｯﾃ…失礼痛ｼﾏｼﾀ~!
|=3
786:１３２人目の素数さん
20/07/18 17:22:05.52 MUPMdT1w.net
美少女と野獣ｗ
URLﾘﾝｸ(www.buzzvideo.com)
787:１３２人目の素数さん
20/07/19 07:26:14 v7bzJjCy.net
本スレッドは、以下のスレッドに統合のため 埋め立て致します
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
788:１３２人目の素数さん
20/07/19 07:26:44 v7bzJjCy.net
本スレッドは、以下のスレッドに統合のため 埋め立て致します
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
789:１３２人目の素数さん
20/07/19 07:26:59 v7bzJjCy.net
本スレッドは、以下のスレッドに統合のため 埋め立て致します
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
790:１３２人目の素数さん
20/07/19 07:27:23 v7bzJjCy.net
本スレッドは、以下のスレッドに統合のため 埋め立て致します
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
791:１３２人目の素数さん
20/07/19 07:28:10 v7bzJjCy.net
埋め立て中
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
792:１３２人目の素数さん
20/07/19 07:28:46 v7bzJjCy.net
埋め立て中
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
793:１３２人目の素数さん
20/07/19 07:29:00 v7bzJjCy.net
埋め立て中
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
794:１３２人目の素数さん
20/07/19 07:29:14 v7bzJjCy.net
埋め立て中
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
795:１３２人目の素数さん
20/07/19 07:30:01 v7bzJjCy.net
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)
796:１３２人目の素数さん
20/07/19 07:30:21 v7bzJjCy.net
現代数学の系譜 雑談84
ｽﾚﾘﾝｸ(math板)