[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net (772ﾚｽ)

現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1502430243/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

493: １３２人目の素数さん [] 2017/08/15(火) 17:04:15.04 ID:MgvDl1uC 大学一年一学期でやる数列もεN論法もわかってないアホがプロ数学者に勝ち誇るスレ http://rio2016.5ch.net/test/read.cgi/math/1502430243/493

494: １３２人目の素数さん [sage] 2017/08/15(火) 17:08:02.77 ID:YFW2uq0o >>487 解釈は一意的、正しいかどうかを疑問に思う意味がわからない >>476のレスは無価値、ただ日本語を書き足しただけ そのせいでむしろ逆にわかっていないのではという疑いが更に強まった とりあえず>>477にも答えてみてほしい http://rio2016.5ch.net/test/read.cgi/math/1502430243/494

495: １３２人目の素数さん [] 2017/08/15(火) 17:21:35.85 ID:MgvDl1uC ＞（塩化カリウム）を”KCI”とか書いてた コピペ馬鹿の間違え方に似ててワロタ http://rio2016.5ch.net/test/read.cgi/math/1502430243/495

496: １３２人目の素数さん [] 2017/08/15(火) 17:52:22.98 ID:MgvDl1uC >>486 ＞よって、集合 {1,2,3,4,5,6}^n ｘ R^N'で、先頭の１〜ｎの箱の {1,2,3,4,5,6}の数が入っている部分は、R^Nを使う時枝解法では、当てられないという結論になる（＾＾ 箱入り無数目は「中身を当てる箱は回答者が自由に選んでよい」という設定。 「特定の箱の中身を当てられない」が真だったとしても、何の反証にもなっていない。 バカ丸出しｗ http://rio2016.5ch.net/test/read.cgi/math/1502430243/496

497: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/15(火) 18:21:18.25 ID:qidk3ATM >>494 ID:YFW2uq0o さん、どうも。スレ主です。 >解釈は一意的、正しいかどうかを疑問に思う意味がわからない まあ、解釈で間違っても仕方ないからね 一応確認したんだが・・（＾＾ で、>.>473より 命題１：第一条件（大前提）∀n∈N, 第二条件（小前提）∃m∈N, 結論 n≦m 命題２：第一条件（大前提）∃m∈N, 第二条件（小前提）∀n∈N, 結論 n≦m ということだね。前から、順に読めと（＾＾ 念押しで、Nは自然数の集合（デフォルト）だな 命題１は、不成立。理由は、Nに上限はないから 命題２は、成立。理由は、第一条件であるｍ∈Nを取って、その範囲で、”第二条件（小前提）∀n∈N, 結論 n≦m”が成り立つようにできる こんなところでどうかな？ http://rio2016.5ch.net/test/read.cgi/math/1502430243/497

498: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/15(火) 18:32:09.93 ID:qidk3ATM >>490 哀れな素人さん、どうも。スレ主です。 >>貴様何にもわかってねえな　どこのFランク大学卒だよｗ >貴様、という語と、やたら学歴を気にするのは一石そのもの(笑 確かに、やたらに学歴を気にするからね〜、学歴コンプレックスが強くあると推定される（＾＾ 底辺大だろうね〜（＾＾ >知識だけで自分で物を考える力はないクルクルパーだから >ほっとけばよい(笑 同意（＾＾ 時枝記事が、決着したら、そうするよ（＾＾ 時枝記事では、ちくちく虐めてやろうと思っているんだ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1502430243/498

499: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/15(火) 18:52:54.18 ID:qidk3ATM >>488 ピエロくん、ご苦労 今日の爆笑は、これだな！（＾＾ ”あのな、サイコロ使うんなら、全箱で使ってくれ そうでなければ、全箱同じ条件にならないから ということで サイコロを使う場合、数列は{1,2,3,4,5,6}^N” 語るに落ちたとはこのこと！（＾＾ 問題文をよく読もうね〜（＾＾ 問題文 >>210 「箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない」だよ ”まったく自由”だから、そんな勝手な条件を付けないといけないことには、なっとらんよ〜（＾＾ それと、いま思ったが、>>486のように、{1,2,3,4,5,6}^n ｘ R^N' （ここにN'＝｛n+1,n+2,・・・｝） このような数列だと、類別すべき集合を、R^Nから {1,2,3,4,5,6}^n ｘ R^N' に縮小しないと行けないのかも・・ だが、そうすると、列数ｊに依存するかな？　法２（mod 2）、法３（mod 3）、・・、法ｊ（mod j）・・ といろいろな種類の類別が必要かな？ いや、そもそも、ｎに依存しているじゃないか！（＾＾ 当てられるように見えて 実は当てられないというトリックの一端が見えたかな？（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1502430243/499

500: １３２人目の素数さん [sage] 2017/08/15(火) 19:02:03.85 ID:ItfSLILk 笑うとこ http://rio2016.5ch.net/test/read.cgi/math/1502430243/500

501: １３２人目の素数さん [] 2017/08/15(火) 19:08:29.79 ID:6s+ZT53k >>497 ギャハハハハハハ 全く教育を受けてないidiotは困ったもんだね ∀n∈Nや∃m∈Nは変数の束縛であって、命題ではないぞｗ 命題１：∀n∈N.∃m∈N.n≦m 「任意の自然数nに対して、それぞれある自然数mが存在して、mはn以上である」 mとしてnをとれば、n≦nであるから　成り立つ （n<mとしても、mとしてn+1をとればいいから成り立つ） 命題２：∃m∈N.∀n∈N.n≦m 「ある自然数mが存在して、任意の自然数nについて、mはn以上である」 どんな自然数nについても、自分自身より大きい自然数が存在するから不成立 ちなみに 　¬∀n∈N.∃m∈N.n<m ⇔∃n∈N.¬∃m∈N.n<m ⇔∃n∈N.∀m∈N.¬(n<m) ⇔∃n∈N.∀m∈N.m≦n これを述語論理におけるド・モルガンの法則という ∀は⋀、∃は⋁、に対応するんだな http://rio2016.5ch.net/test/read.cgi/math/1502430243/501

502: １３２人目の素数さん [] 2017/08/15(火) 19:14:09.11 ID:MgvDl1uC 【悲報】スレ主がεN論法を全く理解していないことが判明 http://rio2016.5ch.net/test/read.cgi/math/1502430243/502

503: １３２人目の素数さん [] 2017/08/15(火) 19:14:49.14 ID:6s+ZT53k >>499 ＞問題文 >>210 「箱それぞれに，私が実数を入れる. ＞どんな実数を入れるかはまったく自由， ＞例えばn番目の箱にe^πを入れてもよいし， ＞すべての箱にπを入れてもよい. ＞もちろんでたらめだって構わない」だよ で？あんたの証明は全然証明になってないよｗ 当てる箱は当てる側が選ぶんだよ あんたが選ぶんじゃないｗ あんた問題が全然分かってないねえ 文章は全部読めよ 自分に読める文章だけ読むのはバカってもんだｗ http://rio2016.5ch.net/test/read.cgi/math/1502430243/503

504: ◆QZaw55cn4c [sage] 2017/08/15(火) 19:17:06.51 ID:dNVFG2Rn >>501 そうそう、このドモルガンって定理？それとも公理？ http://rio2016.5ch.net/test/read.cgi/math/1502430243/504

505: １３２人目の素数さん [] 2017/08/15(火) 19:21:23.57 ID:6s+ZT53k ま、>>1がいくらカニ味噌を振り絞って考えても、「箱入り無数目」で 選んだ列以外の列の決定番号の最大値maxをとって 選んだ列のmax番目の箱を選べば、 選んだ列の決定番号がmaxより小さい限り、 選んだ列の同値類の代表列のmax番目と中身が一致する >>1にはどうしようもない　ザマアミロｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1502430243/505

506: ◆QZaw55cn4c [sage] 2017/08/15(火) 19:21:29.42 ID:dNVFG2Rn >>473 基本的な述語論理をやる上では必須ですけれども この違いを形式的な記述でやろうとしても理解は困難だとつくづく感じております。 ∀n∈N,∃m∈N,n≦m この場合は n が変化するごとに　n <= m をみたす m がかわってもいいんですが ∃m∈N,∀n∈N,n≦m このときの m は n の値にかかわらず共通でなければならないんですよね そういう風に丸覚えしているんですが、これを形式的に分解して納得するのは困難なのでは？ http://rio2016.5ch.net/test/read.cgi/math/1502430243/506

507: １３２人目の素数さん [] 2017/08/15(火) 19:28:45.59 ID:6s+ZT53k >>506 ＞∀n∈N,∃m∈N,n≦m ＞この場合は n が変化するごとに　n <= m をみたす m がかわってもいいんですが ＞∃m∈N,∀n∈N,n≦m ＞このときの m は n の値にかかわらず共通でなければならないんですよね ええ、それは左から順に読むから つまり∀n∈N,∃m∈N,n≦m で、 ｎに具体的な自然数ａを入れたとすると ∃m∈N,a≦m となりますが ｎに別の具体的な自然数ｂを入れたら ∃m∈N,b≦m となりますね で、前者と後者で、ｍに異なる値が入ってもいいんですよ 別の論理式ですから で∃m∈N,∀n∈N,n≦m のときは、 ｍに入るある自然数ｃがあるとすると ∀n∈N,n≦ｃとなりますが この式はnにaを入れようが、bを入れようが 成り立たなくてはなりません そういうことです　大したことじゃありません http://rio2016.5ch.net/test/read.cgi/math/1502430243/507

508: ◆QZaw55cn4c [sage] 2017/08/15(火) 19:35:53.93 ID:dNVFG2Rn んー正直ちょっとつらいです ∀∃が連綿と3つも四つも連なってやっとεδや一様収束やらを表現するところまでは、なんとか手がかかっている状況なんですが、脳みそのしわが伸びるような快感まではいきつかない… http://rio2016.5ch.net/test/read.cgi/math/1502430243/508

509: １３２人目の素数さん [] 2017/08/15(火) 19:41:07.59 ID:6s+ZT53k >>508 εδについていえばδはεの関数です 各点収束と一様収束についていえば、 前者はδがｘとεの関数ですが 後者はδがεのみの関数ということ ｘに依存せずに「一様に」収束する ということですね http://rio2016.5ch.net/test/read.cgi/math/1502430243/509

510: １３２人目の素数さん [] 2017/08/15(火) 19:41:34.63 ID:MgvDl1uC スレ主の頭じゃ一様連続すら到底理解不能だろうな（遠い目） http://rio2016.5ch.net/test/read.cgi/math/1502430243/510

511: １３２人目の素数さん [sage] 2017/08/15(火) 19:43:13.82 ID:ItfSLILk >>497 命題A, Bの区別を　つ　け　ら　れ　な　か　っ　た　んだね。 納得。 >>425 > >>402 > 命題AとBのどちらを考えているのか？ > それすらスレ主は答えられない http://rio2016.5ch.net/test/read.cgi/math/1502430243/511

512: １３２人目の素数さん [] 2017/08/15(火) 19:44:28.48 ID:6s+ZT53k >>509の注 ま、∀n∈N,∃m∈N,n≦m　を a≦f(a)　と読むというのは、 暗に選択公理を想定してますけどね http://rio2016.5ch.net/test/read.cgi/math/1502430243/512

---

上下前次1-新書関写板覧索設栞歴

---

あと 260 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.013s