- 1 名前：１３２人目の素数さん mailto:sage [2020/02/25(火) 11:58:05 ID:xlZ4iTwN.net]
- クレレ誌
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
現代の純粋・応用数学を目指して
- 1030 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 20:18:14 ID:rfiA86xz.net]
- 野球観てろよ。
- 1031 名前：１３２人目の素数さん [2020/06/19(金) 20:39:58.77 ID:s0TsnD44.net]
- >>945 941 946
君さあ、数学書読んだこと無いでしょ
>任意の偶数は２の倍数
は
nは偶数 ⇒ nは２の倍数
の意味だよ、同値じゃないよ
>任意の2の倍数は自然数
も同じね
つまり
nは偶数 ⇒ nは２の倍数
と
nは２の倍数 ⇒ nは自然数
から
nは偶数 ⇒ nは自然数
と言ってるんだよ。
数学書の日本語表現に慣れてないから同値と勘違いする。
- 1032 名前：１３２人目の素数さん [2020/06/19(金) 20:44:28.23 ID:iAeXbjhz.net]
- 解析、極限の議論では、より大きい、より小さい、という比較しか意味がない。
大きいε、小さいε、などとトンチンカンな事を言い出したお前が最初から敗者。
- 1033 名前：１３２人目の素数さん [2020/06/19(金) 20:46:01.58 ID:s0TsnD44.net]
- 任意の正数について示さなきゃいけないんだから、ある一つの正数について示してもナンセンス
「選ぶ」とは正数全体の集合の元を一つ定めること、それは上記の通りでナンセンス
- 1034 名前：１３２人目の素数さん [2020/06/19(金) 20:53:37.68 ID:s0TsnD44.net]
- >nは偶数 ⇒ nは２の倍数
これで分からないようならもっと丁寧に書くと
n∈偶数全体の集合 ⇒ n∈２の倍数全体の集合
となる。
数学書の日本語表現に慣れてればこんなのは常識！
「〇〇は△△である」を同値と解釈するようじゃ数学書は読めないよ
- 1035 名前：１３２人目の素数さん [2020/06/19(金) 21:03:15.44 ID:s0TsnD44.net]
- 「男の人は人間である」
は同値じゃないよね？
人間⇒男 には女という反例があるんだから
- 1036 名前：１３２人目の素数さん [2020/06/19(金) 21:07:15.77 ID:qXfDhvSl.net]
- >>960
>君さあ、数学書読んだこと無いでしょ
>数学書の日本語表現に慣れてないから同値と勘違いする。
じゃあ同値であることを示そう
n：偶数である←→n：2の倍数である
を示す
(1) ¬(n：偶数である←→n：2の倍数である)
(1)の分岐
(2) n：偶数である
(3) ¬(n：2の倍数である) i.e. n：2の倍数でない
×
(2),(3)
(1)の分岐
(4) ¬(n：偶数である) i.e. n：奇数である
(5) n：2の倍数である
×
(4),(5)
ゆえにタブローが閉じるので命題は成立する
- 1037 名前：１３２人目の素数さん [2020/06/19(金) 21:11:24.87 ID:qXfDhvSl.net]
- >>964
話のすり替え乙です＾＾
- 1038 名前：１３２人目の素数さん [2020/06/19(金) 21:14:21.44 ID:qXfDhvSl.net]
- まさか同値のものを片側しか成立してないと看做して
同値を利用するというようなことを考えてねえだろうなｗ
- 1039 名前：１３２人目の素数さん [2020/06/19(金) 21:15:11.57 ID:qXfDhvSl.net]
- 君は三段論法の誤謬を犯しているんだよ
- 1040 名前：１３２人目の素数さん [2020/06/19(金) 21:22:19.30 ID:kCOxMiM8.net]
- >>929
任意の数xについて、x=x、ゆえに∀x(x=x)
- 1041 名前：１３２人目の素数さん [2020/06/19(金) 21:27:31.24 ID:qXfDhvSl.net]
- >>969
それって同値関係の前提である関係〜の定義に依存しているよね
二項関係があるかどうかわからない所ではどう？
それも初めの関係の定義に依るよね
それは証明じゃないよ
- 1042 名前：１３２人目の素数さん [2020/06/19(金) 21:29:31.49 ID:kCOxMiM8.net]
- >>967
∀x(xは偶数→xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
という意味だよ
また、同値を用いたとしても
∀x(xは偶数↔xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
になるだけのことでまったく問題ないどころか、むしろより条件が強くなるだけ
- 1043 名前：１３２人目の素数さん [2020/06/19(金) 21:40:36.26 ID:s0TsnD44.net]
- >>965
>じゃあ同値であることを示そう
いやいやいやｗ それは結果的に同値って言ってるだけじゃんｗ 分かってないね君ｗ
そうじゃなくて「偶数は2の倍数である」という主張が同値の主張ではないって言ってるんだよｗ
日本語通じないのかな？ｗ
- 1044 名前：１３２人目の素数さん [2020/06/19(金) 21:46:55.21 ID:s0TsnD44.net]
- >>966
どういうこと？ｗ
結果的に 偶数⇔2の倍数 であるか否かはまったく別問題だよｗ
「偶数は２の倍数である」という主張は 偶数⇒2の倍数 なんだよｗ
なぜって、それが数学における日本語表現の暗黙のルールだからだよｗ
- 1045 名前：１３２人目の素数さん [2020/06/19(金) 21:49:14.08 ID:kCOxMiM8.net]
- >>970
定義を使うと何でダメなの？
- 1046 名前：１３２人目の素数さん [2020/06/19(金) 21:50:50.52 ID:s0TsnD44.net]
- あ、ごめん、暗黙のルールか否かは定かじゃないけどそういうもんなんだよｗ
理屈より数学書読んでごらん、〇〇は△△である を 〇〇⇔△△ なんて解釈したら読めないからｗ
- 1047 名前：１３２人目の素数さん [2020/06/19(金) 21:56:28.48 ID:kCOxMiM8.net]
- 任意の数xについて、xは偶数↔xは偶数、ゆえに∀x(xは偶数↔xは偶数)
ホレ、対偶も背理法も使ってないぞ
- 1048 名前：１３２人目の素数さん [2020/06/19(金) 22:07:32.92 ID:kCOxMiM8.net]
- >>965
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1049 名前：１３２人目の素数さん [2020/06/19(金) 22:09:13.35 ID:qXfDhvSl.net]
- >>974
定義というのは定理の中で生じた概念を規定している
形式上
定義
定理
とあるが
先に在るのは定理である
それなので定理の中で定義を使うことは間違いである
これに反するのは定義厨(コンピュータ屋)である
そいつらは先に定義しないと動かないから何でも先に定義をする
関数に出鱈目に値を入れることが常であり
ε-δ論法においてもεを選ぶと言っている
これは工学の便宜的手法であって
数学ではない
また定理を証明するために概念を定義し
その定義で定理を示したというのは
1960年以降のゴミ数学による
- 1050 名前：１３２人目の素数さん [2020/06/19(金) 22:33:59.35 ID:qXfDhvSl.net]
- >>977
Fx：xは偶数である
Gx：xは2の倍数である
とする
∀xFx→∀xGx
を示す
(1) ¬(∀xFx→∀xGx)
(2) (∀x)Fx
(3) ¬(∀x)Gx
(4) ¬Ga
(5) Fa
ゆえにタブローは閉じないので命題不成立である
A∧¬Aは無理だわ
- 1051 名前：１３２人目の素数さん [2020/06/19(金) 22:48:14.56 ID:kCOxMiM8.net]
- >>979
＞(2) (∀x)Fx
から、F1と全称例示化すれば簡単に矛盾が出せる
そもそも
＞∀xFx→∀xGx
なんてやってる時点で大間違いで、まるで理解できていない
オマエ、やることなすことすべてがデタラメだよ
- 1052 名前：１３２人目の素数さん [2020/06/19(金) 22:49:49.34 ID:kCOxMiM8.net]
- >>978
言ってる意味は不明だが、ゴミはお前の頭だよ
- 1053 名前：１３２人目の素数さん [2020/06/19(金) 22:53:05.86 ID:kCOxMiM8.net]
- とにかく、
- 1054 名前：>>929の間違いは理解できたのか？
いつもそうだけどさ、なかったことにしてシレっとフェードアウトするのやめなよ [] - [ここ壊れてます]
- 1055 名前：哀れな素人 [2020/06/19(金) 23:06:52.34 ID:kLFGScce.net]
- >>955
これは池沼少年。しつこいアホ(笑
>誰も、不連続を証明するときのεが巨大ではいい、なんて言ってませんでしたよね？
ではお前はどういう意味で「任意だからどんな巨大な数でもいい」
と言っているのか(笑
>で、連続を証明するときにεが巨大ではいけないと言っている動画はまだ見つからないのですか？
で、巨大なεで連続や極限を証明している動画や教科書は見つかったのか？ 池沼(笑
真性のアホだ、こいつは(笑
- 1056 名前：哀れな素人 [2020/06/19(金) 23:09:33.17 ID:kLFGScce.net]
- お前、εδ論法とはx=aという局所での連続や極限を論ずるものだ、
ということが分っているのか？(笑
広範な範囲のxの連続を論ずるものではないぞ(笑
極限についても同じだ(笑
x→aの極限を示すものであってx→bの極限を示すものではないのだ(笑
だから巨大なεを取る必要はまったくないのだ(笑
お前、それが分っているのか(笑
延々と「任意だからどんな巨大な数でもいい」と言い続ける白痴(笑
スレ主よ、この調子だとεδ論争は延々と何年も続くぞ(笑
ちょうど時枝論争が何年も続いたように(笑
質問少年とかサル石のようなアホがいると、こうなる(笑
- 1057 名前：１３２人目の素数さん [2020/06/19(金) 23:13:47 ID:kCOxMiM8.net]
- 最初は、極限を示せなくともダメではなかったのに、
後になると、極限を示せないからダメだと言い出す安達
>大きくなったらダメとも、εが巨大だとダメとも言っていない(笑>>180
↓↓↓後日↓↓↓
>ε=100000000では極限は示せないのだから、
>ε=100000000ではダメなのである(笑>>892
- 1058 名前：１３２人目の素数さん [2020/06/19(金) 23:17:19 ID:kCOxMiM8.net]
- 分かったから安達は
＞定数関数y=0も不連続である(>>739
を示すのにどんな微小なεを使えばいいのか教えてくれ
- 1059 名前：１３２人目の素数さん [2020/06/19(金) 23:39:11 ID:qXfDhvSl.net]
- >>982
お前さ
何でも知っているみたいな書き込みをしているけど
背理法の論理式は書けるようになった？
条件法の否定¬(P→Q)の意味はわかった？
それからタブローに自然演繹を混ぜようとするのは止めてくれ
タブロー法に全称例化という概念はない
だから混乱しているし意味不明なんだよ
- 1060 名前：１３２人目の素数さん [2020/06/19(金) 23:39:50 ID:kCOxMiM8.net]
- >>170
＞x=3で連続、x=30で不連続の場合があるから、
＞>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
＞ということにはならないのだアホ(笑
あるεにδがあればより大きいεにもδがあるという、
ごく当たり前の話を、意味不明な理由で否定する安達
- 1061 名前：１３２人目の素数さん [2020/06/19(金) 23:47:39 ID:kCOxMiM8.net]
- >>987
それ、お前がデタラメ書いてたから指摘してやったら反論できず
シレっとフェードアウトしたやつじゃん
全称例示化がない？
バカは、鼻くそでも食ってなさい
- 1062 名前：１３２人目の素数さん [2020/06/19(金) 23:53:56 ID:qXfDhvSl.net]
- 個体変項と個体定項しかないタブローで数学をどれくらい表現できるのか
が問題だな
等号や不等号はおｋ
集合に属するか属さないかはおｋ
集合の性質に関するものも一応おｋ
これは性質をどれくらい反映できるかによると思う
数理論理学は何をやってんだろ
自然演繹なんて∧の導入や除去はわかりやすいけど
∨の導入・除去はわかりにくい
そんなものが普及するはずもない
タブローは単純明快だ
これで何とかできないかなあ
- 1063 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2020/06/19(金) 23:59:08 ID:imq2ACd0.net]
- 新スレ立てました
ガロアスレ復活しましたｗ
（皆さんが、ガンバってくれたお陰です。ありがとう！（＾＾）
純粋・応用数学（含むガロア理論）2
https://rio2016.5ch.net/test/read.cgi/math/1592578498/
- 1064 名前：１３２人目の素数さん [2020/06/20(土) 01:17:41.40 ID:0ts11Drz.net]
- ↑
おまえは只のスレ立て作業員であってスレ主ではないｗ 何がお陰ですだｗ
- 1065 名前：１３２人目の素数さん [2020/06/20(土) 02:25:26.47 ID:0ts11Drz.net]
- >>979
>∀xFx→∀xGx
- 1066 名前：君のこの主張は
∀xFx→∀yGy
と同じことだよ？ｗ
もちろん偽です。x=0,y=1が反例ｗ
君、変数のスコープって知らないの？ [] - [ここ壊れてます]
- 1067 名前：１３２人目の素数さん [2020/06/20(土) 02:29:51.05 ID:0ts11Drz.net]
- >>985
安達はその日の気分で言うことがコロコロ変わりますからｗ
- 1068 名前：１３２人目の素数さん mailto:sage [2020/06/20(土) 03:23:40.56 ID:TGCAjRpL.net]
- 公知で中で最も広い測度って何じゃろ？リーマン、ルベーグ、ルベーグ・スティルチェス、バナッハ､
ウィーナー、ラドン、ハウスドルフ、ディラック、確率、…
(ﾟДﾟ)
(ﾟД｡)
(｡Дﾟ)
ﾟ ( Д ) ﾟ
｡.. ( Д ) ..｡
- 1069 名前：粋蕎 mailto:sage [2020/06/20(土) 04:10:27.13 ID:TGCAjRpL.net]
- 測度なんぞ儂ごときが会得しとる訳が無し！
じゃが広義ディラック測度は広義ハウスドルフ測度も呑み込んどりそうじゃのう、美味しそうじゃ…
儂は数学者が握った測度寿司を摘まみ掻っ喰らう工学客じゃな｡
別にええじゃろ、数学者の成果を使わせて頂くのじゃ。使わん方が害悪｡
しかし其んな儂でもε-δ論法の意味は不等式の任意性の妙味に有り、既に其の時点で完成されて居って、此れを態々
εrror-orderを有限微小に限定し有限微小なδistance-qualityを得る努力を行う必要は無い事であって、其れは
「数値解析」や「測定」じゃの云う「応用数学」や「技術」「観測哲学」の話であって、「純粋数学」の話から
大きく外れた事じゃあ云う事は儂にも分かるわ。恐らく高校理系生徒にも名門の子なら分かるじゃろうな｡
- 1070 名前：１３２人目の素数さん [2020/06/20(土) 04:36:21.77 ID:Knd5V/HY.net]
- >>993
じゃあ同値よりもさらに強い同義なんだと自ら認めてしまったわけか
同義語の反復をして何を示していると思っているの？
∀xFx→∀xFx
さらに
∀xFx→∀xFx 偶数は2の倍数
∀xFx→∀xGx 2の倍数は自然数
ゆえに
∀xFx→∀xGx 偶数は自然数
だから
2の倍数→自然数
を示したかったんでしょ？
同義語・対偶・背理法を使わないで示してみてよ
つーかこの証明が頭悪いわ
いいや
終わり
- 1071 名前：１３２人目の素数さん [2020/06/20(土) 04:39:52.88 ID:Knd5V/HY.net]
- これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1072 名前：１３２人目の素数さん [2020/06/20(土) 04:40:11.84 ID:Knd5V/HY.net]
- これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1073 名前：１３２人目の素数さん [2020/06/20(土) 04:40:29.68 ID:Knd5V/HY.net]
- これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1074 名前：１３２人目の素数さん [2020/06/20(土) 05:33:02.36 ID:Knd5V/HY.net]
- 埋め
- 1075 名前：１３２人目の素数さん [2020/06/20(土) 05:33:20.17 ID:Knd5V/HY.net]
- 梅
- 1076 名前：１３２人目の素数さん [2020/06/20(土) 05:33:41.59 ID:Knd5V/HY.net]
- 生め
- 1077 名前：１３２人目の素数さん [2020/06/20(土) 05:33:57.54 ID:Knd5V/HY.net]
- 産め
- 1078 名前：1001 [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 115日 17時間 35分 52秒
- 1079 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
