20/04/24 06:05:27 G8hF3Q2u.net
本ｽﾙﾙｪは敷居が高い。。。
ａａ職人の☆伝統芸能お披露目サービス☆も無いし…
面白ぃコトもあんまり書いてくれるひとが出ないし。
真面目か…!
304:１３２人目の素数さん
20/04/24 06:11:57 G8hF3Q2u.net
今日も一日元気に。。。
🐹とっとこ☆なたろぅ🐹
君が…ｽﾙﾙｪをﾜﾝｵﾍﾟで。。。
回し車＠＠＠ｶﾗｶﾗｶﾗ～＠＠＠
みたいにｽﾚ回ししちゃいま～す
(´艸`)🍀
305:１３２人目の素数さん
20/04/24 06:14:43 G8hF3Q2u.net
☆ﾓｯﾁｬﾏ☆のｱﾝﾁｽﾚは
(散らかしやすぃ…)
(・ω<) <☆
ﾃﾍﾍﾟﾛ
306:論理狼 ◆y7fKJ8VsjM
20/04/24 08:09:10 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:294番)-299
IUTを守る会 会長は、まだIUTの宇宙が
グロタンディク宇宙だと認められないらしい
「グロタンディク宇宙が２つあったらいけない」
という嘘に固執してる馬鹿ｗ
「集合論の通常実行されるすべての操作を内部にもつ集合」
は唯一だといつ誰がどこで言い切った
今、貴様が愚かにも妄想しただけだろうが！！！
307:論理狼 ◆y7fKJ8VsjM
20/04/24 08:11:22 BTmyP9va.net
>>275
孤児？誰が？
私じゃないな
両親も健在です・・・母親は耄碌してますが
308:論理狼 ◆y7fKJ8VsjM
20/04/24 08:16:02 BTmyP9va.net
ある日のあるID「私は孤児」
論理狼 「弟がいる 両親も健在」
結論
「ある日のあるIDと論理狼は別人」
うむ、無矛盾ｗ
309:論理狼
20/04/24 08:33:04.56 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:305番)-307
IUTを守る会 会長の今の心境
「望月の論文を読みながら絶叫」
”おれのグロタンディク宇宙が、二つあるわけなぁぁぁぁぁい！！！”
ほんとこいつどこまで馬鹿野郎なの？
「箱入り無数目」といい今回の「グロタンディク宇宙」といい
素人のナイーブな直感を無条件に絶対の真理と思い込むとかｗｗｗ
310:論理狼
20/04/24 08:37:32.67 BTmyP9va.net
>>294
＞☆ﾓｯﾁｬﾏ☆
望月のストーカー現る・・・
311:論理狼 ◆y7fKJ8VsjM
20/04/24 08:44:56 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:133番)
ま、Mの
「V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V」
とかいうのは忘れていい
どうせ、使ってないんだろ？
別に宇宙が無数にあるのは構わんのだが
各宇宙が上記の関係を満たしていなくてはならない理由がない
（この点、弟子の山下剛のほうが冷静だといっていい）
312:１３２人目の素数さん
20/04/24 08:46:43 G8hF3Q2u.net
ある日の狼中年
「弟は居ないな」
また別のある日の狼中年
「妹はいないな
いたら？(じゅるる」
またある日
「禿げてはおらんｗ」
推定年齢７７歳前後の後期高齢者
(ＤＶ
313:＆ギャンブル・風俗で サラ金に借金有り⇒離婚歴有り⇒★バツ２★子持ち＆ ★ＣhibiＤeＢuＰＳＹＣＨＯ★禿★)←今ｺｺ! なんだと思います。(断言)
314:論理狼 ◆y7fKJ8VsjM
20/04/24 08:54:21 BTmyP9va.net
妹はおらんな
50代
ギャンブル？風俗？したことないよ
そんなことしてたら貯金がたまらないｗ
サラ金？借りたことない
貯金があるのになんで金借りる必要あるの？
結婚歴はない 子供もいない
身長は１７０ｃｍ代
髪の毛はさすがに薄くなりつつある気がするが
ハゲというほどではない
・・・という設定で４６４８（←ドルヲタか！）
315:１３２人目の素数さん
20/04/24 09:01:52 G8hF3Q2u.net
粘着ｾｸﾊﾗ★ｽﾄｰｶｰで悪の爺を
もっともっと。。。
彡⌒ミ⇒✨⌒✨
✨ﾊｹﾞ✨させちゃおぅっと。。。
(*´艸`)…♪
「☆ﾓｯﾁｬﾏ☆ﾉ敵」ｦ倒ｽ為ﾆ…
و(*")٩頑張ﾘﾏ～ｽ♪
316:論理狼 ◆y7fKJ8VsjM
20/04/24 09:05:37 BTmyP9va.net
>>303
「☆ﾓｯﾁｬﾏ☆命」の方へ
今回のIUT論文で
「証明に大穴がある論文を、編集委員長権限で強行アクセプトさせた」
疑惑がもたれていますが、それでもいいんですか？
つまり「大天才」というのは偽りの可能性があるってことですが
まあ、それ以前の業績は認めたとしても
世界的にはせいぜい「プチ天才」ですよね
（フィールズメダリストのショルツと比べたら）
317:１３２人目の素数さん
20/04/24 09:10:51 G8hF3Q2u.net
>>302
可変設定は(どうでも)いいです
もう…↓
「梅毒＆淋病＆AIDS＆水子
＆借金＆ｺﾛﾅ持ちで虚言癖の
ぼけはじめた👴ｦﾁﾞｨﾁｬﾝ👴」
って設定にしちゃったから。
(きっぱり)
容赦無くｲﾁﾞｸﾘ倒してやるからなぁ…?もぉ許せるｿﾞｵｫｯ!?ｫｨｯ!
(混乱)
318:１３２人目の素数さん
20/04/24 09:25:07 G8hF3Q2u.net
>>304
「(子持ち)大天才」(どうでも)
いいですねぇ…!
天才はやっぱり✨毒男✨の方が夢がありますねぇ…!
…ｱﾘﾏｽ…ｱﾘﾏｽ…((*¨)(*‥))ｳﾝｳﾝ*
319:１３２人目の素数さん
20/04/24 09:29:10 G8hF3Q2u.net
『🐣petit🐤✨天才✨』
『ﾌﾟｯﾁﾓﾁ🐣』。。。
ぅん、💗可愛ｅ💗。。。
320:１３２人目の素数さん
20/04/24 09:42:32 G8hF3Q2u.net
。✳゜。＊゜。☆゜。○゜。
。○゜いつまでも゜。☆゜
。*゜少年の心を忘れない゜＊゜
゜☆゜。*゜。○゜。✳゜
゜～ 永遠の🐣petit🐤 ～゜
○゜。✳゜。☆゜。゜*。゜゜。゜
((*¨)*‥))*¨))*‥))ｳﾝｳﾝ…
321:１３２人目の素数さん
20/04/24 09:51:10 G8hF3Q2u.net
やっぱり☆もっちー☆は。。。
★喪ｯﾁｬﾏﾗ★の🌟星🌟
ですねぇ…！
ｱﾝﾁｽﾙﾙｪに入り浸っちゃったら
🐣もっちー💖ＬＯＶＥ💖
が激化したでござるw
322:１３２人目の素数さん
20/04/24 10:00:33 G8hF3Q2u.net
ひとみんﾈｷのお気もちがわかります…
ｴﾓｯﾋﾟ…餅さまﾌﾞﾛｸﾞに決して凸ってはならなぃ…(戒め)
323:１３２人目の素数さん
20/04/24 10:09:47 G8hF3Q2u.net
午前の道場破り活動終わりｯ!
『💖愛💗は勝つ』
略して💖愛活💗。。。
(〃ﾟ艸ﾟ)ﾌﾟｯ
324:論理狼
20/04/24 10:19:46.92 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:295番)
>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 と同じ
初歩的な誤り犯してることを発見しちまった
>we conclude that Vi ∈ V , for all i ∈ I
というのは正しいが、その場合
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は、正確には
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... Vm ∈ V (m∈Ｎ)
であるから、finite ascending chains of universes である
そもそもinfinite ascending chains of universesというならＶ抜きで
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
でいい
325:論理狼
20/04/24 10:27:10.51 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:134番)
＞何故かZFC公理系の公理が9個であるという記述は修正していないし、
＞ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
上記以上に>>312の誤りは酷いと思うが・・・
ま、最終的にはＶを除けば 無限上昇列はできるけどね
しかし、そこ、実はどうでもいいんだろ？
(P.S.)
荒らしのBBAへ
このスレ埋めたいみたいだけど、
埋まったら本スレに匿名で書くよ
私はスレ立てられないからね
自分の行為のアサハカさに気づこうな BBA！
326:ID:1lEWVa2s
20/04/24 10:43:53 /YSDMAvQ.net
軍事機密すれの私のフェルマーの最終定理について。の解合ってるの？
一応証明ごと日本数学会事務局に送ったんだけど。
誰も答えてはくれない。どうなってんの。
327:ID:1lEWVa2s
20/04/24 10:45:34 /YSDMAvQ.net
だまっとれってか。
はい。
328:論理狼 ◆y7fKJ8VsjM
20/04/24 10:47:32 BTmyP9va.net
>>314
＞証明ごと日本数学会事務局に送ったんだけど。
意味ないよ
数学会事務局には数学分かる人いないから
君の手紙を数学者に転送することもしない
まあ、君がもし数学者に直接手紙を書いても読まないだろうな
なんで素人の書いた自己流の嘘「証明」を読んで
「ここがギャップです」とか「ここが誤りです」とか
教えてやる必要があるの？ ないよな
329:１３２人目の素数さん
20/04/24 10:49:20 G8hF3Q2u.net
>>314
合ってなぃﾄｺを見つけちゃぃました…
素数じゃ無いのが「素数」ってなっちゃってたょー
(お直ししてみた方が良ぃんじゃなぃかな…?)って思ぃました…
330:ID:1lEWVa2s
20/04/24 10:50:23 u9u2JrJT.net
>>316
いや、担当者がいて教授が読んでるって電話で言ってた。
331:１３２人目の素数さん
20/04/24 10:52:38 G8hF3Q2u.net
🌈Ｏhaluさん🍀
身体に気をつけて。。。
頑張ってくださぃね…🍀*゜
332:ID:1lEWVa2s
20/04/24 10:53:49 u9u2JrJT.net
>>317
それはないはず。
私の計算にみすはあまりない。
さんざん練習したから。
まあ、不等式止まりだからその間違いがあったことも含めて6カ月後くらいから素数の研究に再度着く。
333:１３２人目の素数さん
20/04/24 10:56:11 rcHJMCjA.net
>>318
これ、相手にされてないと思うよ。
334:１３２人目の素数さん
20/04/24 10:56:48 G8hF3Q2u.net
あ、でも送る前に。。。
✨素数スレ✨にａｇｅて
皆さまにチェックして貰ってから郵送した方が
郵送コストが無駄にならないかも…?でしょうか…
335:ID:1lEWVa2s
20/04/24 10:59:32 NEYzDdgf.net
ま、読んでないなら宝に気付かないだけで気にしないが。
かわいそうに。
僕は数学を日本数学会事務局が相手にするしない気にせず一方的に送りますが。
なんせ読みたいなら読めばいいだけだから。
336:１３２人目の素数さん
20/04/24 10:59:37 G8hF3Q2u.net
>>320
自分のミスに自分で気付けるのは限界があると思うから…
やっぱり皆さまチェックをして貰ってからの方が…良いんじゃないてしょうか…?
337:ID:1lEWVa2s
20/04/24 11:00:39 NEYzDdgf.net
>>324
だってすれ建てれないもん。
338:ID:1lEWVa2s
20/04/24 11:01:59 NEYzDdgf.net
日本数学会事務局を相手にしてないのは僕の方。
ただ、ご奉仕で送ってやってるだけ。
339:１３２人目の素数さん
20/04/24 11:02:23 G8hF3Q2u.net
>>32
340:5 よろしければ代わりに新スレお立てしましょうか…? …でも元のスレは落ちちゃったんでしょうか？使えませんか？
341:ID:1lEWVa2s
20/04/24 11:02:53 NEYzDdgf.net
日本数学会事務局が友達なのは事実。
342:ID:1lEWVa2s
20/04/24 11:03:48 NEYzDdgf.net
>>327
落ちてないよ。
新すれたてなくていい。
宗教団体じゃないんだから。
343:論理狼 ◆y7fKJ8VsjM
20/04/24 11:04:24 BTmyP9va.net
たててやれよ BBA＝G8hF3Q2u
おめぇ数学できねぇんだから
まさか、おめぇもスレ立てれねぇの？
おめぇ・・・絵文字ばっかの💩カキコしてっから
荒らしBBAに認定されるんだよ
数学板やめな おめぇみてぇな💩BBAの来るとこじゃねぇから
344:１３２人目の素数さん
20/04/24 11:04:59 +5fH8L59.net
>>312
だからそれ、おまえが間違っているんだよ！
<Zermelo構成>の多重シングルトンと同じ話だし
時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！ｗ（＾＾；
＜現代数学の系譜 カントル 超限集合論2 ＞
ｽﾚﾘﾝｸ(math板:33番)
33 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [] 投稿日：2019/12/22(日) 08:06:52.76 ID:jNutOcAm [1/6]
345:ID:1lEWVa2s
20/04/24 11:08:05 NEYzDdgf.net
ちょっと笑いました。
346:ID:1lEWVa2s
20/04/24 11:08:57 NEYzDdgf.net
流れとよどみに。ちょっと笑いました。
大森荘蔵
347:論理狼 ◆y7fKJ8VsjM
20/04/24 11:09:57 BTmyP9va.net
メンドクサイので1lEWVa2s隔離スレ上げてやった
ｽﾚﾘﾝｸ(math板)
おめぇ梅田悠祐っつうのか
ま、素人が名前だしたって誰も関心もたねぇけどな
クスリ・・・飲んでるか？
348:１３２人目の素数さん
20/04/24 11:12:56 rcHJMCjA.net
フェルマーの最終定理について、x^n+y^n＝z^n n≧3 n∈N を満たす解 (x,y,z) が高々有限個存在することは手紙で示せなくもないけど、
x^n+y^n＝z^n n≧3 n∈N を満たす解 (x,y,z) が存在しないことは手紙のような長さの証明では示せない。
それとも、なんか拡張したことでも考えているのかい？
349:ID:1lEWVa2s
20/04/24 11:13:09 f5HlnoZX.net
>>334
精神病院の担当医から処方された薬のんでます。
350:ID:1lEWVa2s
20/04/24 11:15:15 f5HlnoZX.net
>>335
1ぺぇじで証明した。
351:論理狼 ◆y7fKJ8VsjM
20/04/24 11:16:14 BTmyP9va.net
>>331
会長 たまらず書き込みｗｗｗｗｗｗｗ
＞<Zermelo構成>の多重シングルトンと同じ話だし
だろ？だからセタ会長 あんたが間違ってるｗ
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
＞時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！
あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか？
∞って自然数か？ 最後の箱だったら∞＋１は無いんだろ？
だったら自然数じゃねぇじゃん ペアノの公理に反するから
あんた、ペアノの公理も知らんのか 白痴か？ え？は・く・ち・か？
352:ID:1lEWVa2s
20/04/24 11:18:11 f5HlnoZX.net
>>334
4回入院歴あり。
入院中は数学三昧。
あんまやり過ぎると言われるけど。
353:ID:1lEWVa2s
20/04/24 11:19:02 f5HlnoZX.net
>>334
隔離室1ヶ月連続だった。
何も持ち込めない。
354:論理狼 ◆y7fKJ8VsjM
20/04/24 11:19:31 BTmyP9va.net
そうか・・・４回も入院したのか
そりゃ大変だな
数学・・・好きか？
355:１３２人目の素数さん
20/04/24 11:20:02 G8hF3Q2u.net
>>330
。。。立てられると思いますょ...？(暗黒微笑)
『💩BBA』でもスレ立て出来るんたとしたら...
狼中年さんはどんなコトされてらしたんでしょうね...
ﾌｯ…（´<_｀）
356:１３２人目の素数さん
20/04/24 11:20:46 rcHJMCjA.net
>>337
1ページ程度の長さの証明を送ったなら、ほぼ間違いと断定されただろうと思っていい。
357:論理狼 ◆y7fKJ8VsjM
20/04/24 11:21:19 BTmyP9va.net
隔離されたのか・・・大変だったな
おめぇの証明とやらを認めるわけにはいかねぇが
おめぇのことは認めてやっから な
358:論理狼 ◆y7fKJ8VsjM
20/04/24 11:22:23 BTmyP9va.net
>>342
＞狼中年さんはどんなコトされてらしたんでしょうね...
359: いろいろ・・・(￣ー￣)ﾆﾔﾘ
360:１３２人目の素数さん
20/04/24 11:22:25 G8hF3Q2u.net
>>342＞るんた× るんだㅇ
361:ID:1lEWVa2s
20/04/24 11:22:25 R21Lj2Or.net
>>344
はい。
362:ID:1lEWVa2s
20/04/24 11:23:14 R21Lj2Or.net
>>341
数学とラムネが好き。
363:論理狼 ◆y7fKJ8VsjM
20/04/24 11:24:40 BTmyP9va.net
ま、💩BBAが否定派スレ（別名：変態収容所ｗ）を毎度立てるっていうんなら
おめぇがここにいるのを認めてやってもいいぞ
・・・そんなに好きなのか？オレの粗☆ンが
変わったヤツだ
364:ID:1lEWVa2s
20/04/24 11:25:47 R21Lj2Or.net
>>341
18-20歳の頃荷揚げ屋やっててよく名古屋の鶴舞の古本屋で勉強してた。
二年間で大量のボックスの論文かいたが三回目の入院の前気が狂ってすてちゃった。
今はお茶の箱六箱たまってる。
因みに童貞永遠に守る。
365:論理狼 ◆y7fKJ8VsjM
20/04/24 11:26:20 BTmyP9va.net
>>348
そうか・・・ラムネも好きか
ラムネくらいだったら、おっちゃんがいくらでも飲ませてやっぞ
ま、飲み過ぎて血糖値が上がったらいけないけどな
366:論理狼 ◆y7fKJ8VsjM
20/04/24 11:28:25 BTmyP9va.net
そうか おめぇ 出身は名古屋か
そうだな 無理に♀と＊＊＊するこたぁねぇ
367:１３２人目の素数さん
20/04/24 11:28:51 G8hF3Q2u.net
┃;“))≡3 。。。>>345
⊂≡3
┃
368:ID:1lEWVa2s
20/04/24 11:29:02 SBgXqOxU.net
>>351
じゃあ小牧のパークアリーナで毎日行ってるさっかぁをお母さんとしてくるで。
369:ID:1lEWVa2s
20/04/24 11:29:18 SBgXqOxU.net
>>352
ありがとう。
370:１３２人目の素数さん
20/04/24 11:29:43 G8hF3Q2u.net
┃≡3
371:論理狼 ◆y7fKJ8VsjM
20/04/24 11:30:12 BTmyP9va.net
そうか・・・おめぇのかあちゃんによろしくな
372:ID:1lEWVa2s
20/04/24 11:30:40 SBgXqOxU.net
>>357
怒るよ。
373:ID:1lEWVa2s
20/04/24 11:31:00 SBgXqOxU.net
>>357
手を出したら怒るよ。
374:ID:1lEWVa2s
20/04/24 11:31:19 SBgXqOxU.net
>>357
手を出す前に怒るよ。
375:論理狼 ◆y7fKJ8VsjM
20/04/24 11:32:57 BTmyP9va.net
BBAはギフテッドに関心があるらしいが
俺はそういうツマラナイ奴らには興味がない
むしろ世の中が●違いとかメンヘラとかいってる連中に興味がある
ただの好奇心かもしれんし迷惑かもしれねぇが なんか捨てておけねぇ
376:ID:1lEWVa2s
20/04/24 11:32:59 SBgXqOxU.net
>>357
こら。ヽ(*｀Д´)ノ。
377:１３２人目の素数さん
20/04/24 11:33:48 rcHJMCjA.net
おっちゃんです。
>>351
おっちゃんという言葉は、お前さんが嫌っている大阪で広く使われる言葉だぞ。
378:ID:1lEWVa2s
20/04/24 11:33:53 SBgXqOxU.net
>>361
こら。ヽ(*｀Д´)ノ。
379:論理狼 ◆y7fKJ8VsjM
20/04/24 11:34:03 BTmyP9va.net
>>358-360
ばか・・・手なんかださねぇってｗ
かあちゃんに苦労かけるなよ
380:論理狼 ◆y7fKJ8VsjM
20/04/24 11:35:34 BTmyP9va.net
>>363
なんだおめぇまだ生きてたのか
いい加減もうちっとマシな名前考えろよ
そんで、おめぇ、出身はどこだ？大阪か？
381:論理狼 ◆y7fKJ8VsjM
20/04/24 11:39:07 BTmyP9va.net
おれは東京の出身だ
オヤジもジイちゃんも東京だ
ジイちゃんのジイちゃんが明治の初めから東京に住んでた
ただ、ジイちゃんのジイちゃんがどこの出身かは知らん
たぶん、東京じゃねぇだろうなぁ
382:１３２人目の素数さん
20/04/24 11:41:37 rcHJMCjA.net
>>366
出身は東京だが、おっちゃんという名前はよろしくないか？
383:ID:1lEWVa2s
20/04/24 11:42:59 n3WrU69o.net
浮上したなら今からさっかぁしてくるから読んどいて。さいなら。
384:論理狼 ◆y7fKJ8VsjM
20/04/24 11:44:40 BTmyP9va.net
>>368
「固有名詞」としては面白くないね
毎度「おっちゃんです」と書き始めるところを見ると
自分のことを指す固有名詞として「おっちゃん」といってるんだろ？
だったらもうちっと自分らしい名前を考えたらどうだ？
逆に匿名でいいっていうんなら「おっちゃんです」もやめたがいいな
どうする？
385:論理狼 ◆y7fKJ8VsjM
20/04/24 11:46:03 BTmyP9va.net
>>369
そうか・・・ケガすんなよ
386:論理狼 ◆y7fKJ8VsjM
20/04/24 11:49:34 BTmyP9va.net
>>338をもう一度書いとく
>>331
会長 たまらず書き込みｗｗｗｗｗｗｗ
＞<Zermelo構成>の多重シングルトンと同じ話だし
だろ？だからセタ会長 あんたが間違ってるｗ
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
＞時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！
あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか？
∞って自然数か？ 最後の箱だったら∞＋１は無いんだろ？
だったら自然数じゃねぇじゃん ペアノの公理に反するから
あんた、ペアノの公理も知らんのか
387:１３２人目の素数さん
20/04/24 11:52:29 rcHJMCjA.net
>>370
5チャンで固有名詞のような自分らしい名前を書いてても、大して意味はないと思っている。
個人的にはどちらも好きだが、たこ焼きやお好み焼きは主に大阪で発達した食べ物だな。
388:論理狼 ◆y7fKJ8VsjM
20/04/24 11:57:46 BTmyP9va.net
>>373
自分らしい名前を考えることに意味があるんだがね
5chにしか書き込めないおめえの存在に意味あんのか？
おめえの理屈ではおめえの存在に意味ないな
それでもおめえが生きてるってことはおめえの価値判断は間違いってこったよ
つべこべいわずに名前考えな おめえはやらねぇ言い訳しかしねえ
だから数学も他のことも身につかねぇんだよ
389:１３２人目の素数さん
20/04/24 12:05:16 rcHJMCjA.net
>>374
そもそも、「おっちゃん」という代名詞が自分を指す言葉である、という考え方を自ら思い付いた。
390:論理狼 ◆y7fKJ8VsjM
20/04/24 12:21:26 BTmyP9va.net
>>375
じゃ、こうしよう
HNは「自称おっちゃん」
名前にこれ入れて書き込むんだな
嫌なら・・・代わりのHN考えるんだな
391:ID:1lEWVa2s
20/04/24 12:28:35 wWCnpuyd.net
>>371
さっかぁしてきた。
疲れたから煙草吸って寝る。
月曜日からぱんの袋詰めの仕事も水曜日まで待ってるし。
392:１３２人目の素数さん
20/04/24 12:28:41 rcHJMCjA.net
>>376
今までのいわゆる「おっちゃん」を「自称おっちゃん」に変えれば済むのに、何故ハンドルネームが必要なんだ？
393:１３２人目の素数さん
20/04/24 12:58:38.48 Gf8Y++wA.net
どっかの会社に言われて荒らしに来てんの？こいつら
394:１３２人目の素数さん
20/04/24 13:09:09.63 rcHJMCjA.net
>>379
私は荒らしに来てはいないことをいっておく。
395:ID:1lEWVa2s
20/04/24 13:28:08.77 7AvnGIne.net
フィールズメダルもらったら大垣共立銀行の金庫に保管してたまに写真撮ってまた金庫に戻し保管する。
396:ID:1lEWVa2s
20/04/24 13:28:39.86 7AvnGIne.net
フィールズメダルじゃなくて日本数学会メダルか。
397:１３２人目の素数さん
20/04/24 13:57:59.28 G8hF3Q2u.net
>>361
＞ギフテッドに関心△
(生きてくのに)
ギフテッドの存在が必須◎
398:１３２人目の素数さん
20/04/24 14:16:35.01 G8hF3Q2u.net
カメラアイ＆知能指の知覚推理が135前後以上あれば…
たぶん私では間違いに気付けないから、それだけでも充分なんですが…
それを“ギフテッド”とカテゴライズされるなら
「私の人生には(男女を問わず)ギフテッドの存在が必要不可欠です」
としか
399:１３２人目の素数さん
20/04/24 14:21:12.65 G8hF3Q2u.net
>>384
↑訂正でした↓(´д`;)ﾄﾎﾎ…
＞知能指の知覚推理が135前後以上あれば…
知能指「数」の知覚推理が「IQ」135前後以上あれば…
400:１３２人目の素数さん
20/04/24 14:29:18.10 G8hF3Q2u.net
>361
>捨てておけない
それで
「白痴メンヘラDBSアル中BBA」をかまってくれちゃうんですよね…
((*¨))((*‥))ｳﾝｳﾝ
♪矛盾無し。♪
401:１３２人目の素数さん
20/04/24 14:33:16.14 G8hF3Q2u.net
>379さんのいってる“荒らし”に…
ﾁﾞﾁﾞｨｯﾁｬﾏがｶｳﾝﾄされてる気がするw
402:論理狼 ◆y7fKJ8VsjM
20/04/24 15:21:38 BTmyP9va.net
演習
∀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)
(0 + 0)=0
(0 + b)=b
￢((0 + sb)=b)
0 + sb=s(0 + b)
0 + sb=sb
×
QED
403:論理狼 ◆y7fKJ8VsjM
20/04/24 15:41:25 BTmyP9va.net
演習
∀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]) （結論の否定）
￢[a + (b + c)]=[(a + b) + c]
[a + (b + 0)]=[(a + b) + 0]
[a + (b + d)]=[(a + b) + d]
￢[a + (b + sd)]=[(a + b) + sd]
[a + (b + sd)]=[a + s(b + d)]
[a + s(b + d)]=s[a + (b + d)]
[(a + b) + sd]=s[(a + b) +d]
[a + (b + sd)]=[(a + b) + sd]
×
QED
404:ID:1lEWVa2s
20/04/24 15:43:20 Rhpk4LmW.net
>>389
素数の式か。
解けてないようにみえるが。
405:論理狼 ◆y7fKJ8VsjM
20/04/24 16:35:22 BTmyP9va.net
演習
∀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)
✓∃x∃y￢((sx + y)=s(x + y)) （結論の否定）
￢((sa + b)=s(a + b))
sa = sa+0
s(a+0) = s(0+a)
s(0+a) = 0+sa
0+sa = sa
sa + 0 = s(a + 0)
sa + c = s(a + c)
￢((sa + sc)=s(a + sc))
sa + sc = s(sa + c)
s(sa + c) = s(s(a + c))
s(a + sc) = s(s(a + c))
sa + sc = s(a + sc)
×
406:論理狼 ◆y7fKJ8VsjM
20/04/24 16:37:24 BTmyP9va.net
>>390
いや、足し算の結合法則だ
>>391の補題を証明したので
やっと足し算の交換法則が証明できる
407:論理狼 ◆y7fKJ8VsjM
20/04/24 16:48:26 BTmyP9va.net
演習
∀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
∀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)) （結論の否定）
￢((a + b)=(b + a))
a + 0=0 + a
a + c=c + a
￢(a + sc=sc + a）
a + sc=s(a + c)
sc + a=s(c + a)
s(a + c)=s(c + a)
a + sc=sc + a
×
QED
408:１３２人目の素数さん
20/04/24 16:50:52 rcHJMCjA.net
それじゃ、自称おっちゃんもう寝る。
409:論理狼 ◆y7fKJ8VsjM
20/04/24 16:51:36 BTmyP9va.net
本日の成果
ロビンソン算術の加法の公理＆規則MIから
加法の結合法則および交換法則を証明
乗法の結合法則および交換法則の証明は
・・・気が向いたらやるｗ
410:論理狼 ◆y7fKJ8VsjM
20/04/24 16:52:48 BTmyP9va.net
>>394
「自称」をつけるのは律儀だが
名前欄に書かないのは頑固だな
411:ID:1lEWVa2s
20/04/24 17:32:11 0xgAwaBU.net
僕もねりゅ。
412:１３２人目の素数さん
20/04/24 17:32:41 +5fH8L59.net
>>372
おサル、面白いやつだな
(引用開始)
（>>312より）
ｽﾚﾘﾝｸ(math板:295番)
>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考案者 望月が
初歩的な誤り犯してることを発見しちまった
>we conclude that Vi ∈ V , for all i ∈ I
というのは正しいが、その場合
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は、正確には
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... Vm ∈ V (m∈Ｎ)
であるから、finite ascending chains of universes である
そもそもinfinite ascending chains of universesというならＶ抜きで
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
でいい
(引用終り)
「望月が
初歩的な誤り犯してることを発見しちまった」
って、笑えるわ
１．それ、査読終わった論文だよ？
２．玉川先生を筆頭に、査読者複数（数論のプロでIUTが読める数学者）が、査読完了だよ
（彼らは、おサルそれより上で、そんな単純なミスを望月先生、玉川先生以下、がんくび揃えて間違うわけあるまいにｗｗ）
３．それに、V：グロタンディーク宇宙って、論文中に望月先生が定義しているんだぜｗ おまえ意味わかっているか？（＾＾；
４．それより、おれが疑問に思っているのは、∈の元の帰属の記号だ。
V1 、V2・・・などは普通クラス（集合ではない）だから、包含関係の⊂の方が適切かとおもうのだがね（些末なことだがね）
まあ、とにかく、おサルの負けだなｗ(゜ロ゜;
413:論理狼 ◆y7fKJ8VsjM
20/04/24 17:34:14 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:147番)
>アクセプトされ掲載されても、その後が大変
>ジャーナリストが嗅ぎつけだんだんスキャンダル事件になる展開
朝日新聞の記者
「実は今回のIUTの件、ひそかにキナ臭いとおもってたんですよ」
嘘こけｗ
414:論理狼 ◆y7fKJ8VsjM
20/04/24 17:44:15 BTmyP9va.net
>>398
会長たまらず 再書き込みｗ
＞笑えるわ
そのセリフいうとき、いつも、顔、ひきつってるよねｗ
＞それ、査読終わった論文だよ？
うん、だから査読がザル。だって初歩的な間違いだもんｗ
＞玉川先生を筆頭に、査読者複数（数論のプロでIUTが読める数学者）が、査読完了だよ
玉川先生以下、査読者全員が、集合論の初歩も分かってないってことだね
いやー、これ恥ずかしいよ、マジでｗ
＞それに、V：グロタンディーク宇宙って、論文中に望月先生が定義しているんだぜｗ
＞おまえ意味わかっているか？
あんた、意味分かってないよね
Vが任意のVi(i∈N)を要素とするとしても、
Vが終端になる無限∈列はできないよ こんなん集合論の基本
分かんない奴は・・・学部からやり直したほうがいいな（マジ）
＞それより、おれが疑問に思っているのは、∈の元の帰属の記号だ。
＞V1 、V2・・・などは普通クラス（集合ではない）だから、
＞包含関係の⊂の方が適切かとおもうのだがね
会長って・・・ホント馬鹿だねｗ
まずV1,V2・・・は全部集合です
集合論における最小のモデルの場合にはこんな集合は存在しませんが
かといって、いかなるモデルでも存在しない、とはいえません
ついでにいうと、クラスだとしても∈は使えます
クラスだから⊂じゃねとかいってるあんた
集合の基礎も分からん正真正銘の🐎㊎
415:0;野郎ですから~ 残念（バッサリ）
416:１３２人目の素数さん
20/04/24 19:57:33 9m+2fnQ5.net
>>400
>玉川先生以下、査読者全員が、集合論の初歩も分かってない
おサルの思考はいつも倒錯している。正しいことを間違っているといい、間違っていることを正しいというね、おサルは
>まずV1,V2・・・は全部集合です
分かっている。下記だな
間違ってはいないが、一方で何が言いたいのか？意味不明
後は、自分のスレで（＾＾
IUT応援スレより
ｽﾚﾘﾝｸ(math板:295番)-296
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である
グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる
すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている
すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。すると通常の集合論の独立変数が、すべての圏の圏に適用される
さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。"
この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している
417:論理狼 ◆y7fKJ8VsjM
20/04/24 20:53:26 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:314番)
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
> ↓
>V0 ⊂ V1 ⊂ V2 ⊂ V3 ⊂ ... ⊂ Vn ⊂ ... ⊂ V
>この下の行のように、⊂を使う方が普通だと思うし
>（V1、V2・・・などはクラスだから、普通は集合ではないので、∈ は使わない ）
会長・・・まだ∈と⊂が「まったく同じ」だと誤解してるのか
正真正銘の🐎🦌だなｗ
ま、∈を「集合の包含関係⊂」と誤解してるなら
「無限列？当然じゃん」と思うわな
しかし、∈は包含関係じゃなく所属関係だから 残念！！！
418:論理狼 ◆y7fKJ8VsjM
20/04/24 21:54:40 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:316番)
IUTを守る会 会長 >>402に反論不能で無意味コメントｗ
419:１３２人目の素数さん
20/04/24 21:56:58 9m+2fnQ5.net
>>402
おサルは意味がわかっとらんな
V0 ⊂ V1 ⊂ V2 ⊂ V3 ⊂ ... ⊂ Vn ⊂ ... ⊂ V
の意味は、宇宙は上位互換ってことよ
つまり、0，1，2・・・などが、アレフ番号（?）に対応しているとせよ
V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ
V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
以下、V2、V3・・など同じだ
では問う
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
の意味するところを述べよ
答えられまいｗ（＾＾
うまく答えられたら、基礎論ではおれより上と認める
アホな答えなら、おれからツッコミが入るｗ（＾＾；
420:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 21:58:52 9m+2fnQ5.net
ああ、コテ抜けてたな（＾＾；
アレフ番号（?）
↑
？のところにアレフ記号書いたら、文字化けした（＾＾；
421:論理狼
20/04/24 22:36:26.99 BTmyP9va.net
>>404
＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞の意味するところを述べよ
誤りｗ
もし”∈V”を書かずに
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
と書けば、無限上昇列になる
なぜ、望月がわざわざ∈Vとかいて自爆したかは知らん
望月に訊け
ついでにいっとくが、会長の⊂の置き換えは🐎🦌そのものｗ
また「宇宙は上位互換ってことよ」も集合論が分らん🐎🦌のタワゴトｗ
422:１３２人目の素数さん
20/04/24 22:40:25.58 BTmyP9va.net
>>404
＞V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ
＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
＞以下、V2、V3・・など同じだ
これはヒドイｗ
V0,V1,V2,V3…全て到達可能基数の宇宙
到達可能基数が唯一と思ってるなら
IUTを守る会のセタ会長は正真正銘の🐎🦌
423:論理狼
20/04/24 22:43:30.42 BTmyP9va.net
>>404
＞うまく答えられたら・・・
🐎🦌は自分が天才だと自惚れる悪癖がある
＞アホな答えなら、おれからツッコミが入る
🐎🦌はリコウぶった🐎🦌発言でさらに恥をかく
🐎🦌がリコウになることはあり得ないｗｗｗ
424:１３２人目の素数さん
20/04/24 22:50:58.22 zkcRGLXo.net
＞＞＞＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
吹いただろそんな宇宙あるかよｗｗｗｗｗｗｗｗｗｗｗｗｗ
連続濃度が強到達不能基数になること示してみろｗ
425:論理狼
20/04/24 22:55:57.74 BTmyP9va.net
はっきりいって、査読者が集合論を理解していたなら
IUT論文 IV の Section 3
"Inter-universal Formalism:the Languege of Species"
は全文削除だな
初歩的誤りがあり全然無意味
426:１３２人目の素数さん
20/04/24 23:00:31.26 zkcRGLXo.net
>>410
じいちゃんお前が分かってないんだよ
コロナにかかって死ぬなよ
427:論理狼
20/04/24 23:08:38.96 BTmyP9va.net
>>411
「V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む」
と書いたのは私ではなく◆e.a0E5TtKE
だいたい、望月が
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が無限列になる、とか書いてる時点で、初歩的な誤り
そしてそれを見過ごす査読者も全く仕事してない
こんなの、学部生でも間違いだと分かるぞ
428:現代数学の系譜 雑談
20/04/24 23:22:14.62 9m+2fnQ5.net
>>409
>＞＞＞＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
>吹いただろそんな宇宙あるかよｗｗｗｗｗｗｗｗｗｗｗｗｗ
>連続濃度が強到達不能基数になること示してみろｗ
？ 意味分からん
単に「宇宙」と言ったときには、強到達不能基数は必ずしも必要としない（下記ご参照）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
(抜粋)
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
あと、集合論の「宇宙」（universe）は、下記 Kenneth KUNEN.1980のPDFでもどうぞ
なお、和訳 藤田博司先生の「キューネン数学基礎論講義」を併読すると良いと思う
（藤田博司先生のは、大学図書館などにあるだろう）
URLﾘﾝｸ(blacaman.tripod.com)
SET THEORY. An Introduction to Independence Proofs. Kenneth KUNEN.1980
URLﾘﾝｸ(books.google.co.jp)
429:ab84_7oAhUjIqYKHQCwDR0Q6AEILjAB キューネン数学基礎論講義 ケネス・キューネン 翻訳 藤田博司 日本評論社, 2016 - 378 ページ 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
430:１３２人目の素数さん
20/04/24 23:22:28.76 zkcRGLXo.net
最後のＶがどういう意味で書かれているかわからないが本文と関係ないし
査読者になってもどうでもいいと感じるけど
Ｖを書かずに無限列の存在仮定でいいのでは
431:現代数学の系譜 雑談
20/04/24 23:25:00.15 9m+2fnQ5.net
>>413
下記を追加しておく
読んでからレス頼む
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
432:現代数学の系譜 雑談
20/04/24 23:28:30.35 9m+2fnQ5.net
>>414
＞査読者になってもどうでもいいと感じるけど
査読者が気付いたら、指摘はするだろうな
どうでも良いことだが、ケアレスミスにしても（誤字脱字に同じ）、論文の瑕疵にはなるから
＞Ｖを書かずに無限列の存在仮定でいいのでは
Ｖを書いてもいいだろう？
意味わからん
433:１３２人目の素数さん
20/04/24 23:31:02.33 zkcRGLXo.net
などと、査読を一度もしたことがないであろう
ものがかたっておりますので
査読依頼等の過程の例を語ってください
434:１３２人目の素数さん
20/04/25 00:14:01.65 asnl0I6U.net
>>412
＞だいたい、望月が
＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞が無限列になる、とか書いてる時点で、初歩的な誤り
あのねえ、別にIUTを擁護する気は無いんだけどこの指摘は流石にナンセンスだよ
こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん
基本的に論文は最大限汲み取って読むべきものだし、そもそもこの程度のものはミスでもなんでもない
435:１３２人目の素数さん
20/04/25 00:40:03 nULhaJry.net
よくわからないけど、それってZFCで集合になるの？
なんかラッセルのパラドックスみたいな問題が起きそうじゃない？
436:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 07:23:57 b0fzLo6k.net
>>417
おれは、査読はしたことがないが
査読されたことは何度かあるよ、数学じゃないが
専門誌に論文を送る
査読者から、意見が来る
それに回答する
掲載決定になる
例えば、一度「これこれで、掲載できない」という意見が来て
それに対して、反論というか説明をして掲載になった経験がある
まあ、似たようなものじゃね？
437:論理狼 ◆y7fKJ8VsjM
20/04/25 08:41:57 ReTz6AXc.net
>>414
>最後のＶがどういう意味で書かれているかわからないが
な、分からないだろ？ 書かなきゃいいのにｗ
>本文と関係ないし
関係ないなら、全文カットだなｗ
>査読者になってもどうでもいいと感じるけど
どうでもいいなら、全文カットだなｗ
>Ｖを書かずに無限列の存在仮定でいいのでは
∈無限列の存在なら、Ｖを書いてはいけない これが真理
でも、そもそも∈無限列 使わないんだろ？ じゃ要らねえじゃんｗ
438:論理狼 ◆y7fKJ8VsjM
20/04/25 08:43:30 ReTz6AXc.net
>>416
＞＞Ｖを書かずに無限列の存在仮定でいいのでは
＞Ｖを書いてもいいだろう？
ダメ。Ｖを書いた瞬間、無限列でなくなる
それが分らん貴様は正真正銘の🐎🦌
439:論理狼 ◆y7fKJ8VsjM
20/04/25 08:48:40 ReTz6AXc.net
>>418
＞＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん
これだけなら、そういう言い訳も成り立つが、この後
「無限降下列ガー」とか「∈-loops ガー」とか言ってるから
文字通りの意味だと思ったほうがいい
つまりガチで◆e.a0E5TtKEレベルの
ド素人的勘違いを犯してる可能性大
だいたい、勘違いを引き起こす表記なら
査読者が指摘して修正させる必要がある
そうしてない時点で査読者も同じ勘違い
をしてる可能性大
ヤベェ、数論幾何、マジヤベェｗ
440:論理狼 ◆y7fKJ8VsjM
20/04/25 08:53:00 ReTz6AXc.net
>>419
＞よくわからないけど、それってZFCで集合になるの？
ZFCに到達不能基数の存在公理を追加すれば認められる
＞なんかラッセルのパラドックスみたいな問題が起きそうじゃない？
今のところ、問題は起きていない
441:論理狼 ◆y7fKJ8VsjM
20/04/25 09:00:42 ReTz6AXc.net
IUTを守る会 会長の日本語読解力じゃ
予想を提示しただけで、「証明した！」
といいそうな勢いで、マジヤベェｗ
ｽﾚﾘﾝｸ(math板:356番)
＞多分、Sato-Tate予想の解決、みんな正しいと思っている（下記リンク）
＞論文読まないでもねｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
おまえ、よくそういう嘘が平気でつけるね 🐎🦌？
リンク先のどこをどう読んでも
「みんな正しいと思ってる」なんて書いてないどころが
逆に「これじゃ、正しいって云えねぇよな」って雰囲気じゃん
おまえ、日本語読めないの？
442:１３２人目の素数さん
20/04/25 09:04:47 QwbpAiRF.net
>>423
参考までに論文のどこに出て来てるのか教えて
443:論理狼 ◆y7fKJ8VsjM
20/04/25 09:13:19 ReTz6AXc.net
>>426
・V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
→IUT論文 IVの§3の本文冒頭 p67 及び Remark3.1.4 p71
・無限降下列云々
→IUT論文 IVの§3の本文 p68
・∈-loops
→IUT論文 IVの§3のRemark3.3.1 p74
444:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 09:20:40 b0fzLo6k.net
>>421
Vの定義は、別に書いてあるよ
グロタンディーク宇宙だよ
445:論理狼 ◆y7fKJ8VsjM
20/04/25 09:22:03 ReTz6AXc.net
ｽﾚﾘﾝｸ(math板:355番)
>私ら、ヤジウマ応援団ですよ
>Jリーグの応援みたいなもので、
>みんなでエール送ったりしているのです
>「RIMS、がんばれ！」みたいな
そもそもなんで、不可解な論文書く「半外人」とか
そんな論文をロクに査読もせずアクセプトする
如何わしい「組織」とかを応援するの？
サイコパス？
446:論理狼 ◆y7fKJ8VsjM
20/04/25 09:24:57 ReTz6AXc.net
>>428
VだけじゃなくVi (i∈N）全部がグロタンディク宇宙だが
どうしても認めたくないのか？この🐎🦌はｗ
分からないといってるのは「Vが何か？」ではない
なんで、わざわざ「∈V」とかいう余計な２文字を書いたか、だ
自爆だろ？
447:１３２人目の素数さん
20/04/25 10:11:32.90 dUEBtaY/.net
☆ＹＯ-ＤA！☆ｯﾁｬﾏが降臨してたw
週末はちゃんとした人が現れるの法則?
w
448:論理狼
20/04/25 10:36:01.88 ReTz6AXc.net
>>431
BBAのいうことはいちいちわからん
誰がヨーダだって？
449:論理狼
20/04/25 10:38:16.99 ReTz6AXc.net
ちなみ、与田っちょといえばこのコだぞ
URLﾘﾝｸ(www.youtube.com)
450:１３２人目の素数さん
20/04/25 10:41:18.40 dUEBtaY/.net
「ＢＢＡ」っていうから
教えな━━━ぃ! w
怒ﾚ怒ﾚ…(*“)ﾌｯ…✳゜
451:１３２人目の素数さん
20/04/25 10:42:05.66 Aut7D1nk.net
>>423
数論幾何や代数幾何やってる殆どの人はきちんとしてるんだが、
IUTの失敗で数論幾何全体が厳密でないみたいになるのはちょっと残念だな
452:論理狼
20/04/25 10:42:54.13 ReTz6AXc.net
>>434
やれやれ
・・・更年期障害か
453:論理狼
20/04/25 10:45:22.03 ReTz6AXc.net
>>435
＞殆どの人はきちんとしてるんだが
わかってますって
でも、分野外、とくに集合論とか論理のことになると
とたんに信じられないほど粗雑になるのも
基礎論以外の数学のどの分野でもありがちな傾向かと
454:１３２人目の素数さん
20/04/25 10:56:11 Aut7D1nk.net
>>437
そうか？
数論幾何は読んだことないけど代数幾何の本とか論文を読んでるとそんなミスは殆どない
何よりグロタンディークが非常にロジカルな人だったしね
ネットだとたまに粗雑どころか逆ギレする人がいるけど、せいぜい修士卒で道を終えたような人間だろう
455:ID:1lEWVa2s
20/04/25 11:12:40 UBlOy0QO.net
>>438
僕は中卒ですが。
456:１３２人目の素数さん
20/04/25 11:18:56 dUEBtaY/.net
٩(”*)ว>>439))
ﾁｮｯﾄ一緒ﾆ出ｶｹﾃｺｮｩﾈ…♪
457:１３２人目の素数さん
20/04/25 11:32:09 dUEBtaY/.net
|*“))←２ｍ→(>>438)
博士…ＩＵＴＴは“失敗”しちゃってるんでしょうか?
458:１３２人目の素数さん
20/04/25 11:34:50 dUEBtaY/.net
⊃♀))(>>436)
(↑鏡)
459:論理狼 ◆y7fKJ8VsjM
20/04/25 11:36:44 ReTz6AXc.net
>>438
＞そんなミスは殆どない
そりゃそうよ 集合論の話なんかしないでしょ
＞何よりグロタンディークが非常にロジカルな人だったしね
でも、フォーシングとかは知らんと思うよ
ネットでも実社会でもおかしな人ほど大騒ぎする
修士どころが理学部数学科卒でもない
一般教養の数学も怪しい工学部卒とかｗ
460:論理狼 ◆y7fKJ8VsjM
20/04/25 11:38:10 ReTz6AXc.net
>>442
だからよくわかる(￣ー￣)ﾆﾔﾘ
昨日は右耳の聞こえが悪かった・・・幸い回復したが
461:ID:1lEWVa2s
20/04/25 11:51:42.28 Y7zAeKU+.net
URLﾘﾝｸ(youtu.be)
462:１３２人目の素数さん
20/04/25 12:04:34.84 dUEBtaY/.net
>>444
ﾁﾞﾁﾞｨｯﾁｬﾏ寝る前にお風呂でバスタブ浸かってゆっくり入浴して寝てみて？
血行を良くして身体を冷やさないように、って。
循環と代謝を良くするように生活して下さ～ぃ。。。
※ちゃんと白湯とかＯＳ-１とかで入浴前中後に水分＋ビタミンＣ補給をしっかりしてください!
463:１３２人目の素数さん
20/04/25 12:13:31.94 dUEBtaY/.net
追伸
夕食は温野菜や煮魚や大豆製品を摂ると良いみたいです…(←アレルギーの方はﾀﾞﾒ。)
お肉は鶏胸肉(成長ホルモン未使用※国産鶏胸肉とか)が良いみたいです。。。
良く加熱してお召し上がり下さい。
いつまでも元気なクソﾁﾞﾁﾞｨｯﾁｬﾏで勢い良くｽﾙﾙｪ回しして下さ～ぃ♪
464:論理狼
20/04/25 12:14:13.21 ReTz6AXc.net
>>446
あんた・・・いいヤツだなあ
ありがとう、ＢＢＡ（一言余計！！！）
465:１３２人目の素数さん
20/04/25 12:19:32.35 dUEBtaY/.net
(ﾁﾞﾁﾞｨｯﾁｬﾏを狙ってるから…)
(＾＾)ﾆﾔﾘ
466:１３２人目の素数さん
20/04/25 12:20:41.77 dUEBtaY/.net
(一言余計…魂胆ﾊﾞﾚﾊﾞﾚ…)
467:論理狼
20/04/25 12:21:03.57 ReTz6AXc.net
ｽﾚﾘﾝｸ(math板:359番)-362
会長、わかりもしない論文にグダグダ拘泥ｗ
IVの§3なら
∈-structureとか、∈-loopsとか
言わなきゃどうってことなかったのにな
査読者も要らん記述は削除するよう云えよ
なんも仕事してないな
468:１３２人目の素数さん
20/04/25 13:19:53 nULhaJry.net
>>424
代数幾何とか圏論とか全然わからない素人なんだけど、今の数学って、
ZFC + 到達不能基数の存在公理 （ZFCU？）
の上で考えられているの？
つまり、IUTが正しかったとしても、それはZFCよりも（より多くの公理が必要という意味で）狭い世界で成り立つ話であって、
純粋なZFCの世界では考えられない話なの？
例えば、フェルマーの最終定理も、ZFCよりも狭い世界では証明されたけど、純粋なZFCの世界では証明されていないと考えるべき？
469:論理狼 ◆y7fKJ8VsjM
20/04/25 13:55:05 ReTz6AXc.net
>>452
集合論じゃなきゃ、今の数学で到達可能基数の存在公理は要らないんじゃね？
IUTの話なら本スレで訊きなよ
間違っても応援スレにはいくなよ
あそこは「保育園」だからｗ
470:１３２人目の素数さん
20/04/25 14:11:14.36 nULhaJry.net
>>453 到達不能基数のWikipedia見たら、 >到達不能基数による真クラスの存在性 >… > ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される >(これは ZFC に urelements を付け加えたものと混同しないように注意)。 > この公理系は、例えば全ての圏は 適切な米田埋め込み(en:Yoneda embedding)を持つということを証明するのに役立つ。 とか書いてあるから、圏論の周辺では到達不能基数の存在公理が仮定されているのかなと思って この記述が正しいかどうかはわからないんだけど https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
472:論理狼 ◆y7fKJ8VsjM
20/04/25 14:54:47 ReTz6AXc.net
>>454
本スレで訊きなよ
473:１３２人目の素数さん
20/04/25 15:00:26 6wmAgSBh.net
>>443
俺が読んだ代数幾何の本では、エタール位相をuniverse Uに属するスキームのみを用いて構成すれば、エタールサイト(スキームX上エタールなUに属するスキームとエタール位相の組)上の層F,F'に対してHom(F,F')が集合であるという注意が書いてあった
こんな感じで何も書いてない方が珍しいんじゃないかな
それでもIUTみたいなミスは見たことないし、代数幾何(を含む数論幾何)研究者のほとんどはきちんと理解してると思うよ
474:ID:1lEWVa2s
20/04/25 15:07:31 LLArYwLp.net
>>443
僕は中卒ですが。
475:１３２人目の素数さん
20/04/25 15:35:02 56hvO4NK.net
>>427
お前本当に論文読んだのかよ
無限降下列はないて書いてるじゃん
476:論理狼
20/04/25 16:01:21.40 ReTz6AXc.net
>>456
だったら、玉川に言ってやれば?
「ちゃんとやってくださいよ！
でないと、僕たち代数幾何を学んでる者が
馬鹿にされるんですよ！！！」
って
477:１３２人目の素数さん
20/04/25 16:01:49.21 56hvO4NK.net
>>423
無限降下列について言及はあるけど、それは正則性公理から存在しないから気をつけてね論文自身に書いてるじゃん
あたかも望月自身がそれがあると信じるかのように書くとか捏造にも程がある
こんな読み間違い普通はしないよ
明確な悪意をもって嘘をつくとか最低だわ
478:１３２人目の素数さん
20/04/25 16:03:36.45 56hvO4NK.net
望月は集合論分かってねえと書くやついたけれど、分かってねえがこのレベルなら、否定派の方が確実に分かってねえわ
479:論理狼 ◆y7fKJ8VsjM
20/04/25 16:05:10 ReTz6AXc.net
>>458
読んだよ その文章も読んだ
問題は、わざわざそこに言及したこと
つまり
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
ではなく
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が、無限上昇列だとおもってるから
Vから逆に降りる列を考えたんだろう？
しかし、そこまでいうんなら、そもそも
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が無限列にならないことに気づけよｗ
大学１年生かよｗ
480:論理狼 ◆y7fKJ8VsjM
20/04/25 16:06:49 ReTz6AXc.net
>>460-461
全て君の妄想
>>462に書いてあげたから よく読もうね
481:１３２人目の素数さん
20/04/25 16:14:11 56hvO4NK.net
>>462
あのさ、順序数とか分野じゃ
1,2,...,ωて書いたりするから別におかしくはないんだよ
それと論文中にないてこと書いてるにも関わらず、そのことについてレスで言及にしないのは明らかにミスリードを狙ってるよ
482:論理狼 ◆y7fKJ8VsjM
20/04/25 16:14:49 ReTz6AXc.net
蛇足
URLﾘﾝｸ(www.ivis.co.jp)
ｐ７７ 参考：圏論の集合論的基礎を探して
• 圏論では集合の圏 Sets，群の圏 Grps，圏の圏 Cats など
様々な大きさの集まりを圏として扱う
• VGB や Kelley-Morse set theoryでは Sets, Grps は扱うことができるが，
クラスがクラスの要素になれないてにCats は扱えない
• Ackermann set theory ではクラスもクラスの要素になれるが，
Catsは扱えない（この中では一番有望であるが）
• 圏論に
483:集合論的基礎を与えることに関する論文を２つ挙げておく F.A. Muller, "Sets, Classes, and Categories" British Journal for the Philosophy of Science 52 (2001) 539-573 Ackermann set theory に手を入れた ARC という集合論を提案している． Michael A. Shulman, "Set theory for category theory” arXiv, 2008 ジャーナル論文ではないみたい．informal paper と言っている.
484:論理狼 ◆y7fKJ8VsjM
20/04/25 16:18:50 ReTz6AXc.net
>>464
＞順序数とか分野じゃ1,2,...,ωて書いたりするから別におかしくはないんだよ
上記では、∈は書いてないね
もし1∈2∈…∈ωと書いたら、ウソだよ
だって”∈ω”の左側に何も書けないだろ？
何か自然数を書いたっていいけど、その場合有限列だよな
でも無限列と断言したんだよな？ だったらウソじゃんｗ
485:１３２人目の素数さん
20/04/25 16:28:31 56hvO4NK.net
>>466
”∈”で線型順序をなしてωはその最大値てわかるやん
論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから、そんな読み間違い起こさないよ
だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ
これから集合論理解してないなんて言えないでしょ
486:論理狼 ◆y7fKJ8VsjM
20/04/25 16:37:42 ReTz6AXc.net
＞”∈”で線型順序をなして
自然数は線形順序（＝全順序）というだけではないよ、整列順序だから
＞ωはその最大値てわかるやん
ωは自然数ではないけど 大学で習わなかった？
＞論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、
＞V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから
読んだよ
V_i∈Vと断るなら、無限列の最後の∈Vは要らんよね 意味ないから
何で書いたの？
＞だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ
もしVを書かなければ、そういう馬鹿な発想は思いつかんよね
だって、列のどの要素Viも自然数iで番号付けされてるから
当然どこから始めても有限列になる
要するに、無限列の最後に∈Vと書いたのが致命的
ところで∈-loopsの件はノーコメントか？
当然読んだだろ？弁解不能か？そりゃできるわけないよなｗ
487:論理狼 ◆y7fKJ8VsjM
20/04/25 16:41:38 ReTz6AXc.net
いっとくけど、基礎の公理のない集合論を考えたいならそうしたっていいよ
別に、基礎の公理がないと矛盾する、とかいうことはないから
でも、IUTで∈-loopsが必要なわけではないんだろ？
simulate ∈-loopsって書いてあるけど、loopならいいんだろ？
だったら∈なんて一切語らなければいいじゃん
いったい、何がしたいの？
488:論理狼 ◆y7fKJ8VsjM
20/04/25 16:47:50 ReTz6AXc.net
ｽﾚﾘﾝｸ(math板:375番)-376
どうやらIUTを守る会 会長も
IVの§3がuntouchableだと
気付いたようだな(￣ー￣)ﾆﾔﾘ
なんでこの節載せたのかね
載せるにしても∈に関する一連の説明は結局無意味だよね
削除したほうがいい、っていわなかったのかね？
489:１３２人目の素数さん
20/04/25 16:53:58 56hvO4NK.net
>>468
いやあのさ、ここでの大小関係て順序数での比較なのは明白なんだからωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ。。
一応書いとくとωは自然数全体の集合ね
ωはω∪{ω}で最大値だよ
V_i∈…Vて書いたのは、∈で最大をとることの強調だろうよ
ε-loopそのものも明確にねえて論文P74で書いてるだろ
だけれどある種の類似物をこれから作ろうて話じゃん
わざわざ書かなかったのは無限降下列を指摘すりゃあ十分だと思ったからだよ
マジで悪意のある切り取りが好きなんすねえ
490:１３２人目の素数さん
20/04/25 16:56:13 LKPY7+kk.net
たとえば順序数の文脈なら
1∈2∈…∈ω�
491:ﾍ正しいし無限個の順序数が現れてるから無限列ってのも間違ってない 論理狼さんが「無限列はa1,a2,…の形だけが正しくて最大元が最後に現れてる↑のものは無限列と呼ばない！」って考えるのは自由だけど これを無限列と呼ぶのは別に間違いじゃないと思うよ
492:論理狼 ◆y7fKJ8VsjM
20/04/25 17:01:10 ReTz6AXc.net
>>471
＞ここでの大小関係て順序数での比較なのは明白なんだから
誤 順序数
正 自然数（＝有限順序数）
＞ωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ
そもそも、ωを持ち出すことが的外れなんだが、自覚ないのか？
＞ωはω∪{ω}で最大値だよ
一方、ωはωの要素ではない ωに最大値は存在しない 大学で習わなかった？
493:論理狼 ◆y7fKJ8VsjM
20/04/25 17:03:35 ReTz6AXc.net
>>471
＞ε-loopそのものも明確にねえて論文P74で書いてるだろ
読んだよ
＞だけれどある種の類似物をこれから作ろうて話じゃん
問題は、なぜ「∈-loopsの類似物」という必要があるのか？ってこと
そんなこという必要ないよね？ 頭冷やせよ ドライアイスでｗ
494:論理狼 ◆y7fKJ8VsjM
20/04/25 17:09:03 ReTz6AXc.net
＞順序数の文脈なら1∈2∈…∈ωは正しいし
もしどうしてもそう書きたいのなら、
極限順序数ωについて”∈ω”と書く場合には
∈の左側には項が存在せず、無限列が記載される
という定義を示すべきだね
それを君は文脈という言葉でゴリ押ししたいんだろうけど
あの論文でそれは通用しないな
495:論理狼 ◆y7fKJ8VsjM
20/04/25 17:12:15 ReTz6AXc.net
>>472
＞「無限列はa1,a2,…の形だけが正しくて
＞ 最大元が最後に現れてる↑のものは無限列と呼ばない！」
＞ って考えるのは自由だけど
なんで∈を抜いたのかな？
∈を入れないんなら、1，2，・・・，ωと書いても問題ないよ
∈があるから左の項と右の項がある筈、ということ
頭 真空なのかな？
496:１３２人目の素数さん
20/04/25 17:13:07 56hvO4NK.net
>>473
何でお前が勝手に正誤判定してるんだ
文脈的に順序数だったのは明白だったぞ。。
自然数での比較なら順序数なんて言葉は持ち出さねえよ
ωを持ち出したのはV_1∈V_2∈…∈Vの順序構造はω+1と同じだから持ち出したんだよ
ωはωの要素でないのは百も知っとるわ
だからω+1の中で最大と書いたんだけれど文章読めない人？
君は大学行く以前にもう一度義務教育やり直した方がいい
497:１３２人目の素数さん
20/04/25 17:14:27 56hvO4NK.net
>>474
精神としては集合論では存在しない∈loopに似てるから持ち出したんでしょ
馬鹿なのかな
498:ID:1lEWVa2s
20/04/25 17:17:01 t1bR/tIL.net
本は数学の基礎ですか。
499:論理狼 ◆y7fKJ8VsjM
20/04/25 17:18:00 ReTz6AXc.net
>>477
＞文脈的に順序数だったのは明白だったぞ
それ妄想
＞V_1∈V_2∈…∈Vの順序構造
あのな、∈は”、”じゃないんだよ 単なる区切りの文字じゃない
∈と書くからには（＜でも⊂でも同じだけど）左の項と右の項が要るの
分かるかな？
500:論理狼 ◆y7fKJ8VsjM
20/04/25 17:21:49 ReTz6AXc.net
>>478
＞集合論では存在しない∈loopに似てるから持ち出したんでしょ
存在しないものに似てるってナンセンスだな
論文を読む限り∈ｰloopsは集合論ではできないから”シミュレート”するとあるが
そもそも”シミュレート”を強調する必要があるのか？
ただのループではいかんのか？なぜいかんのか？君は説明できるのか？
説明できないんなら黙れよ 意味ないから
501:１３２人目の素数さん
20/04/25 17:22:49 56hvO4NK.net
マジで集合論とか順序数分からなかったのか、分かっててあえて難癖つけてたのかは知らんけど
5chでIUT論文について、集合論的に間違ってるとかいう奴はこのレベルなんだなあということが分かったわ
マジで論文の成否とは無関係なところで突っ込んでいた
ていうかすぐに分かるような間違いなら、それまでに本職の数学から当然ツッコミが入るはずで、8年間もあってるのかあってないのか分からねえみたいな状態になるはずないんだよな
502:論理狼 ◆y7fKJ8VsjM
20/04/25 17:27:09 ReTz6AXc.net
>>482
論文の成否と関係あるかどうかは知らんｗ
関係ないなら、無駄に突っ込まれる箇所は削除するのが当然だろう
まあ、査読者に対して最大元贔屓目に見れば
「ここは著者がinter-universeを考えた動機についての説明だから
結果として見当違いだった思考の跡についての記述も残しておくべきだろう」
と考えたのかもしれん
無駄な気遣いだけどな
503:１３２人目の素数さん
20/04/25 17:28:08 56hvO4NK.net
>>480
文脈的には明らかだったんだけど、義務教育を全うしたか怪しい君には難しかったようだね
君のことを買いかぶりすぎてた俺が悪かった
504:よ、ごめんね 「1<2<3<...<ω」て書くのは誤りで 「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は 分かりにくいし、大変そうだけど頑張ってね
505:論理狼 ◆y7fKJ8VsjM
20/04/25 17:32:27 ReTz6AXc.net
結局、inter-universeそのものは∈と無関係なんだろ？
だったら§3の記述は無駄なおしゃべりを割愛してスッキリと書くべきだな
∈の無限上昇列も無限下降列もループも要らない
グロタンディク宇宙はあってもいいかもしれんが、
そもそも取り替えたいのは本当に宇宙全体なのか？
もっと真面目に考えたほうがいいんじゃないのか？
506:１３２人目の素数さん
20/04/25 17:34:32 56hvO4NK.net
>>481
いや知らんけど明らかに悪意持って捏造してるレスみたら、それは捏造ですよと注意しただけだよ
507:論理狼 ◆y7fKJ8VsjM
20/04/25 17:35:41 ReTz6AXc.net
>>484
＞「1<2<3<...<ω」て書くのは誤りで
＞「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
「1<2<3<…」かつ「任意の自然数nについてn<ω」の場合、
便宜的に「1<2<3<...<ω」と書くと定義するなら、そうしてもいいよ
ただそういう表記は、極限順序数であるωに、
あたかも前者となる順序数が存在するかのごとき
誤解を与える点で有害無益だと思うがね
君は、ωに前者がないこと、俺にいわれるまで知らなかっただろ（嘲）
508:１３２人目の素数さん
20/04/25 17:35:56 56hvO4NK.net
>>483
IUTが正しいかは分からんけど、君の考えが見当違いになってたのは分かる
509:１３２人目の素数さん
20/04/25 17:36:10 ZB44qZOw.net
>>480
∈が順序関係になってる場合(例えば順序数全体で∈を考える)だとV1∈V2∈…∈Vはおかしくないでしょ
実数の体系でa1<a2<…aって書くのと同じことだよ
510:論理狼 ◆y7fKJ8VsjM
20/04/25 17:37:56 ReTz6AXc.net
>>486
悪意も善意もない
そもそも望月の文章が、読者をミスリードしかねない危険なものだと指摘した
自分が間違えた経験をそのまま書いてるだけかもしれんが、
もしそうなら、愚劣の極みだな
511:１３２人目の素数さん
20/04/25 17:38:46 GoU2jl6o.net
>>487
＞ただそういう表記は、極限順序数であるωに、
＞あたかも前者となる順序数が存在するかのごとき
＞誤解を与える点で有害無益だと思うがね
だんだん批判のトーンが下がって来てるねw
単にあなたがややこしいと思ってただけでしょ、集合論の本でもこの程度の書き方は特に不自然とは思わない
512:１３２人目の素数さん
20/04/25 17:38:58 56hvO4NK.net
>>487
いや知ってだけど
そもそもωをわざわざ持ち出す人が知らないわけないじゃん
知らなかったのはむしろ君で、それ誤魔化すために書いたのかな笑
513:論理狼 ◆y7fKJ8VsjM
20/04/25 17:41:26 ReTz6AXc.net
>>489
粗雑な表現を漫然と受け入れてると、必ずつまづくよ
514:１３２人目の素数さん
20/04/25 17:45:10 56hvO4NK.net
>>490
あのさ、無限降下列も∈loopも、正則性公理からそれ自身はありませんてP68とP74で明確に書いてるのに、どうミスリードされるんだ？
君はスレを読んでた人をミスリードさせようとしてたのに、よう言えるなそんなこと
515:論理狼 ◆y7fKJ8VsjM
20/04/25 17:46:02 ReTz6AXc.net
>>491
＞だんだん批判のトーンが下がって来てるねw
いや、まったく下がってない 上がりまくってるがｗ
無限上昇列があるというだけなら わざわざ∈Vをつける必要がない
無限下降列が存在しない、とか∈ループが存在しないというのにもVは必要ない
上記２点を否定することは絶対にない
516:論理狼 ◆y7fKJ8VsjM
20/04/25 17:49:04 ReTz6AXc.net
>>494
わざわざVを持ち出して、無限上昇列の最後に「∈V」とつけてる時点で
「もしかしたらVから無限下降列がつくれて、
VからVへのループもできそうなのにおしい」
という気持ちがありありと感じられるから
「そういう妄想、要らんから」
といってるだけ 何がしたいんだ？望月
517:ポス毒
20/04/25 17:49:32 6oPh/Rfv.net
IDころころ変わるからコテ付けます
>>495
それだけだったらminor revisionといて提案する程度の事柄だね…
(個人的にreviseする必要があるとは思えないけど)
こんな部分を突いても論文の批判としては無価値だと思うよ
518:論理狼 ◆y7fKJ8VsjM
20/04/25 17:52:28 ReTz6AXc.net
>>486
＞いや知らんけど
結局 56hvO4NKはloopについては何も語れてないな
顔洗って出直してこいよ ま 別に戻ってこなくていいけどｗ
519:１３２人目の素数さん
20/04/25 17:54:37 56hvO4NK.net
>>496
それと似たような操作したいて話なわけでしょ
そんな�
520:ﾌありえねえと君が批判するのは自由だけれど、論文の一部分だけを切り出して、しかもその論文中で明確に否定してることを、「論文にはこんな記述があるから間違ってる！！」とかミスリードにもほどがあるでしょ そのようなミスリードは批判されるべきものだよ
521:１３２人目の素数さん
20/04/25 17:55:11 yxjK8Qim.net
revisionする必要すらない内容なら書かなければいいと思うんですがそれは
522:１３２人目の素数さん
20/04/25 17:56:01 56hvO4NK.net
>>498
君が気持ちよくスレ民ミスリードしてたところを、それミスリードだからと暴いてしまってごめんねー
523:論理狼 ◆y7fKJ8VsjM
20/04/25 17:56:58 ReTz6AXc.net
>>497
わざわざHNつけるほどの話じゃないよ やめときな
もちろんこんなのは些細なことだよｗ
ただ、こんなところでケチつけられんのは、イヤだろ？
それだけのこと
もう コテ外していいよ あんた研究者なんだろ？
５ｃｈみたいな地獄に来るもんじゃないよ 時間の無駄だから
まあ IUTについて素人に分かりやすい説明してくれるんなら有難いが
そういうのはIUTの本スレでやりなよ ここは「変態収容所」だからｗ
524:論理狼 ◆y7fKJ8VsjM
20/04/25 17:58:47 ReTz6AXc.net
>>501
ん？君結局、loopについては語れないんだろ？
ここに書く意味、ないじゃんｗｗｗｗｗｗｗ
525:１３２人目の素数さん
20/04/25 17:58:58 d2+O8E/0.net
>>502
批判に耐えきれなくなって、とうとう「自分はあえてキチガイを演じていただけなんですが」というスタンスに変えたか
悲しいねえ
526:１３２人目の素数さん
20/04/25 18:00:16.74 56hvO4NK.net
>>503
ミスリードしてるレスに対して、それミスリードしてると指摘することには意味があるよ
527:論理狼
20/04/25 18:02:40.82 ReTz6AXc.net
批判？どれもこれも見当違いなので、全然痛くも痒くもありませんがｗ
むしろ「文脈」とかいいだす時点で
「なんだ結局俺の云ってること実質的に認めてんじゃん」
と思ってるけどな ま、当然だけど
ポスドクが５ｃｈなんか見てちゃダメだよ 脳味噌腐るからｗ
528:論理狼
20/04/25 18:05:00.42 ReTz6AXc.net
>>505
肝心なことに答えないねｗ
望月の論文 IUT IVの§3のloopの理論全体における必要性について、
君は全然説明できてないけど、要するに君IUTが分かってないってこと？
529:１３２人目の素数さん
20/04/25 18:06:15.03 yxjK8Qim.net
改訂する必要すらない内容を論文に載せるくらいなら、
それこそ「心の一票」にでも書けばいいと思うんだが
まあアクセプトされた際の会見で「既存の公理体系の上です」とか何とか言ってたし宇宙公理の件は本当にカットしてるかもしれない
あるいはCor 3.12以降をカットしていればSSも認める正しい論文だな
530:ポス毒
20/04/25 18:06:47.18 QqbM/om7.net
>>502
＞もちろんこんなのは些細なことだよｗ
＞ただ、こんなところでケチつけられんのは、イヤだろ？
＞それだけのこと
こんな些細なところをつついてると「IUTの批判は実は大したことないのでは？」と思われそうで心配だよ
Woitのブログで展開されてるような真っ当な批判の方が埋もれてしまう
要するに狼さんの批判が藁人形に使われるってことね
531:論理狼
20/04/25 18:06:50.72 ReTz6AXc.net
云っとくけど、別にloopとやらがあってもいいよ
∈-loopと全然無関係ならね
関係なくていいんでしょ？だったら∈-loopとか云う必要ないよね？
ただそれだけだよ 何発狂してんの？君たちｗｗｗｗｗｗｗ
532:１３２人目の素数さん
20/04/25 18:08:33.22 56hvO4NK.net
>>507
当たり前じゃん、分かってないよ
けれど君の>>423のレス内容にある「望月先生は無限降下列や∈loopが文字通りあると思ってる」という趣旨の内容について、それは論文中で明確に否定されてるねと書いてるのよ
533:論理狼
20/04/25 18:09:03.74 ReTz6AXc.net
>>509
真面目な批判のネタがあるならIUT本スレでお書きください
変態収容所で粋がっても無駄だから
ついでにいうけど、真面目にやりたいなら
実名でarXivに論文上げるのが一番
５ｃｈなんかでうだうだいっても無駄
534:ポス毒
20/04/25 18:16:52.88 9CWGK7bc.net
>>512
狼さんがこのスレで提起した批判に突っ込んでるだけだよ
このスレで出てきた話だからここで話してるだけ
535:１３２人目の素数さん
20/04/25 18:21:19.11 h3YipE68.net
ポスドクってコテを付けるくらいなんだからポスドクなんだろうけど……
論文に改訂(revision)がいらない全く無関係なことが書いてあることを何とも思わないって
やっぱり廣中あたりが"日本の数学者 最後の世代"なんかねぇ
536:ポス毒
20/04/25 18:25:49.85 Xw+fHmNN.net
>>514
論点がズレてるよ
私は狼さんの批判がナンセンスなことを指摘してるだけであって
IUT論文の集合論の部分が不要かどうかとかは議論してない
これが無関係なのかどうか判断する能力も無いしね
537:BLACKX
20/04/25 18:27:08.41 tte+Rsu2.net
>>502
いえ、キチガイ収容所です
538:１３２人目の素数さん
20/04/25 18:31:17.06 h3YipE68.net
>>515
必要であれば改訂する必要があるし、
不要であればそもそも心の一声に書くべきで改訂するしないの問題ではない
要不要はそれこそ論点ではなく、その中で改訂しなくていいという発言をしてしまうことが嘆かわしいんだよ
539:論理狼
20/04/25 18:31:17.14 ReTz6AXc.net
>>513 >>515
ポスドクは真面目な批判をIUT本スレに書かなくちゃ
こんなところで粋がって書いてると
コラッツ●違いのド素人のBLACKX に
●違い呼ばわりされるよｗ
540:論理狼
20/04/25 18:34:09.12 ReTz6AXc.net
>>516
収容所の設置、有難うございますｗ
所長として毎日、多くの変態たちと付き合う充実した毎日を過ごしております
なお、私、過去の所業により、スレ立てが出来ません
このスレが1000に近づきましたら、次スレの設置をお願いいたします💛
541:論理狼
20/04/25 18:38:22.39 ReTz6AXc.net
>>515
＞IUT論文の集合論の部分が不要かどうかとかは議論してない
ここに書くなら議論しろよｗ
＞これが無関係なのかどうか判断する能力も無いしね
え？あんた数論幾何専攻のポスドクじゃないの？
何のポスドク？異分野ならそれこそこんなところで遊んでるなよｗ
542:論理狼
20/04/25 18:42:08.18 ReTz6AXc.net
IVの§３についていえば、inter-universeの箇所は書けばいいと思うが
集合論にこじつけて基礎づけた風な文章は無意味だから要らない
まあ、そこを除くとただの思いつきだけになって
「おまえのいうことが論理的に無矛盾だっていう証拠はどこにある？」
と突っ込まれるんだろうけど、別に付け加えたって質問の答えになってないから
543:BLACKX
20/04/25 18:44:24.68 tte+Rsu2.net
>>518
僕キチガイでもしょうがないよなぁ…5万の懸賞金の為に20倍のお金かけちゃったもんなぁ…
544:論理狼
20/04/25 18:46:42.14 ReTz6AXc.net
>>522
ああ・・・エルデシュがかけた５００ドルの懸賞金ね
URLﾘﾝｸ(ja.wikipedia.org)
どうでもいいけど、１００万円、何につかったの？
545:BLACKX
20/04/25 18:51:24.58 tte+Rsu2.net
>>523
遠征と校正会社
546:論理狼
20/04/25 18:54:08.52 ReTz6AXc.net
>>524
校正・・・ああ論文の
で、遠征って
547:BLACKX
20/04/25 18:58:33.32 tte+Rsu2.net
>>525
ついでだけどコラッツやってる人に会いに行ってきた。
548:論理狼
20/04/25 18:59:23.54 ReTz6AXc.net
ところで、毎回IDが変わるってどういう仕掛けなんだろ？
ケータイから？
549:１３２人目の素数さん
20/04/25 18:59:52 dUEBtaY/.net
>>516
いえ、
「落人村(ヲチうどムラ)」
です。
※「落人村(ヲチうどムラ)」とは…
大学の乱において敗北し僻地に隠遁し…
「京都落ち(みやこヲチ)」
している者が潜む
「落人の隠れ里(ヲチうど隔離スレ)」
のこと。
主に数学科の一門及びその郎党�
550:A数学科に加担した者が挙げられる。 「落武者(ヲチむしゃ)」 ともいうが、落ち(ヲチ)延びた者の中には、修士に限らず、素人や女性や子どもなども含まれる為 「落人(ヲチうど)」 というのが一般的である。 そうした落人(ヲチうど)が潜んだ地域を 「落人谷(ヲチだに)」 「落人塚(ヲチづか)」 「落人の隠れ里(ヲチ隔離スレ)」 などという。
551:論理狼 ◆y7fKJ8VsjM
20/04/25 19:00:41 ReTz6AXc.net
>>526
遠征っていうからには、外国の人ってことだよね
どこの人？やっぱり素人（つまり大学の数学科卒でない）なの？
552:論理狼 ◆y7fKJ8VsjM
20/04/25 19:04:00 ReTz6AXc.net
>>528
落人部落 いいねえｗ
URLﾘﾝｸ(www.youtube.com)
553:１３２人目の素数さん
20/04/25 19:04:51 dUEBtaY/.net
>>519
宿敵源氏の士に慈悲を乞う哀しき“落人の隠れ里(ヲチ隔離スレ)”住民...
゜。＊゜○。゜。✳゜。゜
○゜。*゜。゜✳゜(ノД`)゜
554:論理狼 ◆y7fKJ8VsjM
20/04/25 19:08:58 ReTz6AXc.net
>>531
なんだBBA あんたかｗ
いやー、大陸から来た弥生人に慈悲を乞う縄文人の末裔ですから
555:BLACKX ◆SvoRwjQrNc
20/04/25 19:09:46 9mAL47Rd.net
>>529
あまりその人の素性晒したくないけど、まぁ修士卒のニッチな人だよ
今はリビングにいればスマホと自室に居ればPC
556:１３２人目の素数さん
20/04/25 19:12:25 dUEBtaY/.net
★★★★★★★★★💢★
∵・Σ>>532━🔥🔫＞★
★★★★★★★★★★★
ＢＢＡではありませんね。
557:論理狼
20/04/25 19:13:26.47 ReTz6AXc.net
日本人に多い、Y染色体ハプログループD-M55に一番近い海外の人は、
なんとインド洋のアンダマン諸島のジャラワ族・オンゲ族だそうです
ジャラワ族
URLﾘﾝｸ(ja.wikipedia.org)
オンゲ族
URLﾘﾝｸ(ja.wikipedia.org)
558:１３２人目の素数さん
20/04/25 19:13:27.92 dUEBtaY/.net
失礼しました。
559:１３２人目の素数さん
20/04/25 19:49:01 dUEBtaY/.net
。。。ｽﾚ止ﾒﾁｬｯﾀ…?
…(´艸`;)…ｺﾞﾒﾝﾅｻｨ…?…
゜。○゜＊。*゜○。✳゜
空気が読めなくてごめんなさ～ぃ!
もうお邪魔しませ～ん。。。
許して…
゜ ✳゜。 ○゜。(ノД`)゜
560:１３２人目の素数さん
20/04/25 20:07:14 nULhaJry.net
これはただの妄想だが、
わざと難解かつ長大な論文をインターネット上で公開して、査読の期間を長引かせることによって、
いくらでも研究費が獲得できるんじゃないかと思った
ジャーナルに掲載されるまでの期間が長引けば長引くほど、「普及活動」と称して追加の研究費を請求することができる
さらに、あえてギャップを仕込んでおけば、反論する人が出てくることによって
「理解が進んでいない。さらなる普及活動が必要だ」として追加の研究費を（ｒｙ
561:論理狼 ◆y7fKJ8VsjM
20/04/25 20:17:27 ReTz6AXc.net
>>538
＞これはただの妄想だが、
いや図☆かもよ
562:１３２人目の素数さん
20/04/25 21:27:55.42 sUhbaEiB.net
京大を視たら泥棒と思え
563:粋蕎
20/04/25 21:28:39.57 EIR0nq2C.net
時にBLACCX氏。此の既存組織殲滅及び組織化活動粛正式全人各者漏れなく孤立型共産主義者は
此のスレ終わったら帰還の積もりらしいんで続設を頼む
所でブラッククス氏なのかブラックス氏なのか読み方が分からんな
BlackXと改名して呉れれば一意ではあるが、どっちなんじゃろ？
564:論理狼
20/04/25 21:41:58.34 ReTz6AXc.net
>>541
誤 共産主義者
正 無政府主義者
推進するのはマルクス主義
565:ではなく無政府共産主義 ま、工員のおめぇこそ資本主義に反抗すべきだがが 資本主義に従ってもおめぇ、餓死するだけだぞ（マジ）
566:BLACKX
20/04/25 22:02:44.05 9mAL47Rd.net
>>541
読みはブラックスやで。
りょかーい、善処する！
567:粋蕎 ◆C2UdlLHDRI
20/04/25 23:33:01 EIR0nq2C.net
>>543
感謝、協力する｡
そうかBlackXじゃのうてBlackxか｡
>>542
「理想なんて言葉は白々しいながら自らが思う世界構築」さえも無いオドレが望むんは
中庸殲滅主義どころか混沌放縦主義じゃな。餓鬼道…やっぱりガキ性分は境遇じゃのうて信念じゃったか
法治統制主義 畜生道
法治制御主義 天道
法治自在主義 神道
中庸互助主義 人道
中庸自由主義 仏道
中庸排他主義 修羅道
混沌支配主義 極道
混沌放縦主義 餓鬼道
混沌滅世主義 地獄道
568:ID:1lEWVa2s
20/04/26 02:20:39 Bp7jhaDB.net
>>527
遊び終わったらすまほ毎回電源きる。
569:１３２人目の素数さん
20/04/26 05:43:44.09 TiUZD0nx.net
新幹線や電車移動中にスマホ使ってるんだろ
中継基地局が変わるからID替わっちゃうからね
570:論理狼 ◆y7fKJ8VsjM
20/04/26 07:22:05 lYMvbA3z.net
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(ｘ * 0)=0 ∀x（x * sy)=[(x * y) + x] ならば
∀x(0 * x)=0
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(ｘ * 0)=0
∀x（x * sy)=[(x * y) + x]
∃x￢((0 * x)=0)
￢((0 * a) = 0)
(0 * 0) = 0
(0 * b) = 0
￢((0 * sb) = 0)
(0 * sb)=[(0 * b) + 0]
[(0 * b) + 0]=(0 * b)
(0 * sb)=0
×
QED
571:論理狼
20/04/26 08:09:57.98 lYMvbA3z.net
>>547 一部修正
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(ｘ * 0)=0 ∀x∀ｙ（x * sy)=[(x * y) + x] ならば
∀x(0 * x)=0
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x(ｘ * 0)=0
∀x∀ｙ（x * sy)=[(x * y) + x]
✓∃x￢((0 * x)=0)
￢((0 * a) = 0)
(0 * 0) = 0
(0 * b) = 0
￢((0 * sb) = 0)
(0 * sb)=[(0 * b) + 0]
[(0 * b) + 0]=(0 * b)
(0 * sb)=0
×
QED
572:論理狼
20/04/26 08:12:59.64 lYMvbA3z.net
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0 ∀x(0 * x)=0
∀x∀y（x * sy)=[(x * y) + x] ならば
∀x∀y（sx * y)=[(x * y) + y]
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y∀z[x + (y + z)]=[(x + y) + z]
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0
∀x(0 * x)=0
∀x∀y（x * sy)=[(x * y) + x]
✓∃x∃y￢（（sx * y)=[(x * y) + y])
￢（（sa * b)=[(a * b) + b])
sa * 0 = 0 * sa
0 * sa = [(0 * a) + 0]
[(0 * a) + 0]=[(a * 0) + 0]
sa * 0 = [(a * 0) + 0]
sa * c = [(a * c) + c]
￢(sa * sc = [(a * sc) + sc])
sa * sc = [(sa * c) + sa]
[(sa * c) + a]=[[(a * c) + c] + sa]
[(a * sc) + sc]=[[(a * c) + a] + sc]
[[(a * c) + c] + sa]=s([[(a * c) + c] + a])
[[(a * c) + a] + sc]=s([[(a * c) + a] + c])
s([[(a * c) + c] + a])=s([(a * c) + (c + a)])
s([[(a * c) + a] + c])=s([(a * c) + (a + c)])
s([(a * c) + (c + a)])=s([(a * c) + (a + c)])
sa * sc = [(a * sc) + sc]
×
QED
573:論理狼 ◆y7fKJ8VsjM
20/04/26 08:39:32 lYMvbA3z.net
演習
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0 ∀x(0 * x)=0
∀x∀y（x * sy)=[(x * y) + x]
∀x∀y（sx * y)=[(x * y) + y] ならば
∀x∀y(x * y)=(y * x)
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
∀x∀y(x + y)=(y + x)
∀x(x * 0)=0
∀x(0 * x)=0
∀x∀y（x * sy)=[(x * y) + x]
∀x∀y（sx * y)=[(x * y) + y]
✓∃x∃y￢((x * y)=(y * x))
￢((a * b)=(b * a))
(a * 0)=(0 * a)
(a * c)=(c * a)
￢((a * sc)=(sc * a))
(a * sc)=[(a * c) + a]
(sc * a)=[(c * a) + a]
[(a * c) + a]=[(c * a) + a]
(a * sc)=(sc * a)
×
QED
574:論理狼 ◆y7fKJ8VsjM
20/04/26 08:53:21 lYMvbA3z.net
>>544
法は要らないから、法治などない
混沌も道に沿うから、互助の精神が生まれる
自由、自然こそが大事
ま、工業高校卒の極道にはわからんか？
575:論理狼 ◆y7fKJ8VsjM
20/04/26 09:04:08 lYMvbA3z.net
工業高校、工業高等専門学校、工学部の連中にとって
数学とはつまるところ計算方法である
彼らは理論には興味がない
実数や連続性の定義など知らなくても微積分の公式がわかればいい
線形空間・線形写像など知らなくても行列の計算ができればいい
計算方法が分れば何も考えず只々計算する
工学部の連中にガロア理論が理解できないのは
ガロア理論が「計算方法」ではないから
逆に言えば論理も「計算方法」としてなら理解できる
タブロー法でも教えてやれば、サルのセンズリのごとく
嬉々として計算するだろうｗｗｗｗｗｗｗ
576:BLACKX
20/04/26 09:13:27.68 8tvmqbZG.net
ゴルゴジャッカル
577:論理狼
20/04/26 09:14:54.92 lYMvbA3z.net
六道は三段階に分けるのが良さげ
天道 自然自由主義
人道 自然互助主義
------
修羅道 法治強制主義
畜生道 法治盲従主義
------
餓鬼道 混沌強欲主義
地獄道 混沌破滅主義
578:ID:1lEWVa2s
20/04/26 09:23:18.73 pe+FY0+0.net
きちがいどう。
579:論理狼
20/04/26 09:31:04.86 lYMvbA3z.net
ちっ、ゾロ目取られたｗ
これ書き込もうと思ったのに
URLﾘﾝｸ(www.youtube.com)
580:論理狼
20/04/26 09:47:06.78 lYMvbA3z.net
算術基礎論（足し算の結合法則・交換法則、掛け算の交換法則の証明！）も
おわっちまったなあｗｗｗ
581:ID:1lEWVa2s
20/04/26 09:52:57.31 on3siIGx.net
>>557
10！を計算せよ。
582:論理狼 ◆y7fKJ8VsjM
20/04/26 10:03:36 lYMvbA3z.net
>>558
その計算はここでは収まらない（マジ）
583:ID:1lEWVa2s
20/04/26 10:06:28 lM6RpPk1.net
>>559
いろんなりゆうわかってるんだ。
破謝。
584:ID:1lEWVa2s
20/04/26 10:08:25 lM6RpPk1.net
>>560
破謝ってなに。
585:ID:1lEWVa2s
20/04/26 10:09:06 lM6RpPk1.net
>>561
この計算はここでは収まらない。まじ。
586:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/26 10:09:56 7O7a3CML.net
>>558-559
>> 10！を計算せよ。
>その計算はここでは収まらない（マジ）
その計算はここに収まる（マジ）
おサルは、指を折って数えようとしたねｗ（＾＾；
（参考）
URLﾘﾝｸ(i-o-knowledge.blogspot.com)
planit
記録的な何か
階乗・順列・組み合わせ計算
投稿者: Yukihito Ikoma / 生駒 之仁 - 8月 03, 2014
階乗
階乗、即ちファクトリアル(記号 !)ですが、中学校あたりで習う( ? )計算についてです。
0! = 1
1! = 1
2! = 2 x 1 = 2
3! = 3 x 2 x 1 = 6
4! = 4 x 3 x 2 x 1 = 24
…
10! = 10 x 9 x … x 2 x 1 = 3,628,800
587:論理狼 ◆y7fKJ8VsjM
20/04/26 10:12:20 lYMvbA3z.net
0,s0,ss0,…というのは単項(unary)記法だから
小さい数でもすぐ長い表記になってしまい収拾がつかない
ああ、バイナリ記法での加法乗法の計算が
単項記法の計算と一致していることを
証明する必要があるって？
いい指摘だな
588:論理狼 ◆y7fKJ8VsjM
20/04/26 10:15:13 lYMvbA3z.net
>>563
ああ、こいつ何もわかってないな
１０進数表現での乗算の方法が、
ロビンソン算術の単項記法の定義と
合致してることは証明したか？
ま、お前には逆立ちしても無理だろｗ
589:ID:1lEWVa2s
20/04/26 10:19:15 0ATr8syR.net
>>564
ばいなりまたは11！含めて前後の！とぴぃしんせいすうろん。
素数。
ひんとおわり。
因みに素数については！よりまだ見付けてないが元になると思ってる。
後は元を代数学の基本法則で扱えば素数があらわれるはず。はずね。
590:ID:1lEWVa2s
20/04/26 10:28:38 PhnkXi8Z.net
>>563
合ってます。
591:ID:1lEWVa2s
20/04/26 10:42:23 xUy4U9sf.net
もういややねんあめりかじんと会話するの。cherry葵nightcorelive24/7で会話するの。あいつらにゅうろんのしゅうごうたいだろ。
592:１３２人目の素数さん
20/04/26 10:52:04 puOxTMEG.net
>>565
どうやるの？
593:ID:1lEWVa2s
20/04/26 10:59:06 LO35bhl9.net
>>569
こいつあめりかじんどから答えな�
594:ｭていい。 あめりかじんのとくちょう。 他人まかせでかうかうかうそしておかねおかねおかね。 おかねはたこくからおくってもらう。 ものはあたかもはたらいたかのようにもらったかねかでかうかうかう。
595:ID:1lEWVa2s
20/04/26 11:00:34 LO35bhl9.net
そしてぜんぶじぶんのものにおもうがまましようとする。
あいでできている。
596:ID:1lEWVa2s
20/04/26 11:00:52 LO35bhl9.net
あいでにゅうろんのしゅうごうたいへ。
597:ID:1lEWVa2s
20/04/26 11:02:11 LO35bhl9.net
こうやって言うこともあいつらにとってはあいで優しさを愛引している。
ちゅぅ～。きゅうちゅぅ～。
598:ID:1lEWVa2s
20/04/26 11:08:50 0MNN51Zt.net
あいにゅうろんは日本の心と文化なのに。のっとられた。
599:ID:1lEWVa2s
20/04/26 11:09:31 0MNN51Zt.net
小心者こすい。
600:ID:1lEWVa2s
20/04/26 11:10:51 0MNN51Zt.net
あめりかはすでににほんにあいにゅうろんせんそうをしている。
ゆうすけをうばうためにな。
601:ID:1lEWVa2s
20/04/26 11:11:22 0MNN51Zt.net
あめりかはあいにゅうろんでゆうすけをかんじている。えろなんかじゃかい。まじ。
602:ID:1lEWVa2s
20/04/26 11:12:13 0MNN51Zt.net
oop←きもい。
603:ID:1lEWVa2s
20/04/26 11:13:00 0MNN51Zt.net
ゆうすけがねらわれている。あいにゅうろんで。
604:ID:1lEWVa2s
20/04/26 11:15:37 0MNN51Zt.net
日本からあめりかへの輸出全部禁止したほうがいい。
あじあ内で鎖国しよう。
核で沈めばそれまでだ日本は女の子を守れ。あめりかとか関係ないけどよかれあめりかじんがはいってきて妊娠させて日本に住み着くかあめりかにつれていく。