[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(18): 2021/12/28(火)23:28 ID:IQKnQwAx(1/14) AAS
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
（参考）
Twitterﾘﾝｸ:math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
外部ﾘﾝｸ:drive.google.com
省8
903(1): 2022/01/09(日)09:08 ID:tBwtbSr8(2/17) AAS
>しかしおまえが構成したイカサマNがペアノの公理を満たすことを証明することは絶対に不可能。
>>801から逃亡し続けているのが何よりの証拠
904(1): 2022/01/09(日)09:09 ID:3TKx2ZTh(4/6) AAS
このスレの異常な連投は天羽優子の特徴
905(2): 2022/01/09(日)09:11 ID:LV2O1tR+(1/17) AAS
>>890-891
どうも、スレ主です
ありがとうございます
なるほど、それ面白いかも
ところで、>>11 Peter Scholze and Jakob Stix, Why abc is still a conjecture. 外部ﾘﾝｸ[pdf]:ncatlab.org Date: August 23, 2018
で、P9
As we are interested in comparing real numbers, and we have seen that various copies of ordered 1-dimensional R-vector spaces arise, it is critical to spell out all identifications of copies of real numbers that are in place.
In particular, in order to say that the abstract Θ-pilot
object encodes the arithmetic degree of the (j-th) concrete Θ-pilot object, we saw that it was
necessary to change the isomorphism R ?= R○・,Θ by the scalar j2 , j = 1, . . . , `> (or their average,
省16
906(2): 2022/01/09(日)09:17 ID:tBwtbSr8(3/17) AAS
>>905
>今年は、真正面から、”Peter Scholze and Jakob Stix, Why abc is still a conjecture”を取り上げて、論破してほしい（直球勝負）と思う今日この頃です
3年以上経て未履行で察し
907(1): 2022/01/09(日)09:45 ID:wzV3oXYZ(1/2) AAS
>>891指摘で重要なのは
> 問題はその自明でない繋がりが論理的に正しいかどうかで、ショルツは論証されてないと言ってるだけの話
ID無し連投魔が25年間毎回思い込みで決め付ける既存の体系とは異なる
技巧的に構築された「自明でない繋がり」について
議論すれば良い
908(1): 2022/01/09(日)09:52 ID:wzV3oXYZ(2/2) AAS
ID無し氏が本スレに転生する以前
2008年までは「未科学」の概念を知らずに「ニセ科学」というオリジナル概念を振り回していた件や
「非線形非平衡統計物理」の未解決問題を、それ以前の「平衡熱力学」と矛盾するから嘘だと言い張り
多数の有能な人々に迷惑をかけたのと全く同じ児戯を
IUTスレでも繰り返している
909: 2022/01/09(日)11:41 ID:tGsuqFrU(1/2) AAS
>>904
受験勉強でノイローゼになりやっと入った山形大学で学生実験で成績Fを取り大学と揉めて退学し引き篭もり状態になり糖尿病も相まって当時の学生実験の担当教員が嫌がらせを行っているという妄想に取り憑かれ匿名掲示板で天羽を連呼し荒らす事を唯一の生き甲斐とする生きる屍となった汲み取り便所に顔を突っ込んでウジ虫を食べている食物連鎖の中でウジ虫より下位の生物である長野の37歳のおじさん
乙
910(1): 2022/01/09(日)11:49 ID:3TKx2ZTh(5/6) AAS
天羽優子の自己紹介文が貼られたから天羽優子確定
911: 2022/01/09(日)12:31 ID:CHYamsvf(1) AAS
a_watcherの足コキ願望は性犯罪レベル
912(1): 2022/01/09(日)12:55 ID:xkXf9ooS(2/8) AAS
>>902
あのよぅ？人のレス出鱈目に読んで勝手にカルト扱いしてるお前こそカルトじゃねぇ？
セタのレスのトンデモぶりが分からない人間なんて此の世に存在しないだろ。何で分からないの、お前？
頭っからカルトと決め付けてねぇでセタのレスを読めや｡
セタをカルト呼ばわりする奴に人に文句を言う前にセタのレスを吟味するのが最低限の筋であり道理なのに何やってんだろ？
自分の頭で判断できずコピペ貼り付けしかできねぇBot化人間かよ？ふざけんのも大概にしとけや｡
913(10): 2022/01/09(日)13:07 ID:LV2O1tR+(2/17) AAS
>>901 >>903
どうも、スレ主です ”数理論理君”かな？
スレ主に恒常的に楯突く人二人、一人はおサル>>7（いまID無しが主だ）で、もう一人が”数理論理君”で、どちらもIUTアンチの旗印が鮮明
>単に自分が正しいと強弁するだけならイカサマ論理（例えば無限回の演算が可能）でどうとでもなる
「無限回の演算が可能」は適切に定義すれば、21世紀の数学ではOKでしょ？
もっと、抽象的には、「無限回の操作が可能」と言い換えても良い
これは、代数系などを考えると、「無限回の操作が可能」を認めた方がすっきりする
例えば、下記の多項式環と形式的冪級数環の存在な
優しいことを難しく考えて、「これぞ数学だぁ〜！」と悦に入る人が居るけれども
適切なレベルで難しく考えることと、逆に簡単に「それ、一言で言えば、こういうことね」と情報圧縮を考えることも重要だろう
省16
914(5): 2022/01/09(日)13:09 ID:LV2O1tR+(3/17) AAS
>>913
つづき
で、>>801より
>無限公理は{}を要素としノイマン構成で用いられる後者関数について閉じた集合(帰納的集合)の存在を主張しています。ZFにおいて自然数全体の集合Nは{}を要素とするあらゆる帰納的集合の共通部分で定義されます。無限公理はこの定義がwell-definedであるための必要条件です。{}を要素とする帰納的集合の存在が保証されていなければNは絵に描いた餅に過ぎませんから。
>ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
あんまりおサルを相手にする気ない。たまにからかうのは、ありだ
さて、ツェルメロが後者関数 suc{a}={a}を考えて、空集合Φ={}から出発して、自然数の集合Nの構成を提唱したことは、歴史の示すところで、おれが今更証明するべきことでもない
事実、下記の記述有るよ。文献[38]からだって。疑問に思うなら、大学の図書館で、[38] Levy (1979)を見ろｗ
(参考)
外部ﾘﾝｸ:en.wikipedia.org
省14
915(5): 2022/01/09(日)13:10 ID:LV2O1tR+(4/17) AAS
>>914
つづき
２）
さて、Zermeloが間違っているとは、全く思わないので、屋上屋だが下記自然数の suc(a) := {a}の項、及びその後のをご参照
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
自然数
形式的な定義
自然数の公理
「ペアノの公理」も参照
省14
916(2): 2022/01/09(日)13:11 ID:LV2O1tR+(5/17) AAS
>>915
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
遺伝的有限集合（ hereditarily finite set）は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。
全ての整礎的な遺伝的有限集合からなる集合を V_ωと書く。
議論
遺伝的有限集合のクラスはフォン・ノイマン宇宙の部分クラスである。これはツェルメロ=フレンケル集合論において無限公理をその否定に置き換えた理論のモデルを成す。したがって無限公理はその他の公理からは証明できない。
V_{n} の濃度は ^{n-1}2（テトレーションを見よ）であるから遺伝的有限集合はちょうど可算無限個ある。
同じことであるが、集合が遺伝的有限であることと、その推移閉包が有限であることは同値である。 V_ω は H_ｱﾚﾌ0 とも書かれる。その意味するところは遺伝的に濃度が ｱﾚﾌ0 未満ということである。
省15
917(1): 2022/01/09(日)13:19 ID:LV2O1tR+(6/17) AAS
>>912
ID:xkXf9ooS氏か
なんか、おサル>>7を擁護するやつがたまにいるんだよねｗ
おサルの>>7
”（スレ55 2chｽﾚ:mathより）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
を、擁護したのは、数理論理君だったなｗｗ
918: 2022/01/09(日)13:36 ID:tGsuqFrU(2/2) AAS
>>910
食物連鎖の意味も知らない童貞乙
919(1): 2022/01/09(日)13:38 ID:xkXf9ooS(3/8) AAS
絶対に正しい主張なら連帯保証人丸ごとの全資産のみならず全財産を命込みで担保にする事を法的有効公正証書を以ての誓約を下に主張できる｡
できない主張ならばデマ（出任せ）の（張ったり）であり、ハッタリもまた嘘である｡
また、ハッタリが結果的に正しかったとしても偶然のマグレ当たりとしてハッタリによる嘘の扱いと成る｡
>>902
人のレスをよく読まず頭っからカルト扱いするコピペを貼り付けるばかりの頭ん中ぁ空っぽコピペ貼り作業員のテメェと違って
俺は連帯保証人丸ごとの全資産のみならぬ全財産を負債能力MAXで法的公正証書型誓約書を下に
セタこそインチキと断言主張できるぜ。お前はどうするんだ？逃げるんかコラ？あぁ？
この>>913-916のゴミ野郎の主張の肩を持つんだろ？え？腹ぁくくれよコラ｡
誰彼構わず見境なくコピペレスを相手の回りにバラ撒いた挙げ句の果てに俺にまで絡んで来たテメェ自身で、やった事のケジメ着けろや｡
誰彼構わず天羽優子とか言うババァ認定して回る迷惑行為をしてのけてるんだから、その落とし前を着けろってんだよ｡
省2
920(1): 2022/01/09(日)13:44 ID:xkXf9ooS(4/8) AAS
>>913-916
おいそこのセタとか言う燃えるゴミと燃えないゴミの無分別結集体､
シングルトンは後続順序数では有り得ないにも関わらずω重シングルトンの存在主張し続けるなら
早くωの前の順序数を言えやコラ。またお前の妄想発明なんか持ち出すなよ、公知の定義や定理を下に論述しろよ｡
お前自身がお前自身の精神衛生的保身感情に騙されて嘘を吐いてしまってるわけではない証拠を早く見せろやコラ｡
921(2): 2022/01/09(日)13:45 ID:3TKx2ZTh(6/6) AAS
このスレで暴れている二セ科学批判力ﾉﾚ卜は
生物板も10年以上荒らし自殺教唆書き込みをし
偶然自殺者が出るとそれをスレ先頭に戦果として貼る
蛮行を続けてきた犯罪者
本スレ及び関連スレで問題が生じたら
刑事事件としてログ開示の上告訴して
その空虚な底辺教員人生に終止符を打出せるのが適切
922(3): 2022/01/09(日)13:57 ID:LV2O1tR+(7/17) AAS
>>920
なんだかなｗ
蕎麦屋のおっさんかい？
数理論理君と区別がつかなくなってきたな
>早くωの前の順序数を言えやコラ。またお前の妄想発明なんか持ち出すなよ、公知の定義や定理を下に論述しろよ｡
トンチンカンな言いがかりが
数理論理君そっくりだが
「絶対に正しい主張なら連帯保証人丸ごとの全資産のみならず全財産を命込みで担保にする事を法的有効公正証書を以ての誓約を下に主張できる」>>919
辺りを見ると、蕎麦屋のおっさんかなと思ったりする
まあ、慌てるなｗ
923: 2022/01/09(日)14:04 ID:xkXf9ooS(5/8) AAS
>>921
生物板なんて知らねぇよ
徳島県迷惑行為防止条例違反者筑波大学数学准教授痴漢解雇放浪者の増田哲也の養父の増田芳雄が
生物学で有名な人間だった事を増田哲也絡みの話で此の板で知ったくらいで生物板なんて一度も立ち入りさえしてねぇや｡
で、何でお前発言責任担保から逃げんの？やっぱりハッタリだったん？また？まーた嘘を吐いたの？あーあ、お前、最低｡
924(1): 2022/01/09(日)14:08 ID:xkXf9ooS(6/8) AAS
>>922
お前その数理論理君とか言う奴と俺を間違えんの何度目だコラ此の節穴野郎
よく読んでりゃ俺だって分かる文体だろ俺のレスは此の大莫迦野郎が
925: 2022/01/09(日)14:23 ID:4qHTdY8V(1) AAS
本当に面白いスレ
926(1): 2022/01/09(日)14:34 ID:sOUZOFWN(1) AAS
>>922
トンチンカンの帝王がなんか言うとるわ
数学板ダントツの能無しを自覚できてないんかね？
927(1): 2022/01/09(日)14:35 ID:tGCmjTH/(1) AAS
>>921
Twitterフォローしてもいい？(o´･ω･`o)
928(2): DiverCity (りんかい線) 2022/01/09(日)15:20 AAS
>>905
>ショルツェ氏は、”which leads to an empty inequality”といい
>望月氏は、IUTを誤読していると主張する
>で、個人的には、本来望月氏側が、ショルツェ氏の筋にそって、
>具体的に「ここが、こう違う」と（逐一、かつ事細かく）指摘すれば良い
>と思うのだが
あなた一人だけでなく、誰でもそう思うよ
>それをせずに、抽象的に「単純化しずぎ」と主張して、
>「∧∨取り違いだ論文」書いたからこれを読め
>（つまりは変化球勝負） だった
省14
929(1): DiverCity (りんかい線) 2022/01/09(日)15:22 AAS
>>907
>既存の体系とは異なる技巧的に構築された
>「自明でない繋がり」について議論すれば良い
なんで他人事なのかな？
930(1): DiverCity (りんかい線) 2022/01/09(日)15:35 AAS
>>913
>「無限回の演算が可能」
>は適切に定義すれば、
>21世紀の数学ではOKでしょ？
どう定義するんだい？
>もっと、抽象的には、
>「無限回の操作が可能」
>と言い換えても良い
何の根拠も示せず、独断？
>これは、代数系などを考えると、
省7
931(1): DiverCity (りんかい線) 2022/01/09(日)15:42 AAS
>>913
>例えば、多項式環と形式的冪級数環の存在な
形式的冪級数環のどこが「無限回操作可能」なんだい？
和？そう思ってるなら全くの誤解
>優しいことを難しく考えて、
誤 優しい
正 易しい
漢字も正しく書けないのかい？
>「これぞ数学だぁ〜！」
>と悦に入る人が居るけれども
省14
932(1): DiverCity (りんかい線) 2022/01/09(日)15:48 AAS
>>913
> >>801 ID:e8SHhrC8氏はおサルでしょ？
誰も彼もがサルに見える「猜疑病」に罹ったか
>数学科落ちこぼれで、場末の５ｃｈ数学板で「数学証明ごっこ」したがるやつ
大学にも入れず、場末の５ｃｈ数学板で「数学者ごっこ」したがる人が
どの口でそのセリフをいう？
>高校レベルの数学記号（例えば和のΣとか、集合の和 ∪も同じ）さえ
>まともに書けないところで、
>まともに証明書いたり、読んだりするのは、止めておけ
数式がコピペできないくらいでイラついてる素人が
省4
933: 2022/01/09(日)15:50 ID:rwPmCofR(1/3) AAS
長野県の成績F取って大学中退したおっさんをイジメないで！
934: DiverCity (りんかい線) 2022/01/09(日)15:55 AAS
>>914
>さて、ツェルメロが後者関数 suc{a}={a}を考えて、
>空集合Φ={}から出発して、自然数の集合Nの構成を提唱したことは、
>歴史の示すところで、おれが今更証明するべきことでもない
ツェルメロが提唱したのは無限公理ね
「後者関数の無限回適用で自然数の集合Nが構成できる」
なんて嘘を主張したと思ってるなら頭おかしいから
精神科で診てもらうべき
>事実、下記の記述有るよ。文献[38]からだって。
>疑問に思うなら、大学の図書館で、[38] Levy (1979)を見ろｗ
省4
935: DiverCity (りんかい線) 2022/01/09(日)15:59 AAS
>>915
>要するに、Zermelo ordinalsで有限のordinals つまり 自然数∀ｎ は作れて
「自然数∀ｎ 」は「任意の自然数」の意味かい？変な言い方だね
>自然数の集合Nも作れるが、
個々の自然数が作れるだけでは、自然数の集合Nが存在するとはいえない
個々の順序数が作れても、順序数全体の集合が存在するとはいえないだろ？
実際存在したら矛盾するから ブラリ＝フォルティのパラドックス 知らないの？
>このままではシングルトンのωは出来ていないぞ
ああ、できるわけないけどね
936: DiverCity (りんかい線) 2022/01/09(日)16:02 AAS
>>917
「＜ω」と書いたら、ωの直前の項が存在するという意味
だとわからないような素人には数学は無理だから
数学も数学板への書き込みも諦めて
地元大阪で昭和のクルマでも乗り回して
粋がってればいいんじゃない？
工業高校中退のヤンキー君
937: DiverCity (りんかい線) 2022/01/09(日)16:07 AAS
>>922
>まあ、慌てるなｗ
反論できない時点で自分の誤りに気付くのが正常な一般人
根拠もなく「自分は間違ってない ただ反論が思いつかないだけ」
と思うのが異常な変態
SET Aが
「無能な癖に（無能だからこそ）全能ぶる誇大妄想狂の変態」
であることは10年前から分かっていた
ちっとも人格障害が治らないね 死ぬまでこのままか
938: DiverCity (りんかい線) 2022/01/09(日)16:09 AAS
>>927
a watcherさん、鍵かけたみたいですね
939(1): 2022/01/09(日)16:11 ID:tBwtbSr8(4/17) AAS
>>914
>事実、下記の記述有るよ。文献[38]からだって。疑問に思うなら、大学の図書館で、[38] Levy (1979)を見ろｗ
しかしω重シングルトンなるものは世界中どこの図書館で探しても載ってない。
そりゃそうです。アホの妄想が載ってる訳無いですからね。
940(1): DiverCity (りんかい線) 2022/01/09(日)16:17 AAS
>>926
>トンチンカンの帝王がなんか言うとるわ
そういえば、誰だかSET A氏をトンチン・カーンと呼んでましたな
>数学板ダントツの能無しを自覚できてないんかね？
まあ、無限回と任意有限回の違いが判らない時点で
数学の初歩でつまづいてますね
それじゃ大学一年生が習う実数の公理は理解できないから
確実に落ちこぼれる
ま、Fランク大学にも入れない人にはそもそも関係ないけど
（とあるFランク大学の数学の講義、中学レベルらしい）
省1
941: DiverCity (りんかい線) 2022/01/09(日)16:25 AAS
とあるFランク大学の数学の講義内容
第１回 四則演算
第２回 小数・分数
第３回 面積
第４回 比・割合
第５回 自然数の和の問題
第６回 倍数・約数の問題
第７回 方程式の問題
第８回 不等式の問題
第９回 食塩水の濃度の問題
省8
942(8): 2022/01/09(日)17:04 ID:LV2O1tR+(8/17) AAS
>>928
>>今年は、真正面から、
>>”Peter Scholze and Jakob Stix, Why abc is still a conjecture”
>>を取り上げて、論破してほしい（直球勝負）
>無理 できるなら2018年にもうやってる
IUT応援団長ではなく、一人の応援団員として申し上げるが
無理ってことじゃなく、今までは 戦略的な優先順位が低かったってことでしょ？
１．2018年夏頃のSSとの議論のころ、望月氏は、SS文書に反論したことになっている
その反論の文書そのものは公開されていない（多分 外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp [Cmt2018-08] Comments on [SS2018-08] by Shinichi Mochizuki であり
最終版が、外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp 数理研で行なわれたIUTeichに関する議論を纏めた報告書 [Rpt2018] Report by Shinichi Mochizuki (with the cooperation of Yuichiro Hoshi)
省12
943: 2022/01/09(日)17:05 ID:xkXf9ooS(7/8) AAS
>>928-932
いけー猿踊り一石の代行ー！やれー！トドメ刺せー！
944: 2022/01/09(日)17:07 ID:LV2O1tR+(9/17) AAS
>>942 誤変換訂正
２．上記１項は、あくまで、ショルツェ氏 VS 望月氏の指摘なやり取りの位置づけで
↓
２．上記１項は、あくまで、ショルツェ氏 VS 望月氏の私的なやり取りの位置づけで
945: 2022/01/09(日)17:14 ID:LV2O1tR+(10/17) AAS
>>924
>お前その数理論理君とか言う奴と俺を間違えんの何度目だコラ此の節穴野郎
>よく読んでりゃ俺だって分かる文体だろ俺のレスは此の大莫迦野郎が
すまんかった、蕎麦屋のおっさんか！
じゃ、訂正な
>>913訂正
スレ主に恒常的に楯突く人二人、一人はおサル>>7（いまID無しが主だ）で、もう一人が”数理論理君”で、どちらもIUTアンチの旗印が鮮明
↓
スレ主に恒常的に楯突く人三人、一人はおサル>>7（いまID無しが主だ）で、もう一人が”数理論理君”で、どちらもIUTアンチの旗印が鮮明。もう一人 蕎麦屋のおっさん、ID:xkXf9ooS氏
”数理論理君”にも謝るよ、人違いして ごめん
946: 2022/01/09(日)17:15 ID:LV2O1tR+(11/17) AAS
なお、次スレ下記な
ここを使い切ったら、下記へ
Inter-universal geometry と ABC予想 (応援スレ) 64
2chｽﾚ:math
947(4): 2022/01/09(日)17:32 ID:LV2O1tR+(12/17) AAS
>>939
>しかしω重シングルトンなるものは世界中どこの図書館で探しても載ってない。
>そりゃそうです。アホの妄想が載ってる訳無いですからね。
ID:tBwtbSr8 氏が、数理論理君かい？ｗ
それ、証明ないよｗ
ω重シングルトンの議論は、思うに1900年の初めのころで、
ツェルメロがシングルトンによる自然数の集合Nを提唱して
その後、ZFないしZFCの最終形になったのが、1927か1928年頃と見ているが
そのころの文献は、ネット検索はヒットしないと思われるし
かつ、日本の図書館に網羅されているとも思えない
省9
948: 2022/01/09(日)17:52 ID:tBwtbSr8(5/17) AAS
>>913
>おれは前にも書いたけど、５ｃｈ数学板は高校レベルの数学記号（例えば和のΣとか、集合の和 ∪も同じ）さえまともに書けないところでまともに証明書いたり、読んだりするのは、止めておけってのが主張でね
>>808 〜 >>810を見た後でもそんな言い訳するの？
949: 2022/01/09(日)17:55 ID:tBwtbSr8(6/17) AAS
>>947
>それ、証明ないよｗ
載ってないことの証明は悪魔の証明。
君が載ってることを一例でもよいから示せばよいだけ。コピペは得意なんですよね？
950: 2022/01/09(日)18:02 ID:tBwtbSr8(7/17) AAS
>>947
>で、「あったら、何かに抵触して、矛盾を生じる」を、
>まずZFC公理系で良いけど、証明してください
>>794
もう忘れたのか？痴呆症？
951: 2022/01/09(日)18:21 ID:tBwtbSr8(8/17) AAS
>>913
何回やっても決して到達しない回数を無限回と呼ぶと教えてあげたのにもう忘れたの？痴呆症？
無限回の操作なるものが無くても無限集合の構成は可能ですよ？
例えば偶数全体の集合は{2n|n∈N}で構成されます。Nの構成は>>801。
そもそも無限回の操作なるものを定義できるなら無限公理は不要ですね〜
952: DiverCity (りんかい線) 2022/01/09(日)18:30 AAS
>>942
>IUT応援団長ではなく、
>一人の応援団員として申し上げるが
応援団長から失脚したか
では粛清だな
R.I.P.
953: DiverCity (りんかい線) 2022/01/09(日)18:32 AAS
>>942
>>>今年は、真正面から、
>>>”Peter Scholze and Jakob Stix, Why abc is still a conjecture”
>>>を取り上げて、論破してほしい（直球勝負）
>>無理 できるなら2018年にもうやってる
>無理ってことじゃなく、
無理
>今までは 戦略的な優先順位が低かったってことでしょ？
Scholzeへの反論は最高の優先順位
反論を諦めた時点で望月新一はScholzeに負けた
954: DiverCity (りんかい線) 2022/01/09(日)18:37 AAS
>>942
>１．2018年夏頃のSSとの議論のころ、
>望月氏は、SS文書に反論したことになっている
愛国狂徒の妄想
>その反論の文書そのものは公開されていない
公開しようがない 存在しないのだから
この後のリンクは反論にもなんにもなってない
数学としては読むに値しないごみ文章
だからここでは掲載しない
日本人としてこれほど恥ずかしいものはない
955: DiverCity (りんかい線) 2022/01/09(日)18:40 AAS
>>942
>２．上記１は、あくまで、ショルツェ氏 VS 望月氏の指摘なやり取りの位置づけで
>望月氏の意識としては、
>「おれは反論したので、ボールは向こうにある。反論ないから、判定勝ちだ」
>くらいの意識だったわけだ
誰も反論として有効だと認めてないから望月新一の惨敗
RIMSの連中が組織防衛のために望月新一を庇っているだけ
柏原も森も晩節を汚した 無様なもんだ
956: 2022/01/09(日)18:41 ID:tBwtbSr8(9/17) AAS
>>913
>外部ﾘﾝｸ:ja.wikipedia.org
>多項式環 は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。
>外部ﾘﾝｸ:ja.wikipedia.org
>形式的冪級数 とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。例えば、（X を不定元として）
>Σ{n=0}〜∞ X^{n}=1+X+X^{2}+X^{3}+・・・ +X^{n}+・・・
>は（多項式ではない）冪級数である。
>形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
どこにも無限回の操作なるものは書かれてませんが？
一体なにを主張した気でいるの？
957: DiverCity (りんかい線) 2022/01/09(日)18:43 AAS
>>942
>３．ところが、ショルツェ氏もフィールズ賞受賞で忙しくなり、
> かつ望月氏のけんか腰の態度に辟易したのか、
>「すかしっ屁」作戦ｗ（＝華麗にスルーします）で、
>2021年まで来たんだ
Scholzeはいいたいことは全て言った
望月新一は一つもまともな反論ができなかった
Scholzeとしてはさらにいうことなど何もない
「すかしっ屁」をこいたのは望月新一
まあ、何の意味もなかったが
958: DiverCity (りんかい線) 2022/01/09(日)18:46 AAS
>>942
>４．で、突然 2021年の前半に、zbmath レビューの奇襲攻撃！ｗｗ
>これに対して、望月氏はこのころは4回のIUT国際会議の前だったから、
>取りあえず放置したのでしょうね
奇襲でもなんでもない 確認のため2018年の主張を繰り返した
もちろん望月新一は何も反論できなかった
2018年にできなかったものが2021年にできるわけもない
959(7): 2022/01/09(日)18:46 ID:LV2O1tR+(13/17) AAS
>>940
>まあ、無限回と任意有限回の違いが判らない時点で
>数学の初歩でつまづいてますね
逆じゃね？ｗ
下記 P4
「集合の宇宙
Fact （Vの構造（Von Neumann階層））
V は, 空集合から始めて, その冪集合を取る操作を超限回取ることで構成.される」
”集合論の宇宙 Universe と Multiverse 薄葉 季郎 早稲田 2017”より
これを、どう解釈しますか？ｗ
省19
960: DiverCity (りんかい線) 2022/01/09(日)18:50 AAS
>>942
>５．で、さらにBuzzardのICM22講演原稿 が、昨年末に公開されたし、
>今年はキチンとzbmath レビューへの反論として、
>SS文書への反論も入れて、ガチンコ勝負してほしい
平応援団員に降格された負け犬が
いくら「本土決戦！！！」と
ワンワンキャンキャン吠えても無駄
日本はベトナムではない
京都にはヴォー・グエン・ザップはいない
もう諦めて、数学板から去れ
省1
961: 2022/01/09(日)18:51 ID:tBwtbSr8(10/17) AAS
>>915
なんで無駄なコピペは連投するのに肝心のω重シングルトンなるものはコピペしないの？
962: 2022/01/09(日)19:06 ID:qVONkoh0(1) AAS
>>947
> 新たに「ω重シングルトン」を定義すれば良い
> で、「あったら、何かに抵触して、矛盾を生じる」を、
> まずZFC公理系で良いけど、証明してください
> それが、おれの主張だよｗ
ω{ … 0{}0 … }ωのカッコ対の個数を順序数で表そうとしてもωにはならないから
セタは矛盾を生じないように「ω重シングルトン」を定義できていないだろ
963(2): 2022/01/09(日)19:12 ID:tBwtbSr8(11/17) AAS
>>959
>これを、どう解釈しますか？ｗ
どうもこうもαが極限順序数のときVαは和集合で定義されてますけど？
どこにも極限順序数回の操作なんて書かれてませんけど？
964(6): 2022/01/09(日)19:16 ID:LV2O1tR+(14/17) AAS
>>963
＞どこにも極限順序数回の操作なんて書かれてませんけど？
つーＷ
（再録 >>959より）
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
集合論の宇宙 Universe と Multiverse 薄葉 季郎 早稲田 2017
2017/03/24 ?
P4
集合の宇宙
Fact （Vの構造（Von Neumann階層））
省2
965: 2022/01/09(日)19:18 ID:tBwtbSr8(12/17) AAS
>>959
>これを、どう解釈しますか？ｗ
ああ、なるほど
"超限回"、"操作"で検索してヒットしたから無限回の操作が可能と誤解したんですね？
引用元を一読すればそれが妄想であることに気づけますよ？
読まずにコピペはダメと何度言われてますか？
966: 2022/01/09(日)19:19 ID:tBwtbSr8(13/17) AAS
>>964
ちょｗ
文字も読めなくなったの？痴呆症進んでますよ？
967: DiverCity (りんかい線) 2022/01/09(日)19:26 AAS
>>947
>ω重シングルトンなんて、「盲腸みたいなもの」で、
>あったから特に役立つわけでもなし
>無いからといって、不便でもないしだろう
そう思うなら、諦めな
>但し、「あったら、何かに抵触して、矛盾を生じる」ならば、
>その（矛盾を生じる）公理系内では存在しえない
正則性公理に反するものは存在しないよ
>あと、その公理系の他の公理系から導けないならば、
>独立命題として 新たに「ω重シングルトン」を定義すれば良い
省5
968(1): 2022/01/09(日)19:31 ID:tBwtbSr8(14/17) AAS
>>964
引用開始
1.V_0={}
2.αが順序数の時、V_αが定義されているとして
V_(α+1)=V_αの冪集合P(V_α)
3.αが極限順序数の時、V_α=∪[β<α]V_β
4.Vは∪[α]V_αである。
引用終了
はい、どこにも「無限回操作する」なんて書かれてません。
実際、αが極限順序数の時V_αは上記の通り和集合で定義されてます。
省1
969: DiverCity (りんかい線) 2022/01/09(日)19:38 AAS
>>959
>集合の宇宙
> Fact （Vの構造（Von Neumann階層））
> V は, 空集合から始めて, その冪集合を取る操作を超限回取ることで構成される
いつもいつも思うんだけど
どうして肝心のところの前で引用止めちゃうの？
数式読めないの？
ほら！肝心なところだけ引用してあげたよ
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
１．V(0)={}
省13
970: DiverCity (りんかい線) 2022/01/09(日)19:42 AAS
>>963
>αが極限順序数のときVαは和集合で定義されてますけど？
>どこにも極限順序数回の操作なんて書かれてませんけど？
ナニワの工業高校中退のヤンキー素人 SET A君は
数式が全く読めない数式盲みたい
３．αが極限順序数の時、V(α)=∪(β<α)V(β)
V(α)=∪(β<α)V(β) が全く読めないみたいだけど
右辺は、αより小さい全てのβについてのV(β)の和集合 という意味だよ
これでわかったね 冪集合じゃないってことが
はい、ナニワの中卒ヤンキー SET Aの完敗
省1
971: DiverCity (りんかい線) 2022/01/09(日)19:44 AAS
>>964
つＷWWWWWW
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
１．V(0)={}
２．αが順序数のとき、V(α)が定義されてるとして
V(α+1)=P(V(α))（※P(X)は、Xの冪集合）
３．αが極限順序数の時、V(α)=∪(β<α)V(β)
４．V=∪(α)V(α)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
３．αが極限順序数の時、V(α)=∪(β<α)V(β)
省4
972: 2022/01/09(日)19:51 ID:rwPmCofR(2/3) AAS
宇宙皇帝の指令により山形大学の学生実験で成績Fを取り大学を攻撃して退学となり第一の任務を果たし第二の任務として糖尿病を操り学生実験の担当教員が嫌がらせを行っているという強大な妄想(パワー)を手に入れ匿名掲示板で天羽を連呼し日々スレ破壊工作を行っている長野県在住の30代の算数できないおじさんの最終目的は芦田愛菜ちゃんとデートする事である
973: DiverCity (りんかい線) 2022/01/09(日)19:51 AAS
V(ω)=∪(ｎ<ω)V(ｎ)
任意有限回だと薄葉季路氏が保証してくれましたね
ナニワの中卒ヤンキー SET A 毎度恒例の大惨敗ｗｗｗｗｗｗｗ
974(2): DiverCity (りんかい線) 2022/01/09(日)19:54 AAS
>最終目的は芦田愛菜ちゃんとデートする事
私の最終目標は
「久保史緒里ｃと乃木坂の将来について討論する事」
ですが何か？
975(3): 2022/01/09(日)20:03 ID:LV2O1tR+(15/17) AAS
>>968
”>>964
引用開始
1.V_0={}
2.αが順序数の時、V_αが定義されているとして
V_(α+1)=V_αの冪集合P(V_α)
3.αが極限順序数の時、V_α=∪[β<α]V_β
4.Vは∪[α]V_αである。
引用終了
はい、どこにも「無限回操作する」なんて書かれてません。”
省5
976: 2022/01/09(日)20:04 ID:tBwtbSr8(15/17) AAS
>>964
集合論の宇宙 Universe と Multiverse 薄葉 季郎 早稲田 2017に
「超限回の操作」と記してあったからと言って額面通りに取らないで下さい。
実際、その中身を見れば帰納的定義が書かれているだけであることが分かります。
帰納的定義は例えば無限公理でも用いられています。
あなたは集合xのすべての元を書き下せなければxは存在しないと思いますか？
xの元が帰納的に定義されているだけでは不十分と思いますか？
もしそう思うならすべての自然数を書き下して下さい。できなければＮはあなたにとって存在しません。
977: 2022/01/09(日)20:06 ID:rwPmCofR(3/3) AAS
>>974
お見それしやした
天羽連呼野郎と違いユーモアがある
978: 2022/01/09(日)20:08 ID:tBwtbSr8(16/17) AAS
>>975
薄葉氏に「あなたは超限回の操作を行ったんですか？」と問い合わせては？
もし否定されたなら「嘘書いてんじゃねーよ」と文句言ってやりましょう。
979(1): 2022/01/09(日)20:36 ID:xkXf9ooS(8/8) AAS
>>974
ん？猿踊り一石代行、『数学』ならぬ『すぅ学』は卒業したのか？
980: 2022/01/09(日)20:37 ID:tBwtbSr8(17/17) AAS
>>975
あなたには帰納的定義の有用性が理解できないようですね。
数学的帰納法が成立するのは大元を辿ればNが帰納的に定義される帰納的集合を用いて定義されているからです。
そして数学的帰納法が適用できれば命題P(n)が任意の自然数nで真であることを証明可能です。
これ有用だと思いませんか？
逆に数学的帰納法を用いずにこんな証明が可能と思うならその証明法を挙げてもらえますか？
まさかあらゆる自然数について証明すればいいなんて言わないですよね？
981: DiverCity (りんかい線) 2022/01/09(日)20:59 AAS
>>979
彼女は今「休養中」だから邪魔しちゃ悪い
982(8): 2022/01/09(日)23:51 ID:LV2O1tR+(16/17) AAS
>>975 補足
”>>964
引用開始
1.V_0={}
2.αが順序数の時、V_αが定義されているとして
V_(α+1)=V_αの冪集合P(V_α)
3.αが極限順序数の時、V_α=∪[β<α]V_β
4.Vは∪[α]V_αである。
引用終了
１．繰り返すが、上記1〜4の操作の回数を、各1回とカウントして、
省21
983(1): 2022/01/09(日)23:51 ID:LV2O1tR+(17/17) AAS
>>982
つづき
外部ﾘﾝｸ:ja.wikipedia.org
無限公理
定義
ZF公理系における公式な定義は次の通りである。
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
∃A(Φ∈ A∧∀x∈ A(x∪{x}∈ A))
(引用終り)
以上
984: 2022/01/10(月)00:04 ID:dE4kpzpH(1) AAS
ノイマンって天才だねって言いたいだけ
もちろんノイマンの偉業の意味なんか一つも理解できていない
“無限シングルトン”なるアホ〜な話を妄想の中で膨らまして「こんな難しい話の文章の事議論してるオレカッチョエ〜」と思ってる小学生の思考
985: 2022/01/10(月)01:05 ID:NpIRFDiP(1) AAS
>>982
でもω重シングルトンなるものが存在する何の根拠にもなってないよ
ω重シングルトンなるものを{x}と書いたとき、xに最外カッコが無いからxは非集合、よって{x}も非集合。
ざんねーん
986: DiverCity (りんかい線) 2022/01/10(月)05:51 AAS
>>982
>１．繰り返すが、上記1〜4の操作の回数を、各1回とカウントして、
> 「V は, 空集合から始めて, その冪集合を取る操作を
> 超限回取ることで構成される」で、意味通る
通らない
2は冪集合をとる操作だが、
3、4は和をとる操作であって、冪集合をとる操作ではない
987: 2022/01/10(月)06:28 ID:KC/ZM0+6(1) AAS
>>982-983
おぉそこのバカ
それのどこに『ωが後続順序数じゃなくても集合やシングルトンにせしめる公理一連』が有るんだ？
皆からそれを示せって言われてんのに、どこにもねぇじゃねぇかよ此の知ったか語りしてぇだけの承認欲求野郎が｡
何だ、やっぱり『俺流選択公理』導入か？相変わらずテメェの主張は
テメェの死んでる理屈を『俺流選択公理』みたいな魔法やドラえもん科学で誤魔化してばかりだな｡
死人と変わんねぇなぁお前の価値生産は。にも関わらずゴミは生む。ゾンビだゾンビ｡
やっぱりお前は人権以外に存在意義がねぇじゃねぇか。出鱈目ばかり言ってんじゃねぇよ此の夢見る夢子ちゃん男が｡
988: DiverCity (りんかい線) 2022/01/10(月)06:52 AAS
>>982
>２．これは、「集合の宇宙 Fact （Vの構造（Von Neumann階層））」とあるけど
> ノイマン宇宙が出来て、振り返ってみると 順序数αの階層と見ることが出来る
>という視点だな
わかった風なこといってるけど実は全然中身ゼロで
わかってないの明らかって感じの文章だな
さて、ノイマン型の順序数Oを定義しよう
1.O_0={}
2.O_(α+1)=O_α∪{O_α}
3.αが極限順序数の時、O_α=∪[β<α]O_β
省4
989: DiverCity (りんかい線) 2022/01/10(月)07:01 AAS
>>982
>３．一方で、ノイマン構成を振り返ってみると、
> 後者関数 suc(a)＝a∪{a}は、ちょうど前者集合aに{a}を加える形になっていて
> そして、極限順序数ωの時、上記3項同様に、ω=∪[β<ω]a_β と出来て
>（ここ”a_β”の定義は、V_βの記号と同様と思ってくれ）
> 上記1〜3項と類似で
> 薄葉氏の表現を借りれば
>「ωは, 空集合から始めて,
> 有限後者 suc(a)＝a∪{a}を作る操作を
> 超限回取ることで構成される
省16
990: DiverCity (りんかい線) 2022/01/10(月)07:06 AAS
>>982
>ノイマンって、ほんと天才だよね
SET Aって、ホント🐎🦌だよね
ツェルメロ構成だってまったく同様にやればいいのに
1.Z_0={}
2.Z_(α+1)=｛Z_α}
3.αが極限順序数の時、Z_α=∪[β<α]Z_β
4.Zは∪[α]Z_αである。
３．と４．の∪が集合における「極限」の取り方だって
瞬時に気づけない時点で、こいつにゃ数学無理だなってわかる
省3
991: 2022/01/10(月)07:39 ID:B2wbXwmJ(1) AAS
天羽の自演連投はどのキャラも同じ事を言うから読む価値無し
992(4): 2022/01/10(月)08:08 ID:MGTx95Re(1/2) AAS
>>982 補足の補足
１．用語「宇宙」Universe について
薄葉氏 「集合論の宇宙 Universe と Multiverse」 外部ﾘﾝｸ[pdf]:www.mathsoc.jp >>959
では、「集合の宇宙
Fact （Vの構造（Von Neumann階層））
V は, 空集合から始めて, その冪集合を取る操作を超限回取ることで構成.される」
としている。明らかに、Von Neumann階層 Vα の上界の意味で使っている
もっと言えば、ZFCの集合全てが入った入れ物としての「宇宙」Universeという位置づけだ
２．一方、望月IUTを見ると、その本質は、楕円曲線 Frey-Hellegouarch curve y2 = x(x - a)(x + b) （ 外部ﾘﾝｸ[pdf]:ncatlab.org より）
を、圏論化して、楕円曲線の高さの評価式（不等式）を得ようというもの
省11
993: DiverCity (りんかい線) 2022/01/10(月)08:17 AAS
>>992
>薄葉氏 「集合論の宇宙 Universe と Multiverse」
>外部ﾘﾝｸ[pdf]:www.mathsoc.jp
>では、
>「集合の宇宙
> Fact （Vの構造（Von Neumann階層））
> V は, 空集合から始めて, その冪集合を取る操作を超限回取ることで構成される」
> としている。
だから、なんでそこで止めるの？🐎🦌？
なんでここ、一回も引用せんの？🐎🦌？
省19
994: DiverCity (りんかい線) 2022/01/10(月)08:27 AAS
>>992
>２．一方、望月IUTを見ると、その本質は、
> 楕円曲線 Frey-Hellegouarch curve y2 = x(x - a)(x + b)
> を、圏論化して、楕円曲線の高さの評価式（不等式）を得ようというもの
それモーデルの定理からの一貫した思想であって
IUT独自のものでもなんでもないやん 🐎🦌？
> 私見だが、望月IUTは
> 薄葉氏の意味での 用語「宇宙」Universe を
> 本質的使った理論とはとても思えない
> （多分集合論の中に収まるのでは）
省23
995: DiverCity (りんかい線) 2022/01/10(月)09:02 AAS
>>992
> ノイマン構成で、
> 後者 suc(a)＝a∪{a}は、aを有限順序数として、
> 空集合からの構成で
> suc(n)＝n∪{n}＝∪ a=0〜a<n+1 an ＝{0,1,2.・・,n}
> (ここに、an=suc(an-1), n∈N)
> と書ける
suc(n)＝n∪{n}＝∪(m<=n){m}＝∪(m<n+1){m} な
> 一方、ω=∪[β<ω]a_β を書き直すと、
> ω=∪ a=0〜a<ω suc(a)
省15
996: DiverCity (りんかい線) 2022/01/10(月)09:05 AAS
まとめ
ノイマンの宇宙
1.V_0={}
2.V_(α+1)=V_αの冪集合P(V_α)
3.αが極限順序数の時、V_α=∪[β<α]V_β
4.Vは∪[α]V_αである。
ノイマンの順序数
1.N_0={}
2.N_(α+1)=N_α∪{N_α}
3.αが極限順序数の時、N_α=∪[β<α]N_β
省6
997(1): DiverCity (りんかい線) 2022/01/10(月)09:16 AAS
>>992
もしかして、SET Aが
「P(V[n])⊂P(V[n+1])
Ｎ[ｎ]⊂Ｎ[ｎ＋１]
だけど
Ｚ[n]⊄Z[ｎ＋１］
じゃないから残念！」
と端的に本質だけ言い切れば
「お、こいつ、デキるじゃん！」
といわれたんだが、ヘタクソな文章でゴタゴタ書いたから
省2
998: DiverCity (りんかい線) 2022/01/10(月)09:17 AAS
>>997 修正
もし、SET Aが
「P(V[n])⊂P(V[n+1])
Ｎ[ｎ]⊂Ｎ[ｎ＋１]
だけど
Ｚ[n]⊂Z[ｎ＋１］
じゃないから残念！」
と端的に本質だけ言い切れば
「お、こいつ、デキるじゃん！」
といわれたんだが、ヘタクソな文章でゴタゴタ書いたから
省2
999: DiverCity (りんかい線) 2022/01/10(月)11:13 AAS
まとめ
・V[ω]=P(x) となるような集合xは存在しない
・N[ω]=x∪{x} となるような集合xも存在しない
・Z[ω]={x} となるような集合xなど存在しない
1000: 2022/01/10(月)12:57 ID:MGTx95Re(2/2) AAS
次スレへ行くよ
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 12日 13時間 29分 1秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.272s*