[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 (704ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 http://rio2016.5ch.net/test/read.cgi/math/1506848694/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
16: １３２人目の素数さん [] 2017/10/01(日) 18:24:21.91 ID:ptpnpdQN こらこら、こっそり逃亡するんじゃない 逃亡するなら、汚らしい co-tail なるゴミを片付けてからにしなさい ----------------------------------------------------------------------- >>760 Y or N で答えよ、N の場合は理由を述べよ お前は co-tail の定義を「ある番号から先のしっぽ」※と書いた。 Y/N だから S_π の co-tail が何番から先のしっぽなのか聞いたんだが、 ＞co-tailを{s_n, s_(n+1),...}と書くことはできない。 は上記定義と矛盾している。 Y/N よってお前が取るべき対応は以下のどれか Y/N ・S_π の co-tail={s_n, s_(n+1),...} の n を自然数で答える ・co-tail の定義を変更する ・co-tail が存在するという主張を取り下げる ※ ＞４．ここで、{s',s'',s''',・・・}たちには、しっぽの共通部分(co-tailと呼ぶ）がある。co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ http://rio2016.5ch.net/test/read.cgi/math/1506848694/16
46: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/10/03(火) 06:58:58.91 ID:Rt4aUYU1 >>45 構成主義ですね。分ります（＾＾ が、現代数学の主流ではありませんね（＾＾ https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E3%81%AE%E5%93%B2%E5%AD%A6#.E6.A7.8B.E6.88.90.E4.B8.BB.E7.BE.A9 数学の哲学 (抜粋) 構成主義 構成主義もまた、一定のいみで明白に構成することのできる数学的なものだけが数学的言説において認められるべきであるという規制原理を主張する。 構成主義の支持者たちの中には、非構成的証明（背理法など）を拒否する者もいる。 (引用終り) ＜具体的な構成を持たない例＞ https://ja.wikipedia.org/wiki/P%E9%80%B2%E6%95%B0 p進数 (抜粋) p 進数体の性質 実数体 R の代数閉包（複素数体 C）が二次拡大で完備であるのに対し、p 進数体 Qp の代数閉包 Qp は無限次拡大でしかも完備ではない。 その完備化は代数閉体であって、Cp と表される。 これは複素数体 C と体として同型であるが、同型写像の存在は選択公理に依存しており、具体的に同型写像を与えることはできない。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1506848694/46
90: １３２人目の素数さん [] 2017/10/04(水) 22:45:49.91 ID:+jot/gRn >>85 それな http://rio2016.5ch.net/test/read.cgi/math/1506848694/90
117: １３２人目の素数さん [sage] 2017/10/05(木) 16:39:29.91 ID:q8pEGxt1 >>112 >質量と重さは異なる、とされているが、 上記>>116の引用にあるように、重さは、月面では地球上の約1/6 だから、質量と重さの区別が必要で、月面でも地球上でも変わらないのが質量で、重さは月面か地球上かで変わる >さらに慣性質量と重力質量という二つの概念があるが、 >慣性質量とは重力質量以外の何物でもないだろう。 はい、正解みたいですね 「等価原理」というそうです さすがですね（＾＾ https://ja.wikipedia.org/wiki/%E8%B3%AA%E9%87%8F 質量 (抜粋) 3 二つの質量 3.1 慣性質量 3.2 重力質量 3.3 等価原理 等価原理[編集] 詳細は「等価原理」を参照 両者は全く別の定義であるが、これらは同一の値を取る。この経験則を等価原理といい、エトヴェシュ・ロラーンドなどが行った実験により高い精度で示されている。落体の法則や振り子の等時性といった法則は、この原理のために成り立っている。 だが、なぜ慣性質量と重力質量が同じ値をとるのかという理由は、現在でも判っていない。 (引用終わり) http://rio2016.5ch.net/test/read.cgi/math/1506848694/117
194: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/10/07(土) 08:17:46.91 ID:U9YX2SH3 >>192 ピエロくん、ご苦労 まじれすすれば、哀れな素人さんが、（>>178を見ると）どうも”うぶ”だから、ちょっと忠告した もともと、 （>>4より） 「大学新入生もいると思うが、間違っても２ＣＨで数学の勉強なんて思わないことだ このスレは、趣味と遊びのスレと思ってくれ（＾＾；」だ （>>6より） 「じゃ、どうするかと言えば、出典明示とそこらの(抜粋)コピペです まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます が、それも基本、信用しないように 数学という学問は特に、自分以外は信用しないというのが基本ですし」とも つまり、>>178のような中途半端はやめて、きちんと論理学のテキストで学ぶ方が良い！ そもそも、もし>>172がどこかの出典からのコピーなら、きちんと原典のテキストを学ぶべし！（＾＾ もし、>>172がオリジナルで初出なら、信用すべきでない！！！（＾＾ どんな誤りが含まれているか。そもそも、大学教授の出版されたテキストでさえ、誤記誤植があるのだ！！（＾＾ つづく http://rio2016.5ch.net/test/read.cgi/math/1506848694/194
204: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/10/07(土) 10:43:39.91 ID:U9YX2SH3 >>203 つづき ４）決定番号より ａ）上記時枝記事より ”任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.” ｂ）だから、一つの同値類内で、数列ｓを決定番号ｄによって整列させることができる ｃ）上記、推移律より、決定番号ｄの数列ｓと決定番号ｄ＋１の数列ｓ’では、ｄ＋１番目から先が一致する。明らかに、「しっぽ」≠φ ｄ）これを繰り返し、∀ｄ∈Ｎ（＝自然数の集合）について、「しっぽ」≠φが言える ５）Ｎ（＝自然数の集合）には、元∞が含まれていないので、”「しっぽ」＝φ”とはならない（>>160で説明の通り） ６）正式証明は、”41 http://rio2016.2ch.net/test/read.cgi/math/1504332595/580-589 ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞証明と説明”（>>11）の通り なお、証明法は坪井明人先生を参考にした。（http://d.hatena.ne.jp/fujicategory/20110622/1308701609 １階論理のコンパクト性 １章 【コンパクト性定理】数学基礎論の勉強ノート 2011-06-22） つづく >> つづき http://rio2016.5ch.net/test/read.cgi/math/1506848694/204
249: １３２人目の素数さん [] 2017/10/08(日) 09:57:11.91 ID:ATL6puvB >>245>>247 お前は何をアホなことを書いているのか(笑 地球は無重力の空間の中にあるわけではない、 と書いているだろが(笑 http://rio2016.5ch.net/test/read.cgi/math/1506848694/249
400: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/10/12(木) 08:13:05.91 ID:YH6BRTCW >>399 つづき 19世紀後半、多くの数学者はデデキント無限であることと通常の意味の無限は同値であると単純に考えていた。しかし実際は、選択公理（“AC”）を除いたツェルメロ・フレンケルの公理系（通常、“ZF”と表記される）からは、その同値性は証明されえない。 弱いACを使うことで証明でき、フルの強さは要求されない。その同値性の証明は、可算選択公理（“CC”）より真に弱い形で証明できる。 (引用終り) ４．時枝記事の可算無限数列で、しっぽが空（φ）にならないのも、これと同じ理屈なんだよね（＾＾ つづく http://rio2016.5ch.net/test/read.cgi/math/1506848694/400
456: １３２人目の素数さん [] 2017/10/16(月) 01:06:42.91 ID:bPemQkdy まあ早い話が ス レ 主 に は 時 枝 記 事 を 理 解 で き る だ け の 基 礎 学 力 が 無 い だな、基礎学力を付けて出直して来い http://rio2016.5ch.net/test/read.cgi/math/1506848694/456
474: １３２人目の素数さん [sage] 2017/10/17(火) 15:16:49.91 ID:kOF6rO9S > 473 現代数学の系譜 工学物理雑談 古典ガロア理論も読む sage 2017/10/17(火) 09:54:12.89 ID:d4RJqFSe > >>472 > >列の長さが有限なら > >「唯一の最大値を引かなければ数当て成功」 > >が成立しないよね > > そうではないと思うよ > いまは、時間がないので、ここは後で説明するよ > > 問題は、99/100が > 有限では言えないってこと 上の「」が成立する記事では確率99/100で当てられます 成立しないスレ主の有限バージョンでは「」が成り立たないので、 唯一の最大値を引かない確率と数当てが成功する確率はイコールではない 結果的に99/100で数が当てられるとは言えないのです http://rio2016.5ch.net/test/read.cgi/math/1506848694/474
524: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/10/19(木) 21:03:47.91 ID:e4N8mmne >>519 おっちゃん、どうも、スレ主です。 >まだ時枝問題についてやっているようですね。 ああ、ようやく３人に減った（＾＾ ３人が、なかなか頑固なんだよね（＾＾ 大学在学生は、教員など良質な情報を得られるから、 時枝不成立は大体分ってきたみたいなんだがね http://rio2016.5ch.net/test/read.cgi/math/1506848694/524
542: １３２人目の素数さん [sage] 2017/10/20(金) 03:16:59.91 ID:a4UJXsPZ >>525 おっちゃんです。 一応、私が出た大学の学科は「数学科」といえる学科ではなく、 実質的には「コンピュータ数学科」とでも呼ぶべき学科なので。 学科の内容は大きく異なるだろうね。 決して系統的に数学の教育を受けているとはいえない。 http://rio2016.5ch.net/test/read.cgi/math/1506848694/542
566: １３２人目の素数さん [] 2017/10/20(金) 22:47:24.91 ID:DQcMRd0B ＞サルの調教師の人数が減っただけ 確かに サルのものおぼえと素行の悪さに呆れて去って行った御仁は少なくない http://rio2016.5ch.net/test/read.cgi/math/1506848694/566
613: １３２人目の素数さん [sage] 2017/10/21(土) 19:08:21.91 ID:jvmgM9bn >>611 >もう言うことはなくなりました。 有難う御座います >>612 貴方は積分交換が非決定問題だと知っていて 突っ込んでいると思ってましたが まあどちらでもいいですよ 積分交換可能公理が連続体仮説の否定につながる と知ったのは収穫ですから P.S. まあ、サルが 「無限個の箱を2列以上に並べ変えることは許さん！！！ 1列なら他の列を開けて決定番号を知ることはできないから 確率0/1=0だろう どうだまいったか ガハハハハハハ」 とほざくなら、こういうしかありませんけどね 「どうぞご随意に」 http://rio2016.5ch.net/test/read.cgi/math/1506848694/613
688: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/10/25(水) 11:52:32.91 ID:y8HhoWvR >>683-687 なんだ、すっかり自爆で化けの皮が剥がれるか（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1506848694/688
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s