ツイッタ「ε-δ論法が難しいわけないだろ」 (223ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
133: 01/01(水)12:14 ID:9R1fU7Tb(1/3) AAS
>>129
まず、明確化できる云々はε-δ論法とまったく関係がない
そして、「以後省略できる」のではなく、そもそも>>30や>>61では証明で使っている変数が定義されていない
134: 01/01(水)12:19 ID:9R1fU7Tb(2/3) AAS
また>>61はN', N''が未定義であるほか、最終行も証明できていない
>N''=max(N,N')
>とすると
>∀ε∃N''∀n>N'' |(an+bn)-(a+b)|<2ε
こう書いた場合、上のN''と下のN''は別の量になる
また、下の命題は示すべきことであり、これはただのトートロジー
135: 01/01(水)12:22 ID:9R1fU7Tb(3/3) AAS
べつに数理論理学に限らず、すでに確立された数学の用語や記号には定義があるのだから、それを使うのならそのルールに従わなければならない
>>61のように、雰囲気でデタラメに記号を並べて「意味は伝わるから大丈夫だろ」ということにはならない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.014s