[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
295: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:09 ID:BTmyP9va(1/46) AAS
2chｽﾚ:math
IUTを守る会 会長は、まだIUTの宇宙が
グロタンディク宇宙だと認められないらしい
「グロタンディク宇宙が２つあったらいけない」
という嘘に固執してる馬鹿ｗ
「集合論の通常実行されるすべての操作を内部にもつ集合」
は唯一だといつ誰がどこで言い切った
省1
296: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:11 ID:BTmyP9va(2/46) AAS
>>275
孤児？誰が？
私じゃないな
両親も健在です・・・母親は耄碌してますが
297: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:16 ID:BTmyP9va(3/46) AAS
ある日のあるID「私は孤児」
論理狼 「弟がいる 両親も健在」
結論
「ある日のあるIDと論理狼は別人」
うむ、無矛盾ｗ
298: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:33 ID:BTmyP9va(4/46) AAS
2chｽﾚ:math
IUTを守る会 会長の今の心境
「望月の論文を読みながら絶叫」
”おれのグロタンディク宇宙が、二つあるわけなぁぁぁぁぁい！！！”
ほんとこいつどこまで馬鹿野郎なの？
「箱入り無数目」といい今回の「グロタンディク宇宙」といい
素人のナイーブな直感を無条件に絶対の真理と思い込むとかｗｗｗ
299: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:37 ID:BTmyP9va(5/46) AAS
>>294
＞☆ﾓｯﾁｬﾏ☆
望月のストーカー現る・・・
300: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:44 ID:BTmyP9va(6/46) AAS
2chｽﾚ:math
ま、Mの
「V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V」
とかいうのは忘れていい
どうせ、使ってないんだろ？
別に宇宙が無数にあるのは構わんのだが
各宇宙が上記の関係を満たしていなくてはならない理由がない
省1
302(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)08:54 ID:BTmyP9va(7/46) AAS
妹はおらんな
50代
ギャンブル？風俗？したことないよ
そんなことしてたら貯金がたまらないｗ
サラ金？借りたことない
貯金があるのになんで金借りる必要あるの？
結婚歴はない 子供もいない
省4
304(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)09:05 ID:BTmyP9va(8/46) AAS
>>303
「☆ﾓｯﾁｬﾏ☆命」の方へ
今回のIUT論文で
「証明に大穴がある論文を、編集委員長権限で強行アクセプトさせた」
疑惑がもたれていますが、それでもいいんですか？
つまり「大天才」というのは偽りの可能性があるってことですが
まあ、それ以前の業績は認めたとしても
省2
312(3): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)10:19 ID:BTmyP9va(9/46) AAS
2chｽﾚ:math
>Note that this means, in particular, that there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>ー where n ranges over the natural numbers.
ヤベェ・・・IUT考案者 望月が
IUTを守る会 会長 セタ こと ◆e.a0E5TtKE と同じ
初歩的な誤り犯してることを発見しちまった
省9
313: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)10:27 ID:BTmyP9va(10/46) AAS
2chｽﾚ:math
＞何故かZFC公理系の公理が9個であるという記述は修正していないし、
＞ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
上記以上に>>312の誤りは酷いと思うが・・・
ま、最終的にはＶを除けば 無限上昇列はできるけどね
しかし、そこ、実はどうでもいいんだろ？
(P.S.)
省5
316(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)10:47 ID:BTmyP9va(11/46) AAS
>>314
＞証明ごと日本数学会事務局に送ったんだけど。
意味ないよ
数学会事務局には数学分かる人いないから
君の手紙を数学者に転送することもしない
まあ、君がもし数学者に直接手紙を書いても読まないだろうな
なんで素人の書いた自己流の嘘「証明」を読んで
省2
330(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:04 ID:BTmyP9va(12/46) AAS
たててやれよ BBA＝G8hF3Q2u
おめぇ数学できねぇんだから
まさか、おめぇもスレ立てれねぇの？
おめぇ・・・絵文字ばっかの💩カキコしてっから
荒らしBBAに認定されるんだよ
数学板やめな おめぇみてぇな💩BBAの来るとこじゃねぇから
334(3): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:09 ID:BTmyP9va(13/46) AAS
メンドクサイので1lEWVa2s隔離スレ上げてやった
2chｽﾚ:math
おめぇ梅田悠祐っつうのか
ま、素人が名前だしたって誰も関心もたねぇけどな
クスリ・・・飲んでるか？
338(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:16 ID:BTmyP9va(14/46) AAS
>>331
会長 たまらず書き込みｗｗｗｗｗｗｗ
＞<Zermelo構成>の多重シングルトンと同じ話だし
だろ？だからセタ会長 あんたが間違ってるｗ
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
省5
341(2): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:19 ID:BTmyP9va(15/46) AAS
そうか・・・４回も入院したのか
そりゃ大変だな
数学・・・好きか？
344(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:21 ID:BTmyP9va(16/46) AAS
隔離されたのか・・・大変だったな
おめぇの証明とやらを認めるわけにはいかねぇが
おめぇのことは認めてやっから な
345(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:22 ID:BTmyP9va(17/46) AAS
>>342
＞狼中年さんはどんなコトされてらしたんでしょうね...
いろいろ・・・(￣ー￣)ﾆﾔﾘ
349: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:24 ID:BTmyP9va(18/46) AAS
ま、💩BBAが否定派スレ（別名：変態収容所ｗ）を毎度立てるっていうんなら
おめぇがここにいるのを認めてやってもいいぞ
・・・そんなに好きなのか？オレの粗☆ンが
変わったヤツだ
351(2): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:26 ID:BTmyP9va(19/46) AAS
>>348
そうか・・・ラムネも好きか
ラムネくらいだったら、おっちゃんがいくらでも飲ませてやっぞ
ま、飲み過ぎて血糖値が上がったらいけないけどな
352(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:28 ID:BTmyP9va(20/46) AAS
そうか おめぇ 出身は名古屋か
そうだな 無理に♀と＊＊＊するこたぁねぇ
357(4): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:30 ID:BTmyP9va(21/46) AAS
そうか・・・おめぇのかあちゃんによろしくな
361(3): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:32 ID:BTmyP9va(22/46) AAS
BBAはギフテッドに関心があるらしいが
俺はそういうツマラナイ奴らには興味がない
むしろ世の中が●違いとかメンヘラとかいってる連中に興味がある
ただの好奇心かもしれんし迷惑かもしれねぇが なんか捨てておけねぇ
365: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:34 ID:BTmyP9va(23/46) AAS
>>358-360
ばか・・・手なんかださねぇってｗ
かあちゃんに苦労かけるなよ
366(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:35 ID:BTmyP9va(24/46) AAS
>>363
なんだおめぇまだ生きてたのか
いい加減もうちっとマシな名前考えろよ
そんで、おめぇ、出身はどこだ？大阪か？
367: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:39 ID:BTmyP9va(25/46) AAS
おれは東京の出身だ
オヤジもジイちゃんも東京だ
ジイちゃんのジイちゃんが明治の初めから東京に住んでた
ただ、ジイちゃんのジイちゃんがどこの出身かは知らん
たぶん、東京じゃねぇだろうなぁ
370(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:44 ID:BTmyP9va(26/46) AAS
>>368
「固有名詞」としては面白くないね
毎度「おっちゃんです」と書き始めるところを見ると
自分のことを指す固有名詞として「おっちゃん」といってるんだろ？
だったらもうちっと自分らしい名前を考えたらどうだ？
逆に匿名でいいっていうんなら「おっちゃんです」もやめたがいいな
どうする？
371(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:46 ID:BTmyP9va(27/46) AAS
>>369
そうか・・・ケガすんなよ
372(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:49 ID:BTmyP9va(28/46) AAS
>>338をもう一度書いとく
>>331
会長 たまらず書き込みｗｗｗｗｗｗｗ
＞<Zermelo構成>の多重シングルトンと同じ話だし
だろ？だからセタ会長 あんたが間違ってるｗ
ωは極限順序数だ 後続順序数じゃねえ
省6
374(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)11:57 ID:BTmyP9va(29/46) AAS
>>373
自分らしい名前を考えることに意味があるんだがね
5chにしか書き込めないおめえの存在に意味あんのか？
おめえの理屈ではおめえの存在に意味ないな
それでもおめえが生きてるってことはおめえの価値判断は間違いってこったよ
つべこべいわずに名前考えな おめえはやらねぇ言い訳しかしねえ
省1
376(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)12:21 ID:BTmyP9va(30/46) AAS
>>375
じゃ、こうしよう
HNは「自称おっちゃん」
名前にこれ入れて書き込むんだな
嫌なら・・・代わりのHN考えるんだな
388: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)15:21 ID:BTmyP9va(31/46) AAS
演習
∀x(x + 0)=x ∀x∀y(x + sy)=s(x + y) ならば ∀x((0 + x)=x)
（規則MIを使用）
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
✓∃x¬((0 + x)=x) （結論の否定）
¬((0 + a)=a)
省7
389(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)15:41 ID:BTmyP9va(32/46) AAS
演習
∀x(x + 0)=x ∀x∀y(x + sy)=s(x + y) ならば
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
（規則MIを使用）
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
✓∃x∃y∃z¬([x + (y + z)]=[(x + y) + z]) （結論の否定）
省10
391(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)16:35 ID:BTmyP9va(33/46) AAS
演習
∀x(x + 0)=x ∀x(0 + x)=x ∀x∀y(x + sy)=s(x + y) ならば
∀x∀y(sx + y)=s(x + y)
（規則MIを使用）
∀x(x + 0)=x
∀x(0 + x)=x
∀x∀y(x + sy)=s(x + y)
省14
392: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)16:37 ID:BTmyP9va(34/46) AAS
>>390
いや、足し算の結合法則だ
>>391の補題を証明したので
やっと足し算の交換法則が証明できる
393: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)16:48 ID:BTmyP9va(35/46) AAS
演習
∀x(x + 0)=x ∀x(0 + x)=x
∀x∀y(x + sy)=s(x + y) ∀x∀y(sx + y)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z] ならば
∀x∀y(x + y)=(y + x)
∀x(x + 0)=x
∀x(0 + x)=x
省14
395: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)16:51 ID:BTmyP9va(36/46) AAS
本日の成果
ロビンソン算術の加法の公理＆規則MIから
加法の結合法則および交換法則を証明
乗法の結合法則および交換法則の証明は
・・・気が向いたらやるｗ
396: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)16:52 ID:BTmyP9va(37/46) AAS
>>394
「自称」をつけるのは律儀だが
名前欄に書かないのは頑固だな
399: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)17:34 ID:BTmyP9va(38/46) AAS
2chｽﾚ:math
>アクセプトされ掲載されても、その後が大変
>ジャーナリストが嗅ぎつけだんだんスキャンダル事件になる展開
朝日新聞の記者
「実は今回のIUTの件、ひそかにキナ臭いとおもってたんですよ」
嘘こけｗ
400(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)17:44 ID:BTmyP9va(39/46) AAS
>>398
会長たまらず 再書き込みｗ
＞笑えるわ
そのセリフいうとき、いつも、顔、ひきつってるよねｗ
＞それ、査読終わった論文だよ？
うん、だから査読がザル。だって初歩的な間違いだもんｗ
＞玉川先生を筆頭に、査読者複数（数論のプロでIUTが読める数学者）が、査読完了だよ
省18
402(2): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)20:53 ID:BTmyP9va(40/46) AAS
2chｽﾚ:math
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
> ↓
>V0 ⊂ V1 ⊂ V2 ⊂ V3 ⊂ ... ⊂ Vn ⊂ ... ⊂ V
>この下の行のように、⊂を使う方が普通だと思うし
>（V1、V2・・・などはクラスだから、普通は集合ではないので、∈ は使わない ）
会長・・・まだ∈と⊂が「まったく同じ」だと誤解してるのか
省4
403: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)21:54 ID:BTmyP9va(41/46) AAS
2chｽﾚ:math
IUTを守る会 会長 >>402に反論不能で無意味コメントｗ
406: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)22:36 ID:BTmyP9va(42/46) AAS
>>404
＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞の意味するところを述べよ
誤りｗ
もし”∈V”を書かずに
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
と書けば、無限上昇列になる
省4
407: 2020/04/24(金)22:40 ID:BTmyP9va(43/46) AAS
>>404
＞V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ
＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
＞以下、V2、V3・・など同じだ
これはヒドイｗ
V0,V1,V2,V3…全て到達可能基数の宇宙
到達可能基数が唯一と思ってるなら
省1
408: 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)22:43 ID:BTmyP9va(44/46) AAS
>>404
＞うまく答えられたら・・・
🐎🦌は自分が天才だと自惚れる悪癖がある
＞アホな答えなら、おれからツッコミが入る
🐎🦌はリコウぶった🐎🦌発言でさらに恥をかく
🐎🦌がリコウになることはあり得ないｗｗｗ
410(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)22:55 ID:BTmyP9va(45/46) AAS
はっきりいって、査読者が集合論を理解していたなら
IUT論文 IV の Section 3
"Inter-universal Formalism:the Languege of Species"
は全文削除だな
初歩的誤りがあり全然無意味
412(1): 論理狼 ◆y7fKJ8VsjM 2020/04/24(金)23:08 ID:BTmyP9va(46/46) AAS
>>411
「V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む」
と書いたのは私ではなく◆e.a0E5TtKE
だいたい、望月が
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が無限列になる、とか書いてる時点で、初歩的な誤り
そしてそれを見過ごす査読者も全く仕事してない
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s