[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
973(1): 2020/06/19(金)22:07 ID:kCOxMiM8(5/12) AAS
>>961
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
974(1): 2020/06/19(金)22:09 ID:qXfDhvSl(16/19) AAS
>>970
定義というのは定理の中で生じた概念を規定している
形式上
定義
定理
とあるが
先に在るのは定理である
それなので定理の中で定義を使うことは間違いである
これに反するのは定義厨(コンピュータ屋)である
そいつらは先に定義しないと動かないから何でも先に定義をする
省7
975(2): 2020/06/19(金)22:33 ID:qXfDhvSl(17/19) AAS
>>973
Fx：xは偶数である
Gx：xは2の倍数である
とする
∀xFx→∀xGx
を示す
省7
976: 2020/06/19(金)22:48 ID:kCOxMiM8(6/12) AAS
>>975
＞(2) (∀x)Fx
から、F1と全称例示化すれば簡単に矛盾が出せる
そもそも
＞∀xFx→∀xGx
なんてやってる時点で大間違いで、まるで理解できていない
オマエ、やることなすことすべてがデタラメだよ
977: 2020/06/19(金)22:49 ID:kCOxMiM8(7/12) AAS
>>974
言ってる意味は不明だが、ゴミはお前の頭だよ
978(1): 2020/06/19(金)22:53 ID:kCOxMiM8(8/12) AAS
とにかく、>>925の間違いは理解できたのか？
いつもそうだけどさ、なかったことにしてシレっとフェードアウトするのやめなよ
979: 哀れな素人 2020/06/19(金)23:06 ID:kLFGScce(7/8) AAS
>>951
これは池沼少年。しつこいアホ(笑
>誰も、不連続を証明するときのεが巨大ではいい、なんて言ってませんでしたよね？
ではお前はどういう意味で「任意だからどんな巨大な数でもいい」
と言っているのか(笑
>で、連続を証明するときにεが巨大ではいけないと言っている動画はまだ見つからないのですか？
で、巨大なεで連続や極限を証明している動画や教科書は見つかったのか？ 池沼(笑
真性のアホだ、こいつは(笑
980: 哀れな素人 2020/06/19(金)23:09 ID:kLFGScce(8/8) AAS
お前、εδ論法とはx=aという局所での連続や極限を論ずるものだ、
ということが分っているのか？(笑
広範な範囲のxの連続を論ずるものではないぞ(笑
極限についても同じだ(笑
x→aの極限を示すものであってx→bの極限を示すものではないのだ(笑
だから巨大なεを取る必要はまったくないのだ(笑
お前、それが分っているのか(笑
延々と「任意だからどんな巨大な数でもいい」と言い続ける白痴(笑
スレ主よ、この調子だとεδ論争は延々と何年も続くぞ(笑
ちょうど時枝論争が何年も続いたように(笑
省1
981(1): 2020/06/19(金)23:13 ID:kCOxMiM8(9/12) AAS
最初は、極限を示せなくともダメではなかったのに、
後になると、極限を示せないからダメだと言い出す安達
>大きくなったらダメとも、εが巨大だとダメとも言っていない(笑>>180
↓↓↓後日↓↓↓
>ε=100000000では極限は示せないのだから、
>ε=100000000ではダメなのである(笑>>888
982: 2020/06/19(金)23:17 ID:kCOxMiM8(10/12) AAS
分かったから安達は
＞定数関数y=0も不連続である(>>735
を示すのにどんな微小なεを使えばいいのか教えてくれ
983(1): 2020/06/19(金)23:39 ID:qXfDhvSl(18/19) AAS
>>978
お前さ
何でも知っているみたいな書き込みをしているけど
背理法の論理式は書けるようになった？
条件法の否定¬(P→Q)の意味はわかった？
それからタブローに自然演繹を混ぜようとするのは止めてくれ
タブロー法に全称例化という概念はない
だから混乱しているし意味不明なんだよ
984: 2020/06/19(金)23:39 ID:kCOxMiM8(11/12) AAS
>>170
＞x=3で連続、x=30で不連続の場合があるから、
＞>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
＞ということにはならないのだアホ(笑
あるεにδがあればより大きいεにもδがあるという、
ごく当たり前の話を、意味不明な理由で否定する安達
985: 2020/06/19(金)23:47 ID:kCOxMiM8(12/12) AAS
>>983
それ、お前がデタラメ書いてたから指摘してやったら反論できず
シレっとフェードアウトしたやつじゃん
全称例示化がない？
バカは、鼻くそでも食ってなさい
986: 2020/06/19(金)23:53 ID:qXfDhvSl(19/19) AAS
個体変項と個体定項しかないタブローで数学をどれくらい表現できるのか
が問題だな
等号や不等号はおｋ
集合に属するか属さないかはおｋ
集合の性質に関するものも一応おｋ
これは性質をどれくらい反映できるかによると思う
数理論理学は何をやってんだろ
自然演繹なんて∧の導入や除去はわかりやすいけど
∨の導入・除去はわかりにくい
そんなものが普及するはずもない
省2
987: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/06/19(金)23:59 ID:imq2ACd0(1) AAS
新スレ立てました
ガロアスレ復活しましたｗ
（皆さんが、ガンバってくれたお陰です。ありがとう！（＾＾）
純粋・応用数学（含むガロア理論）2
2chｽﾚ:math
988: 2020/06/20(土)01:17 ID:0ts11Drz(1/3) AAS
↑
おまえは只のスレ立て作業員であってスレ主ではないｗ 何がお陰ですだｗ
989(1): 2020/06/20(土)02:25 ID:0ts11Drz(2/3) AAS
>>975
>∀xFx→∀xGx
君のこの主張は
∀xFx→∀yGy
と同じことだよ？ｗ
もちろん偽です。x=0,y=1が反例ｗ
君、変数のスコープって知らないの？
990: 2020/06/20(土)02:29 ID:0ts11Drz(3/3) AAS
>>981
安達はその日の気分で言うことがコロコロ変わりますからｗ
991: 2020/06/20(土)03:23 ID:TGCAjRpL(1/2) AAS
公知で中で最も広い測度って何じゃろ？リーマン、ルベーグ、ルベーグ・スティルチェス、バナッハ､
ウィーナー、ラドン、ハウスドルフ、ディラック、確率、…
(ﾟДﾟ)
(ﾟД｡)
(｡Дﾟ)
ﾟ ( Д ) ﾟ
省1
992: 粋蕎 ◆C2UdlLHDRI 2020/06/20(土)04:10 ID:TGCAjRpL(2/2) AAS
測度なんぞ儂ごときが会得しとる訳が無し！
じゃが広義ディラック測度は広義ハウスドルフ測度も呑み込んどりそうじゃのう、美味しそうじゃ…
儂は数学者が握った測度寿司を摘まみ掻っ喰らう工学客じゃな｡
別にええじゃろ、数学者の成果を使わせて頂くのじゃ。使わん方が害悪｡
しかし其んな儂でもε-δ論法の意味は不等式の任意性の妙味に有り、既に其の時点で完成されて居って、此れを態々
εrror-orderを有限微小に限定し有限微小なδistance-qualityを得る努力を行う必要は無い事であって、其れは
「数値解析」や「測定」じゃの云う「応用数学」や「技術」「観測哲学」の話であって、「純粋数学」の話から
大きく外れた事じゃあ云う事は儂にも分かるわ。恐らく高校理系生徒にも名門の子なら分かるじゃろうな｡
上下前次1-新書関写板覧索設栞歴
あと 10 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s