[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)

現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/

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

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

27: １３２人目の素数さん [sage] 2019/09/11(水) 07:33:17.89 ID:h4/yIPnA こんな馬鹿に何を説明しても理解できるわけないな いやーニワトリはやっぱ鳥類だ　哺乳類にはなれないやｗ http://rio2016.5ch.net/test/read.cgi/math/1568026331/27

120: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/13(金) 23:23:14.89 ID:Ct8Lh9wH >>119 つづき Adding urelements to the system New Foundations (NF) to produce NFU has surprising consequences. In particular, Jensen proved[5] the consistency of NFU relative to Peano arithmetic; meanwhile, the consistency of NF relative to anything remains an open problem, pending verification of Holmes's proof of its consistency relative to ZF. Moreover, NFU remains relatively consistent when augmented with an axiom of infinity and the axiom of choice. Meanwhile, the negation of the axiom of choice is, curiously, an NF theorem. Holmes (1998) takes these facts as evidence that NFU is a more successful foundation for mathematics than NF. Holmes further argues that set theory is more natural with than without urelements, since we may take as urelements the objects of any theory or of the physical universe.[6] In finitist set theory, urelements are mapped to the lowest-level components of the target phenomenon, such as atomic constituents of a physical object or members of an organisation. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1568026331/120

135: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/14(土) 11:27:28.89 ID:QdZ5TU5n >>130 (引用開始) 反例　{{{}}} 証明　{}∈{{}}　{{}}∈{{{}}}　しかし　{}∈{{{}}}でない 　　　したがって　{{}}⊂{{{}}} (引用終り) そこの最後は、”¬（{{}}⊂{{{}}}）”の間違いだよねｗ （あなたの>>126より） "{{{}}}は推移的でないから {{}}∈{{{}}}だが、¬（{{}}⊂{{{}}}）である" (引用終り) さて、しかし、{{{}}}は、明らかにフォン・ノイマン宇宙Vの中ですよ。おかしいねー？ｗ（＾＾ （証明） ・下記”階層内階層基数 | 巨大数研究”の、「フォン・ノイマン宇宙とはZFCで扱うことが出来る全ての集合を漸増的に定義する真クラスである」を認めるとする ・ZFCで空集合のべきP( Φ )={ Φ }（下記「冪集合」wikipediaより） 　簡単にP( Φ )={}と記す ・これから、ZFCの 対の公理と和集合の公理とを使って、{Φ∪{Φ∪{Φ∪{}} } }＝{{{}}}と構成できて、ZFC内。即ち、フォン・ノイマン宇宙V内 ・{{{}}}は推移的でないとすると、フォン・ノイマン宇宙V内に、推移的でない集合が存在することになる ・これは、推移的集合（wikipedia）の例 「フォン・ノイマン宇宙 Vや 構成可能宇宙 L の構成の際に現れる Vα や Lαといった全ての階層も推移的集合である。 　宇宙 L と V もそれ自体推移的クラスである。」の記述に反する QED　（＾＾ 明らかに、おサルの集合論と、ヒトの集合論は異なるなぁ〜ｗ（＾＾； つづく http://rio2016.5ch.net/test/read.cgi/math/1568026331/135

218: １３２人目の素数さん [] 2019/09/15(日) 15:20:24.89 ID:IzOPqE/a >>206 >集合N’の正規の元は、たった二つ >では、集合N’は二つの元から成る有限集合か？ >無限集合を内包していると考えるべしだろ？（＾＾ サルは書かれている定義を字義通りに解釈するということができない。 書かれていないことまで勝手に付け足して自分勝手な解釈をする。 そうして独善主張に走る。 そんなサルに数学は無理なので諦めなさい。 http://rio2016.5ch.net/test/read.cgi/math/1568026331/218

253: １３２人目の素数さん [] 2019/09/16(月) 17:59:50.89 ID:680EMxic >>246 幼稚な主張だな http://rio2016.5ch.net/test/read.cgi/math/1568026331/253

308: １３２人目の素数さん [sage] 2019/09/18(水) 19:23:57.89 ID:wvXbGob9 >>307 誤　順序数でない集合 正　順序数でない推移的集合 http://rio2016.5ch.net/test/read.cgi/math/1568026331/308

330: １３２人目の素数さん [sage] 2019/09/19(木) 06:31:39.89 ID:7GQwcv+X >>328 >”同値類全体の集合は >Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}” >Z/nZは、明らかに有限集合ではない 完全な誤りｗ Z/nZは、明らかに有限集合 >Z/nZは無限集合を類別した集合ですし、 だから無限集合、というのは完全な誤りｗ >中の小分けの袋を取れば、元の無限集合Zになります 中の小分けの袋を取れば、別の集合ｗ >だから、Z/nZとZを全く別ものと考えるよりも、 全く別物です　そう考えないのは誤り そう考えられない貴様はバカｗ >繰返すが 何度繰り返しても馬鹿 貴様は一生利口にはなれない >Zの中を類別したらZ/nZ >Z/nZの分類をやめたらZ >お互いに移りあえるという理解がよろしいと思いますよ 移りあえるから同じ集合、というなら馬鹿 全く別の集合　という理解だけが正しい 「と思う」も要らない　 ウソだと思うなら藤田博司氏にツイッターで訊いてみろｗ http://rio2016.5ch.net/test/read.cgi/math/1568026331/330

