[過去ログ] 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が選択公理を否定しているだって?
妄想妄想
お薬をどうぞw
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
ああ、>>199ID: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から選択公理を抜きにしても、比喩として的確かもしれんね
「任意の自然数nについて成立するから、極限順序数ωでも成り立つ」
「0.9<1,0.99<1,0.999<1,… だから、0.999…<1」

明らかに飛躍があるのに、当人は連続してると思ってる
これは論理が分かってない証拠だな

数学者は論理が分かってる、というのは、実は幻想
木村某とかいう数学者の「無限のスーパーレッスン」が
省6
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.035s