[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
182: 2021/02/23(火)19:22 ID:QjVv+PIN(38/48) AAS
>>181
バカはコピペしかできないｗ
183: 2021/02/23(火)19:22 ID:QjVv+PIN(39/48) AAS
バカは文章が読めない
184: 2021/02/23(火)19:24 ID:QjVv+PIN(40/48) AAS
例えば「x,yが順序数であれば、x∈y⇔x⊂y」と書いてあったとする
185: 2021/02/23(火)19:25 ID:QjVv+PIN(41/48) AAS
そして「選択公理の下で、全ての集合は整列できる」と書いてあったとする
186(2): 2021/02/23(火)19:26 ID:QjVv+PIN(42/48) AAS
バカはそこで”推論”する
「なるほど、全ての集合は整列順序がつくから「順序数」だ
だからa,bが集合なら、「順序数」だからx∈y⇔x⊂yだ」
187: 2021/02/23(火)19:27 ID:QjVv+PIN(43/48) AAS
さて、>>186の”推論”のどこが誤りか？
188(1): 2021/02/23(火)19:29 ID:QjVv+PIN(44/48) AAS
確かに選択公理のもとで集合は整列集合にできるが、
その際の順序関係は”∈”によるものではない
189(1): 2021/02/23(火)19:29 ID:QjVv+PIN(45/48) AAS
一方、順序数は、”∈”による順序で整列されている
190: 2021/02/23(火)19:31 ID:QjVv+PIN(46/48) AAS
>>188と>>189の違いを認識せずに
>>186のような馬鹿推論をすると馬鹿な結論に至る
しかしこんな結論の反例に気づけないのは大馬鹿者といっていいｗ
191(1): 2021/02/23(火)19:51 ID:XhSNOnsw(1) AAS
結局IUTではabc予想を証明できなかったってことなんかな
192: 2021/02/23(火)20:13 ID:QjVv+PIN(47/48) AAS
>>191
そうですね
望月はある不等式（Cor 3.12）が成り立てばABC予想も成り立つと示した
一方、上記の不等式が成り立つことの証明には成功しなかった
IUTは望月の意気込みも空しく「壮大な失敗作」として忘れ去られるだろう
193: 2021/02/23(火)20:17 ID:QjVv+PIN(48/48) AAS
素人が陥る誤り
「整列順序の＜を＞に反転させたものは、やはり整列順序」
有限順序数では成り立つが、ωではもはや成り立たない
194: 2021/02/23(火)20:42 ID:wm1f6FTc(1) AAS
(3/4)「復元」の手技は，少なくとも私のすぐ近くの「遠アーベル関係者」にとっては，特段目新しいものではないです（一方，数理研を一歩出れば，議論の大部分が目新しいでしょう）．強いて言うならば，Belyiの忠実性定理の帰結そのものが「復元」に組み込まれている点は，多少珍しいと言えるでしょう．
195: 2021/02/23(火)20:49 ID:qoK3wmdD(1) AAS
ヒエッ一人で50回近くレスしてるやつおるやんけ…
196: 2021/02/23(火)21:49 ID:HHB2MXAM(1) AAS
そういやＩUT論文を出版するという話はどうなったの？
間違いであることが明らかになりもうバカらしくてやる気がなくなったかな。
197: 2021/02/23(火)22:04 ID:cDqwM4Vn(1) AAS
春なので4月頃でしょう
198(1): 2021/02/24(水)07:50 ID:DJscRLHQ(1/3) AAS
>>148
1．ショルツェ氏はいう、「Cor3.12までは、自明なことしか書いていない。Cor3.12の証明が分からない」と
2．しかしながら、だれが考えても、”Cor3.12までは、自明なことしか書いていない”が、おっとこどっこい勘違い
3．Cor3.12の証明は、IUTのI〜IIIまでを使って成立するものだよね。IUTのIとかIIとかIIIのCor3.11までが”全て自明”とか、そこから勘違いじゃね？
4．そういう勘違いをもとに、「Cor3.12の証明が分からない」と言ったとて、そりゃ あなたの「”Cor3.12までは、自明」の勘違いが原因じゃね？
望月先生は、「顔を洗って出直せ」といったとかｗ
199(7): 2021/02/24(水)08:10 ID:g7j/Y73h(1/5) AAS
可算選択公理で例えるなら、有限回の選択ならZFの中で可能だが、だからといって
「ゆえに、この作業を可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れる
(ZFの中で可算選択公理が公理ではなく定理として得られる)」
とは言えない。
ショルツにとっての Cor3.12 までの内容は、「有限回の選択ならZFの中で可能である」
に相当するものであり、そんなことは自明だったのだろう。ところが、Cor3.12 でいきなり
「ゆえに、この作業を可算無限回繰り返せば、添え字の集合が可算無限でも選択関数が作れる」
というステップが登場し、いや、それはおかしいと。
しかし、実際のIUTは「〇〇公理」と整備されているわけでもないので、
省1
200(2): 2021/02/24(水)08:24 ID:DJscRLHQ(2/3) AAS
>>199
望月IUTが選択公理を否定しているだって？
妄想妄想
お薬をどうぞｗ
201: 2021/02/24(水)08:41 ID:g7j/Y73h(2/5) AAS
>>200
ツッコミの仕方が全て的外れ。
まず「選択公理」じゃなくて「可算選択公理」ね。
次に、>>199の
＞「ゆえに、この作業を可算無限回繰り返せば、
＞ 添え字の集合が可算無限でも選択関数が作れる
＞ (ZFの中で可算選択公理が公理ではなく定理として得られる)」
の部分では、可算選択公理を否定しているのではなくて、
可算選択公理が「公理ではなく定理として得られる」と言っている。
これは「公理の否定」とは意味が全く違う。
省4
上下前次1-新書関写板覧索設栞歴
あと 801 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s