Inter-universal geometry と ABC予想 (応援スレ) 74 (973ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
30(1): 08/23(土)11:12 ID:18cyucpd(1/17) AAS
前スレ985
>”算数・数学教育において、0.999… = 1 という関係（または類似の関係）が正しいことを教えることは一つの課題となっている”
Qを有理数全体、Xを有理コーシー列全体、Rを実数全体の集合とする。
R上の有理コーシー列の極限は、∀x∈Xに対してlim[n→∞]x:=[x] と定義されている。
無限小数0.999…なるものを、0.999…∈R 且つ 0.999…:=lim[n→∞](0.9,0.99,0.999,・・・) と定義する。R上で0.999…=[0.9,0.99,0.999,・・・]。
X上で1,1,1,・・・-0.9,0.99,0.999,・・・={1/10^n}→0 だから 1,1,1,・・・〜0.9,0.99,0.999,・・・。よってR上で0.999…=[0.9,0.99,0.999,・・・]=[1,1,1,・・・]
一方Q上でlim[n→∞](1,1,1,・・・)=1だからR上で[1,1,1,・・・]=1。
省2
31: 08/23(土)11:15 ID:18cyucpd(2/17) AAS
前スレ986
>無限小数を排除するのは勝手だが、自然数から有限小数への写像は否定できまい。
だから自然数の全体も有限小数の全体も否定してるんだって。無限集合は存在しないって書いてるじゃん。
32: 08/23(土)11:22 ID:18cyucpd(3/17) AAS
前スレ986
>極限もまた、数列である
有理コーシー列xの極限はxが属す同値類：lim[n→∞]x:=[x]
これがRの構成におけるlim[n→∞]xの定義。
33: 08/23(土)11:30 ID:18cyucpd(4/17) AAS
前スレ988
>有理数1/3 が、巡回小数表現を持つことは、小学生レベルだろう
>だが、これを 極限だの なんだのと グダグダしい説明をする必要はない！
有理数はね。無理数は？
34: 08/23(土)12:50 ID:18cyucpd(5/17) AAS
前スレ998
>多分違うよ
>あなたの受けた 1980年代の日本の数学科は、そういう厳密病の教育だった気がする
>その後、数学も進歩して ノンスタ（超準）などが出て、21世紀の数学は結構自由なのだとなった
有理コーシー列の極限で実数を定義するとか超絶バカ発言してしまったオチコボレがまったくトンチンカンなこと言ってますね
>ここでは 極限だの収束だの へったくれを いう必要なし！
そのような不遜な態度だから君は実数の完備性を理解できないんだよ
35(1): 08/23(土)13:03 ID:18cyucpd(6/17) AAS
>これを 極限だの なんだのと グダグダしい説明をする必要はない！
オチコボレが「グダグダ」と言いがかりつけるのは、自分が理解できないのを体よくごまかして自尊心を保とうとするため
40(1): 08/23(土)13:27 ID:18cyucpd(7/17) AAS
>>36
>21世紀では ”素朴集合論”というか
>自然言語を援用する論理が復権している気がする
ああ、こいつぜんぜん分かってねー
41: 08/23(土)13:30 ID:18cyucpd(8/17) AAS
>>36
>であり、自然言語を使わずに 形式論理などのグダグダを避ける
ほらね、>>35の通りでしょ
42: 08/23(土)13:34 ID:18cyucpd(9/17) AAS
>>38
自然数もペアノの公理もぜんぜん分かってないオチコボレが長々とコピペしても無駄
71(1): 08/23(土)18:50 ID:18cyucpd(10/17) AAS
>>67
>要するに、グロタンディークは 圏論使いの達人だった
へぇ そうなの？
でも君は論理の初歩の初歩も分かってないよね
分かってるなら∩は公理から導けないから使えないとか超絶アホなこと言わないですから 残念！
72(1): 08/23(土)18:52 ID:18cyucpd(11/17) AAS
>>69
>ところで、一階述語論理は あくまで 叩きのネタだ
ネタも何も君、一階述語論理何も分かってないじゃん
現になにで勉強したかすら君答えられなかったじゃん
82: 08/23(土)22:53 ID:18cyucpd(12/17) AAS
>>80
>さらには、一般の数学は 普通の数学論文やテキストは、自然言語が主で
いやいや、wikipediaですら論理式バリバリ使ってますけど？
君、論理式読めないじゃん
だから「∩の添え字範囲が書かれてないから不明確」とか超絶アホなこと言ってたじゃん もう忘れたの？ 都合良い記憶だなｗ
84: 08/23(土)23:01 ID:18cyucpd(13/17) AAS
>>80
>AI時代は、形式論理の公理的集合論の部分には コンピューター処理が入ってくるだろう
君はAIマンセーだけど、実数の整列順序についてのAI回答ズタボロだったやん。
と、言ったところで君には分からんか、バカはバカをバカと見抜けないんだから。
86: 08/23(土)23:13 ID:18cyucpd(14/17) AAS
>>80
>いま、コンピュータの利用で 300兆桁に到達しているごとし
>おサルさん、君でも数学研究ができるかもよｗ ；ｐ）
300兆桁が3000兆桁になることにどんな意義があるか考える知能の無いサルがいかにも言いそうな発言で草
87(1): 08/23(土)23:15 ID:18cyucpd(15/17) AAS
>>85
>それ、君だろ？（下記）ｗｗ ；ｐ）
サル発狂
とうとう自分と他人の区別もつかなくなったかｗ
88(1): 08/23(土)23:26 ID:18cyucpd(16/17) AAS
サル「有理コーシー列の極限で実数を構成する」
有理コーシー列は有理数Qにおいて一般に収束せず実数Rにおいて収束するのだから、
有理コーシー列の極限で実数を構成するには実数が構成されている必要がある。
さて、実数の構成はいつ終わるでしょうか？
はい、サル死亡ｗ
90(1): 08/23(土)23:32 ID:18cyucpd(17/17) AAS
サルは数学を語らぬことだ
サルの分際で人間様並みの知能があると自惚れるから痛い目に合う
最初から分をわきまえていれば数学を語る愚は犯さぬだろう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.125s*