[過去ﾛｸﾞ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
431: １３２人目の素数さん [] 2025/02/09(日) 16:20:39.02 ID:KVhWlXEd > 慌てる乞食は貰いが少ない テキストを読んで理解する労力を惜しんで 検索で見つけた文章を読まずに丸コピペする 検索コピペ乞食は ◆yH25M02vWFhP 貴様だろ http://rio2016.5ch.net/test/read.cgi/math/1738367013/431
432: １３２人目の素数さん [] 2025/02/09(日) 19:10:43.00 ID:yPVowpRU >>402 そうだね。 実数を「実数の公理」で定義した方が諸性質の証明は楽。尚且つ有理コーシー列を用いて実際に構成出来るから、ただの「絵に描いた餅」でないことも示せる。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/432
433: １３２人目の素数さん [] 2025/02/09(日) 20:01:23.92 ID:KVhWlXEd >>432 論理を使う意味はまさにそこにある 具体物を扱う芸（つまり計算）に固執するのは ヒトの知恵を持てぬエテ公 工学部はエテ公に芸を仕込む場所 理学部はヒトに知恵を授ける場所 http://rio2016.5ch.net/test/read.cgi/math/1738367013/433
434: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/09(日) 20:08:08.05 ID:lz6oAIdr >>427 (引用開始) {・・{{{}}}・・}_ωが集合であると仮定すると、その元は一番外側の括弧を外したもの。 しかしωは後続順序数ではないのでその前者は存在しない。よって一番外側の括弧を外すことができない。 集合なのに一番外側の括弧を外すことができないのは矛盾だから、集合であるとした仮定が誤り。 つまり >しかし だから、lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！ は、ある不明なものを別の不明なもので定義しただけであり
、結局何の定義にもなっていない。 (引用終り) 良いんじゃね？ それで ・ZFC で、ゲーデルの不完全性定理の示すところ、ZFCで否定も肯定もできない命題が存在するよね だから、”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”はあり(ZFCの外の存在としてでも) ・そもそもが、無限公理についても デデキントは ”無限集合の存在”が 証明できると考えていたのです（下記 渕野） ・しかし、”無限集合の存在”は、他の公理から証明することができないとなって ”無限集合の存在”の公理を置いた（いわゆる無限公理） ・「無限とはな
んぞや？」 だが、”無限”を言葉で書くとまずい 言葉で書くと、その書いたことばをまた定義しなければならない・・と 無限に後退してしまう だから、”無限集合”を公理としておいた ・だったら、それに準じて 必要ならば ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”は、ありだろ？ それが、従来の集合と異なる？ それがどうした？ 無限公理の示す 無限集合は それ以前の有限集合と異なる性質を持つよｗ ；ｐ） (参考) https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1739-16.pdf 数理解析研究所講究
録 2011年 Dedekindの数学の基礎付けと集合論の公理化 渕野昌 神戸大学 Ｐ173 3 無限の存在証明 晩年のDedekind が，無限の存在証明 ([3] の66.)の残ったままのテキストをこの再版に回してしまったことの背景だったのではないだろうか． ただし，Dedekindの名誉のために付け加えておくと，1911年の時点では，無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研究者たちすら，まだ完全には把握しきれていなかった可能性がある．たとえば，Zermelo文[18]の公理系とよばれることになる体系の原形はで発表されているが，その初め
で，Zermelo Zermeloは， 略す と書いているし，Zermelo [18],下線の公理の命題の間の独立性についての，より踏み込んだ議論は，Fraenkelらである．無限公理の1922年の論文[7]までなされていないように思えるか(無限集合の存在を主張する公理)性はの集合論の他の公理からの独立(集合論のすべての公理を含む体系の中で), Hω (hereditarily f initeな集合の全体)と，この上に$\in$関係を制限したものの組からなる構造を作ると，そこでは，無限公理以外の集合論のすべてが成り立つことが確かめられ，そのことから「集合論の公理系が無矛盾なら，集合論の
公理系から無限公理を除いた体系から無限公理は導かれない」ことが導かれるとして示すことができる．もちろん，[集合論の公理系が無矛盾なら」は，不完全性定理以降の時代に生きる我々の後知恵であるが(9), 略す (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1738367013/434
435: １３２人目の素数さん [] 2025/02/09(日) 20:15:46.03 ID:KVhWlXEd >>434 >>>lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！ >>は、ある不明なものを別の不明なもので定義しただけであり、 >>結局何の定義にもなっていない。 >良いんじゃね？ それで だめだろ それじゃ 定義とは何かも知らぬエテ公は山に帰れ http://rio2016.5ch.net/test/read.cgi/math/1738367013/435
436: １３２人目の素数さん [] 2025/02/09(日) 20:18:55.82 ID:KVhWlXEd >>434 > ゲーデルの不完全性定理の示すところ、 > ZFCで否定も肯定もできない命題が存在するよね > だから、 > ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！” > はあり だからの前後が繋がんねえよバカ 論理が判らぬエテ公は山に帰れ 二度とゲーデルの名前を口にするんじゃねえ 焼いて食っちまうぞ http://rio2016.5ch.net/test/read.cgi/math/1738367013/436
437: １３２人目の素数さん [] 2025/02/09(日) 20:21:19.32 ID:KVhWlXEd >>434 > そもそもが、無限公理についても デデキントは > ”無限集合の存在”が 証明できると考えていたのです > しかし、”無限集合の存在”は、他の公理から証明することができないとわかって > ”無限集合の存在”の公理を置いた（いわゆる無限公理） だから何？ 正則性公理と矛盾する定義をする馬鹿はいねえよ 六甲山のエテ公の貴様以外にはな！ http://rio2016.5ch.net/test/read.cgi/math/1738367013/437
438: １３２人目の素数さん [] 2025/02/09(日) 20:26:40.74 ID:KVhWlXEd >>434 > 「無限とはなんぞや？」 だが、 > ”無限”を言葉で書くとまずい > 言葉で書くと、その書いたことばをまた定義しなければならない・・ > と 無限に後退してしまう > だから、”無限集合”を公理としておいた > だったら、それに準じて 必要ならば > ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！” > は、ありだろ？ > それが、従来の集合と異なる？ それがどうした？ ないな 正則性公理と矛盾するだろが、タ
コ！ 正則性公理を否定するというなら構わんが、 そのかわり∈帰納法は使えなくなるぞ そういう影響を全部理解していってんのか？タコ！ http://rio2016.5ch.net/test/read.cgi/math/1738367013/438
439: １３２人目の素数さん [] 2025/02/09(日) 20:29:22.66 ID:KVhWlXEd 「任意の正方行列は逆行列を持つ正則行列である」とか 「ZFで通常の実数の定義をしても、実数のコーシー列が極限を持つとは証明できない」とか 根拠もなく口から出まかせいうエテ公は数学板に書き込むんじゃねえ http://rio2016.5ch.net/test/read.cgi/math/1738367013/439
440: １３２人目の素数さん [] 2025/02/09(日) 21:13:10.50 ID:erxXzwp/ >>434 >それが、従来の集合と異なる？ それがどうした？ ZFになぜ正則性公理が存在しているか考えたことも無いおサルさんが、正則性公理違反？上等だ！と、開き直っちゃったとさ http://rio2016.5ch.net/test/read.cgi/math/1738367013/440
441: １３２人目の素数さん [sage] 2025/02/09(日) 21:32:26.43 ID:KVhWlXEd 箱入り無数目で確率１−εで勝つ方法を認めないというから じゃ選択公理完全否定だねといったらなんかしらんが ムキになって選択公理完全死守とかいいだしたから 考えなしの大馬鹿野郎なんでしょうな エテ公は http://rio2016.5ch.net/test/read.cgi/math/1738367013/441
442: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/09(日) 21:50:16.63 ID:lz6oAIdr >>435-441 ふっふ、ほっほ 1）無限公理で導かれる 無限集合の全自然数の集合 N:={0,1,2,・・,n,n+1,・・} で？ これ（無限集合 N)に、前者は存在しないよ で？ これ カッコ{} 外して良いの？ 0,1,2,・・,n,n+1,・・ ですよね ここの”・・ ”は、許される？ 2）だったら、”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”で ω := {・・{{{}}}・・}_ω にも、前者は存在しない！ ”・・ ”が、許されるならば ・・{{{}}}
・・ も良いんじゃね？ 片側の”・・ ”が許されて、両側だめ？ なんで？ だから、おっさんの言っている 難癖はさ 全部、N:={0,1,2,・・,n,n+1,・・} にも、 当てはまっているんじゃない？ｗ ；ｐ） 正則性公理を否定する？ {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ と書けるよね？ （>>10の通り） いやさ、そう定義すれば良いだけのことだよｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/442
443: １３２人目の素数さん [] 2025/02/09(日) 22:00:53.74 ID:erxXzwp/ >>442 >・・{{{}}}・・ も良いんじゃね？ ・・{{{}}}・・って何？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/443
444: １３２人目の素数さん [] 2025/02/09(日) 22:25:41.31 ID:erxXzwp/ >>442 >だから、おっさんの言っている 難癖はさ >全部、N:={0,1,2,・・,n,n+1,・・} にも、 >当てはまっているんじゃない？ｗ ；ｐ） ぜんぜん {0,1,2,・・,n,n+1,・・}の元は一番外側の括弧を外した0,1,2,・・,n,n+1,・・じゃん。元がはっきりしてるじゃん。・・{{{}}}・・とかいう訳の分からいものと違って。 >ここの”・・ ”は、許される？ もちろん。 この”・・ ”は任意の自然数を意味している。なんで任意の自然数が{0,1,2,・・,n,n+1,・・}の元で
あることが許されないと？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/444
445: １３２人目の素数さん [] 2025/02/09(日) 22:27:01.81 ID:bOyjY4Ig むずかしい http://rio2016.5ch.net/test/read.cgi/math/1738367013/445
446: １３２人目の素数さん [] 2025/02/09(日) 22:28:24.88 ID:erxXzwp/ おサルさんは数学を根本から分かってないね こりゃ重症だわ http://rio2016.5ch.net/test/read.cgi/math/1738367013/446
447: １３２人目の素数さん [] 2025/02/09(日) 22:29:27.91 ID:erxXzwp/ >>445 こんな簡単なことも難しいなら小学校からやり直せば？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/447
448: １３２人目の素数さん [] 2025/02/09(日) 22:30:31.39 ID:bOyjY4Ig 難しい http://rio2016.5ch.net/test/read.cgi/math/1738367013/448
449: １３２人目の素数さん [] 2025/02/09(日) 22:31:42.62 ID:bOyjY4Ig 日本語が変なので http://rio2016.5ch.net/test/read.cgi/math/1738367013/449
450: １３２人目の素数さん [] 2025/02/09(日) 22:33:44.21 ID:erxXzwp/ 変なのは君の頭では？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/450
451: １３２人目の素数さん [] 2025/02/09(日) 22:36:52.74 ID:bOyjY4Ig 444の日本語が変でないとでも？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/451
452: １３２人目の素数さん [] 2025/02/09(日) 22:41:13.37 ID:erxXzwp/ おサルさんさあ、まずこれに答えてよ {・・{{{}}}・・}_ωは何か？ {・・{{{}}}・・}_ωが集合ならその元は何か？ ・・{{{}}}・・は何か？ {・・{{{}}}・・}_ωと同じもの？ 違うもの？ そこはっきりせんと話にならんから http://rio2016.5ch.net/test/read.cgi/math/1738367013/452
453: １３２人目の素数さん [] 2025/02/09(日) 22:41:43.83 ID:erxXzwp/ どこが変と？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/453
454: １３２人目の素数さん [] 2025/02/09(日) 22:45:35.14 ID:bOyjY4Ig >>442 >だから、おっさんの言っている 難癖はさ >全部、N:={0,1,2,・・,n,n+1,・・} にも、 >当てはまっているんじゃない？ｗ ；ｐ） ぜんぜん {0,1,2,・・,n,n+1,・・}の元は一番外側の括弧を外した0,1,2,・・,n,n+1,・・じゃん。元がはっきりしてるじゃん。・・{{{}}}・・とかいう訳の分からいものと違って。 >ここの”・・ ”は、許される？ もちろん。 この”・・ ”は任意の自然数を意味している。なんで任意の自然数が{0,1,2,・・,n,n+1,・・}の元で
あることが許されないと？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/454
455: １３２人目の素数さん [] 2025/02/09(日) 22:49:03.93 ID:erxXzwp/ >>454 頭おかしいの？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/455
456: １３２人目の素数さん [] 2025/02/09(日) 22:53:53.92 ID:erxXzwp/ ID:bOyjY4Igは認知症？ 会話も成立しないし頭おかしいみたいだけど http://rio2016.5ch.net/test/read.cgi/math/1738367013/456
457: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/09(日) 22:58:34.94 ID:lz6oAIdr >>443-445 >むずかしい ご苦労さまです ID:bOyjY4Ig は、御大か 巡回ありがとうございます {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ ∈{・・{{{}}}・・}_ω ここで、カッコ{}の多重度を導入しよう {}は、カッコの多重度0 {{}}は、カッコの多重度1 {{{}}}は、カッコの多重度2 {{{{}}}}は、カッコの多重度3 ・ ・ ・ {・・{{{}}}・・}_ωは、カッコ{}の多重度ω となる。それだけのことよ N={0,1,2,・・,n,n+1,・・}で 一番外側の括弧を外した0,1
,2,・・,n,n+1,・・ は、任意有限の自然数の元が並んでいる状態だね {・・{{{}}}・・}_ωで 一番外側の括弧を外した ・・{{{}}}・・ は、任意有限のカッコ{}の自然数多重度を表す そう解釈すれば 良いんじゃね？ｗ 簡単な話だよｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/457
458: １３２人目の素数さん [] 2025/02/09(日) 23:12:03.30 ID:bOyjY4Ig >>456 タイポさえわからない？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/458
459: １３２人目の素数さん [] 2025/02/09(日) 23:17:32.26 ID:erxXzwp/ >>457 >一番外側の括弧を外した ・・{{{}}}・・ は、任意有限のカッコ{}の自然数多重度を表す 意味不明 http://rio2016.5ch.net/test/read.cgi/math/1738367013/459
460: １３２人目の素数さん [] 2025/02/09(日) 23:18:19.39 ID:erxXzwp/ >>458 何が誤記と？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/460
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 542 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s