純粋・応用数学・数学隣接分野（含むガロア理論）21 (409ﾚｽ)
上下前次1-新
340: 09/23(火)10:27 ID:dQm52GG6(5/6) AAS
>>339
> そもそも◆yH25M02vWFhPの陳述の中に
> ひとつも”代表列を用いたカンニング”の話が出てこないじゃん
> おかしいじゃん 箱入り無数目記事はそこがミソなのに
そもそも、◆yH25M02vWFhPは、選択公理が理解できない
無限回実行可能、とかほざいてるくせに（笑）
まあ、無限回実行が不可能でも、選択公理を前提すれば選択関数は存在する
選択公理は公理であって定理ではない
選択関数が存在する、という公理で前提してるだけなので、
選択関数が存在する、という定理を証明する必要はない
大学１年坊主が微分積分で落ちこぼれる理由はいくつもあるが
そのうちの１つが「公理を定理だと思って証明しようとして発狂」
実数の公理はあくまで前提
まあ、具体的構成物（例えば無限小数の全体）が
実数の公理を満たすかどうかはもちろん証明の必要がある
この場合でいえば示すのは２点
１．任意の有理コーシー列の中に、無限小数にあたるものが少なくとも１つは入っている
２．もし２つ以上の無限小数が、同じ同値類に入ってる場合、その同値性は小数の計算と矛盾しない
１は実質的には任意の実数が無限小数表記できると示すのに等しい
２は例えば1-0.999…を計算したら、どの桁も0しか出てこないから0であると示すのに等しい
わかっていれば、何を為すべきか、何を為さざるべきかが分かる
為すべきことを為さず、為さざるべきこと為すなら、そいつは狂っている
１８〜１９歳の一時、狂うのは人生経験上意味があるが
６０歳すぎても、同じように狂うのは有害無益
２０歳で気づけよ！
上下前次1-新書関写板覧索設栞歴
あと 69 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.004s