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
日本からあめりかへの輸出全部禁止したほうがいい。
あじあ内で鎖国しよう。
核で沈めばそれまでだ日本は女の子を守れ。あめりかとか関係ないけどよかれあめりかじんがはいってきて妊娠させて日本に住み着くかあめりかにつれていく。
605:ID:1lEWVa2s
20/04/26 11:17:37 0MNN51Zt.net
軍事法があって勝てばいいだけ負ければ負け。
戦争は軍事法があるならば禁止されてない。
かじのといっしょ。
606:ID:1lEWVa2s
20/04/26 11:19:27 0MNN51Zt.net
軍事法は段々あめりかの都合がよいようにあわさってくるけど
いずれ不法なあめりかじんが虐殺されるべき理由が-軍事法によって-でてくる。
607:１３２人目の素数さん
20/04/26 11:25:00 inFd57k6.net
(‥*(>>580)☆素数ｽﾚに
ڡ△٩∪☆)☆遊びに行っても
Jｌ☆∪∪☆良ぃですか?
608:ID:1lEWVa2s
20/04/26 11:26:23 iPNZFLoe.net
>>583
はいよろしいです。
609:１３２人目の素数さん
20/04/26 11:27:12 inFd57k6.net
(>>582)»٩(”*)??
☆∪☆)
☆∪∪
610:ID:1lEWVa2s
20/04/26 11:28:55 iPNZFLoe.net
>>585
はいそのとおり。
611:１３２人目の素数さん
20/04/26 11:29:58 inFd57k6.net
(*“(>>584)
☆⊃∪☆☆)
∪∪∪∪
だれもいなくて。。
つまらなぃので。。
一緒に遊んでもらえませんか?
612:ID:1lEWVa2s
20/04/26 11:34:03 S+LxSZiE.net
>>587
最後の秤？
613:論理狼 ◆y7fKJ8VsjM
20/04/26 11:35:05 lYMvbA3z.net
アメリカは悪の極致
URLﾘﾝｸ(karapaia.com)
世界同時革命は必須
アメリカ・西ヨーロッパ・日本
悪の三大根拠地で革命を起こせ！！！！！！！
614:ID:1lEWVa2s
20/04/26 11:35:11 S+LxSZiE.net
>>587
お～ことわり～します～がんこ
ご遠慮します。
615:ID:1lEWVa2s
20/04/26 11:38:04 S+LxSZiE.net
日本はベーシックインカムにせよ。
616:ID:1lEWVa2s
20/04/26 11:39:37 S+LxSZiE.net
月10万円
週3其れ其れ2時間働く。
国がお金刷れば経済はまわるだろ。
デフレは気にするなよな。
617:論理狼 ◆y7fKJ8VsjM
20/04/26 11:41:00 lYMvbA3z.net
資本主義体制を壊せ！
貨幣経済システムを壊せ！
国家を壊せ！
618:ID:1lEWVa2s
20/04/26 11:41:37 S+LxSZiE.net
麻生ちゃん安部ちゃんそのとりまきやりさ～の創価学会の公明党でもいいからそこらへん考えといてただやりさ～の創価学会は悪いな。
619:ID:1lEWVa2s
20/04/26 11:41:58 S+LxSZiE.net
>>593
国は壊さなくていい。
620:１３２人目の素数さん
20/04/26 11:42:22 inFd57k6.net
(*“(>>588)
たいへんきょうみぶかい
ﾅｿﾞﾅｿﾞですね…
続きを素数のスレで
きかせてほしぃです。。。
621:ID:1lEWVa2s
20/04/26 11:43:03 S+LxSZiE.net
あとソフトバンクグループ他人の仕事を奪うな。
下請けにえたひにんをいれてちゃんと育てろごらぁ。
622:ID:1lEWVa2s
20/04/26 11:43:27 S+LxSZiE.net
>>596
それはやめて。
623:ID:1lEWVa2s
20/04/26 11:43:50 S+LxSZiE.net
たちゅでてきた。
624:ID:1lEWVa2s
20/04/26 11:45:04 S+LxSZiE.net
AEONを見習え。
625:ID:1lEWVa2s
20/04/26 11:45:14 S+LxSZiE.net
では
626:ID:1lEWVa2s
20/04/26 11:45:23 S+LxSZiE.net
さいなら。
627:論理狼 ◆y7fKJ8VsjM
20/04/26 11:47:05 lYMvbA3z.net
>>595
国家があるから貨幣も警察も軍隊もある 悪は国家から始まる
628:ID:1lEWVa2s
20/04/26 11:48:25 S+LxSZiE.net
>>603
僕はそこまでは言ってない。
629:１３２人目の素数さん
20/04/26 11:48:31 inFd57k6.net
(>>590)
∪☆) ＿|￣|○...
∪∪
...お邪魔しますた…
゜✳。*゜○。゜(ノД`)゜
630:ID:1lEWVa2s
20/04/26 11:51:46 S+LxSZiE.net
AEONを見習うな。もうおそい。ちょびんこてきにいってテリトリーを邪魔したら踏み潰す。
631:論理狼 ◆y7fKJ8VsjM
20/04/26 11:56:32 lYMvbA3z.net
>>604
革命は徹底的に行う必要がある
中途半端では敵に巻き返される
632:ID:1lEWVa2s
20/04/26 11:58:10 S+LxSZiE.net
>>607
内緒。
633:１３２人目の素数さん
20/04/26 12:00:56 26wcGBil.net
>>565
でこれどうやるんだ
634:論理狼 ◆y7fKJ8VsjM
20/04/26 16:02:35 lYMvbA3z.net
新ドラマ
「IUTT 異常なし」
第１回
株式会社 Inter-Unversal Telecommunication Technology(宇宙間通信技術）の
chief executive officer セタは、イラついていた
ヘッドハンティングで入社させたエリート技術者モチヅキ君の考案した
宇宙間通信ＩＵＴのカラクリがちっとも理解できなかったからだ
セタＣＥＯ
「モチヅキ君、細けぇこたぁ、どうでもいいんだよ
君が考えたＩＵＴがどうしてうまくいくのか
ＰＰＴ一枚で説明してほしいといってるんだ！」
モチヅキ社員
「ＣＥＯ、お言葉ですが、私の発明はそんな簡単なものではありません！」
セタＣＥＯ
「君、誰に向かって口きいとると思っとるんだ！」
タマカワ課長
「まあまあ、モチヅキ君・・・彼は、優秀なんですが、どうも説明下手で」
セタＣＥＯ
「じゃ、タマカワ君、君、代わりに説明してくれたまえ」
タマカワ課長
「え？私が？・・・それがその・・・何分難しくて」
セタＣＥＯ
「君、それでも彼の上司かね？とにかく、ＰＰＴ１枚での説明を頼むよ！
私だけじゃない。これじゃ株主にも理解してもらえんよ。
開発費用を支出してもらう必要があるんだ。
君らだって給料がもらえなくなったら困るだろう！
じゃあ、さっさと仕事にとりかかってくれたまえ！」
そういうが早いか、ＣＥＯは二人を部屋から叩き出した
（続く）
635:論理狼 ◆y7fKJ8VsjM
20/04/26 16:14:33 lYMvbA3z.net
新ドラマ
「IUTT 異常なし」
第２回
一方 ドイツに本拠地を置く、ライバルのPerfectoid社もIUTTの動向を注視していた
Faltings CEO
「IUTTが画期的な宇宙間通信技術を考案したというニュースがあるが」
Scholtze 社員
「Mochizukiが発表した論文を読んでみましたが・・・
肝心な箇所で動作しないことが判明しました」
Faltings CEO
「それは本当かね？」
Scholtze 社員
「私の考えに間違いがなければ」
Faltings CEO
「では、さっそくその内容を説明した文書を作成して関係各所に流すんだ
IUTTにこの業界に参入されては我々の儲けが減る
いまのうちに徹底的に叩き潰すんだ！」
Scholtze社員
「Mochizukiは、かつてボスの部下だったと聞いてますが」
Faltings CEO
「その通りだが、今は違う。Scholtze君、この世界に私情は禁物だよ（ニヤリ）」
Scholtze社員
「わかりました・・・ボス（ニヤリ）」
636:１３２人目の素数さん
20/04/26 16:27:18 iwpRZFMw.net
糖質の妄想痛いな
637:１３２人目の素数さん
20/04/26 17:02:09 inFd57k6.net
餅様の設定が緩すぎると思います。
もっと絞り込まないとリアリティが感じられないと思います。
餅好き氏
マミーはアメリカ人
☆紳士
☆イケメン
☆高身長
☆高学歴
☆若い頃からお天才
☆若くして...
某有名ＫＹＯ大
すぅ理△○★☆□教授
☆いつまでも少年の心を保ち続ける奇跡の純粋無垢。。。
☆☆☆中高年の星☆☆☆
(そのあまりの人間離れした超絶ピュアぶりに、一説には“妖精”疑惑も囁かれるほど。)
。。。ってちゃんとフルスペックで設定入れといて下さぃ。
638:１３２人目の素数さん
20/04/26 17:07:38 inFd57k6.net
あと、、、
刺客の🌺くノ一★ｽﾄｰｶｰ🌹
🌸ひとみん💋ﾈｷ♀
も。。。
影の主役で暗躍させて下さぃ🎶
639:１３２人目の素数さん
20/04/26 17:18:55 inFd57k6.net
第2話から登場のライバル
ショルツ社員もかませ犬ってことで適当に、
✨✨✨『独身』✨✨✨
✨✨若手天才イケメン✨✨
設定で盛っといた方が、
女子ウケすると思います。
640:１３２人目の素数さん
20/04/26 17:26:31 inFd57k6.net
第３話で。。。
ショルツ社員が泥酔させられて学生時代の後輩女子にお持ち帰りされて。。。
第４話で。。。
ﾃﾞｷ婚に追い込まれて女子人気失墜 ─
(ってヤると盛り上がるな・・・)って思いましたー。
641:論理狼 ◆y7fKJ8VsjM
20/04/26 17:28:39 lYMvbA3z.net
>>613 >>615
その辺はいずれ語ります
>>614
ん？きみ、ひとみっていうの？
このコ↓とおんなじだなｗ
URLﾘﾝｸ(www.youtube.com)
642:論理狼 ◆y7fKJ8VsjM
20/04/26 17:29:42 lYMvbA3z.net
>>616
残念ながら・・・ボツ！ｗ
643:１３２人目の素数さん
20/04/26 17:29:48 inFd57k6.net
もっちー負けないで！
頑張ってー！！！
644:１３２人目の素数さん
20/04/26 17:38:42.20 inFd57k6.net
🌺がっきー🌹はちょろちょろしつつ、もっちくんの夢を煽るだけ煽って、結局もっちー片想いで悶々としてるうちに。。。
『がっきー結婚』
のニュースを見て、、、
(もっちーｺﾞﾒﾝﾈ…。)
。。。もっちー。。。
。。。○|￣|＿
↑ってなっちゃって。。。
ますます妖精道を究めてく、
って切ない感じの
✨純粋✨失恋💔仕立て✨
ストーリーにしてほしいです。
645:論理狼
20/04/26 17:39:23.25 lYMvbA3z.net
新ドラマ
「IUTT 異常なし」
第３回
また一方 IUTT CEO セタの動向に注目する一人の男
フリージャーナリストの大神だ
大神
「ガロア・グループ、ツェルメロ・オーディナルと
会社を設立してはことごとく潰してきたセタが
性懲りもなくまた新しい会社を設立したか。
・・・おや？」
大神はIUTTの新技術説明文書のある個所に目をとめた
そこはかつてセタがツェルメロ・オーディナル社で
新商品と銘打って販売したオメガの致命的欠点と
まったく同様の記述があったのだ
大神
「これは・・・いけるな」
そうつぶやくとさっそくペンを走らせた
それがIUTTの欠点暴露のスクープ記事だった
（続く）
646:１３２人目の素数さん
20/04/26 17:44:59.23 inFd57k6.net
★フリージャーナリスト★
🐺大神(おおかみ)🐺氏
設定
★子どもの頃の渾名
『ほらっちょ』
『狼少年』
647:１３２人目の素数さん
20/04/26 17:49:52.93 inFd57k6.net
二十世紀少年🐺オオカミ🐺
(二十一世紀中年★
フリージャーナリスト♂大神)
設定Ⅱ
弟をﾀﾋぬほどイヂメ抜いて来た
虚言癖のドＳ★中年♂独身男性
648:論理狼
20/04/26 17:51:17.37 lYMvbA3z.net
新ドラマ
「IUTT 異常なし」
第４回
大神の記事はIUTTにとっては決定的ダメージとはならなかったものの
IUTTに関する疑念が注がれるようになった
セタCEO
「説明書IVの§3は余計だったな」
モチヅキ社員
「そうは思いません 大神の記事は明らかなミスリーディングです」
セタCEO
「んなこたぁわかってる！
しかし∈ループは実現不能といいつつ、
∈ループを模擬するという説明が如何わしいのだ
ただのループではいかんのか？え？どうなんだ？」
モチヅキ社員
「そこはIUTTの売りではありません
御心配には及びません」
セタCEO
「売りでないなら、なぜ書いた？
君が出した変な色気のせいで、IUTT自体の疑念が広まっているのだよ
現にPerfectoid社が・・・」
モチヅキ社員
「あいつらになにがわかるっていうんです！！！」
セタCEO
「・・・君、何ムキになっとるんだ
とにかくPerfectold社がうちの技術のアラを見つけようとしてるのは明らかだ
君も彼らにつけこまれたくないなら、新技術の信頼性を示してくれ！！！」
モチヅキ社員
「（心の中で）・・・やれやれCEOは技術のことは全く理解しないから困る
もともと営業出身だから仕方ないが」
（続く）
649:論理狼
20/04/26 17:53:18.77 lYMvbA3z.net
>>623
ボクは弟には全然アタマが上がりません
家のことは全部弟がやってくれてるんで
ありがとう！弟（マジ）
650:１３２人目の素数さん
20/04/26 17:55:06.22 inFd57k6.net
★フリージャーナリスト★
☆二十一世紀☆中年♂
「🐺大神(オオカミ)🐺氏」
～ キャラ設定さらに詳細 ～
なにもかも嘘。
言ってるｺﾄだいたいｳｿ。
ぜんぶウソ。
座右の銘
『嘘で固めて城が建つ』
651:粋蕎
20/04/26 17:55:09.95 HKlxayhp.net
>>554
神道は天道もしくは人道、極道は修羅道に含んでも良いが
仏道は天道とも人道とも異なる解脱の道。無論、解脱は解脱でも逸脱ではなく超脱｡
逸脱せし道は…外道。無間地獄と同種の苦界かつ無縁の外界に彷徨う事に成る｡
652:粋蕎
20/04/26 18:00:19.54 HKlxayhp.net
>>552
責めて連続性が担保されんで極限を取らんと。さもなくば崖を気にせず進むもんじゃろ｡
目隠しガードレールレス峠走行！
653:１３２人目の素数さん
20/04/26 18:08:12.32 inFd57k6.net
>>625
それが真なら
私は最初にクイズに正解してたんですよね。
「第１子長男、２～４歳以内の歳の差の弟がいる」
って。
最初に質問させて頂いた時に
①「弟はおらん」
「じゃ、２３歳下に妹さんがおいでですか？」
って続けて質問させて頂いたら。。。↓
②「妹はいないな。いたら？
(じゅるる)」
って。
で、最近、
↓
③「弟と同居してる」←今ｺｺ！
。。。
最近
(👴ﾁﾞﾁﾞｨｯﾁｬﾏ…もしかすると…
👵ｫﾊﾞｧﾁｬﾏかも？)
って選択肢を拡張しときましたよー。
654:論理狼
20/04/26 18:09:45.78 lYMvbA3z.net
>>627
あんたのいう仏道は、天道のうちの色界、無色界
というのは、そもそも六道は仏教の用語だし
六道のうち天道＝欲界の六欲天の
最終ステージ「他化自在天」にいるのが
第六天魔王だから
つまりラスボスを倒さないと色界、無色界には入れない
URLﾘﾝｸ(ja.wikipedia.org)(%E4%BB%8F%E6%95%99)
655:１３２人目の素数さん
20/04/26 18:10:51.93 inFd57k6.net
>>629
↑を↓に訂正いたします。。
>２３歳下に妹さんが…
２～３歳下に妹さんが…
656:１３２人目の素数さん
20/04/26 18:17:49 inFd57k6.net
(ﾌﾟﾛﾌｧｨﾙ当てた！)ってはしゃぎたいけど、、
(“🐺狼🐺中年さん”が『弟がいる』ってまたまた可変設定仰っても、、素直に喜べなぃ…)気分です...
657:粋蕎 ◆C2UdlLHDRI
20/04/26 18:19:16 HKlxayhp.net
>>630
ダウト。天道に解脱無し｡
658:１３２人目の素数さん
20/04/26 18:19:45 inFd57k6.net
でもそれが真なら。。。
ますます。。。
粋蕎さまとそっくりですね。。。
659:１３２人目の素数さん
20/04/26 18:28:22 inFd57k6.net
👴ﾁﾞﾁﾞｨｯﾁｬﾏ(ｵﾊﾞｧﾁｬﾏ👵?)
クイズに脱線しちゃった。。。
🌟もっち様ドラマ🌟。。。
実現してほしぃです。。。!
660:論理狼 ◆y7fKJ8VsjM
20/04/26 18:34:39 lYMvbA3z.net
>>633
俺、仏教徒じゃないから、どうでもええわｗ
No Passion No Life
661:論理狼 ◆y7fKJ8VsjM
20/04/26 18:44:33 lYMvbA3z.net
本スレもヤベェ奴がいるな・・・
ｽﾚﾘﾝｸ(math板:239番)
>死刑執行するバイトとか募集してないの？
ｽﾚﾘﾝｸ(math板:242番)
>リンチと死刑執行は違う
その昔、中国や朝鮮には、凌遅刑ってのがあった
URLﾘﾝｸ(ja.wikipedia.org)
凌遅刑（りょうちけい）とは、清の時代までの中国や
李氏朝鮮の時代までの朝鮮半島で処された処刑の方法のひとつ。
存命中の人間の肉体を少しずつ切り落とし、
長時間にわたり激しい苦痛を与えて
死に至らす処刑方法である。
URLﾘﾝｸ(chkai.info)
662:論理狼 ◆y7fKJ8VsjM
20/04/26 18:47:51 lYMvbA3z.net
いっときますが、私は死刑廃止論者です
URLﾘﾝｸ(ja.wikipedia.org)
663:論理狼 ◆y7fKJ8VsjM
20/04/26 18:52:45 lYMvbA3z.net
ついでにいうと、貨幣経済があるからセックスの売買があるのであって
貨幣経済がなければただの野合であるｗ
URLﾘﾝｸ(ja.wikipedia.org)
664:１３２人目の素数さん
20/04/26 19:21:50 inFd57k6.net
>>637
(ひとりじゃないって素晴らしい・・・)…ですか？
。。。(”*)？
ｴﾓｯﾋﾟＳＭ刑法
『これ豆なｗ』
ってやって、誤爆サディストの方の性癖に水を差して来ちゃぃましたよ...
ﾁﾞﾁﾞｨｯﾁｬﾏごめんなさぃ。
665:１３２人目の素数さん
20/04/26 19:27:06 inFd57k6.net
…ﾔｯﾊﾟﾘ合ﾜﾅｨ…゜。＊゜○。*゜。
。゜。*゜。＊゜○。✳゜。○゜✳。゜
○゜…ｴﾓ…ｎ。㌨…゜(ノД`)。
666:粋蕎 ◆C2UdlLHDRI
20/04/26 19:28:21 HKlxayhp.net
首のこ刑から着想を得たアレンジ、のこぎり凌遅刑は儂の発明｡
因みに儂は死刑廃止には代替人格更正刑が必要と考える｡
密林の先の入り組んだ崖下の海浜に満潮を過ぎた時間に首から下を埋めてやり､
「迎えに来る迄の間の3時間そうして頭冷やせ」と言って離れる｡
密林の崖の先ゆえに上からは見付からず、入り組んだ崖ゆえに海上からも見付からん｡
干潮を過ぎ、次の満潮が迫る。3時間過ぎたのに執行人は帰って来ない。潮が満ちて行く｡
其うすると人は打ち寄せる波の恐怖により『人生総回顧レベルの走馬灯体験』を何度も何度も繰り返す｡
或る者は会う度に初対面含む誰にでも謝る人になる。或る者は壁に向かって謝り続ける人になる｡
或る者は警察さえ恐れる人になる。或る者は布団から出られない人になる｡
或る者は執行当夜に必死こいて荷造りし住居を夜明けを待たぬ短時間の間に藻抜けの空し夜逃げする｡