20/04/23 12:33:27 pFvIaQaL.net
>>191
素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ
223:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 13:03:33 HZRVAVG+.net
>>218
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
224:１３２人目の素数さん
20/04/23 13:12:51 pFvIaQaL.net
>>219
全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ
どうせ馬鹿だから分からないと思って
225:１３２人目の素数さん
20/04/23 13:14:51
226:ROJTyYdQ.net
227:１３２人目の素数さん
20/04/23 13:38:51 pFvIaQaL.net
「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど
「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ
228:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 13:57:55 HZRVAVG+.net
>>222
「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は
「カラスでないか黒いあるものが存在する」であって
「黒いカラスが存在する」ではないよ
229:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:00:02 HZRVAVG+.net
>>221
＞１人暮らし
じゃないから
残念だったね
230:１３２人目の素数さん
20/04/23 14:00:49 ROJTyYdQ.net
♪。＊゜♪。＊゜♪。＊゜
🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ～ﾝ🎶
。゜*゜。🎶。゜*゜。🎶
春の家計見直しプランお知らせで～す。。。
✨楽天銀行新規口座開設✨の
🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜
※楽天証券口座開設と併せて利用の場合
(口座開設費・維持費無料
証券買わなくてもＯＫです)
電気料金も楽天電気
(賃貸住宅でも利用可能)
にすると楽天ポイントが貯まって、楽天市場でのお買い物時に利用出来ます。。。
📲通信も楽天モバイルのUNLIMITなら１年間無料
(２年目から月額利用料２,９８０円・中途解約可・解約金無し・縛り無し)
併せて上記全ての支払いに
💳クレジットカード💳の
信販会社を通す決済にすれば
クレカのポイントも溜まります♪v(*^^*)v♪
お時間がお有りの時にご検討くださぃ。。。
楽天Unlimitはもうすぐキャンペーン終了、〆切です。。
※楽天のステマバイトでは有りません。。。
231:１３２人目の素数さん
20/04/23 14:02:30 pFvIaQaL.net
ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って
聴いてる方が「わかる～」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる
で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる
232:１３２人目の素数さん
20/04/23 14:03:01 ROJTyYdQ.net
>>224
ΣΣΣ((((´Д｀；)))
233:１３２人目の素数さん
20/04/23 14:04:07 ROJTyYdQ.net
○ ○ ○
234:１３２人目の素数さん
20/04/23 14:04:42 ROJTyYdQ.net
※*Σ
235:و>ง٩ω*Д☆＼♯♭\／Σ：♪★
236:１３２人目の素数さん
20/04/23 14:05:40 pFvIaQaL.net
>>222
二つの命題に関連性はないよ
ただ詐欺だと言いたいだけ
こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた
237:１３２人目の素数さん
20/04/23 14:06:24 ROJTyYdQ.net
ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ
238:１３２人目の素数さん
20/04/23 14:08:37 ROJTyYdQ.net
(騙された。。。❔)
?ΣΣΣΣ(((((๑ºдº๑)))))
239:１３２人目の素数さん
20/04/23 14:12:17 ROJTyYdQ.net
▂▂┃┃┃▂▂
((⚫))((⚫))
240:１３２人目の素数さん
20/04/23 14:18:15 ROJTyYdQ.net
========ε=ε=ヾ(゜´Д`)
ウゥｩﾜワアｱｧ━━━ｯ！
241:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:20:41 HZRVAVG+.net
兄弟で暮らしてますが何か？
URLﾘﾝｸ(ja.wikipedia.org)
242:１３２人目の素数さん
20/04/23 14:21:31 ROJTyYdQ.net
゜。☆゜＊。○゜。*゜＊゜。
。゜＊゜お幸せに。。。*゜＊。
*゜。○゜。☆。゜゜。☆
243:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 15:02:19 HZRVAVG+.net
IUT論文におけるZFCGへの言及について
テレンス・タオは「あれは燻製ニシンだろ」と指摘している
（「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の
注意を逸らそうとする修辞上、文学上の技法を指す慣用表現）
ついでにいうと
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は有限列だよな？
（無限列だとすると”∈V”の左の文字が明らかでない）
244:１３２人目の素数さん
20/04/23 15:37:48 onmAzHJf.net
お立ち台はどうだった？
245:１３２人目の素数さん
20/04/23 15:55:11 ROJTyYdQ.net
ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！
246:１３２人目の素数さん
20/04/23 15:57:59 ROJTyYdQ.net
(ノД`。)゜
247:１３２人目の素数さん
20/04/23 16:01:36 ROJTyYdQ.net
ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね…
。゜(ノД`)ノ⊂□⊃
マスクはちゃんとありますか？
248:１３２人目の素数さん
20/04/23 16:04:22 ROJTyYdQ.net
６３歳だったんですって…
。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ…
ﾀﾋなないでね…
249:１３２人目の素数さん
20/04/23 16:06:50 ROJTyYdQ.net
安達さまが危ない…
ｴﾓちょっと行ってくるー！
┃≡З=з³
250: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+ε)」
251: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ランク大学か？ｗ
252:１３２人目の素数さん
20/04/23 16:59:15 XWvRD9DG.net
任意の値に具体的数値を入れている時点でゴミ
253:１３２人目の素数さん
20/04/23 17:01:07 XWvRD9DG.net
まだすべてのカラスは黒い問題が理解できないようだね
全称命題に定数を入れられないのがわからない
田島一郎くん？
254:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:08:25 HZRVAVG+.net
>>246-247
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
255: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の組は存在しない」
は出てこない
256:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:18:39 HZRVAVG+.net
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
これ読むと数学者といえども専門外の分野については
全くといっていいほど無知なうえに、
見当違いな誤解をしまくってることが
よくわかる
「[選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)
(無限のスーパーレッスン，p.164)」
なんじゃこりゃぁぁぁぁぁ！！！
257:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:21:42 HZRVAVG+.net
>>250の続き
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、
選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」
(無限のスーパーレッスン，p.185)
これはヒドイ・・・
258:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:23:47 HZRVAVG+.net
>>251の続き
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
「選択公理なしでは無限の大小が比べられなくなるので、
ベルンシュタインやカントルの対角線論法などが駄目になってしまいます。」
(無限のスーパーレッスン，p.201)
マジでヒドイ・・・ヒド過ぎる
259:１３２人目の素数さん
20/04/23 17:28:55 XWvRD9DG.net
たしかに
丹治信治の論理学入門では
全称命題から個体パラメータを導出している
つまり
すべてのカラスは黒い
から
太郎くん(カラス)は黒い
を導出できるという考え
そのことが言いたかったんだね
たしかにこれは存在命題とは異なる
俺が言っているのは全称命題から存在命題は導出できない
というのは
すべてのカラスは黒い
から
ある(黒い)カラスが居る
は導出できないと言っている
260:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:36:07 HZRVAVG+.net
加藤文元とかいう人のIUT本が
「無限のスーパーレッスン」より
数学的にはマシな本であることを期待したい
（読んでないし読むつもりもないが）
261:１３２人目の素数さん
20/04/23 17:37:44 onmAzHJf.net
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。
変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。
変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。
このように、すべてのカラスは黒いという仮定が正しい保証はない。
262:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:44:51 HZRVAVG+.net
>>253
そりゃそうでしょ 丹治さんの本って
タブロー法について説明してるから
（ま、LKでもNKでも同じだけどね）
＞つまり
＞すべてのカラスは黒い
＞から
＞
263:太郎くん(カラス)は黒い ＞を導出できるという考え いやそれは駄目でしょ というのはスズメはいてもカラスが全く存在しない場合があるから ＞俺が言っているのは全称命題から存在命題は導出できない ＞というのは ＞すべてのカラスは黒い ＞から ＞ある(黒い)カラスが居る ＞は導出できないと言っている 後半の４行は正しい でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが 「ある(黒い)カラスが居る」だとおもってるならそれは誤り 正しい置き換えは 「あるものが存在し、それがカラスならば黒い」 これはスズメしか存在しない世界でも正しい 要するになんかしら存在すればいいし、 述語論理ではそういう前提で考えてるってこと そうでなければ全称例化なんて認められないから
264:１３２人目の素数さん
20/04/23 17:52:34 XWvRD9DG.net
>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
カラスが居る
ということは言えない
これも太郎くん問題だよ
カラスの集合から任意にカラスを選ぶ
その中に太郎くんがいたから
これを黒いカラスと呼ぶ
こういう問題と混同している
俺は全称命題から存在命題は導出できないと言っている
265:１３２人目の素数さん
20/04/23 17:56:37 XWvRD9DG.net
>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り
そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと
266:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:00:16 HZRVAVG+.net
＞俺は全称命題から存在命題は導出できないと言っている
それ述語論理としては誤りだから
なぜかといえば、述語論理の対象領域には必ず個体が存在するから
そうでなければ、全称例化の推論は出来ないから
「カラスは黒い」というのは
「任意のｘについてｘがカラスならば黒い」という意味であって
それを特称化した場合
「あるｘが存在してｘがカラスならば黒い」となる
ｘがカラスである必要はない スズメでもヒバリでもウグイスでもなんでもいい
しかし何にもいない、ということはそもそもあり得ない そういうこと
267:１３２人目の素数さん
20/04/23 18:00:52 XWvRD9DG.net
>>256
a：個体パラメータ
とする
(1) (∀x)Fx
(2) Fa (1)
この導出に異論はあるか？
俺はない
これが認められないなら全称命題の意味がない
268:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:03:03 HZRVAVG+.net
>>258
＞そんなことは一言も言ってない
云ってないだろうが、∀ｘPx と∃ｘPxの関係を誤解してるのが明確なので指摘した
自分の間違いを指摘されて不愉快なのは分かるがここ乗り越えないと馬鹿のまま死ぬぞ
誤りを認めるのは恥ずかしくない
誤りを認めないことこそ恥ずかしいんだ
269:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:05:38 HZRVAVG+.net
>>260
(1) Fa
(2) (∃x)Fx (1)
この導出に異論はあるか？
270:１３２人目の素数さん
20/04/23 18:06:19 XWvRD9DG.net
>>262
あるに決まってんだろｗ
271:１３２人目の素数さん
20/04/23 18:07:44 onmAzHJf.net
>>255
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、
二段目の或るカラスの存在性(居ること)もAの点の形で保証される。
>>255はカラスを物理的に解釈して考えたときの話。
272:１３２人目の素数さん
20/04/23 18:11:22 onmAzHJf.net
>>257
>>264は、>>255ではなく、>>257へのレス。
273:5ch反IUT論装戦線 論理狼
20/04/23 18:36:19.30 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:289番)
>戦線とか言う時点で共産党員
共産党員ではないな
アナーキストだからｗ
>日本が憎くて仕方がない！
日本政府は要らないと思ってる
ま、日本に限らないけど
憎しみはない
>日本人の自尊心は敵
他国民と比較して上とかいう
異常な精神は害悪だと思ってる
そういうのは本来の「自尊心」ではない
>望月許すまじ
望月の態度には誠意がないと思ってるし
PRIMS掲載で不当な圧力をかけたなら
トンデモないと思うが
改心しろよ そしたら許してやる
>日本人はバカでなくてはならない
いや、賢くなってほしいね
やれ韓国人ガー、中国人ガーという
馬鹿丸出しな態度から脱却してほしい
心からそう思ってるよ
274:１３２人目の素数さん
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より
逆も同様に示せるので↔が示せる
275:１３２人目の素数さん
20/04/23 20:15:52 zY/+UvEc.net
(A∧B→C)↔(A∧￢C→￢B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ
276:１３２人目の素数さん
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として空集合さえ考えなければ成り立つ
277:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 20:50:03 HZRVAVG+.net
>>268
その通りですね
278:１３２人目の素数さん
20/04/23 20:53:19 XWvRD9DG.net
存在汎化か……
怪しいやつもってきたなｗ
「少なくとも1つあれば」に該当するとも言えるが
これを認めるのは難しそう
まっこれから研究してみますわ
279: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 ！
端的にいえばそういうことだよね
280:１３２人目の素数さん
20/04/23 21:18:40.57 hmqDQuFG.net
論理学の話してて草
281:5ch反IUT論装戦線 論理狼
20/04/23 21:22:47.38 HZRVAVG+.net
爆弾製造の代わりに各自、論証訓練を行ってますｗ
282:１３２人目の素数さん
20/04/23 22:12:16 ROJTyYdQ.net
ある成人は孤児である
親も兄弟もいない
ある成人は兄弟と同居している
この「ある成人」なる両者が同一人物であることは真か？
283:１３２人目の素数さん
20/04/23 22:22:46 ROJTyYdQ.net
スレに嘘つきがでます！
284:１３２人目の素数さん
20/04/23 22:36:56 ROJTyYdQ.net
(。´Д`(>>230)
病的なうそつきみたぃなんです…!?
気をつけて…
言ってることほぼほぼｳｿだと思ぅ～!
信じちゃﾀﾞﾒ～!?
285:１３２人目の素数さん
20/04/23 22:41:04 ROJTyYdQ.net
う"そ"つ"き"を"ち"さ"ん"
★事★態★宣★言★発★動★
286:１３２人目の素数さん
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)
これ難しいな
まだ勉強不足だからわからないｗ
287:１３２人目の素数さん
20/04/23 23:04:25.74 ROJTyYdQ.net
>>279
真ナコトナイ(∃
偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・
HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽
って決まってるから...
288:１３２人目の素数さん
20/04/23 23:04:27.06 ROJTyYdQ.net
>>279
真ナコトナイ(∃
偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・
HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽
って決まってるから...
289:１３２人目の素数さん
20/04/23 23:11:57 ROJTyYdQ.net
ここに棲み憑いてる狼中年のヲ"チ"さ"ん"が言う事は・・・
あらゆる可能性をできるだけ想定して、矛盾が無いか徹底的にチェックしないと・・・
騙"さ"れ"ち"ゃ"う"か"ら"
ね・・・
290:１３２人目の素数さん
20/04/23 23:14:00 ROJTyYdQ.net
ﾋﾟﾉｷｵ爺の呪いで同ﾚｽ2投になっちゃってる…?
291:１３２人目の素数さん
20/04/23 23:18:00 XWvRD9DG.net
なるほどね
292:１３２人目の素数さん
20/04/23 23:19:19 ROJTyYdQ.net
゜ 。○゜ *。゜(ノД`)。
＊゜いっつも…うそばっかり。。。
293:１３２人目の素数さん
20/04/23 23:20:12 ROJTyYdQ.net
＊゜。○*゜。゜
294:１３２人目の素数さん
20/04/23 23:24:10 ROJTyYdQ.net
∵・Σ>>274━━🔥🔫＞💢
295:１３２人目の素数さん
20/04/23 23:24:50 ROJTyYdQ.net
うそつきｯ❗
296:１３２人目の素数さん
20/04/24 03:12:46 kvpK9Wt2.net
荒らしはこっちにだけ来るんだな
わかりやすいわ
297:１３２人目の素数さん
20/04/24 05:56:26.04 G8hF3Q2u.net
ﾁﾞﾁﾞｨｯﾁｬﾏが居るから…つぃ…
(〃¨)
それとﾓｯﾁｬﾏのアンチｽﾚだから、、、
お(邪魔して散らかして帰っちゃぇ…!)…ってのは、ちょっと思ってた…ｺﾞﾒﾝﾅｻｨ
298:１３２人目の素数さん
20/04/24 06:00:19 G8hF3Q2u.net
嵐認定された…(ノД`)。
…ぜんぶﾁﾞﾁﾞｨｯﾁｬﾏのせぃ…?
299:１３２人目の素数さん
20/04/24 06:05:27 G8hF3Q2u.net
本ｽﾙﾙｪは敷居が高い。。。
ａａ職人の☆伝統芸能お披露目サービス☆も無いし…
面白ぃコトもあんまり書いてくれるひとが出ないし。
真面目か…!
300:１３２人目の素数さん
20/04/24 06:11:57 G8hF3Q2u.net
今日も一日元気に。。。
🐹とっとこ☆なたろぅ🐹
君が…ｽﾙﾙｪをﾜﾝｵﾍﾟで。。。
回し車＠＠＠ｶﾗｶﾗｶﾗ～＠＠＠
みたいにｽﾚ回ししちゃいま～す
(´艸`)🍀
301:１３２人目の素数さん
20/04/24 06:14:43 G8hF3Q2u.net
☆ﾓｯﾁｬﾏ☆のｱﾝﾁｽﾚは
(散らかしやすぃ…)
(・ω<) <☆
ﾃﾍﾍﾟﾛ
302:論理狼 ◆y7fKJ8VsjM
20/04/24 08:09:10 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:294番)-299
IUTを守る会 会長は、まだIUTの宇宙が
グロタンディク宇宙だと認められないらしい
「グロタンディク宇宙が２つあったらいけない」
という嘘に固執してる馬鹿ｗ
「集合論の通常実行されるすべての操作を内部にもつ集合」
は唯一だといつ誰がどこで言い切った
今、貴様が愚かにも妄想しただけだろうが！！！
303:論理狼 ◆y7fKJ8VsjM
20/04/24 08:11:22 BTmyP9va.net
>>275
孤児？誰が？
私じゃないな
両親も健在です・・・母親は耄碌してますが
304:論理狼 ◆y7fKJ8VsjM
20/04/24 08:16:02 BTmyP9va.net
ある日のあるID「私は孤児」
論理狼 「弟がいる 両親も健在」
結論
「ある日のあるIDと論理狼は別人」
うむ、無矛盾ｗ
305:論理狼
20/04/24 08:33:04.56 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:305番)-307
IUTを守る会 会長の今の心境
「望月の論文を読みながら絶叫」
”おれのグロタンディク宇宙が、二つあるわけなぁぁぁぁぁい！！！”
ほんとこいつどこまで馬鹿野郎なの？
「箱入り無数目」といい今回の「グロタンディク宇宙」といい
素人のナイーブな直感を無条件に絶対の真理と思い込むとかｗｗｗ
306:論理狼
20/04/24 08:37:32.67 BTmyP9va.net
>>294
＞☆ﾓｯﾁｬﾏ☆
望月のストーカー現る・・・
307:論理狼 ◆y7fKJ8VsjM
20/04/24 08:44:56 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:133番)
ま、Mの
「V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V」
とかいうのは忘れていい
どうせ、使ってないんだろ？
別に宇宙が無数にあるのは構わんのだが
各宇宙が上記の関係を満たしていなくてはならない理由がない
（この点、弟子の山下剛のほうが冷静だといっていい）
308:１３２人目の素数さん
20/04/24 08:46:43 G8hF3Q2u.net
ある日の狼中年
「弟は居ないな」
また別のある日の狼中年
「妹はいないな
いたら？(じゅるる」
またある日
「禿げてはおらんｗ」
推定年齢７７歳前後の後期高齢者
(ＤＶ＆ギャンブル・風俗で
サラ金に借金有り⇒離婚歴有り⇒★バツ２★子持ち＆
★ＣhibiＤeＢuＰＳＹＣＨＯ★禿★)←今ｺｺ!
なんだと思います。(断言)
309:論理狼 ◆y7fKJ8VsjM
20/04/24 08:54:21 BTmyP9va.net
妹はおらんな
50代
ギャンブル？風俗？したことないよ
そんなことしてたら貯金がたまらないｗ
サラ金？借りたことない
貯金があるのになんで金借りる必要あるの？
結婚歴はない 子供もいない
身長は１７０ｃｍ代
髪の毛はさすがに薄くなりつつある気がするが
ハゲというほどではない
・・・という設定で４６４８（←ドルヲタか！）
310:１３２人目の素数さん
20/04/24 09:01:52 G8hF3Q2u.net
粘着ｾｸﾊﾗ★ｽﾄｰｶｰで悪の爺を
もっともっと。。。
彡⌒ミ⇒✨⌒✨
✨ﾊｹﾞ✨させちゃおぅっと。。。
(*´艸`)…♪
「☆ﾓｯﾁｬﾏ☆ﾉ敵」ｦ倒ｽ為ﾆ…
و(*")٩頑張ﾘﾏ～ｽ♪
311:論理狼 ◆y7fKJ8VsjM
20/04/24 09:05:37 BTmyP9va.net
>>303
「☆ﾓｯﾁｬﾏ☆命」の方へ
今回のIUT論文で
「証明に大穴がある論文を、編集委員長権限で強行アクセプトさせた」
疑惑がもたれていますが、それでもいいんですか？
つまり「大天才」というのは偽りの可能性があるってことですが
まあ、それ以前の業績は認めたとしても
世界的にはせいぜい「プチ天才」ですよね
（フィールズメダリストのショルツと比べたら）
312:１３２人目の素数さん
20/04/24 09:10:51 G8hF3Q2u.net
>>302
可変設定は(どうでも)いいです
もう…↓
「梅毒＆淋病＆AIDS＆水子
＆借金＆ｺﾛﾅ持ちで虚言癖の
ぼけはじめた👴ｦﾁﾞｨﾁｬﾝ👴」
って設定にしちゃったから。
(きっぱり)
容赦無くｲﾁﾞｸﾘ倒してやるからなぁ…?もぉ許せるｿﾞｵｫｯ!?ｫｨｯ!
(混乱)
313:１３２人目の素数さん
20/04/24 09:25:07 G8hF3Q2u.net
>>304
「(子持ち)大天才」(どうでも)
いいですねぇ…!
天才はやっぱり✨毒男✨の方が夢がありますねぇ…!
…ｱﾘﾏｽ…ｱﾘﾏｽ…((*¨)(*‥))ｳﾝｳﾝ*
314:１３２人目の素数さん
20/04/24 09:29:10 G8hF3Q2u.net
『🐣petit🐤✨天才✨』
『ﾌﾟｯﾁﾓﾁ🐣』。。。
ぅん、💗可愛ｅ💗。。。
315:１３２人目の素数さん
20/04/24 09:42:32 G8hF3Q2u.net
。✳゜。＊゜。☆゜。○゜。
。○゜いつまでも゜。☆゜
。*゜少年の心を忘れない゜＊゜
゜☆゜。*゜。○゜。✳゜
゜～ 永遠の🐣petit🐤 ～゜
○゜。✳゜。☆゜。゜*。゜゜。゜
((*¨)*‥))*¨))*‥))ｳﾝｳﾝ…
316:１３２人目の素数さん
20/04/24 09:51:10 G8hF3Q2u.net
やっぱり☆もっちー☆は。。。
★喪ｯﾁｬﾏﾗ★の🌟星🌟
ですねぇ…！
ｱﾝﾁｽﾙﾙｪに入り浸っちゃったら
🐣もっちー💖ＬＯＶＥ💖
が激化したでござるw
317:１３２人目の素数さん
20/04/24 10:00:33 G8hF3Q2u.net
ひとみんﾈｷのお気もちがわかります…
ｴﾓｯﾋﾟ…餅さまﾌﾞﾛｸﾞに決して凸ってはならなぃ…(戒め)
318:１３２人目の素数さん
20/04/24 10:09:47 G8hF3Q2u.net
午前の道場破り活動終わりｯ!
『💖愛💗は勝つ』
略して💖愛活💗。。。
(〃ﾟ艸ﾟ)ﾌﾟｯ
319:論理狼
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.
ヤベェ
320:・・・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 ∈ ... でいい
321:論理狼
20/04/24 10:27:10.51 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:134番)
＞何故かZFC公理系の公理が9個であるという記述は修正していないし、
＞ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
上記以上に>>312の誤りは酷いと思うが・・・
ま、最終的にはＶを除けば 無限上昇列はできるけどね
しかし、そこ、実はどうでもいいんだろ？
(P.S.)
荒らしのBBAへ
このスレ埋めたいみたいだけど、
埋まったら本スレに匿名で書くよ
私はスレ立てられないからね
自分の行為のアサハカさに気づこうな BBA！
322:ID:1lEWVa2s
20/04/24 10:43:53 /YSDMAvQ.net
軍事機密すれの私のフェルマーの最終定理について。の解合ってるの？
一応証明ごと日本数学会事務局に送ったんだけど。
誰も答えてはくれない。どうなってんの。
323:ID:1lEWVa2s
20/04/24 10:45:34 /YSDMAvQ.net
だまっとれってか。
はい。
324:論理狼 ◆y7fKJ8VsjM
20/04/24 10:47:32 BTmyP9va.net
>>314
＞証明ごと日本数学会事務局に送ったんだけど。
意味ないよ
数学会事務局には数学分かる人いないから
君の手紙を数学者に転送することもしない
まあ、君がもし数学者に直接手紙を書いても読まないだろうな
なんで素人の書いた自己流の嘘「証明」を読んで
「ここがギャップです」とか「ここが誤りです」とか
教えてやる必要があるの？ ないよな
325:１３２人目の素数さん
20/04/24 10:49:20 G8hF3Q2u.net
>>314
合ってなぃﾄｺを見つけちゃぃました…
素数じゃ無いのが「素数」ってなっちゃってたょー
(お直ししてみた方が良ぃんじゃなぃかな…?)って思ぃました…
326:ID:1lEWVa2s
20/04/24 10:50:23 u9u2JrJT.net
>>316
いや、担当者がいて教授が読んでるって電話で言ってた。
327:１３２人目の素数さん
20/04/24 10:52:38 G8hF3Q2u.net
🌈Ｏhaluさん🍀
身体に気をつけて。。。
頑張ってくださぃね…🍀*゜
328:ID:1lEWVa2s
20/04/24 10:53:49 u9u2JrJT.net
>>317
それはないはず。
私の計算にみすはあまりない。
さんざん練習したから。
まあ、不等式止まりだからその間違いがあったことも含めて6カ月後くらいから素数の研究に再度着く。
329:１３２人目の素数さん
20/04/24 10:56:11 rcHJMCjA.net
>>318
これ、相手にされてないと思うよ。
330:１３２人目の素数さん
20/04/24 10:56:48 G8hF3Q2u.net
あ、でも送る前に。。。
✨素数スレ✨にａｇｅて
皆さまにチェックして貰ってから郵送した方が
郵送コストが無駄にならないかも…?でしょうか…
331:ID:1lEWVa2s
20/04/24 10:59:32 NEYzDdgf.net
ま、読んでないなら宝に気付かないだけで気にしないが。
かわいそうに。
僕は数学を日本数学会事務局が相手にするしない気にせず一方的に送りますが。
なんせ読みたいなら読めばいいだけだから。
332:１３２人目の素数さん
20/04/24 10:59:37 G8hF3Q2u.net
>>320
自分のミスに自分で気付けるのは限界があると思うから…
やっぱり皆さまチェックをして貰ってからの方が…良いんじゃないてしょうか…?
333:ID:1lEWVa2s
20/04/24 11:00:39 NEYzDdgf.net
>>324
だってすれ建てれないもん。
334:ID:1lEWVa2s
20/04/24 11:01:59 NEYzDdgf.net
日本数学会事務局を相手にしてないのは僕の方。
ただ、ご奉仕で送ってやってるだけ。
335:１３２人目の素数さん
20/04/24 11:02:23 G8hF3Q2u.net
>>32
336:5 よろしければ代わりに新スレお立てしましょうか…? …でも元のスレは落ちちゃったんでしょうか？使えませんか？
337:ID:1lEWVa2s
20/04/24 11:02:53 NEYzDdgf.net
日本数学会事務局が友達なのは事実。
338:ID:1lEWVa2s
20/04/24 11:03:48 NEYzDdgf.net
>>327
落ちてないよ。
新すれたてなくていい。
宗教団体じゃないんだから。
339:論理狼 ◆y7fKJ8VsjM
20/04/24 11:04:24 BTmyP9va.net
たててやれよ BBA＝G8hF3Q2u
おめぇ数学できねぇんだから
まさか、おめぇもスレ立てれねぇの？
おめぇ・・・絵文字ばっかの💩カキコしてっから
荒らしBBAに認定されるんだよ
数学板やめな おめぇみてぇな💩BBAの来るとこじゃねぇから
340:１３２人目の素数さん
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]
341:ID:1lEWVa2s
20/04/24 11:08:05 NEYzDdgf.net
ちょっと笑いました。
342:ID:1lEWVa2s
20/04/24 11:08:57 NEYzDdgf.net
流れとよどみに。ちょっと笑いました。
大森荘蔵
343:論理狼 ◆y7fKJ8VsjM
20/04/24 11:09:57 BTmyP9va.net
メンドクサイので1lEWVa2s隔離スレ上げてやった
ｽﾚﾘﾝｸ(math板)
おめぇ梅田悠祐っつうのか
ま、素人が名前だしたって誰も関心もたねぇけどな
クスリ・・・飲んでるか？
344:１３２人目の素数さん
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) が存在しないことは手紙のような長さの証明では示せない。
それとも、なんか拡張したことでも考えているのかい？
345:ID:1lEWVa2s
20/04/24 11:13:09 f5HlnoZX.net
>>334
精神病院の担当医から処方された薬のんでます。
346:ID:1lEWVa2s
20/04/24 11:15:15 f5HlnoZX.net
>>335
1ぺぇじで証明した。
347:論理狼 ◆y7fKJ8VsjM
20/04/24 11:16:14 BTmyP9va.net
>>331
会長 たまらず書き込みｗｗｗｗｗｗｗ
＞<Zermelo構成>の多重シングルトンと同じ話だし
だろ？だからセタ会長 あんたが間違ってるｗ
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
＞時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！
あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか？
∞って自然数か？ 最後の箱だったら∞＋１は無いんだろ？
だったら自然数じゃねぇじゃん ペアノの公理に反するから
あんた、ペアノの公理も知らんのか 白痴か？ え？は・く・ち・か？
348:ID:1lEWVa2s
20/04/24 11:18:11 f5HlnoZX.net
>>334
4回入院歴あり。
入院中は数学三昧。
あんまやり過ぎると言われるけど。
349:ID:1lEWVa2s
20/04/24 11:19:02 f5HlnoZX.net
>>334
隔離室1ヶ月連続だった。
何も持ち込めない。
350:論理狼 ◆y7fKJ8VsjM
20/04/24 11:19:31 BTmyP9va.net
そうか・・・４回も入院したのか
そりゃ大変だな
数学・・・好きか？
351:１３２人目の素数さん
20/04/24 11:20:02 G8hF3Q2u.net
>>330
。。。立てられると思いますょ...？(暗黒微笑)
『💩BBA』でもスレ立て出来るんたとしたら...
狼中年さんはどんなコトされてらしたんでしょうね...
ﾌｯ…（´<_｀）
352:１３２人目の素数さん
20/04/24 11:20:46 rcHJMCjA.net
>>337
1ページ程度の長さの証明を送ったなら、ほぼ間違いと断定されただろうと思っていい。
353:論理狼 ◆y7fKJ8VsjM
20/04/24 11:21:19 BTmyP9va.net
隔離されたのか・・・大変だったな
おめぇの証明とやらを認めるわけにはいかねぇが
おめぇのことは認めてやっから な
354:論理狼 ◆y7fKJ8VsjM
20/04/24 11:22:23 BTmyP9va.net
>>342
＞狼中年さんはどんなコトされてらしたんでしょうね...
355: いろいろ・・・(￣ー￣)ﾆﾔﾘ
356:１３２人目の素数さん
20/04/24 11:22:25 G8hF3Q2u.net
>>342＞るんた× るんだㅇ
357:ID:1lEWVa2s
20/04/24 11:22:25 R21Lj2Or.net
>>344
はい。
358:ID:1lEWVa2s
20/04/24 11:23:14 R21Lj2Or.net
>>341
数学とラムネが好き。
359:論理狼 ◆y7fKJ8VsjM
20/04/24 11:24:40 BTmyP9va.net
ま、💩BBAが否定派スレ（別名：変態収容所ｗ）を毎度立てるっていうんなら
おめぇがここにいるのを認めてやってもいいぞ
・・・そんなに好きなのか？オレの粗☆ンが
変わったヤツだ
360:ID:1lEWVa2s
20/04/24 11:25:47 R21Lj2Or.net
>>341
18-20歳の頃荷揚げ屋やっててよく名古屋の鶴舞の古本屋で勉強してた。
二年間で大量のボックスの論文かいたが三回目の入院の前気が狂ってすてちゃった。
今はお茶の箱六箱たまってる。
因みに童貞永遠に守る。
361:論理狼 ◆y7fKJ8VsjM
20/04/24 11:26:20 BTmyP9va.net
>>348
そうか・・・ラムネも好きか
ラムネくらいだったら、おっちゃんがいくらでも飲ませてやっぞ
ま、飲み過ぎて血糖値が上がったらいけないけどな
362:論理狼 ◆y7fKJ8VsjM
20/04/24 11:28:25 BTmyP9va.net
そうか おめぇ 出身は名古屋か
そうだな 無理に♀と＊＊＊するこたぁねぇ
363:１３２人目の素数さん
20/04/24 11:28:51 G8hF3Q2u.net
┃;“))≡3 。。。>>345
⊂≡3
┃
364:ID:1lEWVa2s
20/04/24 11:29:02 SBgXqOxU.net
>>351
じゃあ小牧のパークアリーナで毎日行ってるさっかぁをお母さんとしてくるで。
365:ID:1lEWVa2s
20/04/24 11:29:18 SBgXqOxU.net
>>352
ありがとう。
366:１３２人目の素数さん
20/04/24 11:29:43 G8hF3Q2u.net
┃≡3
367:論理狼 ◆y7fKJ8VsjM
20/04/24 11:30:12 BTmyP9va.net
そうか・・・おめぇのかあちゃんによろしくな
368:ID:1lEWVa2s
20/04/24 11:30:40 SBgXqOxU.net
>>357
怒るよ。
369:ID:1lEWVa2s
20/04/24 11:31:00 SBgXqOxU.net
>>357
手を出したら怒るよ。
370:ID:1lEWVa2s
20/04/24 11:31:19 SBgXqOxU.net
>>357
手を出す前に怒るよ。
371:論理狼 ◆y7fKJ8VsjM
20/04/24 11:32:57 BTmyP9va.net
BBAはギフテッドに関心があるらしいが
俺はそういうツマラナイ奴らには興味がない
むしろ世の中が●違いとかメンヘラとかいってる連中に興味がある
ただの好奇心かもしれんし迷惑かもしれねぇが なんか捨てておけねぇ
372:ID:1lEWVa2s
20/04/24 11:32:59 SBgXqOxU.net
>>357
こら。ヽ(*｀Д´)ノ。
373:１３２人目の素数さん
20/04/24 11:33:48 rcHJMCjA.net
おっちゃんです。
>>351
おっちゃんという言葉は、お前さんが嫌っている大阪で広く使われる言葉だぞ。
374:ID:1lEWVa2s
20/04/24 11:33:53 SBgXqOxU.net
>>361
こら。ヽ(*｀Д´)ノ。
375:論理狼 ◆y7fKJ8VsjM
20/04/24 11:34:03 BTmyP9va.net
>>358-360
ばか・・・手なんかださねぇってｗ
かあちゃんに苦労かけるなよ
376:論理狼 ◆y7fKJ8VsjM
20/04/24 11:35:34 BTmyP9va.net
>>363
なんだおめぇまだ生きてたのか
いい加減もうちっとマシな名前考えろよ
そんで、おめぇ、出身はどこだ？大阪か？
377:論理狼 ◆y7fKJ8VsjM
20/04/24 11:39:07 BTmyP9va.net
おれは東京の出身だ
オヤジもジイちゃんも東京だ
ジイちゃんのジイちゃんが明治の初めから東京に住んでた
ただ、ジイちゃんのジイちゃんがどこの出身かは知らん
たぶん、東京じゃねぇだろうなぁ
378:１３２人目の素数さん
20/04/24 11:41:37 rcHJMCjA.net
>>366
出身は東京だが、おっちゃんという名前はよろしくないか？
379:ID:1lEWVa2s
20/04/24 11:42:59 n3WrU69o.net
浮上したなら今からさっかぁしてくるから読んどいて。さいなら。
380:論理狼 ◆y7fKJ8VsjM
20/04/24 11:44:40 BTmyP9va.net
>>368
「固有名詞」としては面白くないね
毎度「おっちゃんです」と書き始めるところを見ると
自分のことを指す固有名詞として「おっちゃん」といってるんだろ？
だったらもうちっと自分らしい名前を考えたらどうだ？
逆に匿名でいいっていうんなら「おっちゃんです」もやめたがいいな
どうする？
381:論理狼 ◆y7fKJ8VsjM
20/04/24 11:46:03 BTmyP9va.net
>>369
そうか・・・ケガすんなよ
382:論理狼 ◆y7fKJ8VsjM
20/04/24 11:49:34 BTmyP9va.net
>>338をもう一度書いとく
>>331
会長 たまらず書き込みｗｗｗｗｗｗｗ
＞<Zermelo構成>の多重シングルトンと同じ話だし
だろ？だからセタ会長 あんたが間違ってるｗ
ωは極限順序数だ 後続順序数じゃねえ
ωの要素は自然数 だから 0から始まってωに至る∈列は有限
＞時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！
あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか？
∞って自然数か？ 最後の箱だったら∞＋１は無いんだろ？
だったら自然数じゃねぇじゃん ペアノの公理に反するから
あんた、ペアノの公理も知らんのか
383:１３２人目の素数さん
20/04/24 11:52:29 rcHJMCjA.net
>>370
5チャンで固有名詞のような自分らしい名前を書いてても、大して意味はないと思っている。
個人的にはどちらも好きだが、たこ焼きやお好み焼きは主に大阪で発�
384:Bした食べ物だな。
385:論理狼 ◆y7fKJ8VsjM
20/04/24 11:57:46 BTmyP9va.net
>>373
自分らしい名前を考えることに意味があるんだがね
5chにしか書き込めないおめえの存在に意味あんのか？
おめえの理屈ではおめえの存在に意味ないな
それでもおめえが生きてるってことはおめえの価値判断は間違いってこったよ
つべこべいわずに名前考えな おめえはやらねぇ言い訳しかしねえ
だから数学も他のことも身につかねぇんだよ
386:１３２人目の素数さん
20/04/24 12:05:16 rcHJMCjA.net
>>374
そもそも、「おっちゃん」という代名詞が自分を指す言葉である、という考え方を自ら思い付いた。
387:論理狼 ◆y7fKJ8VsjM
20/04/24 12:21:26 BTmyP9va.net
>>375
じゃ、こうしよう
HNは「自称おっちゃん」
名前にこれ入れて書き込むんだな
嫌なら・・・代わりのHN考えるんだな
388:ID:1lEWVa2s
20/04/24 12:28:35 wWCnpuyd.net
>>371
さっかぁしてきた。
疲れたから煙草吸って寝る。
月曜日からぱんの袋詰めの仕事も水曜日まで待ってるし。
389:１３２人目の素数さん
20/04/24 12:28:41 rcHJMCjA.net
>>376
今までのいわゆる「おっちゃん」を「自称おっちゃん」に変えれば済むのに、何故ハンドルネームが必要なんだ？
390:１３２人目の素数さん
20/04/24 12:58:38.48 Gf8Y++wA.net
どっかの会社に言われて荒らしに来てんの？こいつら
391:１３２人目の素数さん
20/04/24 13:09:09.63 rcHJMCjA.net
>>379
私は荒らしに来てはいないことをいっておく。
392:ID:1lEWVa2s
20/04/24 13:28:08.77 7AvnGIne.net
フィールズメダルもらったら大垣共立銀行の金庫に保管してたまに写真撮ってまた金庫に戻し保管する。
393:ID:1lEWVa2s
20/04/24 13:28:39.86 7AvnGIne.net
フィールズメダルじゃなくて日本数学会メダルか。
394:１３２人目の素数さん
20/04/24 13:57:59.28 G8hF3Q2u.net
>>361
＞ギフテッドに関心△
(生きてくのに)
ギフテッドの存在が必須◎
395:１３２人目の素数さん
20/04/24 14:16:35.01 G8hF3Q2u.net
カメラアイ＆知能指の知覚推理が135前後以上あれば…
たぶん私では間違いに気付けないから、それだけでも充分なんですが…
それを“ギフテッド”とカテゴライズされるなら
「私の人生には(男女を問わず)ギフテッドの存在が必要不可欠です」
としか
396:１３２人目の素数さん
20/04/24 14:21:12.65 G8hF3Q2u.net
>>384
↑訂正でした↓(´д`;)ﾄﾎﾎ…
＞知能指の知覚推理が135前後以上あれば…
知能指「数」の知覚推理が「IQ」135前後以上あれば…
397:１３２人目の素数さん
20/04/24 14:29:18.10 G8hF3Q2u.net
>361
>捨てておけない
それで
「白痴メンヘラDBSアル中BBA」をかまってくれちゃうんですよね…
((*¨))((*‥))ｳﾝｳﾝ
♪矛盾無し。♪
398:１３２人目の素数さん
20/04/24 14:33:16.14 G8hF3Q2u.net
>379さんのいってる“荒らし”に…
ﾁﾞﾁﾞｨｯﾁｬﾏがｶｳﾝﾄされてる気がするw
399:論理狼 ◆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
400:論理狼 ◆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
401:ID:1lEWVa2s
20/04/24 15:43:20 Rhpk4LmW.net
>>389
素数の式か。
解けてないようにみえるが。
402:論理狼 ◆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)
×
403:論理狼 ◆y7fKJ8VsjM
20/04/24 16:37:24 BTmyP9va.net
>>390
いや、足し算の結合法則だ
>>391の補題を証明したので
やっと足し算の交換法則が証明できる
404:論理狼 ◆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
405:１３２人目の素数さん
20/04/24 16:50:52 rcHJMCjA.net
それじゃ、自称おっちゃんもう寝る。
406:論理狼 ◆y7fKJ8VsjM
20/04/24 16:51:36 BTmyP9va.net
本日の成果
ロビンソン算術の加法の公理＆規則MIから
加法の結合法則および交換法則を証明
乗法の結合法則および交換法則の証明は
・・・気が向いたらやるｗ
407:論理狼 ◆y7fKJ8VsjM
20/04/24 16:52:48 BTmyP9va.net
>>394
「自称」をつけるのは律儀だが
名前欄に書かないのは頑固だな
408:ID:1lEWVa2s
20/04/24 17:32:11 0xgAwaBU.net
僕もねりゅ。
409:１３２人目の素数さん
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・・・などは普通クラス（集合ではない）だから、包含関係の⊂の方が適切かとおもうのだがね（些末なことだがね）
まあ、とにかく、おサルの負けだなｗ(゜ロ゜;
410:論理狼 ◆y7fKJ8VsjM
20/04/24 17:34:14 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:147番)
>アクセプトされ掲載されても、その後が大変
>ジャーナリストが嗅ぎつけだんだんスキャンダル事件になる展開
朝日新聞の記者
「実は今回のIUTの件、ひそかにキナ臭いとおもってたんですよ」
嘘こけｗ
411:論理狼 ◆y7fKJ8VsjM
20/04/24 17:44:15 BTmyP9va.net
>>398
会長たまらず 再書き込みｗ
＞笑えるわ
そのセリフいうとき、いつも、顔、ひきつってるよねｗ
＞それ、査読終わった論文だよ？
うん、だから査読がザル。だって初歩的な間違いだもんｗ
＞玉川先生を筆頭に、査読者複数（数論のプロでIUTが読める数学者）が、査読完了だよ
玉川先生以下、査読者全員が、集合論の初歩も分かってないってことだね
いやー、これ恥ずかしいよ、マジでｗ
＞それに、V：グロタンディーク宇宙って、論文中に望月先生が定義しているんだぜｗ
＞おまえ意味わかっているか？
あんた、意味分かってないよね
Vが任意のVi(i∈N)を要素とするとしても、
Vが終端になる無限∈列はできないよ こんなん集合論の基本
分かんない奴は・・・学部からやり直したほうがいいな（マジ）
＞それより、おれが疑問に思っているのは、∈の元の帰属の記号だ。
＞V1 、V2・・・などは普通クラス（集合ではない）だから、
＞包含関係の⊂の方が適切かとおもうのだがね
会長って・・・ホント馬鹿だねｗ
まずV1,V2・・・は全部集合です
集合論における最小のモデルの場合にはこんな集合は存在しませんが
かといって、いかなるモデルでも存在しない、とはいえません
ついでにいうと、クラスだとしても∈は使えます
クラスだから⊂じゃねとかいってるあんた
集合の基礎も分からん正真正銘の🐎㊎
412:0;野郎ですから~ 残念（バッサリ）
413:１３２人目の素数さん
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 が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している
414:論理狼 ◆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・・・などはクラスだから、普通は集合ではないので、∈ は使わない ）
会長・・・まだ∈と⊂が「まったく同じ」だと誤解してるのか
正真正銘の🐎🦌だなｗ
ま、∈を「集合の包含関係⊂」と誤解してるなら
「無限列？当然じゃん」と思うわな
しかし、∈は包含関係じゃなく所属関係だから 残念！！！
415:論理狼 ◆y7fKJ8VsjM
20/04/24 21:54:40 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:316番)
IUTを守る会 会長 >>402に反論不能で無意味コメントｗ
416:１３２人目の素数さん
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
の意味するところを述べよ
答えられまいｗ（＾＾
うまく答えられたら、基礎論ではおれより上と認める
アホな答えなら、おれからツッコミが入るｗ（＾＾；
417:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 21:58:52 9m+2fnQ5.net
ああ、コテ抜けてたな（＾＾；
アレフ番号（?）
↑
？のところにアレフ記号書いたら、文字
418:化けした（＾＾；
419:論理狼
20/04/24 22:36:26.99 BTmyP9va.net
>>404
＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞の意味するところを述べよ
誤りｗ
もし”∈V”を書かずに
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
と書けば、無限上昇列になる
なぜ、望月がわざわざ∈Vとかいて自爆したかは知らん
望月に訊け
ついでにいっとくが、会長の⊂の置き換えは🐎🦌そのものｗ
また「宇宙は上位互換ってことよ」も集合論が分らん🐎🦌のタワゴトｗ
420:１３２人目の素数さん
20/04/24 22:40:25.58 BTmyP9va.net
>>404
＞V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ
＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
＞以下、V2、V3・・など同じだ
これはヒドイｗ
V0,V1,V2,V3…全て到達可能基数の宇宙
到達可能基数が唯一と思ってるなら
IUTを守る会のセタ会長は正真正銘の🐎🦌
421:論理狼
20/04/24 22:43:30.42 BTmyP9va.net
>>404
＞うまく答えられたら・・・
🐎🦌は自分が天才だと自惚れる悪癖がある
＞アホな答えなら、おれからツッコミが入る
🐎🦌はリコウぶった🐎🦌発言でさらに恥をかく
🐎🦌がリコウになることはあり得ないｗｗｗ
422:１３２人目の素数さん
20/04/24 22:50:58.22 zkcRGLXo.net
＞＞＞＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む
吹いただろそんな宇宙あるかよｗｗｗｗｗｗｗｗｗｗｗｗｗ
連続濃度が強到達不能基数になること示してみろｗ
423:論理狼
20/04/24 22:55:57.74 BTmyP9va.net
はっきりいって、査読者が集合論を理解していたなら
IUT論文 IV の Section 3
"Inter-universal Formalism:the Languege of Species"
は全文削除だな
初歩的誤りがあり全然無意味
424:１３２人目の素数さん
20/04/24 23:00:31.26 zkcRGLXo.net
>>410
じいちゃんお前が分かってないんだよ
コロナにかかって死ぬなよ
425:論理狼
20/04/24 23:08:38.96 BTmyP9va.net
>>411
「V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む」
と書いたのは私ではなく◆e.a0E5TtKE
だいたい、望月が
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
が無限列になる、とか書いてる時点で、初歩的な誤り
そしてそれを見過ごす査読者も全く仕事してない
こんなの、学部生でも間違いだと分かるぞ
426:現代数学の系譜 雑談
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)
427:ab84_7oAhUjIqYKHQCwDR0Q6AEILjAB キューネン数学基礎論講義 ケネス・キューネン 翻訳 藤田博司 日本評論社, 2016 - 378 ページ 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
428:１３２人目の素数さん
20/04/24 23:22:28.76 zkcRGLXo.net
最後のＶがどういう意味で書かれているかわからないが本文と関係ないし
査読者になってもどうでもいいと感じるけど
Ｖを書かずに無限列の存在仮定でいいのでは
429:現代数学の系譜 雑談
20/04/24 23:25:00.15 9m+2fnQ5.net
>>413
下記を追加しておく
読んでからレス頼む
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
430:現代数学の系譜 雑談
20/04/24 23:28:30.35 9m+2fnQ5.net
>>414
＞査読者になってもどうでもいいと感じるけど
査読者が気付いたら、指摘はするだろうな
どうでも良いことだが、ケアレスミスにしても（誤字脱字に同じ）、論文の瑕疵にはなるから
＞Ｖを書かずに無限列の存在仮定でいいのでは
Ｖを書いてもいいだろう？
意味わからん
431:１３２人目の素数さん
20/04/24 23:31:02.33 zkcRGLXo.net
などと、査読を一度もしたことがないであろう
ものがかたっておりますので
査読依頼等の過程の例を語ってください
432:１３２人目の素数さん
20/04/25 00:14:01.65 asnl0I6U.net
>>412
＞だいたい、望月が
＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞が無限列になる、とか書いてる時点で、初歩的な誤り
あのねえ、別にIUTを擁護する気は無いんだけどこの指摘は流石にナンセンスだよ
こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん
基本的に論文は最大限汲み取って読むべきものだし、そもそもこの程度のものはミスでもなんでもない
433:１３２人目の素数さん
20/04/25 00:40:03 nULhaJry.net
よくわからないけど、それってZFCで集合になるの？
なんかラッセルのパラドックスみたいな問題が起きそうじゃない？
434:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 07:23:57 b0fzLo6k.net
>>417
おれは、査読はしたことがないが
査読されたことは何度かあるよ、数学じゃないが
専門誌に論文を送る
査読者から、意見が来る
それに回答する
掲載決定になる
例えば、一度「これこれで、掲載できない」という意見が来て
それに対して、反論というか説明をして掲載になった経験がある
まあ、似たようなものじゃね？
435:論理狼 ◆y7fKJ8VsjM
20/04/25 08:41:57 ReTz6AXc.net
>>414
>最後のＶがどういう意味で書かれているかわからないが
な、分からないだろ？ 書かなきゃいいのにｗ
>本文と関係ないし
関係ないなら、全文カットだなｗ
>査読者になってもどうでもいいと感じるけど
どうでもいいなら、全文カットだなｗ
>Ｖを書かずに無限列の存在仮定でいいのでは
∈無限列の存在なら、Ｖを書いてはいけない これが真理
でも、そもそも∈無限列 使わないんだろ？ じゃ要らねえじゃんｗ
436:論理狼 ◆y7fKJ8VsjM
20/04/25 08:43:30 ReTz6AXc.net
>>416
＞＞Ｖを書かずに無限列の存在仮定でいいのでは
＞Ｖを書いてもいいだろう？
ダメ。Ｖを書いた瞬間、無限列でなくなる
それが分らん貴様は正真正銘の🐎🦌
437:論理狼 ◆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レベルの
ド素人的勘違い�
438:ﾆしてる可能性大 だいたい、勘違いを引き起こす表記なら 査読者が指摘して修正させる必要がある そうしてない時点で査読者も同じ勘違い をしてる可能性大 ヤベェ、数論幾何、マジヤベェｗ
439:論理狼 ◆y7fKJ8VsjM
20/04/25 08:53:00 ReTz6AXc.net
>>419
＞よくわからないけど、それってZFCで集合になるの？
ZFCに到達不能基数の存在公理を追加すれば認められる
＞なんかラッセルのパラドックスみたいな問題が起きそうじゃない？
今のところ、問題は起きていない
440:論理狼 ◆y7fKJ8VsjM
20/04/25 09:00:42 ReTz6AXc.net
IUTを守る会 会長の日本語読解力じゃ
予想を提示しただけで、「証明した！」
といいそうな勢いで、マジヤベェｗ
ｽﾚﾘﾝｸ(math板:356番)
＞多分、Sato-Tate予想の解決、みんな正しいと思っている（下記リンク）
＞論文読まないでもねｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
おまえ、よくそういう嘘が平気でつけるね 🐎🦌？
リンク先のどこをどう読んでも
「みんな正しいと思ってる」なんて書いてないどころが
逆に「これじゃ、正しいって云えねぇよな」って雰囲気じゃん
おまえ、日本語読めないの？
441:１３２人目の素数さん
20/04/25 09:04:47 QwbpAiRF.net
>>423
参考までに論文のどこに出て来てるのか教えて
442:論理狼 ◆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
443:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 09:20:40 b0fzLo6k.net
>>421
Vの定義は、別に書いてあるよ
グロタンディーク宇宙だよ
444:論理狼 ◆y7fKJ8VsjM
20/04/25 09:22:03 ReTz6AXc.net
ｽﾚﾘﾝｸ(math板:355番)
>私ら、ヤジウマ応援団ですよ
>Jリーグの応援みたいなもので、
>みんなでエール送ったりしているのです
>「RIMS、がんばれ！」みたいな
そもそもなんで、不可解な論文書く「半外人」とか
そんな論文をロクに査読もせずアクセプトする
如何わしい「組織」とかを応援するの？
サイコパス？
445:論理狼 ◆y7fKJ8VsjM
20/04/25 09:24:57 ReTz6AXc.net
>>428
VだけじゃなくVi (i∈N）全部がグロタンディク宇宙だが
どうしても認めたくないのか？この🐎🦌はｗ
分からないといってるのは「Vが何か？」ではない
なんで、わざわざ「∈V」とかいう余計な２文字を書いたか、だ
自爆だろ？
446:１３２人目の素数さん
20/04/25 10:11:32.90 dUEBtaY/.net
☆ＹＯ-ＤA！☆ｯﾁｬﾏが降臨してたw
週末はちゃんとした人が現れるの法則?
w
447:論理狼
20/04/25 10:36:01.88 ReTz6AXc.net
>>431
BBAのいうことはいちいちわからん
誰がヨーダだって？
448:論理狼
20/04/25 10:38:16.99 ReTz6AXc.net
ちなみ、与田っちょといえばこのコだぞ
URLﾘﾝｸ(www.youtube.com)
449:１３２人目の素数さん
20/04/25 10:41:18.40 dUEBtaY/.net
「ＢＢＡ」っていうから
教えな━━━ぃ! w
怒ﾚ怒ﾚ…(*“)ﾌｯ…✳゜
450:１３２人目の素数さん
20/04/25 10:42:05.66 Aut7D1nk.net
>>423
数論幾何や代数幾何やってる殆どの人はきちんとしてるんだが、
IUTの失敗で数論幾何全体が厳密でないみたいになるのはちょっと残念だな
451:論理狼
20/04/25 10:42:54.13 ReTz6AXc.net
>>434
やれやれ
・・・更年期障害か
452:論理狼
20/04/25 10:45:22.03 ReTz6AXc.net
>>435
＞殆どの人はきちんとしてるんだが
わかってますって
でも、分野外、とくに集合論とか論理のことになると
とたんに信じられないほど粗雑になるのも
基礎論以外の数学のどの分野でもありがちな傾向かと
453:１３２人目の素数さん
20/04/25 10:56:11 Aut7D1nk.net
>>437
そうか？
数論幾何は読んだことないけど代数幾何の本とか論文を読んでるとそんなミスは殆どない
何よりグロタンディークが非常にロジカルな人だったしね
ネットだとたまに粗雑どころか逆ギレする人がいるけど、せいぜい修士卒で道を終えたような人間だろう
454:ID:1lEWVa2s
20/04/25 11:12:40 UBlOy0QO.net
>>438
僕は中卒ですが。
455:１３２人目の素数さん
20/04/25 11:18:56 dUEBtaY/.net
٩(”*)ว>>439))
ﾁｮｯﾄ一緒ﾆ出ｶｹﾃｺｮｩﾈ…♪
456:１３２人目の素数さん
20/04/25 11:32:09 dUEBtaY/.net
|*“))←２ｍ→(>>438)
博士…ＩＵＴＴは“失敗”しちゃってるんでしょうか?
457:１３２人目の素数さん
20/04/25 11:34:50 dUEBtaY/.net
⊃♀))(>>436)
(↑鏡)
458:論理狼 ◆y7fKJ8VsjM
20/04/25 11:36:44 ReTz6AXc.net
>>438
＞そんなミスは殆どない
そりゃそうよ 集合論の話なんかしないでしょ
＞何よりグロタンディークが非常にロジカルな人だったしね
でも、フォーシングとかは知らんと思うよ
ネットでも実社会でもおかしな人ほど大騒ぎする
修士どころが理学部数学科卒でもない
一般教養の数学も怪しい工学部卒とかｗ
459:論理狼 ◆y7fKJ8VsjM
20/04/25 11:38:10 ReTz6AXc.net
>>442
だからよくわかる(￣ー￣)ﾆﾔﾘ
昨日は右耳の聞こえが悪かった・・・幸い回復したが
460:ID:1lEWVa2s
20/04/25 11:51:42.28 Y7zAeKU+.net
URLﾘﾝｸ(youtu.be)
461:１３２人目の素数さん
20/04/25 12:04:34.84 dUEBtaY/.net
>>444
ﾁﾞﾁﾞｨｯﾁｬﾏ寝る前にお風呂でバスタブ浸かってゆっくり入浴して寝てみて？
血行を良くして身体を冷やさないように、って。
循環と代謝を良くするように生活して下さ～ぃ。。。
※ちゃんと白湯とかＯＳ-１とかで入浴前中後に水分＋ビタミンＣ補給をしっかりしてください!
462:１３２人目の素数さん
20/04/25 12:13:31.94 dUEBtaY/.net
追伸
夕食は温野菜や煮魚や大豆製品を摂ると良いみたいです…(←アレルギーの方はﾀﾞﾒ。)
お肉は鶏胸肉(成長ホルモン未使用※国産鶏胸肉とか)が良いみたいです。。。
良く加熱してお召し上がり下さい。
いつまでも元気なクソﾁﾞﾁﾞｨｯﾁｬﾏで勢い良くｽﾙﾙｪ回しして下さ～ぃ♪
463:論理狼
20/04/25 12:14:13.21 ReTz6AXc.net
>>446
あんた・・・いいヤツだなあ
ありがとう、ＢＢＡ（一言余計！！！）
464:１３２人目の素数さん
20/04/25 12:19:32.35 dUEBtaY/.net
(ﾁﾞﾁﾞｨｯﾁｬﾏを狙ってるから…)
(＾＾)ﾆﾔﾘ
465:１３２人目の素数さん
20/04/25 12:20:41.77 dUEBtaY/.net
(一言余計…魂胆ﾊﾞﾚﾊﾞﾚ…)
466:論理狼
20/04/25 12:21:03.57 ReTz6AXc.net
ｽﾚﾘﾝｸ(math板:359番)-362
会長、わかりもしない論文にグダグダ拘泥ｗ
IVの§3なら
∈-structureとか、∈-loopsとか
言わなきゃどうってことなかったのにな
査読者も要らん記述は削除するよう云えよ
なんも仕事してないな
467:１３２人目の素数さん
20/04/25 13:19:53 nULhaJry.net
>>424
代数幾何とか圏論とか全然わからない素人なんだけど、今の数学って、
ZFC + 到達不能基数の存在公理 （ZFCU？）
の上で考えられているの？
つまり、IUTが正しかったとしても、それはZFCよりも（より多くの公理が必要という意味で）狭い世界で成り立つ話であって、
純粋なZFCの世界では考えられない話なの？
例えば、フェルマーの最終定理も、ZFCよりも狭い世界では証明されたけど、純粋なZFCの世界では証明されていないと考えるべき？
468:論理狼 ◆y7fKJ8VsjM
20/04/25 13:55:05 ReTz6AXc.net
>>452
集合論じゃなきゃ、今の数学で到達可能基数の存在公理は要らないんじゃね？
IUTの話なら本スレで訊きなよ
間違っても応援スレにはいくなよ
あそこは「保育園」だからｗ
469:１３２人目の素数さん
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
471:論理狼 ◆y7fKJ8VsjM
20/04/25 14:54:47 ReTz6AXc.net
>>454
本スレで訊きなよ
472:１３２人目の素数さん
20/04/25 15:00:26 6wmAgSBh.net
>>443
俺が読んだ代数幾何の本では、エタール位相をuniverse Uに属するスキームのみを用いて構成すれば、エタールサイト(スキームX上エタールなUに属するスキームとエタール位相の組)上の層F,F'に対してHom(F,F')が集合であるという注意が書いてあった
こんな感じで何も書いてない方が珍しいんじゃないかな
それでもIUTみたいなミスは見たことないし、代数幾何(を含む数論幾何)研究者のほとんどはきちんと理解してると思うよ
473:ID:1lEWVa2s
20/04/25 15:07:31 LLArYwLp.net
>>443
僕は中卒ですが。
474:１３２人目の素数さん
20/04/25 15:35:02 56hvO4NK.net
>>427
お前本当に論文読んだのかよ
無限降下列はないて書いてるじゃん
475:論理狼
20/04/25 16:01:21.40 ReTz6AXc.net
>>456
だったら、玉川に言ってやれば?
「ちゃんとやってくださいよ！
でないと、僕たち代数幾何を学んでる者が
馬鹿にされるんですよ！！！」
って
476:１３２人目の素数さん
20/04/25 16:01:49.21 56hvO4NK.net
>>423
無限降下列について言及はあるけど、それは正則性公理から存在しないから気をつけてね論文自身に書いてるじゃん
あたかも望月自身がそれがあると信じるかのように書くとか捏造にも程がある
こんな読み間違い普通はしないよ
明確な悪意をもって嘘をつくとか最低だわ
477:１３２人目の素数さん
20/04/25 16:03:36.45 56hvO4NK.net
望月は集合論分かってねえと書くやついたけれど、分かってねえがこのレベルなら、否定派の方が確実に分かってねえわ
478:論理狼 ◆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
が無限列にならないことに気づけよｗ
大学１年生かよｗ
479:論理狼 ◆y7fKJ8VsjM
20/04/25 16:06:49 ReTz6AXc.net
>>460-461
全て君の妄想
>>462に書いてあげたから よく読もうね
480:１３２人目の素数さん
20/04/25 16:14:11 56hvO4NK.net
>>462
あのさ、順序数とか分野じゃ
1,2,...,ωて書いたりするから別におかしくはないんだよ
それと論文中にないてこと書いてるにも関わらず、そのことについてレスで言及にしないのは明らかにミスリードを狙ってるよ
481:論理狼 ◆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は扱えない（この中では一番有望であるが）
• 圏論に
482:集合論的基礎を与えることに関する論文を２つ挙げておく 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 と言っている.
483:論理狼 ◆y7fKJ8VsjM
20/04/25 16:18:50 ReTz6AXc.net
>>464
＞順序数とか分野じゃ1,2,...,ωて書いたりするから別におかしくはないんだよ
上記では、∈は書いてないね
もし1∈2∈…∈ωと書いたら、ウソだよ
だって”∈ω”の左側に何も書けないだろ？
何か自然数を書いたっていいけど、その場合有限列だよな
でも無限列と断言したんだよな？ だったらウソじゃんｗ
484:１３２人目の素数さん
20/04/25 16:28:31 56hvO4NK.net
>>466
”∈”で線型順序をなしてωはその最大値てわかるやん
論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから、そんな読み間違い起こさないよ
だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ
これから集合論理解してないなんて言えないでしょ
485:論理狼 ◆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の件はノーコメントか？
当然読んだだろ？弁解不能か？そりゃできるわけないよなｗ
486:論理狼 ◆y7fKJ8VsjM
20/04/25 16:41:38 ReTz6AXc.net
いっとくけど、基礎の公理のない集合論を考えたいならそうしたっていいよ
別に、基礎の公理がないと矛盾する、とかいうことはないから
でも、IUTで∈-loopsが必要なわけではないんだろ？
simulate ∈-loopsって書いてあるけど、loopならいいんだろ？
だったら∈なんて一切語らなければいいじゃん
いったい、何がしたいの？
487:論理狼 ◆y7fKJ8VsjM
20/04/25 16:47:50 ReTz6AXc.net
ｽﾚﾘﾝｸ(math板:375番)-376
どうやらIUTを守る会 会長も
IVの§3がuntouchableだと
気付いたようだな(￣ー￣)ﾆﾔﾘ
なんでこの節載せたのかね
載せるにしても∈に関する一連の説明は結局無意味だよね
削除したほうがいい、っていわなかったのかね？
488:１３２人目の素数さん
20/04/25 16:53:58 56hvO4NK.net
>>468
いやあのさ、ここでの大小関係て順序数での比較なのは明白なんだからωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ。。
一応書いとくとωは自然数全体の集合ね
ωはω∪{ω}で最大値だよ
V_i∈…Vて書いたのは、∈で最大をとることの強調だろうよ
ε-loopそのものも明確にねえて論文P74で書いてるだろ
だけれどある種の類似物をこれから作ろうて話じゃん
わざわざ書かなかったのは無限降下列を指摘すりゃあ十分だと思ったからだよ
マジで悪意のある切り取りが好きなんすねえ
489:１３２人目の素数さん
20/04/25 16:56:13 LKPY7+kk.net
たとえば順序数の文脈なら
1∈2∈…∈ω�
490:ﾍ正しいし無限個の順序数が現れてるから無限列ってのも間違ってない 論理狼さんが「無限列はa1,a2,…の形だけが正しくて最大元が最後に現れてる↑のものは無限列と呼ばない！」って考えるのは自由だけど これを無限列と呼ぶのは別に間違いじゃないと思うよ
491:論理狼 ◆y7fKJ8VsjM
20/04/25 17:01:10 ReTz6AXc.net
>>471
＞ここでの大小関係て順序数での比較なのは明白なんだから
誤 順序数
正 自然数（＝有限順序数）
＞ωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ
そもそも、ωを持ち出すことが的外れなんだが、自覚ないのか？
＞ωはω∪{ω}で最大値だよ
一方、ωはωの要素ではない ωに最大値は存在しない 大学で習わなかった？
492:論理狼 ◆y7fKJ8VsjM
20/04/25 17:03:35 ReTz6AXc.net
>>471
＞ε-loopそのものも明確にねえて論文P74で書いてるだろ
読んだよ
＞だけれどある種の類似物をこれから作ろうて話じゃん
問題は、なぜ「∈-loopsの類似物」という必要があるのか？ってこと
そんなこという必要ないよね？ 頭冷やせよ ドライアイスでｗ
493:論理狼 ◆y7fKJ8VsjM
20/04/25 17:09:03 ReTz6AXc.net
＞順序数の文脈なら1∈2∈…∈ωは正しいし
もしどうしてもそう書きたいのなら、
極限順序数ωについて”∈ω”と書く場合には
∈の左側には項が存在せず、無限列が記載される
という定義を示すべきだね
それを君は文脈という言葉でゴリ押ししたいんだろうけど
あの論文でそれは通用しないな
494:論理狼 ◆y7fKJ8VsjM
20/04/25 17:12:15 ReTz6AXc.net
>>472
＞「無限列はa1,a2,…の形だけが正しくて
＞ 最大元が最後に現れてる↑のものは無限列と呼ばない！」
＞ って考えるのは自由だけど
なんで∈を抜いたのかな？
∈を入れないんなら、1，2，・・・，ωと書いても問題ないよ
∈があるから左の項と右の項がある筈、ということ
頭 真空なのかな？
495:１３２人目の素数さん
20/04/25 17:13:07 56hvO4NK.net
>>473
何でお前が勝手に正誤判定してるんだ
文脈的に順序数だったのは明白だったぞ。。
自然数での比較なら順序数なんて言葉は持ち出さねえよ
ωを持ち出したのはV_1∈V_2∈…∈Vの順序構造はω+1と同じだから持ち出したんだよ
ωはωの要素でないのは百も知っとるわ
だからω+1の中で最大と書いたんだけれど文章読めない人？
君は大学行く以前にもう一度義務教育やり直した方がいい
496:１３２人目の素数さん
20/04/25 17:14:27 56hvO4NK.net
>>474
精神としては集合論では存在しない∈loopに似てるから持ち出したんでしょ
馬鹿なのかな
497:ID:1lEWVa2s
20/04/25 17:17:01 t1bR/tIL.net
本は数学の基礎ですか。
498:論理狼 ◆y7fKJ8VsjM
20/04/25 17:18:00 ReTz6AXc.net
>>477
＞文脈的に順序数だったのは明白だったぞ
それ妄想
＞V_1∈V_2∈…∈Vの順序構造
あのな、∈は”、”じゃないんだよ 単なる区切りの文字じゃない
∈と書くからには（＜でも⊂でも同じだけど）左の項と右の項が要るの
分かるかな？
499:論理狼 ◆y7fKJ8VsjM
20/04/25 17:21:49 ReTz6AXc.net
>>478
＞集合論では存在しない∈loopに似てるから持ち出したんでしょ
存在しないものに似てるってナンセンスだな
論文を読む限り∈ｰloopsは集合論ではできないから”シミュレート”するとあるが
そもそも”シミュレート”を強調する必要があるのか？
ただのループではいかんのか？なぜいかんのか？君は説明できるのか？
説明できないんなら黙れよ 意味ないから
500:１３２人目の素数さん
20/04/25 17:22:49 56hvO4NK.net
マジで集合論とか順序数分からなかったのか、分かっててあえて難癖つけてたのかは知らんけど
5chでIUT論文について、集合論的に間違ってるとかいう奴はこのレベルなんだなあということが分かったわ
マジで論文の成否とは無関係なところで突っ込んでいた
ていうかすぐに分かるような間違いなら、それまでに本職の数学から当然ツッコミが入るはずで、8年間もあってるのかあってないのか分からねえみたいな状態になるはずないんだよな
501:論理狼 ◆y7fKJ8VsjM
20/04/25 17:27:09 ReTz6AXc.net
>>482
論文の成否と関係あるかどうかは知らんｗ
関係ないなら、無駄に突っ込まれる箇所は削除するのが当然だろう
まあ、査読者に対して最大元贔屓目に見れば
「ここは著者がinter-universeを考えた動機についての説明だから
結果として見当違いだった思考の跡についての記述も残しておくべきだろう」
と考えたのかもしれん
無駄な気遣いだけどな
502:１３２人目の素数さん
20/04/25 17:28:08 56hvO4NK.net
>>480
文脈的には明らかだったんだけど、義務教育を全うしたか怪しい君には難しかったようだね
君のことを買いかぶりすぎてた俺が悪かったよ、ごめんね
「1<2<3<...<ω」て書くのは誤りで
「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
分かりにくいし、大変そうだけど頑張ってね
503:論理狼 ◆y7fKJ8VsjM
20/04/25 17:32:27 ReTz6AXc.net
結局、inter-universeそのものは∈と無関係なんだろ？
だったら§3の記述は無駄なおしゃべりを割愛してスッキリと書くべきだな
∈の無限上昇列も無限下降列もループも要らない
グロタンディク宇宙はあってもいいかもしれんが、
そもそも取り替えたいのは本当に宇宙全体なのか？
もっと真面目に考えたほうがいいんじゃないのか？
504:１３２人目の素数さん
20/04/25 17:34:32 56hvO4NK.net
>>481
いや知らんけど明らかに悪意持って捏造してるレスみたら、それは捏造ですよと注意しただけだよ
505:論理狼 ◆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<...<ω」と書くと定義するなら、そうしてもいいよ
ただそういう表記は、極限順序数であるωに、
あたかも前者となる順序数が存在するかのごとき
誤解を与える点で有害無益だと思うがね
君は、ωに前者がないこと、俺にいわれるまで知らなかっただろ（嘲）
506:１３２人目の素数さん
20/04/25 17:35:56 56hvO4NK.net
>>483
IUTが正しいかは分からんけど、君の考えが見当違いになってたのは分かる
507:１３２人目の素数さん
20/04/25 17:36:10 ZB44qZOw.net
>>480
∈が順序関係になってる場合(例えば順序数全体で∈を考える)だとV1∈V2∈…∈Vはおかしくないでしょ
実数の体系でa1<a2<…aって書くのと同じことだよ
508:論理狼 ◆y7fKJ8VsjM
20/04/25 17:37:56 ReTz6AXc.net
>>486
悪意も善意もない
そもそも望月の文章が、読者をミスリードしかねない危険なものだと指摘した
自分が間違えた経験をそのまま書いてるだけかもしれんが、
もしそうなら、愚劣の極みだな
509:１３２人目の素数さん
20/04/25 17:38:46 GoU2jl6o.net
>>487
＞ただそういう表記は、極限順序数であるωに、
＞あたかも前者となる順序数が存在するかのごとき
＞誤解を与える点で有害無益だと思うがね
だんだん批判のトーンが下がって来てるねw
単にあなたがややこしいと思ってただけでしょ、集合論の本でもこの程度の書き方は特に不自然とは思わない
510:１３２人目の素数さん
20/04/25 17:38:58 56hvO4NK.net
>>487
いや知ってだけど
そもそもωをわざわざ持ち出す人が知らないわけないじゃん
知らなかったのはむしろ君で、それ誤魔化すために書いたのかな笑
511:論理狼 ◆y7fKJ8VsjM
20/04/25 17:41:26 ReTz6AXc.net
>>489
粗雑な表現を漫然と受け入れてると、必ずつまづくよ
512:１３２人目の素数さん
20/04/25 17:45:10 56hvO4NK.net
>>490
あのさ、無限降下列も∈loopも、正則性公理からそれ自身はありませんてP68とP74で明確に書いてるのに、どうミスリードされるんだ？
君はスレを読んでた人をミスリードさせようとしてたのに、よう言えるなそんなこと
513:論理狼 ◆y7fKJ8VsjM
20/04/25 17:46:02 ReTz6AXc.net
>>491
＞だんだん批判のトーンが下がって来てるねw
いや、まったく下がってない 上がりまくってるがｗ
無限上昇列があるというだけなら わざわざ∈Vをつける必要がない
無限下降列が存在しない、とか∈ループが存在しないというのにもVは必要ない
上記２点を否定することは絶対にない
514:論理狼 ◆y7fKJ8VsjM
20/04/25 17:49:04 ReTz6AXc.net
>>494
わざわざVを持ち出して、無限上昇列の最後に「∈V」とつけてる時点で
「もしかしたらVから無限下降列がつくれて、
VからVへのループもできそうなのにおしい」
という気持ちがありありと感じられるから
「そういう妄想、要らんから」
といってるだけ 何がしたいんだ？望月
515:ポス毒
20/04/25 17:49:32 6oPh/Rfv.net
IDころころ変わるからコテ付けます
>>495
それだけだったらminor revisionといて提案する程度の事柄だね…
(個人的にreviseする必要があるとは思えないけど)
こんな部分を突いても論文の批判としては無価値だと思うよ
516:論理狼 ◆y7fKJ8VsjM
20/04/25 17:52:28 ReTz6AXc.net
>>486
＞いや知らんけど
結局 56hvO4NKはloopについては何も語れてないな
顔洗って出直してこいよ ま 別に戻ってこなくていいけどｗ
517:１３２人目の素数さん
20/04/25 17:54:37 56hvO4NK.net
>>496
それと似たような操作したいて話なわけでしょ
そんな�
518:ﾌありえねえと君が批判するのは自由だけれど、論文の一部分だけを切り出して、しかもその論文中で明確に否定してることを、「論文にはこんな記述があるから間違ってる！！」とかミスリードにもほどがあるでしょ そのようなミスリードは批判されるべきものだよ
519:１３２人目の素数さん
20/04/25 17:55:11 yxjK8Qim.net
revisionする必要すらない内容なら書かなければいいと思うんですがそれは
520:１３２人目の素数さん
20/04/25 17:56:01 56hvO4NK.net
>>498
君が気持ちよくスレ民ミスリードしてたところを、それミスリードだからと暴いてしまってごめんねー
521:論理狼 ◆y7fKJ8VsjM
20/04/25 17:56:58 ReTz6AXc.net
>>497
わざわざHNつけるほどの話じゃないよ やめときな
もちろんこんなのは些細なことだよｗ
ただ、こんなところでケチつけられんのは、イヤだろ？
それだけのこと
もう コテ外していいよ あんた研究者なんだろ？
５ｃｈみたいな地獄に来るもんじゃないよ 時間の無駄だから
まあ IUTについて素人に分かりやすい説明してくれるんなら有難いが
そういうのはIUTの本スレでやりなよ ここは「変態収容所」だからｗ
522:論理狼 ◆y7fKJ8VsjM
20/04/25 17:58:47 ReTz6AXc.net
>>501
ん？君結局、loopについては語れないんだろ？
ここに書く意味、ないじゃんｗｗｗｗｗｗｗ