20/04/22 20:56:55 X38faA9i.net
￢(∀xP(x))≡∃x￢P(x)
￢(∃xP(x))≡∀x￢P(x)
三項目、蛇足入れよったな。相っ変わらずβ
158:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:57:05 gQCe02i1.net
>>154
＞誰か答えてあげて…
いや、おまえが答えろよｗ
159:１３２人目の素数さん
20/04/22 20:58:43 mg08g5qs.net
”*))ねりゅ。おやちゅみw
160:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:59:09 gQCe02i1.net
>>155
おまえ相変わらずワケワカランこといって頭悪いな マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ
161:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:59:42 gQCe02i1.net
>>157
ねるなぁぁぁぁぁｗ
162:粋蕎 ◆C2UdlLHDRI
20/04/22 21:02:29 X38faA9i.net
>>158
確かにβ微分法でお馴染みバカ王βであるオドレの次くらいにはバカかも知れんのう
163:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 21:05:05 gQCe02i1.net
また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が
「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ
この馬鹿タレが！！！
164:１３２人目の素数さん
20/04/22 21:55:38 LxI+KLOb.net
全称命題から特称命題はいえない
絶対ニダ
165:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:32:04 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:236番)
>結局、3.12の指摘も空振りな状況
望月がそう思いたがってるだけ
166:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:46:46 gQCe02i1.net
URLﾘﾝｸ(en.wikipedia.org)
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく
そういうこと
167:１３２人目の素数さん
20/04/22 22:49:04 tTF2a26B.net
?“))…ﾀﾞﾚﾓ…ｨﾅｨﾅ…?…
?＼ﾁｭｯ!💞ﾁｭｯ!💓ﾁｭｯ!💖／
?=(*´³<3＜３(>>163)
☆／xxx投げkiss<3☆ﾃﾛw＼
168:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:49:58 gQCe02i1.net
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう
169:１３２人目の素数さん
20/04/22 22:51:05 tTF2a26B.net
?我が名は第七😘kiss魔王
?=3 ｷｬﾊﾊﾊﾊﾊﾊﾊｯ!
170:１３２人目の素数さん
20/04/22 22:52:44.54 tTF2a26B.net
Ⅰ“)ﾉ⌒☆｡.:＊・.｡🌙
ｵﾔｽﾐﾅｻ～ｨ…<3
171:5ch反IUT論装戦線
20/04/22 22:54:19.07 gQCe02i1.net
酔っぱらってる？
172:１３２人目の素数さん
20/04/22 22:56:14.37 tTF2a26B.net
Ｕ're ＩＣＥ!
173:１３２人目の素数さん
20/04/22 23:04:36 LxI+KLOb.net
>>166
また一つ公理が増えたな
まあ勝手に構成してろ
人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ
しかし
すべてのカラスは黒い
あるカラスが居る ←これが居ることの担保がない
ゆえに
そのカラスは黒い
この問題を回避するにはどういう公理が必要なの？
174:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:14:56 gQCe02i1.net
>>171
＞すべてのカラスは黒い
＞あるカラスが居る ←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？
上記を論理式で表す
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
２．∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
よく見ればわかるが、２は１の特称化ではない
１の特称化は以下の通り
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
１から３は導けるが、２は導けない
175:１３２人目の素数さん
20/04/22 23:21:25.76 LxI+KLOb.net
>>172
>あるものが存在し
これが全称命題からは言えない
つまり3は2と同じことを言っている
全称命題に存在性はないと思うがどうか？
176:5ch反IUT論装戦線
20/04/22 23:22:47.48 gQCe02i1.net
>>172
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
３の否定
４．∀ｘ．カラス（ｘ）∧￢黒（ｘ） すべてのものは黒くないカラスである
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）∧￢黒（ｘ） ４ ３の否定
カラス（ａ） ４の全称例化
￢黒（ａ） ４の全称例化
カラス（ａ）→黒（ａ） １の全称例化
￢カラス（ａ） 黒（ａ）
× ×
したがって１から３は導ける
177:5ch反IUT論装戦線
20/04/22 23:27:47.32 gQCe02i1.net
>>173
＞3は2と同じことを言っている
否
２ ∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
２の否定
５．∀ｘ．カラス（ｘ）→￢黒（ｘ） すべてのカラスは黒くない
>>174の４ではカラス以外のものは存在しない
一方５ではカラス以外のものも存在してよい
したがって２と３は意味が異なる
178:１３２人目の素数さん
20/04/22 23:29:58.53 LxI+KLOb.net
すべてのカラスは黒くない
∀x(Fx→Gx)
等値
∀x(￢Fx∨Gx)
その否定
∃x(Fx∧￢Gx)
あるカラスは黒くない
つまり黒くないカラスの存在は
179:何処かで言うことが可能だが ここの黒いカラスの存在は言えない 全称命題の否定から存在性を言うことはできないし またカラスが居ることと関係がない
180:１３２人目の素数さん
20/04/22 23:34:26 LxI+KLOb.net
>>176
訂正
すべてのカラスは黒い
181:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:35:04 gQCe02i1.net
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）→￢黒（ｘ） ５ ２の否定
カラス（ａ）→黒（ａ） １の全称例化
カラス（ａ）→￢黒（ａ） ５の全称例化
￢カラス（ａ） 黒（ａ）
￢カラス（ａ）￢黒（ａ）￢カラス（ａ） ￢黒（ａ）
×
×がつかない枝かあるので １から２は導けない
182: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)は導けない
183:１３２人目の素数さん
20/04/22 23:44:39 LxI+KLOb.net
>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない
カラスは居る/居ない
これが全称命題から導出できない
184:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:49:41 gQCe02i1.net
>>180
君がずらしている
論理式を見ろ
それで君が誤ってると分かる
分からないのは君が式を理解できないから
式を理解しろ
185:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:53:37 gQCe02i1.net
>>174 >>178 はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く
これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単
186:１３２人目の素数さん
20/04/22 23:55:27 LxI+KLOb.net
>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな
187:１３２人目の素数さん
20/04/22 23:57:37 LxI+KLOb.net
>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら
188:１３２人目の素数さん
20/04/22 23:59:15 LxI+KLOb.net
命題論理のタブローならわかるから
書き直してみろよ
189:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:04:34 HZRVAVG+.net
>>185
＞命題論理のタブローならわかるから
述語論理のタブローを理解しろ
＞書き直してみろよ
述語論理は命題論理より記述力が上
述語論理 勉強しろよ
じゃあなバイ菌ｗ
190:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:11:21 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:249番)
>その議論は、私の数学レベルを遙かに超えているのですが
IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ
そもそも、タイヒミュラー理論、分かってんのか？ｗ
URLﾘﾝｸ(en.wikipedia.org)
191:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:21:42 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:91番)-92
>なんでacceptだけで記者会見したかって？
>そーっとaccept、出版したら叩かれる
>望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる
そもそもレフェリーが正当性を説明できない論文を
acceptする行為が叩かれてるんだが
RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？
192:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:25:41 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:93番)
>・PRIMS編集者名簿及び投稿規定
>・他編集会議規定文書
>・PRIMS特別号編集者名簿及び投稿規定
>・他編集会議規定文書
>・2/5PRIMS編集会議の議事録。
>・依頼予告書
>・accept通知書
>・京大広報と打ち合わ文書
>・事前報告書
>以上
>文書の公開を求めます
まず査読者と査読報告書を公開しろ
どんなヤツがどんなコメントつけて受理したか明らかにしろ
嗤ってやるからｗ
193:ID:1lEWVa2s
20/04/23 08:28:52 r9wP+5Oj.net
おはよう。
194:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:33:38 HZRVAVG+.net
蛇足
ｽﾚﾘﾝｸ(math板:82番)
>何でよりによって素人がIUT目指すんだろうか
ステートメントの意味が素人でも分かるからだろ
フェルマーと同じだよ
もちろん「初等的な」証明が不可能、とはいえない
ただ、それを素人の試行錯誤で見つけ出せるかといえば
限りなく可能性は小さいね
素数定理の「初等的な」証明を見つけたのもセルバーグ
195:ID:1lEWVa2s
20/04/23 08:41:37 rdBcJgIA.net
もぅこんなんなっちゃってるじゃん。
あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。
ころさんといてくれる。
196:１３２人目の素数さん
20/04/23 08:46:52 ROJTyYdQ.net
>>190
お早うＯhaluくん😸🎶
197:ID:1lEWVa2s
20/04/23 08:51:11 kfSGmOV6.net
ニュース速報+は馬鹿の集まり。
198:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:54:37 HZRVAVG+.net
今日は敵の名称を考えることにしよう
「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？
スローガンは「美しいIUTの建設と誇りある日本数学づくり」
・・・ああ、バカバカしいｗ
URLﾘﾝｸ(ja.wikipedia.org)
199:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:07:47 HZRVAVG+.net
「現代数学の系譜 雑談」とかいう意味不明なHNをつけてる
◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう
「IUTを守る会 会長」とかｗ
200: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がこんな言い訳をするなら
日本人、いや数学者として最も恥ずべき破廉恥なふるまい
だと知れ！！！
201:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:37:08 HZRVAVG+.net
Ｍブログ曰く
「理論の正しさを検証する活動と、（他者による）理論に対する誤解を発見し処理する活動は根本的に「業務内容」が違うということです。
前者の方は、上でも説明した通り、7年半前から多くの関係者によって精力的に行なわれていて、
理論の正しさは既に何十回、何百回と確認されていて、これ以上行なおうとしても、理論の検証すべき箇所が見当たらず空転するのみである、
つまり、別の言い方をすれば、既に（というよりだいぶ前から）「飽和状態」にあるということです。
一方、「誤解学」と呼んでいる後者の方の活動ですが、
相手の誤解という肝心な「入力データ」＝「誤解学の研究対象」
がないと始まらない活動になります。」
202:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:46:31 HZRVAVG+.net
>>198
Ｍは肝心な点を見逃している
「理論の正しさを検証する活動」とは
「（他者による）理論の誤りを発見し処理する活動」である
つまり理論が正しいと思って読んではいけない
もし専門家がみなそのような予見をもって読むならば
理論の誤りなど簡単に看過される
Ｓは論文という「入力データ」から相手（Ｍ）の誤解を見つけ出した
査読者はいったい何をやっていたのか？
Ｍのいうことなら100％正しいと甘え切っていたのか？
もしそうなら怠慢の誹りを免れない
203:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:48:54 HZRVAVG+.net
今一度、>>16を再掲する
ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)
204:ID:1lEWVa2s
20/04/23 09:50:59 LjUIpMcw.net
馬鹿英語使うな。
205:ID:1lEWVa2s
20/04/23 09:51:08 LjUIpMcw.net
馬鹿ぁ英語使うな。
206:ID:1lEWVa2s
20/04/23 09:52:21 LjUIpMcw.net
馬鹿英語使うなじゃなくて
馬鹿だ英語使っとるなって意味。
あめりかじんに犯されるぞ襲われるぞ。
207:１３２人目の素数さん
20/04/23 09:53:12 ROJTyYdQ.net
…/◎◎\
(*..)…
/◎◎\
ずっと◎◎見てると…
ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!?
(Д`゜)。゜*゜みちゃﾀﾞﾒだ～?…
208:１３２人目の素数さん
20/04/23 09:56:28 ROJTyYdQ.net
?=3 ﾋﾟｭｯ!
もっちー様 ｺﾞﾒﾝﾅｻ-ｨ!
209:ID:1lEWVa2s
20/04/23 10:00:11 j1YW93bg.net
>>204
😳。
210:１３２人目の素数さん
20/04/23 10:06:33 ROJTyYdQ.net
Ｏhaluくんにびっくりされたw
211:5ch反IUT論装戦線 論理狼
20/04/23 10:10:28.16 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:253番)
＞★「やあ、Cor3.12の証明どうだった？」
＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」
＞注）＊＊は、「肯定的」 or 「否定的」
そもそも「IUTを守る会 会長」ｗの
「肯定的」「否定的」の判断記述が不明
もし、
・否定的＝証明に矛盾（反例）が見つかった場合
・肯定的＝証明に矛盾（反例）が見つからない場合
といってるなら、実に甘い基準
厳しい基準は以下の通り
・否定的＝「前提」及び「結論の否定」から矛盾が導かれない場合
・肯定的＝「前提」及び「結論の否定」から矛盾が導かれる場合
つまり安易に肯定的と云ってはいけない
212:5ch反IUT論装戦線 論理狼
20/04/23 10:14:47.68 HZRVAVG+.net
>>208 の厳しい基準では
「「前提」及び「結論の否定」から矛盾が導かれるとしても
矛盾に至る証明がいまだ見出されていない状態」
は否定的となるが、それはむしろ当然である
フェルマーの定理が、予想だった時代、
反例は見出されていなかったが、
反例が見いだされる可能性が否定できなかった
だから定理と認められていなかった 当然だろう
213:5ch反IUT論装戦線 論理狼
20/04/23 10:32:23.95 HZRVAVG+.net
まあ、現実には恒に厳しい基準が適用されたわけでもないが
ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての
実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された
しかし、論理学者は誰もそこにつっこまなかった
「やればできるだろう」と皆が認めたから
実際にはコンピュータ技術が進んだ１９９０年代に
ゲーデルの第二不完全性定理の形式的証明が書かれた
（別に、第二不完全性定理に疑念があったからではなく
計算科学的に興味深いと考えられたから）
214: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とやらで解決できてるのかどうかが大問題
解決できてないなら、別の方法で解決したヤツの成果となる
別証明でも悪くはないが、インパクトが全然違う
だからギャップがあるならあると
コミュニティ内でコンセンサスを得る
必要がある
215:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:20:42 HZRVAVG+.net
ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた
「まず、ポアンカレ予想を解かれたことに落胆し、
それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
そして、その解の解説がまったく理解できないことに落胆した」
だからといって
「ペレルマンの証明なんて認めなぁぁぁぁぁい！」
と絶叫するトポロジストはいなかったようだが
（そもそもトポロジストは３次元や４次元のトポロジーが
自分たちの�
216:]来の手法では手に負えない魔境であることを 薄々自覚していた）
217: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
につっこまないのか？
貴様の主張に対する真っ向からの否定だろｗｗｗ
218:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:49:09 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:256番)
＞山下解説外している気がする
師匠のdangerousな脱線をさりげなく軌道修正する弟子
219:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:59:06 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:259番)
＞数学分かってない人が、アンチスレで絶叫しているようだが
正規部分群の定義も間違えた「IUTを守る会 会長」が翼賛スレで絶叫してるな
＞アンチスレの研究できなかった人のタワゴトには、困るなぁ～
翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ
京都以外の数論幾何の研究者のコミュニティでは
IUTは無かったものとして研究が進められるだろう
つまり、誰かが別証明の論文を書けば、
それが最初の正当な証明と認められる
どこぞの島の連中が何を喚こうが知ったこっちゃない
「またアンダマン諸島のセンチネル族が
船に向かって矢を放ってるぞ
届きゃしないのに」
220:y7fKJ8VsjMの保護者
20/04/23 12:03:56 SJ20ZnnX.net
平素よりお世話になっております
息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております
ひきこもりを許したわたしども親の責任ですがどうか社会にでることが
できるまで暖かく見守ってください
221:5ch反IUT論装戦線 論理狼
20/04/23 12:13:47.21 HZRVAVG+.net
>>216
残念だが仕事はしてる もう３０年務めた
結婚しなかったおかげで 貯金は結構たまったよ（ニンマリ）
222:１３２人目の素数さん
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
ﾁﾞﾁﾞｨｯﾁｬﾏ寝る前にお風呂でバスタブ浸かってゆっくり入浴して寝てみて？
血行を良くして身体を冷やさないように、って。
循環と代謝を良くするように生活して下さ～ぃ。。。
※ちゃんと白湯とかＯＳ-１とかで入浴前中後に水分＋ビタミンＣ補給をしっかりしてください!