Inter-universal geometry と ABC予想 (応援スレ) 63

1 名前：１３２人目の素数さん [2021/12/28(火) 23:28:06.67 ID:IQKnQwAx.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62 https://rio2016.5ch.net/test/read.cgi/math/1638933969/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 （参考） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view 望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。 IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。 IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） つづく (deleted an unsolicited ad) 401 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:25:40.35 ID:c7vK74jl.net] >>385 私はロスに住んでいます 何で日本の山形県の病院に行かなければいけないのですか？ あなたは狂ってますね 山形病です 狂人28号ですね 402 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:29:28.44 .net] >>385 ＞他人に何かを期待して答えを迫るのは ＞強迫性人格障害の症状です 強迫されるのは当人であって他人ではないけど いま、ツイッターで「証明プログラミング」 というキーワードで検索かけてるが 当該ツイートが見つからない 本当にあったのか？妄想じゃないのか？（疑） 403 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:40:07.40 ID:4jYBn4KQ.net] 緑色虫ケラアイコン氏に直接聞くか 10年分の過去ツイート総ざらいすればいいだろうに それができないのは発達障害か あと発端はツイートだとしても やり取りがツイッターに残ってるとは 限らないんじゃないかな ここは匿名掲示板だから、匿名掲示板の話をして いるのにツイート検索ワロタ あとつけ加えるなら ツイート上の「証明プログラミングに関する話」を ニセ科学だと言い出す知恵遅れが居たので カリー=ハワード同型対応を使った証明プログラミング研究が虫ケラアイコンの在籍時に同じ大学の他研究科研究室で行われていた話を紹介しただけであって そいつがバカでキチガイのトラブルメーカーであることを見越して、 該当研究室メンバーの所へ直接� 404 名前：｣り込みに行かないように着地させただーけー [] [ここ壊れてます] 405 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:44:05.36 ID:4jYBn4KQ.net] 例の緑色虫ケラアイコンは 雪氷学会研究会にも殴り込みをかけて、 未科学相手に「ニセ科学の疑いがあるからオブザーバーとして見学のみする」「科学的には興味がない」 とまで啖呵を切ったのに 2017〜2020年に現象解明論文が出ても一言も謝罪をしていない真性のクズだから座敷牢的な縛りが必要なんだよね、大変なことに 406 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:46:20.45 .net] >>389 たまらず登場ですか　情報科学素人さん ツイッター上のケンカじゃないなら仕方ないな ５ｃｈのレスバトルまで調べる気はない まあ、素人のこんな初心なツイートは見つけたけど watcher @a_watcher · 2018年2月4日 自分がCurry-Howard同型対応の存在に薄々と勘付いたきっかけは 元々数式処理システムに関心を持っていたのと ANSI C標準の簡単な型システムが予想外に深遠で、 型定義とその証明からなる証明プログラミング・スタイルを 実践できる事に気付いた頃かなぁ その後世界が急に開けたけどあんま開拓できなかた 407 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:50:13.19 ID:25h59fz+.net] 計算外のことが起きているな カオスだな 408 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:55:02.15 .net] >>392 カオスといえばこの歌ですね https://www.youtube.com/watch?v=qVdBBOpSoN4 409 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:00:04.45 ID:4jYBn4KQ.net] 未科学とは、科学的取り扱いをする手段がまだ不十分な為、科学的研究が充分に行われておらず 科学的決着を付ける段階にまだない領域のこと 森羅万象の中で科学的取り扱いが充分になされている領域はごく僅かで、広大な未科学領域が広がっているというのが普通の認識 ところが緑色の虫ケラアイコンはバカだから未科学の概念を知らず、「未科学=科学的に真と確定していない領域は閉世界仮説により偽となる」という大胆な思い込みで「未科学はニセ科学である」と断定して その件とあまり関係のない雪氷学会相手に喧嘩を売ってしまった 緑色虫ケラアイコンの起こすトラブルでは 「閉世界仮説」や「排中律」に基づく屁理屈がとても多かったので、非古典論理学くらい勉強しろと再三忠告したのだけど その結果がこのスレのIUT無関係な妄言連投だとしたら、IUT関係者にとっては想定外のトラブルだね コイツはただの知恵遅れだから相手にする価値はない 410 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:00:17.01 ID:25h59fz+.net] >>393 そういうことではない 今まで考えてもいなかったスレの成り行きになっている 411 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:00:36.99 .net] この調子ならうまくいけば今年中にこのスレ使いきれますかね 412 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:05:47.04 .net] >>394 ＞非古典論理学くらい勉強しろ そう、特に資源問題について考えるならば部分構造論理　 特に縮約規則のない線型論理が大事だね 100円でコーヒーもミネラルウォーターも買える しかし100円で買えるのはどちらか一方 100円を200円に増やすことは許されない 413 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:06:06.65 ID:tkJweXwg.net] >>327 どうもです スレ主です ＞山下剛氏は何か成果を上げたのですか？ えーと、外野からですが、IUTサーベイリポートは完成しました （彼のホームページから辿れます。Promenade in Inter-Universal Teichmuller Theory >>3 のDebes氏の講演資料で言及があるので、ある程度の評価はあるのでは？ （私には、お経でしかありません（ど素人なので）。もう少し簡略化した分かり易い版がほしいと個人的には思いますけど）） なお、IUTサーベイリポート内にフェセンコ氏へのパワハラ言及記載があり、多分これで出版がストップではないかと思います。（ここは、単に私個人の見解です） IUTの解説講義・講演は何回かあります 科研費とって研究して、かれが最終報告は書いています。 知る限りは、これだけです。外野からなので、これ以外にもあるかも ああ、科研費の最終報告では、Tafula氏>>322の”Siegel zeroes”の研究をやるって あったから、てっきり ここ山下先生の講演があると予想していましけど 外野なので、仔細は分かりません 414 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:07:13.12 .net] >>395 面白いからいいじゃないですか 正直言って、「任意有限回と無限回の混同」とか 陳腐な誤りのネタにうんざりしていたので 415 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:07:42.69 ID:oQfnXEhK.net] 虫ケラの人はこのスレだけだけど長野県の石の下のゲジゲジおじさんはいたるスレで頓珍漢だからなあ 虫ケラ>>>>>>>>ゲジゲジは明らかだろ 416 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:10:11.41 .net] >>398 あんたもう要らないよ　スレッシュだっけ？ 線型代数　復習してる？　正則行列くらい理解しような 消去法で階段行列つくったとき　サイズと同じ段数になるのが正則行列 正則行列が分からないようじゃ、旗多様体とかブリュア分解とか理解できないよ 417 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:13:39.75 .net] >>400 一般人いじめちゃ駄目だよ 飯田なんて国立大学もない田舎なんだから 418 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:15:43.75 ID:4jYBn4KQ.net] 「石の下のゲジゲジ」とは 緑色虫ケラアイコンに付けられたあだ名 虫ケラ氏が職場でつけられているあだ名 「うんちのしみ」と比べれば 一応生物扱いだし、本人が自己認識する虫キャラの範疇だから大きな問題はないはずだが その「石の下のゲジゲジ」というあだ名で興奮している人が居るのは(>>400)新たなる求婚者かな 虫ケラアイコン氏に求婚者が複数現れる事態は想定外だね まあ自己受精か細胞分裂でしか増殖できないパターンだろうけど 419 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:18:59.76 ID:4jYBn4KQ.net] >>400 上の方にある本人解説によれば飯田というのは 虫ケラアイコン氏が山形で叔母さんにいじめられて 引っ越した先の地方都市で 虫ケラアイコン氏はそこでトランスジェンダー男性として暮らしているとのことだから そっとしておいてあげればいいんじゃないかな 虫キャラ自体は本人自認だし 石の下のゲジゲジも立派な虫なのだから 飯田が田舎だとかトランス男はおかしいとか 批判するまでもない 420 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:21:33.78 ID:4jYBn4KQ.net] >>402 新型コロナで山形から飯田に引っ越してリモート勤務じゃないかな 大学勤務というより作業所勤務で 毎日の仕事はネットサーフィンらしいけど 421 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:22:15.38 .net] >>404 あなた、叔母さんにいじめられた飯田在住のトランスジェンダー男性なの？ 422 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:23:16.75 .net] >>405 あなた、作業所に通ってるの？ 423 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:26:23.93 ID:c8LjGeeD.net] このスレ、なんでこんなに回転はやいの 424 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:27:52.32 ID:4jYBn4KQ.net] 無印IDがまた発狂し始めたよ 主語は全て緑色虫ケラアイコンと書いてあるのに 「あなた」という気持ち悪い呼びかけがあるのは 緑色虫ケラアイコン氏本人と話しているつもりなのだろうな 緑色虫ケラアイコン氏は自分自身にレスを付ける自演癖が激しいな 425 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:29:09.38 ID:4jYBn4KQ.net] >>408 今朝からずっと一日中、ID無し氏が取り留めのない妄想を連投してスレを埋め立てている 426 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:30:50.09 ID:4jYBn4KQ.net] >>406>>407 緑色虫ケラアイコン氏本人の事だから 本人に直接問い合わせろ いちいちスレを汚すな知恵遅れ 427 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:35:28.60 ID:oQfnXEhK.net] 正確には何かの間違いで山形大学に入学したのはよいが、やはり着いて行けずとうとう学生実験で成績Fを取ってしまい担当教員と学校相手に揉めて退学。当時から匿名掲示板で荒らしを行なっており自ら精神病と言っていたが、長野県飯田市に戻ってからは担当教員が精神病と言い出しネットの気に食わない書き込みは全部彼女だと執拗に思い込み、性的な書き込みやオナニー実況まで始める重症化が進んでいる童貞で糖尿病でシンセが買えないおじさんこと尻太郎侍かな。 428 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 17:37:57.76 ID:oQfnXEhK.net] 天羽さんはとんだ被害者 429 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 18:09:48.34 ID:4jYBn4KQ.net] ID:oQfnXEhKが発狂し過ぎ 専門医の緊急治療薬が必要なレベル 430 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 18:13:09.20 ID:4jYBn4KQ.net] >>371 緑色虫ケラアイコンこと飯田のトランスジェンダー男性ならこのスレに来てるぞ→ID:oQfnXEhK あなたが抱える多数の質問をID:oQfnXEhKにぶつければ解決だな 431 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 18:49:41.47 .net] >>412 ああ、そういうことですか 高木某氏と同じパターンですね 432 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 18:53:26.14 ID:4jYBn4KQ.net] >>416 とりあえず緑色アイコン氏の事をID:oQfnXEhKに直接聞けばいいのに聞けないのは自演という奴だね 433 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 18:56:32.83 ID:4jYBn4KQ.net] ID:oQfnXEhKがID無し統合失調氏本体だから 普段はナゼナニ質問を山のようにするのに ID:oQfnXEhKの妄想は即座に受け入れるという事か 自演が下手くそ過ぎて毎回身バレしては発狂し 妄想設定の架空の敵の設定が増えていくID:oQfnXEhK 434 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:01:23.02 ID:4jYBn4KQ.net] >>413 このスレでもはや誰も言及していない底辺大准教の名を何回も出すのは自己紹介って事でよろしいか その底辺大の底辺学生の話はまさかあの有名な学生ハラスメント事件の被害者の事なのかな その件は法務省人権擁護局の人権救済案件だと思うけど、和解せずに未だに罵り合っているのか 底辺大の教員と学生のいがみ合いが悲惨でちょっと笑える 435 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:06:27.78 ID:4jYBn4KQ.net] >>412が言っているのはこの事件の事だね 【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した [ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) itest.5ch.net/life9/test/read.cgi/mental/1212628738/ この件は当時善意の第三者として法務省人権擁護局に人権侵害案件として通報済みだし、 山形大学玉手学長にも、山形大学理学部職員による超長期ストーキングハラスメントおよびセクシャルハラスメント問題の根っことして説明済みだよ 当時の学生を絡めてネットハラスメントを続行するなら、玉手学長への再通報が必要になるね 玉手学長も学生も無能な教員にいつまでも振り回されて大変なこった 436 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:10:20.15 ID:4jYBn4KQ.net] …というわけでIUTスレで長らく蒟蒻問答を繰り広げてきたID無し統合失調氏の正体は 2008年山形大学工学部実験講義学生誤爆ハラスメント事件の当事者、山形市在住の55歳未婚職員で確定 わざわざ歳末12月30日を丸一日潰して、自己身元開示をして、年明けには学長に懲戒処分を出されるとは ご苦労様な事ですね 437 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:17:33.71 ID:4jYBn4KQ.net] 年末といえばこっちの事件もタイムリー レコード大賞受賞者への長期ハラスメント＆逆ギレ親告罪訴訟恫喝事件 【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した [ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948 こちらの件は、法務省に讒訴可能性のある案件として通報済み 玉手学長には念のため、犯人身元は自称なので本人かどうかは確定していないがその種の恫喝案件でたびたび職員の名が挙がるのは山形大学の管理責任問題なので もし身元詐称事件ならば犯人を告訴して再発防止、職員本人の犯行ならば適切な処置をするように伝えてある 438 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:19:03.22 ID:4jYBn4KQ.net] 結局毎回毎回身バレして、法務省や学長に通報されている札付き職員というオチ 439 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:26:12.65 ID:Tnq3gjGU.net] kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609 440 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 19:36:08.70 ID:4jYBn4KQ.net] 【山形キチガイジおばさん速報】山形大学のハラスメント常習職員 天羽優子55歳、妄想に妄想を重ねだ末に異様な自己紹介文を作成【精神異常者の人生の自己投影】 　412 名前:１３２人目の素数さん [sage] 　:2021/12/30(木) 17:35:28.60 ID:oQfnXEhK 　　正確には何かの間違いで山形大学に入学したのは 　　よいが、やはり着いて行けずとうとう学生実験で 　　成績Fを取ってしまい担当教員と学校相手に揉め 　　て退学。当時から匿名掲示板で荒らしを行なって 　　おり自ら精神病と言っていたが、長野県飯田市に 　　戻ってからは担当教員が精神病と言い出しネット 　　の気に食わない書き込みは全部彼女だと執拗に思 　　い込み、性的な書き込みやオナニー実況まで始め 　　る重症化が進んでいる童貞で糖尿病でシンセが買 　　えないおじさんこと尻太郎侍かな。 441 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 20:39:34.60 ID:En9CqBVW.net] >>321 補足追加 >あと、IUTに縦横二次元の矢印図出てきますよね えーと、下記の”宇宙際タイヒミューラー理論への誘（いざな）い”に、2次元の話が出てきます 但し、これがフェセンコ先生のいう類体論の遠アーベルの2次元版と同義かどうかは、分かりませんが >>322 補足追加 >それが、リーマンゼータのゼロ点 1/2と関係しているというと >望月先生が喜んで「おー、そうか！」と、IUT論文のどこかに取り入れて書いて、 リーマンゼータも、下記の”宇宙際タイヒミューラー理論への誘（いざな）い”P18に、話が出てきますね なお、その後に引用した IUT IV P48 Remark 2.2.1.など（複数箇所）にも、出てきます (参考) https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html 望月 出張・講演 https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(2015-02).pdf [17] 宇宙際タイヒミューラー理論への誘（いざな）い　（2015-02） （京都大学数理解析研究所 2015年02月） P8 数論的な場合:足し算と掛け算。コホモロジー次元: その正則な1次元に付随する 下部の組合せ論的次元2本と見做す! P9 p進局所体 k/Qp < 0 の場合、下部の組合せ論的次元2本 を次のように捉えることも可能である: §3. 対数・テータ格子 Hodge theater 「・」たちの非可換(!)な「2次元的な」図式:2次元はp進局所体や「環」の下部の 組合せ論的次元 2本に対応している! P18 この「1/2」はリーマン予想を連想させられる値であるが、まさしく リーマン予想 と同じく、「ウエイト 1/2」 (注:「ウェイト」はリーマン・ゼータ (S) の「s」) つづく 442 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 20:40:04.92 ID:En9CqBVW.net] >>426 つづき https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html 望月 論文 https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf [4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF NEW !! (2020-04-22) P48 Remark 2.2.1. In this context, it is of interest to observe that the form of the “ term” δ1/2 ・log(δ) is strongly reminiscent of well-known interpretations of the Riemann hypothesis in terms of the asymptotic behavior of the function defined by considering the number of prime numbers less than a given natural number. Indeed, from the point of view of weights [cf. also the discussion of Remark 2.2.2 below], it is natural to regard the [logarithmic] height of a line bundle as an object that has the same weight as a single Tate twist, or, from a more classical point of view, “2πi” raised to the power 1. On the other hand, again from the point of view of weights, the variable “s” of the Riemann zeta function ζ(s) may be thought of as corresponding precisely to the number of Tate twists under consideration, so a single Tate twist corresponds to “s = 1”. Thus, from this point of view, “s = 1/2 ”, i.e., the critical line that appears in the Riemann hypothesis, corresponds precisely to the square roots of the [logarithmic] heights under consideration, i.e., to h1/2,δ1/2. P49 − i.e., some sort of “inter-universal Mellin transform” − may be obtained that allows one to relate the theory of the present series of papers to the Riemann zeta function. (引用終り) 以上 443 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 20:58:03.84 ID:3OpmZaRg.net] >>412 この記述を全面的に支持します 444 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 21:02:59.97 ID:4jYBn4KQ.net] >>428 いままともな話が再開したところなので、頭のおかしな人の妄想話への自演同意は他の所でやってね 445 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 21:04:38.50 ID:IgUubPeE.net] 貴方の書き込みは支持しません、尻太郎侍 446 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 21:07:44.39 ID:AbXGzZ4e.net] セタは女じゃなくてバイセクシャル男だバカこの 447 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 21:08:00.71 ID:4jYBn4KQ.net] >>428>>430 頭のおかしな人向け落書きスレに移動しろ天羽 https://rio2016.5ch.net/test/read.cgi/math/1638084738/ 448 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 21:17:25.87 ID:z9DcNC2n.net] 尻太郎侍の発狂を確認 449 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 23:14:56.52 ID:AbXGzZ4e.net] 積み木ぃー何やってんだよ積み木ぃー来年も働かねー積もりかー 450 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 23:17:36.22 ID:LTadCQ34.net] このひとどのスレでも妄想しか書けないのか 451 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 23:53:48.38 ID:En9CqBVW.net] >>427 補足 あと、下記の[R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020 わずか3ページで、見事に ABCの明示公式の導出をしている 必見ですね https://ivanfesenko.org/?page_id=126 Research ? Ivan Fesenko https://ivanfesenko.org/wp-content/uploads/2021/10/asym2-1.pdf [R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020 ABSTRACT. This short paper asks a question about a new asymptotic symmetry of the moduli space of Frey- Hellegouarch elliptic curves over rational numbers. If the answer to the question is positive then this allows to deduce an effective (1+ε) abc-inequality from effective abc-inequalities established in [3]. 452 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 03:16:34.78 ID:Q1hUqpE6.net] >>418 a_watcherの発狂を確認 というか常に発狂しているか 453 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 06:23:48.80 .net] 「a_watcher氏はY大学の学生だったが、精神的変調により中退し 　当人がその理由をA准教によるものと思いこんで勝手に恨んでいる」 というところまで理解した 454 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 06:25:07.72 .net] >>426-427 素人が闇雲にコピペしても 突然賢くなったりしないので 無駄な足掻きはやめましょう 455 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 06:29:49.65 .net] >>436 あなたが応援団長だというならやるべきことがあるでしょう 「2022年、望月新一がABC予想解決で「金メダル」をとらなかったら負けを認める」 と宣言しましょう 「金メダル」＝IMUからの賞、と定義しておきます ゴールを永遠に先送りする作戦は認めません 2022年のICM終了まで、と期限を切りなさい 期限までに賞をとらなかったら、あなたは負けを認めること 具体的には数学板への書き込みをやめること いいですね？ 456 名前：１３２人目の素数さん [2021/12/31(金) 06:31:40.53 ID:JcvopfqL.net] 悲惨な底辺大准教 457 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 08:04:16.09 ID:42KgtWK6.net] スレ主です (引用開始) Inter-universal geometry とABC 予想47 https://rio2016.5ch.net/test/read.cgi/math/1635332056/246 246 名前：１３２人目の素数さん[sage] 投稿日：2021/12/30(木) 14:34:36.63 ID:3A3kDUZt [2/4] 逆に言えば世界中の数学者が結託して未解決のままにしておく「難問」を設定して延々と研究費を貪り続ける ……ということも可能ではないかと思ってしまった (引用終り) 予算ね 面白い話だから、掘り下げてみたい １．過去にも、「柏原・玉川が、予算の正当化のために、望月IUTの論文を正当化した」みたいに思い込んでいる人がいた（多分、今でもいるだろう） ２．いま、ABC予想をリーマン予想に置き換えてみよう ３．望月IUTが、リーマン予想解決を目指したものだったとして、現在リーマン予想は未解決だ ４．では、文科省への報告は？ ５．そのまま正直に書けば良い。山下科研費の報告と同じで、「問題が非常に難しいため、最終解決には至らなかった。しかし、ここまで前進した」と ６．世の中そんなものです。文科省の科研費には枠があって、その枠の中の予算を取り合いしているだけ。自分が科研費貰えなければ、他の誰かが貰うだけ ７．報告書は、最終目標に達しなくても（それは予算申請時には、かなり高い目標にするのが普通）、”ここまで前進した”で良い ８．もっと言えば、科研費なんて、数学以外でも普通にあって、数学も数学以外も同じ。報告はウソ書いちゃダメ。正直に、「頑張りました」って書けば良いんだ それで、延々と研究費もらえる。国家予算って、そんなものですよ そりゃ、難問解決で、世界的な賞を貰えれば、予算を付けた側もうれしい けど、本来の国家予算の目的は、日本国の数学界の人材育成と体制つくりに意味があるわけで、「賞は付録」なんだよ 458 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 09:10:54.37 ID:DwbxgBit.net] 年明けビックリなニュースあるよ 459 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 09:24:53.35 ID:42KgtWK6.net] >>44 460 名前：2 追加 年末12月31日なので、 ＜IUTの現状まとめと展望＞ １．世界的には、BuzzardのICM22講演原稿>>14 の通りと思う（世界的には、数学者のコミュニティの大半に理解されていない） ２．ただし、Buzzard氏の主張は、ショルツェ氏>>14ほど極端ではない ３．かつICM22は来年7月だから、Buzzard氏の意図は「早めに公開して、意見を募る」ってことでしょう ４．国内的には、かなり理解者が増えたと思う ５．IUTの中身は、フェセンコ先生の奮闘で、類体論の三つの一般化の統一理論という方向性が見えてきた>>172 ６．さらには、現状のIUTでは未解決部分も残っていると思う。例えば 　・Siegel zeroes予想>>322 　・明示公式の更なる改良（得られる数値の上限があまりに大きく、実用には使えない。また、最終形とも思えない。改良の余地ありでは？） 　など（ここらは、専門的に一度整理したら良いと思う） ７．IUTの分かり易い解説と、他分野への展開 　・上記１の改善に向けて 　・他分野への展開はあるんじゃないですか？ 一番近いのが、楕円曲線論か（つーか、IUT自身、楕円曲線論を圏論化したものかも） 　・IUTの分かり易い解説が出ると、「おれの研究にも使えそうだ」って人も出てきそう 来年のIUTの一層の進展を期待しています 1月末には、星先生の数学誌「論説」（遠アーベル）が出るらしい。IUTも勿論書かれているでしょう。乞うご期待 [] [ここ壊れてます] 461 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 09:26:45.81 ID:42KgtWK6.net] >>443 ＞年明けビックリなニュースあるよ スレ主です ありがとうございます ひょっとして、星先生のご結婚？ 462 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 09:38:03.91 .net] >>442 >「問題が非常に難しいため、最終解決には至らなかった。 >　しかし、ここまで前進した」 なぜABC予想でこう書かないんですか？ 「問題が非常に難しいため、 　Cor3.12からABC予想が導けることは示せたものの 　Cor3.12を証明することはできず、 　ABC予想の最終解決に至らなかった。 　しかし、Cor3.12という有用な予想まで前進した」 >報告はウソ書いちゃダメ。 じゃ 「Cor3.12が証明できた、ゆえにABC予想は解決した」 と書いちゃダメですね それウソだから >>444 結局、2022のICMで望月新一氏がIMUから賞を受賞するのは諦めたんですね つまりあなたは負けたんですね 「待て」は認めません 負けを認めてくださいね 死んでくれ、とはいいません ここに書きこむのをやめてください 死ぬわけじゃないから簡単でしょう あなたがネット耽溺症だからやめられない とかいうのはいいわけになりません この際ネットに無駄なことをコピペする 悪癖は治したほうがいいですよ 463 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 09:41:19.06 .net] >>444 >1月末には、星先生の数学誌「論説」（遠アーベル）が出るらしい。 >IUTも勿論書かれているでしょう。 PorowskiがIUTについてダンマリなら星も同じでしょう 書かれていなかったらあなたは負けを認めて黙りましょう これ以上恥をさらしたくないでしょう？ 464 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 11:17:45.47 .net] スレッシュ君はなんで番号つけて文章書くのかな ただただ異様で気持ちが悪い 465 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 11:26:57.68 .net] スレッシュ君は １．任意の自然数ｎを要素とする集合Ｎは無限集合である ２．したがってＮは無限順序数ωを要素とする 　　もし要素でないなら、Ｎは有限集合となり矛盾するから という珍奇な主張を真顔で語る １．は正しいが、２．は間違っている しかしながら皆がそれを指摘しても 「貴様等みんな間違ってる　 　貴様等みんな狂っている」 と吠えるばかりである 間違ってるのはスレッシュ君 狂っているのもスレッシュ君 466 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 11:30:13.76 .net] スレッシュ君の誤りは 「箱入り無数目の無限列の決定番号は確率１で∞」にしても 「ツェルメロの後者関数を無限回実行して 　ωをシングルトンとして実現できる」にしても >>449の「任意有限＝無限」の誤解に基づいている このような初歩的で幼稚な誤りから抜け出せないようでは スレッシュ君が大学数学の初歩すら理解することは不可能である 467 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 13:45:11.45 ID:42KgtWK6.net] ＜サイコパスのおサルのバカ発言＞ 過去スレ55 https://rio2016.5ch.net/test/read.cgi/math/1623558298/813 813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7] >>789-790 (引用開始) 数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ (引用終り) こんなこと、言われたら 日本人なら、だれでも怒るよ 「おまえ、どこの国から来た！」って アンチ日本に凝り固まったサイコパス どうしようもないね 必死に望月氏とIUTを叩いているおサルよ、あわれ 468 名前：１３２人目の素数さん [2021/12/31(金) 15:28:17.83 ID:7xI8oln4.net] 命題 ZF公理系に x1∋x2∋…∋xn∋x1 を満たす集合の組 x1,x2,…,xn は存在しない。 証明 そのような組が存在すると仮定。 対の公理、和集合の公理により集合 x:={x1,x2,…,xn} が存在する。 一方、∀xi∈x ⇒ xi∩x≠{} であるから、正則性公理により集合 x は存在しない。 仮定から矛盾が導かれたので仮定は偽。 469 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 15:48:11.16 .net] >>451 あなた日本人だったんですか 在阪朝鮮人かとおもってました 470 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 15:54:14.89 .net] ニッポン！ニッポン！って騒いでる人って 実は祖国に絶望して日本人になりがたる 在日朝鮮・韓国人だっていいますね 471 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 16:04:54.97 ID:42KgtWK6.net] >>322 追加 Christian Tafulaの資料(下記)を見ると、Siegel zeroes 予想で ”Remark 5.3. See also Remark 2.2.3 of Mochizuki’s “IUT IV” [14], in which it is explained that the calculations of Corollary 2.2 (ii), (iii) of IUT IV can be regarded as a sort of “weak” version of uniform abc. Such version, however, is much weaker than the O-weak uniform abc in Conjecture 5.2 (i), and thus, in principle, one is not able to deduce “no Siegel zeros” from Corollary 2.2 of [14] by using the methods we are employing here.” となっているね。いまのIUTでは、不十分ってことか https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/ExpHorizIUT21-IUTSummit-notes.html Inter-universal Teichmuller Theory (IUT) Summit 2021, RIMS workshop, September 7 - September 10 2021 Notes and recordings of the workshop Christian Tafula Santos From ABC to L: On singular moduli and Siegel zeroes, Reference: [Tafula]. https://arxiv.org/pdf/1911.07215.pdf [Submitted on 17 Nov 2019 (v1), last revised 18 May 2021 (this version, v3)] On Landau-Siegel zeros and heights of singular moduli Christian Tafula つづく 472 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 16:06:16.13 ID:42KgtWK6.net] >>455 つづき P20 we state the usual uniform abc-conjecture for comparison: Conjecture 5.2 (Uniformity). Let K/Q be a number field and ε > 0. Then: (i) (O-weak uniform abc) C(K, ε) = Oε(log(rdK)). (ii) (Weak uniform abc) C(K, ε) = oε(log(rdK)) as rdK → +∞. (iii) (Uniform abc) C(K, ε) = Oε(1). It is remarked in p. 510 of Granville?Stark [7] that Conjecture 5.2 (iii) follows from Vojta’s General Conjecture under the assumption that [K : Q] is bounded; consequently, so does (i) and (ii).10 Remark 5.3. See also Remark 2.2.3 of Mochizuki’s “IUT IV” [14], in which it is explained that the calculations of Corollary 2.2 (ii), (iii) of IUT IV can be regarded as a sort of “weak” version of uniform abc. Such version, however, is much weaker than the O-weak uniform abc in Conjecture 5.2 (i), and thus, in principle, one is not able to deduce “no Siegel zeros” from Corollary 2.2 of [14] by using the methods we are employing here. (引用終り) 以上 473 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 16:52:43.80 ID:Q1hUqpE6.net] 大晦日も優子でオナってしまったよ 優子の裸は麻薬だよ まさに美魔女だよ 474 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 16:59:00.50 ID:uquP3z1T.net] 優子さんは山大の萌え担当 475 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 17:07:13.91 ID:r0AoiBaA.net] 今年のハロウィンの優子さんのメイドさんコスプレ可愛かったー 来年が楽しみ 476 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 17:19:18.06 ID:42KgtWK6.net] >>452 ご苦労さまです スレ主です そうですね そして、下記 https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 正則性公理 定義 空でない集合は必ず自分自身と交わらない要素を持つ。 略 ・∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない。 ・V=WF ここで、Vは集合論の宇宙を指し、WFはwell-founded set全体のクラス（フォン・ノイマン宇宙）を指す。 ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。したがって、例えばx= {x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。 (引用終り) この”無限下降列 x∋x1∋x2∋・・・ ”は、禁止ですが 無限上昇列 x∈x1∈x2∈・・・は、 当然ですが、禁止ではない！ この区別がつかないおサルさんがいる>>7 さらに （>>7より） 　”（スレ55 https://rio2016.5ch.net/test/read.cgi/math/1623558298/158より） 　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない” と叫んで、過去スレで延々と主張した前科があるのですｗ なんだかねｗ 477 名前：１３２人目の素数さん [2021/12/31(金) 17:25:45.78 ID:7xI8oln4.net] >>460 ＜無限上昇列　０＜・・・＜ω　が存在するなら、＜ωの左隣は何ですか？ 478 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 17:34:02.69 .net] >>460 「任意の自然数ｎを要素とする集合Ｎは無限集合であるから無限順序数ωを要素とする 　もし無限順序数ωがNの要素でないならＮは有限集合となり矛盾するから、」 という珍奇な主張を真顔で語るスレッシュ君は 完全な●違いであり間違ってるよ 479 名前：１３２人目の素数さん [2021/12/31(金) 17:59:26.44 ID:7xI8oln4.net] >>460 あなたはどうせ答えないのでこちらで答えますね ωは最小の極限順序数なので、ωより小さいどんな順序数も自然数です。 よって ０＜・・・＜n＜ω は有限 480 名前：列です。 そしてこの事実を認めたくないあなたは＜ωの左隣は存在しないなどという詭弁を吐くでしょう。 いずれかの項が存在しないならそもそも＜列とは呼べないにも関わらずね。 [] [ここ壊れてます] 481 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 18:26:49.01 ID:42KgtWK6.net] >>461 ご苦労様です スレ主です > ＜無限上昇列　０＜・・・＜ω　が存在するなら、＜ωの左隣は何ですか？ ＜ωの左隣は、必ずしも確定する必要ないよ ωは、自然数の上限だから（下記 数学の景色） 二項関係 ＜ を、無限集合に拡大適用すると、自然に＜記号の濫用が必要になるよ（明確な二項の比較で済まなくなる） 例えば、下記 Ordinal number （encyclopediaofmath.org）を見てください 自然数を、数直線 に埋め込んで、1-1/n の列を考える。二項関係は≦を使っているよ 1-1/nは、nが大きくなると 1に収束して、列全体では、ω+1を構成すると説明しているよね それは、上記”＜無限上昇列　０＜・・・＜ω”の説明です 補足すると、有理数Qとか実数Rを扱うようになると、＜の全順序は有限自然数のようには、明確な二項の数の比較だけでは済まなくなる 例えば下記のOrdinal numberで、「1の＜で すぐ左の”1-1/n”は何か？」と問うのは無意味になるよね だけど、二項関係＜の全順序は、自然数と同様にQとかRでも、保たれているってことです で、わざわざ ”＜”と別の記号を、QとかR用に作る人は居ないってことです https://mathlandscape.com/sup-inf/ 数学の景色 上限,下限(sup,inf)の定義と最大,最小(max,min)との違い 2021.04.29 2021.04.25 https://encyclopediaofmath.org/wiki/Ordinal_number Ordinal number The order type of a well-ordered set. This notion was introduced by G. Cantor in 1883 (see [2]). For instance, the ordinal number of the set N of all positive integers, ordered by the relation ≦, is ω. The ordinal number of the set consisting of 1 and numbers of the form 1-1/n where n∈N, ordered by the relation ≦, is ω+1. 482 名前：１３２人目の素数さん [2021/12/31(金) 19:13:41.72 ID:7xI8oln4.net] >>464 >下記 Ordinal number （encyclopediaofmath.org）を見てください 　N = {1,2,…} = ω 　{1-1/n | n∈N}∪{1} = {0,1/2,2/3,3/4,…,1} = ω+1 とは書かれてますが、どこにも 　＜無限上昇列　０＜・・・＜ω　が存在する なんて書かれてませんけど？ >それは、上記”＜無限上昇列　０＜・・・＜ω”の説明です 何がどう説明されたんですか？ >補足すると、有理数Qとか実数Rを扱うようになると、＜の全順序は有限自然数のようには、明確な二項の数の比較だけでは済まなくなる つまり"＜"は二項関係であり且つ二項関係でないと言いたいのですか？ それは矛盾してるように聞こえますが、では"＜"とは一体何なのですか？ >例えば下記のOrdinal numberで、「1の＜で すぐ左の”1-1/n”は何か？」と問うのは無意味になるよね はい、だから「0<1/2<2/3<3/4<…<1 なる<無限列が存在する」なんて書かれてませんけど？ >だけど、二項関係＜の全順序は、自然数と同様にQとかRでも、保たれているってことです 単に全順序を誤解してるだけでは？ 483 名前：１３２人目の素数さん [2021/12/31(金) 19:28:21.96 ID:7xI8oln4.net] >>464 あなたの主張を簡潔に代弁すると 「ω+1は整列集合である。よってω+1のすべての元からなる＜列 0<1<…<ω が存在する。」 となります。 これは整列順序の初歩的誤解からくる初歩的間違いです。 484 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 20:09:16.51 ID:42KgtWK6.net] >>466 ご苦労様です スレ主です >あなたの主張を簡潔に代弁すると >「ω+1は整列集合である。よってω+1のすべての元からなる＜列 0<1<…<ω が存在する。」 違うよ というか、 １．私の主張ではない。説明です。Ordinal number （encyclopediaofmath.org）>>464に基づく 　かつ、それは標準的なOrdinal numberの説明ですね ２．ωは、ノイマンの基数割当（の定義）より従う。 　ω+1も多分ノイマンかな（カントールの定義は違ったと思った） >>465 >　{1-1/n | n∈N}∪{1} = {0,1/2,2/3,3/4,…,1} = ω+1 >とは書かれてますが、どこにも >　＜無限上昇列　０＜・・・＜ω　が存在する >なんて書かれてませんけど？ そこは、下記の2列の対応 列 0,1/2,2/3,3/4,…,1 　　↓↑ 列 0 , 1 , 2 , 3 ,　…,ω を考えるんだ いま、二項関係 ＜ の話だったよね 上記2列とも、＜ の二項関係で対応がつく そして、上の有理数列で、二項関係＜を認めようね。1の左は未確定だがね そして、列 0,1/2,2/3,3/4,…,1 は無限列であることも、認めよう だったら、 列 0 , 1 , 2 , 3 ,　…,ω も同様の二項関係＜による無限列だってこと >それは矛盾してるように聞こえますが、では"＜"とは一体何なのですか？ "＜"とは、二項関係です 自然数Nから有理数Q、そして実数Rを、標準的に全順序づけるものです 485 名前：１３２人目の素数さん [2021/12/31(金) 20:12:01.57 ID:mhAv9qAm.net] そう、この質問には絶対セタは答えない コレに答えた瞬間自分の論理が破綻しているのが確定してしまうから 自分の間違いを認め、議論を先に、数学の理解をより一歩前に進めるなどという価値観はセタにはない およそ文化と呼べるものからはほど遠い 486 名前：遠い価値観しか持ってない [] [ここ壊れてます] 487 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 21:04:10.45 ID:KLGdiXpZ.net] 曖昧なことやってるから変な人が集まっちゃうんだよ 488 名前：１３２人目の素数さん [2021/12/31(金) 21:24:05.65 ID:7xI8oln4.net] >>467 >１．私の主張ではない。説明です。 何がどう説明されたんですか？ >かつ、それは標準的なOrdinal numberの説明ですね 「＜無限上昇列 ０＜・・・＜ω が存在する」という説明を示して下さい。 コピペは得意なんですよね？ >２．ωは、ノイマンの基数割当（の定義）より従う。 ωが何に従うと？日本語でお願いしますね。 >"＜"とは、二項関係です >1の左は未確定だがね 未確定なら二項関係の定義に当てはまらないからダメじゃんｗ 二項関係の定義を読み直してください。 >自然数Nから有理数Q、そして実数Rを、標準的に全順序づけるものです N,Q,Rが<で全順序集合になることは誰も否定してません。 否定してるのは「<全順序集合のすべての元からなる<列が存在する」というトンデモ主張です。 まず全順序の定義をしっかり読み直して下さい。読まずに妄想してはダメです。 489 名前：１３２人目の素数さん [2021/12/31(金) 21:33:44.39 ID:7xI8oln4.net] >>467 >まず全順序の定義をしっかり読み直して下さい。読まずに妄想してはダメです。 たぶん君には理解できないだろうから、 >「＜無限上昇列 ０＜・・・＜ω が存在する」という説明を示して下さい。 をお願いします。コピペは得意なんですよね？ 490 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 22:04:16.98 ID:te7/gjdr.net] >>467 「無限重シングルトン」の話は ω:={0, 1, 2, 3, ... }でなくて 1:={0}, 2:={1}={{0}}, 3:={2}={{1}}={{{0}}}のように ωも n:={n-1} を用いて定義できる という「セタの主張(妄想)」なんだから > ２．ωは、ノイマンの基数割当（の定義）より従う。 > 　ω+1も多分ノイマンかな（カントールの定義は違ったと思った） 自分でこれを書いている時点で破綻しているでしょ 491 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 22:24:16.91 ID:JcvopfqL.net] みんな気付いていると思うけど ID無し氏が現れると通称セタ氏は消え 通称セタ氏とセタ氏叩き現れると ID無し氏が忽然と姿を消すのは 指摘するまでもないお約束事なんだよねw 492 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 22:53:55.86 ID:dRJR9pek.net] >>469 「集まる」という表現は1〜2人でも使う表現なのかどうか 493 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 22:58:10.77 ID:uZaJ9YzN.net] 積み木ぃー。分かってるか？お前が言ってた「俺は内在的に理解してるよ。」ってな、それ「妄想」ってんだ｡ 積み木ぃー。いい加減に自分が妄想浸りの年月を過ごしているに恥ずかしさと後ろめたさと恐ろしさを覚えろよー｡ IUTが完全に死んでも、万が一成功しても、何もお前の成果や儲け、待遇確保に成らねぇよな｡ 働かず。経営もせず。資産運用もせず。収入も無く。全き無駄な存在であり人権は持つ、日本国のガン細胞の1人｡ 積み木ぃーいつ働くんだよー積み木ぃー｡ 494 名前：１３２人目の素数さん [2021/12/31(金) 23:22:14.56 ID:7xI8oln4.net] >>467 なんでいつも頼んでもいないコピペしまくるのに 肝心の「＜無限上昇列 ０＜・・・＜ω が存在する」はコピペしないんですか？ 検索してもヒットしないからですか？ そりゃそうでしょう。あなたの妄想ですから まず「二項関係なのに二項だけで決まらない」とか言ってる時点でオカシイと思わないと。正常な人間ならオカシイと思いますよ？ 495 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 23:22:27.95 ID:42KgtWK6.net] >>471 引用符の付け方間違っているよ 「まず全順序の定義をしっかり読み直して下さい。読まずに妄想してはダメです。」 は、>>467には書かれていないよ、落ち着けよ >>470 >「＜無限上昇列 ０＜・・・＜ω が存在する」という説明を示して下さい。 お答えします まず定義 Inter-universal geometry と ABC予想 (応援スレ) 60 より https://rio2016.5ch.net/test/read.cgi/math/1633176556/783 「”無限長の降鎖(a_n)n∈N”は松坂和夫氏の「集合・位相入門」ではどう定義されてますか？」 「順序集合Aの元の列(a_n)n∈Nで、 　 496 名前：a_1>a_2>…＞a_n>… 　となるものをAにおける降鎖という」 これが定義 (引用終り) 昇鎖の定義：上記降鎖の不等号>を<に変えて 「順序集合Aの元の列(a_n)n∈Nで、 　a_1<a_2<…＜a_n<… 　となるものをAにおける昇鎖という」 いま、簡単に0∈Nとして a_0<a_1<a_2<…＜a_n<… とする a_0=0,a_1=1,a_2=2,…,a_n=n,… とおく a_0=0<a_1=1<a_2=2<…<a_n=n<… となる これが、無限長の昇鎖であることは、定義より従う これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する a_0=0<a_1=1<a_2=2<…<a_n=n<…<ωとなる 松坂の昇鎖を上昇列と読み替えて ＜無限上昇列 ０＜・・・＜ωを得る https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 任意の自然数よりも大きい最小の超限順序数 ω 順序数に関するフォンノイマンの定義（英語版）を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。 [] [ここ壊れてます] 497 名前：１３２人目の素数さん [2021/12/31(金) 23:36:44.90 ID:7xI8oln4.net] >>477 >これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する 追加できることの説明が無いので何の説明にもなっていません。 何か説明したつもりなんですか？ 498 名前：１３２人目の素数さん [2021/12/31(金) 23:44:10.08 ID:7xI8oln4.net] >>477 >これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する 追加するって列の第何項目に追加するんですか？ 499 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 23:44:23.96 ID:uZaJ9YzN.net] そんな追加の仕方ならωどころか |1/0| さえ追加できらぁ だって数学じゃなくて妄想だもん、不都合事象は現れない 500 名前：１３２人目の素数さん mailto:sage [2021/12/31(金) 23:46:45.70 ID:42KgtWK6.net] >>472 ご苦労様です スレ主です (引用開始) 「無限重シングルトン」の話は ω:={0, 1, 2, 3, ... }でなくて 1:={0}, 2:={1}={{0}}, 3:={2}={{1}}={{{0}}}のように ωも n:={n-1} を用いて定義できる (引用終り) そこは、正確には下記だ つまり、ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成するんだよ Inter-universal geometry と ABC予想 (応援スレ) 62 https://rio2016.5ch.net/test/read.cgi/math/1638933969/265 　an=n{n-1{・・1{0{}01}1・・}n-1}n＝n{n-1{・・1{Φ}1・・}n-1}n（Φの外にn重カッコ） 　　↓ 　aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω（Φの外にω重カッコ） (引用終り) 妄想？ 数学では、「こんなのがあったら良いんじゃね？」という発想から成り立っている概念が多いよ 列記するまでもなく、いろいろ思いつくだろう 発想した概念（の定義）は、 １）他の概念から導ける（証明できる） ２）他の概念から独立（導けない） ３）他の概念と矛盾する の３通り ”３）他の概念と矛盾する”の場合でも、例えば、選択公理と決定性公理のように、 選択公理をやめて、決定性公理を使うような場合とかある 「無限重シングルトン」は、ノイマン基数割当を経由しないと、定義出来ないとは思っているよ でも、上記の１） or ２）と思っている。３）と思う人もいるだろうね どうぞ証明を。私は突っ込み側に回るからｗ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef