[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
199(7): 2021/02/24(水)08:10 ID:g7j/Y73h(1/5) AAS
可算選択公理で例えるなら、有限回の選択ならZFの中で可能だが、だからといって
「ゆえに、この作業を可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れる
(ZFの中で可算選択公理が公理ではなく定理として得られる)」
とは言えない。
ショルツにとっての Cor3.12 までの内容は、「有限回の選択ならZFの中で可能である」
に相当するものであり、そんなことは自明だったのだろう。ところが、Cor3.12 でいきなり
省4
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の中で可算選択公理が公理ではなく定理として得られる)」
省7
203(1): 2021/02/24(水)08:52 ID:eavifJXy(2/12) AAS
>>199
その喩えだと
「望月のIUTが不十分」
ってことになるけど、それでいいの？
要するに
「ZFだと可算選択公理すら導けない」
っていってるよね？
省4
204(1): 2021/02/24(水)08:57 ID:eavifJXy(3/12) AAS
>>199
>実際のIUTは「〇〇公理」と整備されているわけでもないので、
>おかしい部分を正確に言語化することもできない。そんな感じだろう。
「公理」を正確に言語化できない時点で、論文としては不成功
それが数学だよ わかる？ ド素人君
207: 2021/02/24(水)09:06 ID:eavifJXy(4/12) AAS
ああ、>>199は ID:g7j/Y73h か
道理でスッキリしてるとおもったよ
209: 2021/02/24(水)09:12 ID:eavifJXy(5/12) AAS
>>199の喩えは的確 >>200のツッコミは全然トンチンカン
やっぱり ID:DJscRLHQ は日本語が読めてない
この人には大学数学は初歩から全く理解できないだろう
220: 2021/02/24(水)18:05 ID:eavifJXy(11/12) AAS
>>199から選択公理を抜きにしても、比喩として的確かもしれんね
「任意の自然数ｎについて成立するから、極限順序数ωでも成り立つ」
「0.9<1,0.99<1,0.999<1,… だから、0.999…<1」
明らかに飛躍があるのに、当人は連続してると思ってる
これは論理が分かってない証拠だな
数学者は論理が分かってる、というのは、実は幻想
木村某とかいう数学者の「無限のスーパーレッスン」が
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s