20/04/22 17:14:22 mg08g5qs.net
新帝国主義時代に“Ｇ０”を感じて国家間競争の激化による国際関係の揺らぎから。。。
一時的に様々なピボット国家プランをシミュレートしてみても結局ポエム。
元々組み込まれてる軍事支配の枠組み内部に留め置かれて、今回のｺﾛﾅパンデミック後の世界では、ビッグテックによる個人情報が、レーシストにジャックされた帝国中心国家により統括されて逝くのでした。。。
スノーデン＆アサンジュが懸念した世界の到来でつw
「９.１１が世界の政治的潮流を変えた」なら。。。
「『コロナ後の世界』は９１１後のレーシズムに基く思想に染まった帝国中心に、世界支配を強化する技術を全権委任する転機になった」
ってまとめられてそうw
108:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:15:44 gQCe02i1.net
ああ、そうそう
一つ言い忘れたことがある
このスレッドが終わったら、本スレッドに戻るよ・・・もちろん匿名で
私はスレッドを立てられないのでね
109:１３２人目の素数さん
20/04/22 17:16:17 mg08g5qs.net
不思議ヲヂさん、お邪魔しますたw
110:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:19:40 gQCe02i1.net
>>103
じゃ、BBAは銀河帝国皇帝役ね
URLﾘﾝｸ(www.youtube.com)
おれ？もちろんジェダイのルーク役だよ 決まってんじゃんｗ
URLﾘﾝｸ(www.youtube.com)
111:粋蕎 ◆C2UdlLHDRI
20/04/22 17:20:54 X38faA9i.net
共産主義は日銀がFRBの下僕に成り下がる前で日本中の企業が
相互資本補助の護送船団経営し、庶民も団塊の世代のな働き方が強力じゃった時代を差すんじゃろうな｡
『20世紀日本は最も成功した共産主義』と言われてもおかしくなかろう｡
日銀がFRBの下僕に成って以降、護送船団経営に風穴が開けられ､
庶民も団塊の世代の働き方では上手く無くなって来た訳じゃな｡
112:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:29:41 gQCe02i1.net
>>107
今度は計画経済を共産主義と誤解する馬鹿現る
日本の学校は嘘ばっか教えてきたことがよくわかるなｗ
21世紀こそ「トロツキーの夢」が実現する時だろうな
・・・世界革命の夢がｗ
113:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:33:09 gQCe02i1.net
そもそも金ありきで考えるから、権力に丸め込まれる
貨幣経済はどう転んだって金持ちに金があつまるようになってる
対数正規分布で、分散が大きくなればなるほど、
金持ちに金が集まるようになってるのは確率論の常識
対数正規分布
URLﾘﾝｸ(ja.wikipedia.org)
経済学が資産分布について全く述べないなら、根本的欠陥があるんだよ
114:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:39:49 gQCe02i1.net
トマ・ピケティの提案する富裕税は所詮対症療法に過ぎず、根本的な解決策ではない
根本的な解決策？もちろん貨幣制度に代わる制度の実現
もちろんこれは容易なことではないし、スマートな理論が即出るわけでもない
試行錯誤でやっていくしかない 世の中は数学とは違うんだよ
115:１３２人目の素数さん
20/04/22 17:
116:44:37 ID:mg08g5qs.net
117:粋蕎 ◆C2UdlLHDRI
20/04/22 17:53:25 X38faA9i.net
>>108
何を読み違えとるん？計画主と主義主が別とは読まんかったんか？
118:粋蕎 ◆C2UdlLHDRI
20/04/22 17:56:21 X38faA9i.net
>>111
恐らく織田信長を拉致し歴史から失踪させた真犯人
119:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:57:09 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:51番)
＞証明自体は合ってるけど論文の体裁が気に入らない
そんな「穏健派」なんているのか？ｗ
主流派：証明にはギャップがある（というかそもそも証明の体を成してない）
過激派：そもそも証明矛盾してね？
ショルツは過激派的な物言いがあったのは確かだが根本は主流派
そもそもあの不透明な論文から矛盾を見つけるのも難しい
120:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:59:08 gQCe02i1.net
>>113
つーか、俺が織田信長🤥
121:１３２人目の素数さん
20/04/22 18:00:11 mg08g5qs.net
第六天魔王w
122:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:00:56 gQCe02i1.net
大体なんでここはBBAとか粋蕎とか変態の巣になってんだ😎←満更でもない
123:１３２人目の素数さん
20/04/22 18:04:33 mg08g5qs.net
ﾎﾞｿｯ(類友じゃね…(絶望)
124:１３２人目の素数さん
20/04/22 18:05:21 mg08g5qs.net
ますます嫁に逝け無くなるー！
125:１３２人目の素数さん
20/04/22 18:06:11 mg08g5qs.net
↓変態ねらーの呟き↓
126:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:07:08 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:54番)
＞ネットアンチ収容所
これからBLACKXのことをハイドリヒと呼ばせていただくｗ
127:粋蕎 ◆C2UdlLHDRI
20/04/22 18:08:08 X38faA9i.net
呑み足りん
128:ID:1lEWVa2s
20/04/22 18:08:47 n+MI8AA7.net
>>122
吞めるだろ今日は。ごめんなさい。
129:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:11:19 gQCe02i1.net
変態性欲
URLﾘﾝｸ(ja.wikipedia.org)
「抗精神病薬であるエビリファイの服薬により、
新しい性的指向の開発や、異常性欲などの
行動障害を発症することがある。」
ま、関係ないけど（だったら書くなｗ）
130:ID:1lEWVa2s
20/04/22 18:11:39 n+MI8AA7.net
>>122
僕は酒やらないよ。
131:１３２人目の素数さん
20/04/22 18:17:12.91 mg08g5qs.net
>>124
ﾁﾞﾁﾞｨｯﾁｬﾏ飲み過ぎだったんだw
ほんとの変態かと思ってたw
132:5ch反IUT論装戦線
20/04/22 18:18:29.03 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:58番)
＞私は中立だよ。
誤 中立
正 無定見
賛否を問うアンケートに対して「どちらともいえない」と答える煮え切らないヤツｗ
133:5ch反IUT論装戦線
20/04/22 18:20:15.79 gQCe02i1.net
>>126
いやいや、酒もクスリも飲んでないって
・・・いかん、BBAにJJIと呼ばれて返事してしもた・・・OTL
134:１３２人目の素数さん
20/04/22 18:23:02.03 mg08g5qs.net
♪(*´∀`)ﾊﾊﾊ(´∀`*)ｹﾞﾗｹﾞﾗ
ﾊﾊﾊ(´∀`)♪(´∀`)ﾊﾊﾊ♪
ｹﾞﾗｹﾞﾗ
135:１３２人目の素数さん
20/04/22 18:30:15 mg08g5qs.net
も、素数くん、、、
>>123٩(´∀`*)و♪
星座と干支一緒w
136:１３２人目の素数さん
20/04/22 18:36:00 mg08g5qs.net
Ohaluくんちの🐱ﾆｬﾝｺちゃんはお元気ですか。。。?
137:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:37:54 gQCe02i1.net
個人的にそそられたプレスリリース
URLﾘﾝｸ(www.s.u-tokyo.ac.jp)
余談ですが・・・ボクは系統１です（以前調べた）
138:１３２人目の素数さん
20/04/22 18:46:49 mg08g5qs.net
■ぃ▲▼●
139:ー●ーでしたね…
140:ID:1lEWVa2s
20/04/22 18:54:40 IWyN5Pb9.net
しぃずかあぁにぃ。
141:１３２人目の素数さん
20/04/22 19:16:02 mg08g5qs.net
来てた…w
142:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 19:40:27 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:64番)
>猿芝居をやりだしたら、数学はもう終わり。
もともと数学やりたがるのは変態ｗ
>AI, 宇宙、核融合、生命科学に人材がながれるよ。
やっぱ生命科学かなぁ
AIは・・・いうほど面白くない
143:ID:1lEWVa2s
20/04/22 20:17:48.46 zP4DsWDm.net
てすと。
144:ID:1lEWVa2s
20/04/22 20:18:35.10 zP4DsWDm.net
ここは書き込めるのか。
すまほににゃろめうぃるすはいった。
まあいいや。
145:ID:1lEWVa2s
20/04/22 20:19:14.18 zP4DsWDm.net
ゆぅちゅうぶすらいどできんくなった。
まあいいや。
146:ID:1lEWVa2s
20/04/22 20:19:24.53 zP4DsWDm.net
てすと。
147:5ch反IUT論装戦線
20/04/22 20:19:46.10 gQCe02i1.net
諸君らに問題
数学的帰納法は以下の命題と同じであることを示せ
P0 かつ ∃x￢Px ならば ∃x(Px∧￢Psx)
(sxはxの後続者)
148:ID:1lEWVa2s
20/04/22 20:23:38.03 zP4DsWDm.net
>>141
まずP0が何言ってるかわからないし存在xにp素数掛けるxかつそのp素数の次偶数を掛けるの反対をしたのが何なのか解らん。
まだ、行列の統計の本のが意味解る。
論理学意味不明。解らんだけだけど。
149:ID:1lEWVa2s
20/04/22 20:25:01.74 +g0jYdrw.net
ねりゅ。おやちゅみ。
150:5ch反IUT論装戦線
20/04/22 20:32:18.19 gQCe02i1.net
>>142
P0：数0は性質Pを満たす
∃x￢Px:ある数xが存在し、xは性質Pを満たさない
さあ、もう分からないとはいわせない
151:ID:1lEWVa2s
20/04/22 20:35:16.40 vdJUmMzj.net
>>144
∃x∩∃x|￢P
⇒?
152:5ch反IUT論装戦線
20/04/22 20:35:30.17 gQCe02i1.net
>>141の論理式を日本語でかくとこうなる
0は性質Pを満たし、ある数xが存在してxはPを満たさないとする
そのとき、ある数yが存在して、yは性質Pを満たすが、
その後続者sy(=y+1)は性質Pを満たさない
153:ID:1lEWVa2s
20/04/22 20:37:31 vdJUmMzj.net
>>146
偶数だから。 但しxは奇数になるだけで
素数かは解らない。
154:ID:1lEWVa2s
20/04/22 20:41:33 vdJUmMzj.net
ねりゅ。おやちゅみ。
155:１３２人目の素数さん
20/04/22 20:42:25 mg08g5qs.net
。。。(”;)お休みなさぃ…
156:ID:1lEWVa2s
20/04/22 20:43:10 vdJUmMzj.net
>>149
ねりゅ。おやちゅみ。
157:１３２人目の素数さん
20/04/22 20:43:26 mg08g5qs.net
("*)))私も失礼いたします。。。
158:１３２人目の素数さん
20/04/22 20:46:50 mg08g5qs.net
*“))め～さま…
今日は遊んで頂いてありがとうございました..お先に失礼いたしますね..お休みなさぃ…
159:１３２人目の素数さん
20/04/22 20:52:41 l81dZyRC.net
>>27
いやなんとなく、っていうか
IUTが正しければabc conjectureが証明された（弱いやつだけど）ことになるんで
自分の動画も世間一般の人がそこに至るまでのミッシングリンクとして役に立つんじゃないかなと
まあもう世間ではとっくに忘れられてると思いますけどね
今世紀最大の証明とか銘打っても今すぐどうにかなるってわけでもないし
160:１３２人目の素数さん
20/04/22 20:54:34 mg08g5qs.net
(>146…(>Д⊂。)可哀想過ｷﾞﾙ…
誰か答えてあげて…
(´Д`゜)。○゜＊゜。*゜)
161:粋蕎 ◆C2UdlLHDRI
20/04/22 20:56:55 X38faA9i.net
￢(∀xP(x))≡∃x￢P(x)
￢(∃xP(x))≡∀x￢P(x)
三項目、蛇足入れよったな。相っ変わらずβ
162:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:57:05 gQCe02i1.net
>>154
＞誰か答えてあげて…
いや、おまえが答えろよｗ
163:１３２人目の素数さん
20/04/22 20:58:43 mg08g5qs.net
”*))ねりゅ。おやちゅみw
164:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:59:09 gQCe02i1.net
>>155
おまえ相変わらずワケワカランこといって頭悪いな マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ
165:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:59:42 gQCe02i1.net
>>157
ねるなぁぁぁぁぁｗ
166:粋蕎 ◆C2UdlLHDRI
20/04/22 21:02:29 X38faA9i.net
>>158
確かにβ微分法でお馴染みバカ王βであるオドレの次くらいにはバカかも知れんのう
167:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 21:05:05 gQCe02i1.net
また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が
「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ
この馬鹿タレが！！！
168:１３２人目の素数さん
20/04/22 21:55:38 LxI+KLOb.net
全称命題から特称命題はいえない
絶対ニダ
169:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:32:04 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:236番)
>結局、3.12の指摘も空振りな状況
望月がそう思いたがってるだけ
170:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:46:46 gQCe02i1.net
URLﾘﾝｸ(en.wikipedia.org)
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく
そういうこと
171:１３２人目の素数さん
20/04/22 22:49:04 tTF2a26B.net
?“))…ﾀﾞﾚﾓ…ｨﾅｨﾅ…?…
?＼ﾁｭｯ!💞ﾁｭｯ!💓ﾁｭｯ!💖／
?=(*´³<3＜３(>>163)
☆／xxx投げkiss<3☆ﾃﾛw＼
172:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:49:58 gQCe02i1.net
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう
173:１３２人目の素数さん
20/04/22 22:51:05 tTF2a26B.net
?我が名は第七😘kiss魔王
?=3 ｷｬﾊﾊﾊﾊﾊﾊﾊｯ!
174:１３２人目の素数さん
20/04/22 22:52:44.54 tTF2a26B.net
Ⅰ“)ﾉ⌒☆｡.:＊・.｡🌙
ｵﾔｽﾐﾅｻ～ｨ…<3
175:5ch反IUT論装戦線
20/04/22 22:54:19.07 gQCe02i1.net
酔っぱらってる？
176:１３２人目の素数さん
20/04/22 22:56:14.37 tTF2a26B.net
Ｕ're ＩＣＥ!
177:１３２人目の素数さん
20/04/22 23:04:36 LxI+KLOb.net
>>166
また一つ公理が増えたな
まあ勝手に構成してろ
人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ
しかし
すべてのカラスは黒い
あるカラスが居る ←これが居ることの担保がない
ゆえに
そのカラスは黒い
この問題を回避するにはどういう公理が必要なの？
178:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:14:56 gQCe02i1.net
>>171
＞すべてのカラスは黒い
＞あるカラスが居る ←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？
上記を論理式で表す
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
２．∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
よく見ればわかるが、２は１の特称化ではない
１の特称化は以下の通り
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
１から３は導けるが、２は導けない
179:１３２人目の素数さん
20/04/22 23:21:25.76 LxI+KLOb.net
>>172
>あるものが存在し
これが全称命題からは言えない
つまり3は2と同じことを言っている
全称命題に存在性はないと思うがどうか？
180:5ch反IUT論装戦線
20/04/22 23:22:47.48 gQCe02i1.net
>>172
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
３の否定
４．∀ｘ．カラス（ｘ）∧￢黒（ｘ） すべてのものは黒くないカラスである
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）∧￢黒（ｘ） ４ ３の否定
カラス（ａ） ４の全称例化
￢黒（ａ） ４の全称例化
カラス（ａ）→黒（ａ） １の全称例化
￢カラス（ａ） 黒（ａ）
× ×
したがって１から３は導ける
181:5ch反IUT論装戦線
20/04/22 23:27:47.32 gQCe02i1.net
>>173
＞3は2と同じことを言っている
否
２ ∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
２の否定
５．∀ｘ．カラス（ｘ）→￢黒（ｘ） すべてのカラスは黒くない
>>174の４ではカラス以外のものは存在しない
一方５ではカラス以外のものも存在してよい
したがって２と３は意味が異なる
182:１３２人目の素数さん
20/04/22 23:29:58.53 LxI+KLOb.net
すべてのカラスは黒くない
∀x(Fx→Gx)
等値
∀x(￢Fx∨Gx)
その否定
∃x(Fx∧￢Gx)
あるカラスは黒くない
つまり黒くないカラスの存在は
183:何処かで言うことが可能だが ここの黒いカラスの存在は言えない 全称命題の否定から存在性を言うことはできないし またカラスが居ることと関係がない
184:１３２人目の素数さん
20/04/22 23:34:26 LxI+KLOb.net
>>176
訂正
すべてのカラスは黒い
185:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:35:04 gQCe02i1.net
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）→￢黒（ｘ） ５ ２の否定
カラス（ａ）→黒（ａ） １の全称例化
カラス（ａ）→￢黒（ａ） ５の全称例化
￢カラス（ａ） 黒（ａ）
￢カラス（ａ）￢黒（ａ）￢カラス（ａ） ￢黒（ａ）
×
×がつかない枝かあるので １から２は導けない
186:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:40:41 gQCe02i1.net
>>176
∀x(Fx→Gx) の特称化は
∃x(Fx→Gx) であって
∃x(Fx∧Gx) ではない
∃x(Fx→Gx) と ∃x(Fx∧Gx) は異なる
∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
∀x(Fx→Gx)から∃x(Fx∧Gx)は導けない
187:１３２人目の素数さん
20/04/22 23:44:39 LxI+KLOb.net
>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない
カラスは居る/居ない
これが全称命題から導出できない
188:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:49:41 gQCe02i1.net
>>180
君がずらしている
論理式を見ろ
それで君が誤ってると分かる
分からないのは君が式を理解できないから
式を理解しろ
189:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:53:37 gQCe02i1.net
>>174 >>178 はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く
これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単
190:１３２人目の素数さん
20/04/22 23:55:27 LxI+KLOb.net
>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな
191:１３２人目の素数さん
20/04/22 23:57:37 LxI+KLOb.net
>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら
192:１３２人目の素数さん
20/04/22 23:59:15 LxI+KLOb.net
命題論理のタブローならわかるから
書き直してみろよ
193:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:04:34 HZRVAVG+.net
>>185
＞命題論理のタブローならわかるから
述語論理のタブローを理解しろ
＞書き直してみろよ
述語論理は命題論理より記述力が上
述語論理 勉強しろよ
じゃあなバイ菌ｗ
194:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:11:21 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:249番)
>その議論は、私の数学レベルを遙かに超えているのですが
IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ
そもそも、タイヒミュラー理論、分かってんのか？ｗ
URLﾘﾝｸ(en.wikipedia.org)
195:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:21:42 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:91番)-92
>なんでacceptだけで記者会見したかって？
>そーっとaccept、出版したら叩かれる
>望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる
そもそもレフェリーが正当性を説明できない論文を
acceptする行為が叩かれてるんだが
RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？
196:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:25:41 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:93番)
>・PRIMS編集者名簿及び投稿規定
>・他編集会議規定文書
>・PRIMS特別号編集者名簿及び投稿規定
>・他編集会議規定文書
>・2/5PRIMS編集会議の議事録。
>・依頼予告書
>・accept通知書
>・京大広報と打ち合わ文書
>・事前報告書
>以上
>文書の公開を求めます
まず査読者と査読報告書を公開しろ
どんなヤツがどんなコメントつけて受理したか明らかにしろ
嗤ってやるからｗ
197:ID:1lEWVa2s
20/04/23 08:28:52 r9wP+5Oj.net
おはよう。
198:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:33:38 HZRVAVG+.net
蛇足
ｽﾚﾘﾝｸ(math板:82番)
>何でよりによって素人がIUT目指すんだろうか
ステートメントの意味が素人でも分かるからだろ
フェルマーと同じだよ
もちろん「初等的な」証明が不可能、とはいえない
ただ、それを素人の試行錯誤で見つけ出せるかといえば
限りなく可能性は小さいね
素数定理の「初等的な」証明を見つけたのもセルバーグ
199:ID:1lEWVa2s
20/04/23 08:41:37 rdBcJgIA.net
もぅこんなんなっちゃってるじゃん。
あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。
ころさんといてくれる。
200:１３２人目の素数さん
20/04/23 08:46:52 ROJTyYdQ.net
>>190
お早うＯhaluくん😸🎶
201:ID:1lEWVa2s
20/04/23 08:51:11 kfSGmOV6.net
ニュース速報+は馬鹿の集まり。
202:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:54:37 HZRVAVG+.net
今日は敵の名称を考えることにしよう
「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？
スローガンは「美しいIUTの建設と誇りある日本数学づくり」
・・・ああ、バカバカしいｗ
URLﾘﾝｸ(ja.wikipedia.org)
203:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:07:47 HZRVAVG+.net
「現代数学の系譜 雑談」とかいう意味不明なHNをつけてる
◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう
「IUTを守る会 会長」とかｗ
204:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:20:42 HZRVAVG+.net
Peter Woit says
>double down on unethical behavior, claiming “there is an argument but we have to keep it secret”
「「議論はあるが、それは秘密にしておかなければならない」と主張し、非倫理的な行動を倍加する。」
もしRIMSがこんな言い訳をするなら
日本人、いや数学者として最も恥ずべき破廉恥なふるまい
だと知れ！！！
205:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:37:08 HZRVAVG+.net
Ｍブログ曰く
「理論の正しさを検証する活動と、（他者による）理論に対する誤解を発見し処理する活動は根本的に「業務内容」が違うということです。
前者の方は、上でも説明した通り、7年半前から多くの関係者によって精力的に行なわれていて、
理論の正しさは既に何十回、何百回と確認されていて、これ以上行なおうとしても、理論の検証すべき箇所が見当たらず空転するのみである、
つまり、別の言い方をすれば、既に（というよりだいぶ前から）「飽和状態」にあるということです。
一方、「誤解学」と呼んでいる後者の方の活動ですが、
相手の誤解という肝心な「入力データ」＝「誤解学の研究対象」
がないと始まらない活動になります。」
206:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:46:31 HZRVAVG+.net
>>198
Ｍは肝心な点を見逃している
「理論の正しさを検証する活動」とは
「（他者による）理論の誤りを発見し処理する活動」である
つまり理論が正しいと思って読んではいけない
もし専門家がみなそのような予見をもって読むならば
理論の誤りなど簡単に看過される
Ｓは論文という「入力データ」から相手（Ｍ）の誤解を見つけ出した
査読者はいったい何をやっていたのか？
Ｍのいうことなら100％正しいと甘え切っていたのか？
もしそうなら怠慢の誹りを免れない
207:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:48:54 HZRVAVG+.net
今一度、>>16を再掲する
ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
208:そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」 (the devil is in the detail)
209:ID:1lEWVa2s
20/04/23 09:50:59 LjUIpMcw.net
馬鹿英語使うな。
210:ID:1lEWVa2s
20/04/23 09:51:08 LjUIpMcw.net
馬鹿ぁ英語使うな。
211:ID:1lEWVa2s
20/04/23 09:52:21 LjUIpMcw.net
馬鹿英語使うなじゃなくて
馬鹿だ英語使っとるなって意味。
あめりかじんに犯されるぞ襲われるぞ。
212:１３２人目の素数さん
20/04/23 09:53:12 ROJTyYdQ.net
…/◎◎\
(*..)…
/◎◎\
ずっと◎◎見てると…
ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!?
(Д`゜)。゜*゜みちゃﾀﾞﾒだ～?…
213:１３２人目の素数さん
20/04/23 09:56:28 ROJTyYdQ.net
?=3 ﾋﾟｭｯ!
もっちー様 ｺﾞﾒﾝﾅｻ-ｨ!
214:ID:1lEWVa2s
20/04/23 10:00:11 j1YW93bg.net
>>204
😳。
215:１３２人目の素数さん
20/04/23 10:06:33 ROJTyYdQ.net
Ｏhaluくんにびっくりされたw
216:5ch反IUT論装戦線 論理狼
20/04/23 10:10:28.16 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:253番)
＞★「やあ、Cor3.12の証明どうだった？」
＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」
＞注）＊＊は、「肯定的」 or 「否定的」
そもそも「IUTを守る会 会長」ｗの
「肯定的」「否定的」の判断記述が不明
もし、
・否定的＝証明に矛盾（反例）が見つかった場合
・肯定的＝証明に矛盾（反例）が見つからない場合
といってるなら、実に甘い基準
厳しい基準は以下の通り
・否定的＝「前提」及び「結論の否定」から矛盾が導かれない場合
・肯定的＝「前提」及び「結論の否定」から矛盾が導かれる場合
つまり安易に肯定的と云ってはいけない
217:5ch反IUT論装戦線 論理狼
20/04/23 10:14:47.68 HZRVAVG+.net
>>208 の厳しい基準では
「「前提」及び「結論の否定」から矛盾が導かれるとしても
矛盾に至る証明がいまだ見出されていない状態」
は否定的となるが、それはむしろ当然である
フェルマーの定理が、予想だった時代、
反例は見出されていなかったが、
反例が見いだされる可能性が否定できなかった
だから定理と認められていなかった 当然だろう
218:5ch反IUT論装戦線 論理狼
20/04/23 10:32:23.95 HZRVAVG+.net
まあ、現実には恒に厳しい基準が適用されたわけでもないが
ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての
実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された
しかし、論理学者は誰もそこにつっこまなかった
「やればできるだろう」と皆が認めたから
実際にはコンピュータ技術が進んだ１９９０年代に
ゲーデルの第二不完全性定理の形式的証明が書かれた
（別に、第二不完全性定理に疑念があったからではなく
計算科学的に興味深いと考えられたから）
219:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:06:50 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:255番)
ああ、「IUTを守る会 会長」は全然、数学ってもんが分かってないな
そもそも
ヴォイタ予想
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
URLﾘﾝｸ(ja.wikipedia.org)
スピロ予想
URLﾘﾝｸ(ja.wikipedia.org)
の「数論幾何の三大予想」がIUTとやらで解決できてるのかどうかが大問題
解決できてないなら、別の方法で解決したヤツの成果となる
別証明でも悪くはないが、インパクトが全然違う
だからギャップがあるならあると
コミュニティ内でコンセンサスを得る
必要がある
220:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:20:42 HZRVAVG+.net
ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた
「まず、ポアンカレ予想を解かれたことに落胆し、
それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
そして、その解の解説がまったく理解できないことに落胆した」
だからといって
「ペレルマンの証明なんて認めなぁぁぁぁぁい！」
と絶叫するトポロジストはいなかったようだが
（そもそもトポロジストは３次元や４次元のトポロジーが
自分たちの�
221:]来の手法では手に負えない魔境であることを 薄々自覚していた）
222:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:45:44 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:256番)-258
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Remark 3.1.4. Note that because the data involved in a species is given by
abstract set-theoretic formulas, the mathematical notion constituted by the species
is immune to, i.e., unaffected by, extensions of the universe - i.e., such as
the ascending chain V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V that appears in
the discussion preceding Definition 3.1 - in which one works. This is the sense
in which we apply the term “inter-universal”. That is to say, “inter-universal
geometry” allows one to relate the “geometries” that occur in distinct universes.
「グロタンディーク宇宙は只一ぉぉぉぉぉつ！！！」と絶叫してた
IUTを守る会 会長 ◆e.a0E5TtKE は
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
につっこまないのか？
貴様の主張に対する真っ向からの否定だろｗｗｗ
223:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:49:09 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:256番)
＞山下解説外している気がする
師匠のdangerousな脱線をさりげなく軌道修正する弟子
224:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:59:06 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:259番)
＞数学分かってない人が、アンチスレで絶叫しているようだが
正規部分群の定義も間違えた「IUTを守る会 会長」が翼賛スレで絶叫してるな
＞アンチスレの研究できなかった人のタワゴトには、困るなぁ～
翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ
京都以外の数論幾何の研究者のコミュニティでは
IUTは無かったものとして研究が進められるだろう
つまり、誰かが別証明の論文を書けば、
それが最初の正当な証明と認められる
どこぞの島の連中が何を喚こうが知ったこっちゃない
「またアンダマン諸島のセンチネル族が
船に向かって矢を放ってるぞ
届きゃしないのに」
225:y7fKJ8VsjMの保護者
20/04/23 12:03:56 SJ20ZnnX.net
平素よりお世話になっております
息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております
ひきこもりを許したわたしども親の責任ですがどうか社会にでることが
できるまで暖かく見守ってください
226:5ch反IUT論装戦線 論理狼
20/04/23 12:13:47.21 HZRVAVG+.net
>>216
残念だが仕事はしてる もう３０年務めた
結婚しなかったおかげで 貯金は結構たまったよ（ニンマリ）
227:１３２人目の素数さん
20/04/23 12:33:27 pFvIaQaL.net
>>191
素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ
228:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 13:03:33 HZRVAVG+.net
>>218
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
229:１３２人目の素数さん
20/04/23 13:12:51 pFvIaQaL.net
>>219
全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ
どうせ馬鹿だから分からないと思って
230:１３２人目の素数さん
20/04/23 13:14:51 ROJTyYdQ.net
(*“(>>217)
＞お金は貯まった
ﾋｿｯ(そぅぃぅことは...
絶対 言っちゃダメ！)
イッチャ、ダメ、ゼッタイ
今から災難を引き寄せる悪癖は改めましょぅ・・・
１人暮らしの老人が
「金が有る」と話してた為に
強盗殺人の犠牲者になる事件が多発してます・・
更に・・独身の男性は
「筧ちさ子(かけい・ちさこ)」
の様な
「後妻業(ごさいぎょう)」
の女性に狙われて財産を根こそぎ奪われ保険金まで奪われる殺人の被害者になる事件が多発しています・・
「明日は我が身」
常日頃から気を引き締めて、
災難を未然に防ぐ暮らしぶりを心掛け、平穏無事で幸せな老後を送りたいですね...
231:１３２人目の素数さん
20/04/23 13:38:51 pFvIaQaL.net
「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど
「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ
232:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 13:57:55 HZRVAVG+.net
>>222
「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は
「カラスでないか黒いあるものが存在する」であって
「黒いカラスが存在する」ではないよ
233:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:00:02 HZRVAVG+.net
>>221
＞１人暮らし
じゃないから
残念だったね
234:１３２人目の素数さん
20/04/23 14:00:49 ROJTyYdQ.net
♪。＊゜♪。＊゜♪。＊゜
🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ～ﾝ🎶
。゜*゜。🎶。゜*゜。🎶
春の家計見直しプランお知らせで～す。。。
✨楽天銀行新規口座開設✨の
🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜
※楽天証券口座開設と併せて利用の場合
(口座開設費・維持費無料
証券買わなくてもＯＫです)
電気料金も楽天電気
(賃貸住宅でも利用可能)
にすると楽天ポイントが貯まって、楽天市場でのお買い物時に利用出来ます。。。
📲通信も楽天モバイルのUNLIMITなら１年間無料
(２年目から月額利用料２,９８０円・中途解約可・解約金無し・縛り無し)
併せて上記全ての支払いに
💳クレジットカード💳の
信販会社を通す決済にすれば
クレカのポイントも溜まります♪v(*^^*)v♪
お時間がお有りの時にご検討くださぃ。。。
楽天Unlimitはもうすぐキャンペーン終了、〆切です。。
※楽天のステマバイトでは有りません。。。
235:１３２人目の素数さん
20/04/23 14:02:30 pFvIaQaL.net
ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って
聴いてる方が「わかる～」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる
で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる
236:１３２人目の素数さん
20/04/23 14:03:01 ROJTyYdQ.net
>>224
ΣΣΣ((((´Д｀；)))
237:１３２人目の素数さん
20/04/23 14:04:07 ROJTyYdQ.net
○ ○ ○
238:１３２人目の素数さん
20/04/23 14:04:42 ROJTyYdQ.net
※*Σو>ง٩ω*Д☆＼♯♭\／Σ：♪★
239:１３２人目の素数さん
20/04/23 14:05:40 pFvIaQaL.net
>>222
二つの命題に関連性はないよ
ただ詐欺だと言いたいだけ
こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた
240:１３２人目の素数さん
20/04/23 14:06:24 ROJTyYdQ.net
ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ
241:１３２人目の素数さん
20/04/23 14:08:37 ROJTyYdQ.net
(騙された。。。❔)
?ΣΣΣΣ(((((๑ºдº๑)))))
242:１３２人目の素数さん
20/04/23 14:12:17 ROJTyYdQ.net
▂▂┃┃┃▂▂
((⚫))((⚫))
243:１３２人目の素数さん
20/04/23 14:18:15 ROJTyYdQ.net
========ε=ε=ヾ(゜´Д`)
ウゥｩﾜワアｱｧ━━━ｯ！
244:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:20:41 HZRVAVG+.net
兄弟で暮らしてますが何か？
URLﾘﾝｸ(ja.wikipedia.org)
245:１３２人目の素数さん
20/04/23 14:21:31 ROJTyYdQ.net
゜。☆゜＊。○゜。*゜＊゜。
。゜＊゜お幸せに。。。*゜＊。
*゜。○゜。☆。゜゜。☆
246:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 15:02:19 HZRVAVG+.net
IUT論文におけるZFCGへの言及について
テレンス・タオは「あれは燻製ニシンだろ」と指摘している
（「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の
注意を逸らそうとする修辞上、文学上の技法を指す慣用表現）
ついでにいうと
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は有限列だよな？
（無限列だとすると”∈V”の左の文字が明らかでない）
247:１３２人目の素数さん
20/04/23 15:37:48 onmAzHJf.net
お立ち台はどうだった？
248:１３２人目の素数さん
20/04/23 15:55:11 ROJTyYdQ.net
ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！
249:１３２人目の素数さん
20/04/23 15:57:59 ROJTyYdQ.net
(ノД`。)゜
250:１３２人目の素数さん
20/04/23 16:01:36 ROJTyYdQ.net
ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね…
。゜(ノД`)ノ⊂□⊃
マスクはちゃんとありますか？
251:１３２人目の素数さん
20/04/23 16:04:22 ROJTyYdQ.net
６３歳だったんですって…
。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ…
ﾀﾋなないでね…
252:１３２人目の素数さん
20/04/23 16:06:50 ROJTyYdQ.net
安達さまが危ない…
ｴﾓちょっと行ってくるー！
┃≡З=з³
253:5ch反IUT論装戦線 論理狼
20/04/23 16:38:36.57 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:277番)
>望月IUTが、何を証明するのか、実はよく知らないんだ
IUTを守る会 会長 自分が守りたいものが何かも分かってなかったｗ
なんだろうなこの馬鹿はｗ
ABC予想
URLﾘﾝｸ(ja.wikipedia.org)
あいつは引用のイロハも分かってない
いきなりradとか書いて読者が分かるわけねぇだろ
まずここから書けよ
「自然数 n に対して、
n の互いに異なる素因数の積
を n の根基 (radical) と呼び、rad n と書く。」
「自然数の組 (a, b, c) で、
a + b = c, a < b で、a と b は互いに素であるもの
を abc-triple と呼ぶ。」
「大抵の場合は c < rad(abc) が成り立つが、
abc予想が主張するのはこれが成り立たない例
（例えば、a = 1, b = 8, c = 9 のとき rad(abc) = 6 である）
の方である。
ただし、c > rad(abc) が成り立つ例も無限に存在するため、
rad(abc) を少しだけ大きくすることで
例を有限個にできないかどうかを考える。」
「すなわち、abc予想は任意の ε > 0 に対して、
次を満たすような自然数の組 (a, b, c) は
高々有限個しか存在しないであろうと述べている：
c>rad (abc)^(1+ε)」
254:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 16:50:27 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:277番)
あの馬鹿は、３つの定式化が同値であることも理解できねぇ
こんなん高卒レベルだろ あいつホントに大学受かったんか？ｗ
「abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する：
q(a,b,c):=log c/log(rad (abc))
このときabc予想は、任意の ε > 0 に対して、
abc-triple (a, b, c) であって q(a, b, c) > 1 + ε を満たすものは
高々有限個しか存在しないということを主張している。」
log c/log(rad (abc))>1+ε
→log c>log(rad (abc))*(1+ε)
→log c>log(rad (abc)^(1+ε))
→c>rad (abc)^(1+ε)
>q(a, b, c) > 1 + εのεの取り方で、
>q(a, b, c) > 1.6とかq(a, b, c) > 2 とか
>まあ、いろいろあるみたい
ばぁぁぁぁぁかｗ
ε＞０は任意の値でいい
ただε＝１の場合 １＋ε＝２となり
q(a, b, c) > 2 となる場合は皆無
というのは、もっと強い予想
そのくらい読んで３分で分かれよ
大阪大ってマジで大東亜帝国以下のFランク大学か？ｗ
255:１３２人目の素数さん
20/04/23 16:59:15 XWvRD9DG.net
任意の値に具体的数値を入れている時点でゴミ
256:１３２人目の素数さん
20/04/23 17:01:07 XWvRD9DG.net
まだすべてのカラスは黒い問題が理解できないようだね
全称命題に定数を入れられないのがわからない
田島一郎くん？
257:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:08:25 HZRVAVG+.net
>>246-247
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
258:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:13:23 HZRVAVG+.net
XWvRD9DGのような誤解をする馬鹿へ
元々のABC予想
「c>rad (abc)^(1+ε)となる a,b,cの組は有限個」
から
「c>rad (abc)^2となる a,b,cの組は存在しない」
は出てこない
259:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:18:39 HZRVAVG+.net
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
これ読むと数学者といえども専門外の分野については
全くといっていいほど無知なうえに、
見当違いな誤解をしまくってることが
よくわかる
「[選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)
(無限のスーパーレッスン，p.164)」
なんじゃこりゃぁぁぁぁぁ！！！
260:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:21:42 HZRVAVG+.net
>>250の続き
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、
選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」
(無限のスーパーレッスン，p.185)
これはヒドイ・・・
261:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:23:47 HZRVAVG+.net
>>251の続き
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
「選択公理なしでは無限の大小が比べられなくなるので、
ベルンシュタインやカントルの対角線論法などが駄目になってしまいます。」
(無限のスーパーレッスン，p.201)
マジでヒドイ・・・ヒド過ぎる
262:１３２人目の素数さん
20/04/23 17:28:55 XWvRD9DG.net
たしかに
丹治信治の論理学入門では
全称命題から個体パラメータを導出している
つまり
すべてのカラスは黒い
から
太郎くん(カラス)は黒い
を導出できるという考え
そのことが言いたかったんだね
たしかにこれは存在命題とは異なる
俺が言っているのは全称命題から存在命題は導出できない
というのは
すべてのカラスは黒い
から
ある(黒い)カラスが居る
は導出できないと言っている
263:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:36:07 HZRVAVG+.net
加藤文元とかいう人のIUT本が
「無限のスーパーレッスン」より
数学的にはマシな本であることを期待したい
（読んでないし読むつもりもないが）
264:１３２人目の素数さん
20/04/23 17:37:44 onmAzHJf.net
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。
変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。
変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。
このように、すべてのカラスは黒いという仮定が正しい保証はない。
265:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:44:51 HZRVAVG+.net
>>253
そりゃそうでしょ 丹治さんの本って
タブロー法について説明してるから
（ま、LKでもNKでも同じだけどね）
＞つまり
＞すべてのカラスは黒い
＞から
＞
266:太郎くん(カラス)は黒い ＞を導出できるという考え いやそれは駄目でしょ というのはスズメはいてもカラスが全く存在しない場合があるから ＞俺が言っているのは全称命題から存在命題は導出できない ＞というのは ＞すべてのカラスは黒い ＞から ＞ある(黒い)カラスが居る ＞は導出できないと言っている 後半の４行は正しい でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが 「ある(黒い)カラスが居る」だとおもってるならそれは誤り 正しい置き換えは 「あるものが存在し、それがカラスならば黒い」 これはスズメしか存在しない世界でも正しい 要するになんかしら存在すればいいし、 述語論理ではそういう前提で考えてるってこと そうでなければ全称例化なんて認められないから
267:１３２人目の素数さん
20/04/23 17:52:34 XWvRD9DG.net
>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
カラスが居る
ということは言えない
これも太郎くん問題だよ
カラスの集合から任意にカラスを選ぶ
その中に太郎くんがいたから
これを黒いカラスと呼ぶ
こういう問題と混同している
俺は全称命題から存在命題は導出できないと言っている
268:１３２人目の素数さん
20/04/23 17:56:37 XWvRD9DG.net
>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り
そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと
269:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:00:16 HZRVAVG+.net
＞俺は全称命題から存在命題は導出できないと言っている
それ述語論理としては誤りだから
なぜかといえば、述語論理の対象領域には必ず個体が存在するから
そうでなければ、全称例化の推論は出来ないから
「カラスは黒い」というのは
「任意のｘについてｘがカラスならば黒い」という意味であって
それを特称化した場合
「あるｘが存在してｘがカラスならば黒い」となる
ｘがカラスである必要はない スズメでもヒバリでもウグイスでもなんでもいい
しかし何にもいない、ということはそもそもあり得ない そういうこと
270:１３２人目の素数さん
20/04/23 18:00:52 XWvRD9DG.net
>>256
a：個体パラメータ
とする
(1) (∀x)Fx
(2) Fa (1)
この導出に異論はあるか？
俺はない
これが認められないなら全称命題の意味がない
271:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:03:03 HZRVAVG+.net
>>258
＞そんなことは一言も言ってない
云ってないだろうが、∀ｘPx と∃ｘPxの関係を誤解してるのが明確なので指摘した
自分の間違いを指摘されて不愉快なのは分かるがここ乗り越えないと馬鹿のまま死ぬぞ
誤りを認めるのは恥ずかしくない
誤りを認めないことこそ恥ずかしいんだ
272:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:05:38 HZRVAVG+.net
>>260
(1) Fa
(2) (∃x)Fx (1)
この導出に異論はあるか？
273:１３２人目の素数さん
20/04/23 18:06:19 XWvRD9DG.net
>>262
あるに決まってんだろｗ
274:１３２人目の素数さん
20/04/23 18:07:44 onmAzHJf.net
>>255
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、
二段目の或るカラスの存在性(居ること)もAの点の形で保証される。
>>255はカラスを物理的に解釈して考えたときの話。
275:１３２人目の素数さん
20/04/23 18:11:22 onmAzHJf.net
>>257
>>264は、>>255ではなく、>>257へのレス。
276:5ch反IUT論装戦線 論理狼
20/04/23 18:36:19.30 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:289番)
>戦線とか言う時点で共産党員
共産党員ではないな
アナーキストだからｗ
>日本が憎くて仕方がない！
日本政府は要らないと思ってる
ま、日本に限らないけど
憎しみはない
>日本人の自尊心は敵
他国民と比較して上とかいう
異常な精神は害悪だと思ってる
そういうのは本来の「自尊心」ではない
>望月許すまじ
望月の態度には誠意がないと思ってるし
PRIMS掲載で不当な圧力をかけたなら
トンデモないと思うが
改心しろよ そしたら許してやる
>日本人はバカでなくてはならない
いや、賢くなってほしいね
やれ韓国人ガー、中国人ガーという
馬鹿丸出しな態度から脱却してほしい
心からそう思ってるよ
277:１３２人目の素数さん
20/04/23 20:10:37 zY/+UvEc.net
>>141
1、P0∧∀x(Px→Psx)→∀xPx ・・・数学的帰納法
2、P0∧∃x￢Px ・・・仮定
3、∀x(Px→Psx) ・・・仮定
4、P0 ・・・2より∧除去
5、P0∧∀x(Px→Psx) ・・・4と3より∧導入
6、∀xPx ・・・1と5より→除去
7、Pa ・・・6より全称例示仮
8、∃xPx ・・・7より存在汎化
9、∃x￢Px ・・・2より∧除去
10、矛盾 ・・・8と9より矛盾導入
11、￢∀x(Px→Psx) ・・・3より￢導入
12、￢∃x(Px∧￢Psx) ・・・仮定
13、Pa∧￢Psa ・・・仮定
14、∃x(Px∧￢Psx) ・・・13より存在汎化
15、矛盾 ・・・12と14より矛盾導入
16、￢(Pa∧￢Psa) ・・・15と13より￢導入
17、Pa→Psa ・・・16より
18、∀x(Px→Psx) ・・・17より全称汎化
19、矛盾 ・・・17と11より
20、∃x(Px∧￢Psx) ・・・12と19より￢導入と二重否定除去
21、(P0∧∃x￢Px)→∃x(Px∧￢Psx) ・・・2と20より→導入
22、{P0∧∀x(Px→Psx)→∀xPx}→{(P0∧∃x￢Px)→∃x(Px∧￢Psx)} 1と21より
逆も同様に示せるので↔が示せる
278:１３２人目の素数さん
20/04/23 20:15:52 zY/+UvEc.net
(A∧B→C)↔(A∧￢C→￢B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ
279:１３２人目の素数さん
20/04/23 20:32:03 zY/+UvEc.net
>>185
命題論理に直すのは簡単だよ
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
は、Fx→GxをHxと書くと、
1、∀xHx ・・・仮定
2、Ha ・・・1より全称例示化
3、∃xHx ・・・2より存在汎化
4、∀xHx→∃xHx ・・・1と3より→導入
で楽勝だが、もし論議領域としてD={a,b,c}を考える場合、
∀xHxはHa∧Hb∧Hc、∃xHxはHa∨Hb∨Hcとなって命題論理になるので、
1、Ha∧Hb∧Hc ・・・仮定
2、Ha ・・・1より∧除去
3、Ha∨Hb∨Hc ・・・2より∨導入
4、(Ha∧Hb∧Hc)→(Ha∨Hb∨Hc) ・・・1と3より→導入
となるのでDとして空集合さえ考えなければ成り立つ
280:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 20:50:03 HZRVAVG+.net
>>268
その通りですね
281:１３２人目の素数さん
20/04/23 20:53:19 XWvRD9DG.net
存在汎化か……
怪しいやつもってきたなｗ
「少なくとも1つあれば」に該当するとも言えるが
これを認めるのは難しそう
まっこれから研究してみますわ
282:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 20:54:26 HZRVAVG+.net
>>269
＞命題論理に直すのは簡単だよ
＞もし論議領域としてD={a,b,c}を考える場合
D={a,b}、いや、D={a} でもいいかもｗ
∀xHxはHa、∃xHxもHa
Ha→Ha ！
端的にいえばそういうことだよね
283:１３２人目の素数さん
20/04/23 21:18:40.57 hmqDQuFG.net
論理学の話してて草
284:5ch反IUT論装戦線 論理狼
20/04/23 21:22:47.38 HZRVAVG+.net
爆弾製造の代わりに各自、論証訓練を行ってますｗ
285:１３２人目の素数さん
20/04/23 22:12:16 ROJTyYdQ.net
ある成人は孤児である
親も兄弟もいない
ある成人は兄弟と同居している
この「ある成人」なる両者が同一人物であることは真か？
286:１３２人目の素数さん
20/04/23 22:22:46 ROJTyYdQ.net
スレに嘘つきがでます！
287:１３２人目の素数さん
20/04/23 22:36:56 ROJTyYdQ.net
(。´Д`(>>230)
病的なうそつきみたぃなんです…!?
気をつけて…
言ってることほぼほぼｳｿだと思ぅ～!
信じちゃﾀﾞﾒ～!?
288:１３２人目の素数さん
20/04/23 22:41:04 ROJTyYdQ.net
う"そ"つ"き"を"ち"さ"ん"
★事★態★宣★言★発★動★
289:１３２人目の素数さん
20/04/23 22:43:02 XWvRD9DG.net
>>275
孤児は親兄弟がいないとし
F：成人
G：孤児
とする
このとき(∃x)Fx∧Gxの真理値を考える：
(1) 偽 (∃x)Fx∧Gx
(2) 偽 (∃x)Fx (1)
(3) 偽 (∃x)Gx (1)
(4) 真 (∀x)Fx (2)
(5) 真 (∀x)Gx (3)
(6) 真 Fa (4)
(7) 真 Ga (5)
これ難しいな
まだ勉強不足だからわからないｗ
290:１３２人目の素数さん
20/04/23 23:04:25.74 ROJTyYdQ.net
>>279
真ナコトナイ(∃
偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・
HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽
って決まってるから...
291:１３２人目の素数さん
20/04/23 23:04:27.06 ROJTyYdQ.net
>>279
真ナコトナイ(∃
偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・
HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽
って決まってるから...
292:１３２人目の素数さん
20/04/23 23:11:57 ROJTyYdQ.net
ここに棲み憑いてる狼中年のヲ"チ"さ"ん"が言う事は・・・
あらゆる可能性をできるだけ想定して、矛盾が無いか徹底
293:的にチェックしないと・・・ 騙"さ"れ"ち"ゃ"う"か"ら" ね・・・
294:１３２人目の素数さん
20/04/23 23:14:00 ROJTyYdQ.net
ﾋﾟﾉｷｵ爺の呪いで同ﾚｽ2投になっちゃってる…?
295:１３２人目の素数さん
20/04/23 23:18:00 XWvRD9DG.net
なるほどね
296:１３２人目の素数さん
20/04/23 23:19:19 ROJTyYdQ.net
゜ 。○゜ *。゜(ノД`)。
＊゜いっつも…うそばっかり。。。
297:１３２人目の素数さん
20/04/23 23:20:12 ROJTyYdQ.net
＊゜。○*゜。゜
298:１３２人目の素数さん
20/04/23 23:24:10 ROJTyYdQ.net
∵・Σ>>274━━🔥🔫＞💢
299:１３２人目の素数さん
20/04/23 23:24:50 ROJTyYdQ.net
うそつきｯ❗
300:１３２人目の素数さん
20/04/24 03:12:46 kvpK9Wt2.net
荒らしはこっちにだけ来るんだな
わかりやすいわ
301:１３２人目の素数さん
20/04/24 05:56:26.04 G8hF3Q2u.net
ﾁﾞﾁﾞｨｯﾁｬﾏが居るから…つぃ…
(〃¨)
それとﾓｯﾁｬﾏのアンチｽﾚだから、、、
お(邪魔して散らかして帰っちゃぇ…!)…ってのは、ちょっと思ってた…ｺﾞﾒﾝﾅｻｨ
302:１３２人目の素数さん
20/04/24 06:00:19 G8hF3Q2u.net
嵐認定された…(ノД`)。
…ぜんぶﾁﾞﾁﾞｨｯﾁｬﾏのせぃ…?
303:１３２人目の素数さん
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)