411: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/21(土) 21:51:56.89 ID:RSxZzkRi >>397 > この板では1より馬鹿なヤツはまずいないｗ おいおい、謙遜するなよ おサルさん コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだよな〜ｗ（＾＾ （>>390より） 整数環Zに合同（≡又はmod）を定義して、あるnによる同値類でｎ個の同値類が出来る 単に、Zを均等にｎ個に分けただけ 各0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZたちは、無限集合だ そのｎ個を集めて、集合を作る Z/nZと書くのが普通だそうだが、集合の元はたったのｎ個だから、Z/nZは有限集合だと？ おっさん、数学科修士だって？ｗｗ（＾＾； （参考） http://math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2013.pdf 代数学入門 花木 章秀 信州大 2013 (抜粋) P29 3.2 整数の合同によって定義される環 ある l ∈ Z が存在して a - b = nl となるとき a ≡ b (mod n) と書くことにする。 このときこの関係は同値関係である。その a を含む同値類は a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z} であった。異なる同値類全体の集合は Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1568026331/411

472: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/22(日) 18:33:34.89 ID:dCfcIyTY >>464 >そういえば安達は1には数学の質問、絶対しないな >それって >「1は数学のスの字も分からん白痴」 >だとおもってるからだろ？ｗ >国文馬鹿の安達にも舐められる1　ｗｗｗｗｗｗｗ 哀れな素人さんの認識は下記ですよ 質問の回答に、コピペついてが戻ってくることが分かっているのですｗ（＾＾ スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/298- (抜粋) 298 名前：哀れな素人[] 投稿日：2019/08/08(木) 参加者の多くがこのスレを去ったのは、スレ主のアホさと、 コピペを貼りまくるスレ主に嫌気がさしたからだ。 サル石だけは、何とかスレ主に自分のアホさを知らしめてやろうと このスレに滞在しているが、どんなにがんばっても無理だ(笑 スレ主は自分のアホさが分るような男ではない(笑 299 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/08/08(木) 哀れな素人さん、どうもスレ主です。 >>298 >参加者の多くがこのスレを去ったのは、スレ主のアホさと、 >コピペを貼りまくるスレ主に嫌気がさしたからだ。 それでよろしいんじゃないですか 私もいま定期巡回しているのは、IUTスレのみです 他は、わけのわからない「名無し」さんどうしの議論 昔何かに書かれていたが、2chの名無しさん、大人と思っていたら小学生だったこともあったという まさにまさにですよーｗ（＾＾； わけわからん「名無し」さんどうしの議論など、時間と余白の無駄 >サル石だけは、何とかスレ主に自分のアホさを知らしめてやろうと >このスレに滞在しているが、どんなにがんばっても無理だ(笑 ええ、あいつ（サル石）は、このスレに止めて、他のスレを徘徊しないようにすること それも、このスレの役目でしょうｗ（＾＾ >>297 > 2chはコピペを貼る場所ではないのである。 なにを仰るウサギさん（＾＾ 2chは、天下の落書き帳ですよ （参考） https://ja.wikipedia.org/wiki/2%E3%81%A1%E3%82%83%E3%82%93%E3%81%AD%E3%82%8B 2ちゃんねる (抜粋) 否定的・批判的評価 5ちゃんねるは「便所の落書き」と言われることが多々ある[56]。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1568026331/472

734: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/06(日) 23:16:30.89 ID:d8OQiN+r メモ https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 二階述語論理 (抜粋) 二階論理の表現能力 空でなく上に有界な実数の集合があるとき常にその集合には上限が存在するという命題を表すには、二階述語論理が必要となる。 二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能である。 一階述語論理ではこれら（「有限集合であること」や、「可算集合であること」）を表現できないことが、レーヴェンハイム-スコーレムの定理から導かれる。 https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 一階述語論理 https://ja.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6 数理論理学 (抜粋) 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。 集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。 http://rio2016.5ch.net/test/read.cgi/math/1568026331/734

903: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/17(木) 00:12:02.89 ID:khSgay+Z >>901 追加 確か、元吉文男さん、参考文献に、エム・ポストニコフをあげていたね（＾＾ http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0848-01.pdf [PDF]5 次方程式の可解性の高速判定法 - 元吉文男 著 - ?1993 RIMS, Kyoto University http://peng225.hate（URLがNGなので、キーワードでググれ（＾＾ ） ペンギンは空を飛ぶ 2018-03-07 5次方程式の解を巡る旅 ?5次方程式の可解性判定編? (抜粋) Galois理論 前回の記事で3次・4次方程式のresolventについて説明した。本稿ではここまでの内容を総括し、5次方程式の可解性判定について述べる。 5次方程式の可解性判定 5次方程式のresolvent http://rio2016.5ch.net/test/read.cgi/math/1568026331/903

936: Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/17(木) 19:10:37.89 ID:448PbhX4 >>901 http://repository.hyogo-u.ac.jp/dspace/bitstream/10132/1612/1/ZD30301003.pdf PDF 可解な5次方程式について - 兵庫教育大学 大迎規宏 著 -修士論文 2003 馬鹿は上記の論文読んでないだろ 読めば、定理4.9(p72)で貴様の主張が否定されてると分かるぞ http://rio2016.5ch.net/test/read.cgi/math/1568026331/936

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.051s