- 1 名前：１３２人目の素数さん [2025/02/01(土) 08:43:33.16 ID:lDxwqd7y.net]
- 前スレが1000近く又は1000超えになったので、新スレを立てる
https://rio2016.5ch.net/test/read.cgi/math/1735693028/
前スレ ガロア第一論文と乗数イデアル他関連資料スレ12
このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）
資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0
＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik
＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)
あと、テンプレ順次
つづく
- 458 名前：１３２人目の素数さん [2025/02/09(日) 19:10:43.00 ID:yPVowpRU.net]
- >>402
そうだね。
実数を「実数の公理」で定義した方が諸性質の証明は楽。尚且つ有理コーシー列を用いて実際に構成出来るから、ただの「絵に描いた餅」でないことも示せる。
- 459 名前：１３２人目の素数さん [2025/02/09(日) 20:01:23.92 ID:KVhWlXEd.net]
- >>432
論理を使う意味はまさにそこにある
具体物を扱う芸（つまり計算）に固執するのは
ヒトの知恵を持てぬエテ公
工学部はエテ公に芸を仕込む場所
理学部はヒトに知恵を授ける場所
- 460 名前：現代数学の系譜 雑談 [2025/02/09(日) 20:08:08.05 ID:lz6oAIdr.net]
- >>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
- 461 名前：.)の残ったままのテキストをこの再版に回してしまったことの背景だったのではないだろうか．
ただし，Dedekindの名誉のために付け加えておくと，1911年の時点では，無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研究者たちすら，まだ完全には把握しきれていなかった可能性がある．たとえば，Zermelo文[18]の公理系とよばれることになる体系の原形はで発表されているが，その初めで，Zermelo Zermeloは，
略す
と書いているし，Zermelo [18],下線の公理の命題の間の独立性についての，より踏み込んだ議論は，Fraenkelらである．無限公理の1922年の論文[7]までなされていないように思えるか(無限集合の存在を主張する公理)性はの集合論の他の公理からの独立(集合論のすべての公理を含む体系の中で), Hω (hereditarily f initeな集合の全体)と，この上に$\in$関係を制限したものの組からなる構造を作ると，そこでは，無限公理以外の集合論のすべてが成り立つことが確かめられ，そのことから「集合論の公理系が無矛盾なら，集合論の公理系から無限公理を除いた体系から無限公理は導かれない」ことが導かれるとして示すことができる．もちろん，[集合論の公理系が無矛盾なら」は，不完全性定理以降の時代に生きる我々の後知恵であるが(9),
略す
(引用終り) [] - [ここ壊れてます]
- 462 名前：１３２人目の素数さん [2025/02/09(日) 20:15:46.03 ID:KVhWlXEd.net]
- >>434
>>>lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！
>>は、ある不明なものを別の不明なもので定義しただけであり、
>>結局何の定義にもなっていない。
>良いんじゃね？ それで
だめだろ それじゃ
定義とは何かも知らぬエテ公は山に帰れ
- 463 名前：１３２人目の素数さん [2025/02/09(日) 20:18:55.82 ID:KVhWlXEd.net]
- >>434
> ゲーデルの不完全性定理の示すところ、
> ZFCで否定も肯定もできない命題が存在するよね
> だから、
> ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”
> はあり
だからの前後が繋がんねえよバカ
論理が判らぬエテ公は山に帰れ
二度とゲーデルの名前を口にするんじゃねえ
焼いて食っちまうぞ
- 464 名前：１３２人目の素数さん [2025/02/09(日) 20:21:19.32 ID:KVhWlXEd.net]
- >>434
> そもそもが、無限公理についても デデキントは
> ”無限集合の存在”が 証明できると考えていたのです
> しかし、”無限集合の存在”は、他の公理から証明することができないとわかって
> ”無限集合の存在”の公理を置いた（いわゆる無限公理）
だから何？
正則性公理と矛盾する定義をする馬鹿はいねえよ
六甲山のエテ公の貴様以外にはな！
- 465 名前：１３２人目の素数さん [2025/02/09(日) 20:26:40.74 ID:KVhWlXEd.net]
- >>434
> 「無限とはなんぞや？」 だが、
> ”無限”を言葉で書くとまずい
> 言葉で書くと、その書いたことばをまた定義しなければならない・・
> と 無限に後退してしまう
> だから、”無限集合”を公理としておいた
> だったら、それに準じて 必要ならば
> ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”
> は、ありだろ？
> それが、従来の集合と異なる？ それがどうした？
ないな
正則性公理と矛盾するだろが、タコ！
正則性公理を否定するというなら構わんが、
そのかわり∈帰納法は使えなくなるぞ
そういう影響を全部理解していってんのか？タコ！
- 466 名前：１３２人目の素数さん [2025/02/09(日) 20:29:22.66 ID:KVhWlXEd.net]
- 「任意の正方行列は逆行列を持つ正則行列である」とか
「ZFで通常の実数の定義をしても、実数のコーシー列が極限を持つとは証明できない」とか
根拠もなく口から出まかせいうエテ公は数学板に書き込むんじゃねえ
- 467 名前：１３２人目の素数さん [2025/02/09(日) 21:13:10.50 ID:erxXzwp/.net]
- >>434
>それが、従来の集合と異なる？ それがどうした？
ZFになぜ正則性公理が存在しているか考えたことも無いおサルさんが、正則性公理違反？上等だ！と、開き直っちゃったとさ
- 468 名前：１３２人目の素数さん mailto:sage [2025/02/09(日) 21:32:26.43 ID:KVhWlXEd.net]
- 箱入り無数目で確率１－εで勝つ方法を認めないというから
じゃ選択公理完全否定だねといったらなんかしらんが
ムキになって選択公理完全死守とかいいだしたから
考えなしの大馬鹿野郎なんでしょうな エテ公は
- 469 名前：現代数学の系譜 雑談 [2025/02/09(日) 21:50:16.63 ID:lz6oAIdr.net]
- >>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の通り）
いやさ、そう定義すれば良いだけのことだよｗ ；ｐ）
- 470 名前：１３２人目の素数さん [2025/02/09(日) 22:00:53.74 ID:erxXzwp/.net]
- >>442
>・・{{{}}}・・ も良いんじゃね？
・・{{{}}}・・って何？
- 471 名前：１３２人目の素数さん [2025/02/09(日) 22:25:41.31 ID:erxXzwp/.net]
- >>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,・・}の元であることが許されないと？
- 472 名前：１３２人目の素数さん [2025/02/09(日) 22:27:01.81 ID:bOyjY4Ig.net]
- むずかしい
- 473 名前：１３２人目の素数さん [2025/02/09(日) 22:28:24.88 ID:erxXzwp/.net]
- おサルさんは数学を根本から分かってないね
こりゃ重症だわ
- 474 名前：１３２人目の素数さん [2025/02/09(日) 22:29:27.91 ID:erxXzwp/.net]
- >>445
こんな簡単なことも難しいなら小学校からやり直せば？
- 475 名前：１３２人目の素数さん [2025/02/09(日) 22:30:31.39 ID:bOyjY4Ig.net]
- 難しい
- 476 名前：１３２人目の素数さん [2025/02/09(日) 22:31:42.62 ID:bOyjY4Ig.net]
- 日本語が変なので
- 477 名前：１３２人目の素数さん [2025/02/09(日) 22:33:44.21 ID:erxXzwp/.net]
- 変なのは君の頭では？
- 478 名前：１３２人目の素数さん [2025/02/09(日) 22:36:52.74 ID:bOyjY4Ig.net]
- 444の日本語が変でないとでも？
- 479 名前：１３２人目の素数さん [2025/02/09(日) 22:41:13.37 ID:erxXzwp/.net]
- おサルさんさあ、まずこれに答えてよ
{・・{{{}}}・・}_ωは何か？
{・・{{{}}}・・}_ωが集合ならその元は何か？
・・{{{}}}・・は何か？ {・・{{{}}}・・}_ωと同じもの？ 違うもの？
そこはっきりせんと話にならんから
- 480 名前：１３２人目の素数さん [2025/02/09(日) 22:41:43.83 ID:erxXzwp/.net]
- どこが変と？
- 481 名前：１３２人目の素数さん [2025/02/09(日) 22:45:35.14 ID:bOyjY4Ig.net]
- >>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,・・}の元であることが許されないと？
- 482 名前：１３２人目の素数さん [2025/02/09(日) 22:49:03.93 ID:erxXzwp/.net]
- >>454
頭おかしいの？
- 483 名前：１３２人目の素数さん [2025/02/09(日) 22:53:53.92 ID:erxXzwp/.net]
- ID:bOyjY4Igは認知症？ 会話も成立しないし頭おかしいみたいだけど
- 484 名前：現代数学の系譜 雑談 [2025/02/09(日) 22:58:34.94 ID:lz6oAIdr.net]
- >>443-445
>むずかしい
ご苦労さまです
ID:bOyjY4Ig は、御大か
巡回ありがとうございます
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ ∈{・・{{{}}}・・}_ω
ここで、カッコ{}の多重度を導入しよう
{}は、カッコの多重度0
{{}}は、カッコの多重度1
{{{}}}は、カッコの多重度2
{{{{}}}}は、カッコの多重度3
・
・
・
{・・{{{}}}・・}_ωは、カッコ{}の多重度ω
となる。それだけのことよ
N={0,1,2,・・,n,n+1,・・}で
一番外側の括弧を外した0,1,2,・・,n,n+1,・・ は、任意有限の自然数の元が並んでいる状態だね
{・・{{{}}}・・}_ωで
一番外側の括弧を外した ・・{{{}}}・・ は、任意有限のカッコ{}の自然数多重度を表す
そう解釈すれば 良いんじゃね？ｗ
簡単な話だよｗｗ ；ｐ）
- 485 名前：１３２人目の素数さん [2025/02/09(日) 23:12:03.30 ID:bOyjY4Ig.net]
- >>456
タイポさえわからない？
- 486 名前：１３２人目の素数さん [2025/02/09(日) 23:17:32.26 ID:erxXzwp/.net]
- >>457
>一番外側の括弧を外した ・・{{{}}}・・ は、任意有限のカッコ{}の自然数多重度を表す
意味不明
- 487 名前：１３２人目の素数さん [2025/02/09(日) 23:18:19.39 ID:erxXzwp/.net]
- >>458
何が誤記と？
- 488 名前：１３２人目の素数さん [2025/02/09(日) 23:19:15.61 ID:erxXzwp/.net]
- >>457
なんで>>452に答えないの？ 話にならんよ
- 489 名前：１３２人目の素数さん [2025/02/09(日) 23:21:08.65 ID:erxXzwp/.net]
- >>457
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ ∈{・・{{{}}}・・}_ω
”∈{・・{{{}}}・・}_ω”の左隣は何？
- 490 名前：１３２人目の素数さん [2025/02/09(日) 23:33:21.27 ID:bOyjY4Ig.net]
- >>460
・・{{{}}}・・とかいう訳の分からいものと違って。
- 491 名前：１３２人目の素数さん [2025/02/09(日) 23:34:30.56 ID:erxXzwp/.net]
- >>457
{・・{{{}}}・・}_ωは集合？ 集合の場合濃度は？
- 492 名前：現代数学の系譜 雑談 [2025/02/09(日) 23:36:56.52 ID:lz6oAIdr.net]
- >>457 補足
余談だが、望月氏のIUT理論で、下記のグロタンディーク宇宙 を導入して ZFCGで彼の理論を展開したという
グロタンディーク宇宙とは？ 到達不能基数 なり～！ｗ
最初聞いたとき、「到達不能基数？ なんじゃらほい？」と思ったけれど
慣れとは恐ろしいもので、「到達不能基数？ ああ、そういうこと？」って感じになってきたｗ ；ｐ）
要するに、ZFC公理系からは・・（だけでは？）到達できない 基数を導入するらしい
「それは、なんだ？」と聞かれたら？ 「到達不能基数です」と答える？ｗ
わけわからんでしょ？ｗｗ
とりあえずは、そういうのもありなんだよ。21世紀の数学ではねｗｗｗ ；ｐ）
(参考)
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示すため集合 x を選ぶ。
(C) によって、|y| < κ となるような強到達不能基数 κ が存在する。u(κ) を前項の宇宙とする。
x は型 κ であり、x ∈ u(κ)。宇宙の公理 (U) から巨大基数の公理 (C) が導かれることを示すために κ を基数とする。κ は集合なのでグロタンディーク宇宙 U の元である。U の濃度は κ より大きな強到達不能基数となる。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
強到達不能基数の存在は ZFC からは証明できないため、空集合と
Vω 以外の宇宙の存在はどれも ZFC から証明することができない。
- 493 名前：１３２人目の素数さん [2025/02/09(日) 23:38:34.50 ID:erxXzwp/.net]
- >>465
>余談だが
余談は不要
- 494 名前：１３２人目の素数さん [2025/02/09(日) 23:39:05.78 ID:erxXzwp/.net]
- おサルが余談でごまかして逃げようとしてるね
- 495 名前：１３２人目の素数さん [2025/02/09(日) 23:40:02.87 ID:erxXzwp/.net]
- {・・{{{}}}・・}_ωだの・・{{{}}}・・だの言い出したの君なんだからちゃんと答えなさいよ
- 496 名前：１３２人目の素数さん [2025/02/09(日) 23:41:55.30 ID:erxXzwp/.net]
- おサルは答えに困るといつも逃げるね
だからヒトとして認められないんだよ
- 497 名前：１３２人目の素数さん [2025/02/09(日) 23:45:32.74 ID:bOyjY4Ig.net]
- ほっとけ
- 498 名前：１３２人目の素数さん [2025/02/10(月) 00:10:39.68 ID:91wxmWNw.net]
- >>ID:erxXzwp/
・・{{{}}}・・とかいう訳の分からいものと違って。
- 499 名前：１３２人目の素数さん [2025/02/10(月) 05:29:38.21 ID:6fwmQoR3.net]
- >>471
つまらんタイポでわからないというとか人格障害者
●ね 糞爺
- 500 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 05:36:22.66 ID:6fwmQoR3.net]
- > ふっふ、ほっほ
毎度毎度気持ち悪い笑い方しやがって、馬鹿かこいつ
> 無限公理で導かれる 無限集合の全自然数の集合
> N:={0,1,2,・・,n,n+1,・・}
> で？ これ（無限集合 N)に、前者は存在しないよ
それはヒトの俺様がサルの貴様に教えてやったことだろ
Nの要素に最大元は存在するか？ しないだろ
だからNの前者は存在しない
どんな順序数の部分集合にも必ず最小元は存在する
一方最大元は存在しない場合がある
これ豆な 覚えとけ サル！
- 501 名前：１３２人目の素数さん [2025/02/10(月) 05:43:10.59 ID:6fwmQoR3.net]
- > N:={0,1,2,・・,n,n+1,・・}
> で？ これ カッコ{} 外して良いの？
全然かまわん
そんな初歩さえ、他人に聞かんとわからんか？
大学１年の数学で落ちこぼれた万年高卒の
”職業訓練学校”工学部卒の社奴は
> 0,1,2,・・,n,n+1,・・ ですよね
そうとも
0も1も2も
どの要素をとっても必ず最外の{}が存在し
{}を外す行為を繰り返せば、有限回で空集合に至る
どの要素を選んだとしても、だ
それが正則性公理
それゆえ∈から整礎関係が得られる
初歩の初歩 そんなことも知らんかったのか？サル
> ここの”・・ ”は、許される？
何が問題？ 何も問題ない！
そんな初歩さえ、他人に聞かんとわからんか？
大学１年の数学で落ちこぼれた万年高卒の
”職業訓練学校”工学部卒の社奴は！
- 502 名前：１３２人目の素数さん [2025/02/10(月) 05:49:57.66 ID:6fwmQoR3.net]
- >>442
> N:={0,1,2,・・,n,n+1,・・}
> で？ これ（無限集合 N)に、前者は存在しないよ
> で？ これ カッコ{} 外して良いの？
> で？ ここの”・・ ”は、許される？
全部Yes
> だったら、”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”で
> ω := {・・{{{}}}・・}_ω にも、前者は存在しない！
No
唯一の要素・・{{{}}}・・が最大元
もし存在しないといいたいなら
ω := ・・{{{}}}・・
とせねばならんが・・・
> ”・・ ”が、許されるならば
> ・・{{{}}}・・ も良いんじゃね？
だめ
・・{{{}}}・・は集合でない
> 片側の”・・ ”が許されて、両側だめ？ なんで？
は？片側の”・・ ”が許されて？
いつどこで片側の”・・ ”が許されたんだ？
貴様、書いてあることも読めぬ馬鹿か？ サル！
- 503 名前：１３２人目の素数さん [2025/02/10(月) 05:54:04.33 ID:6fwmQoR3.net]
- >>444
>>だから、おっさんの言っている 難癖はさ
>>全部、N:={0,1,2,・・,n,n+1,・・} にも、
>>当てはまっているんじゃない？ｗ ；ｐ）
> ぜんぜん
> {0,1,2,・・,n,n+1,・・}の元は一番外側の括弧を外した0,1,2,・・,n,n+1,・・じゃん。
> 元がはっきりしてるじゃん。
> ・・{{{}}}・・とかいう訳の分から"な"いものと違って。
そのとおり
まったくよくわかる！
どこがどう脱字かも含めてｗ
（上記ではわざと””つきで一字挿入した）
サルはマジで頭が悪い
爺ィはマジで意地悪い
- 504 名前：１３２人目の素数さん [2025/02/10(月) 06:01:39.31 ID:6fwmQoR3.net]
- ID:bOyjY4Ig は 意地悪爺
445 むずかしい
448 難しい
449 日本語が変なので
451 日本語が変でないとでも？
458 タイポさえわからない？ <
- 505 名前：br> 463 ・・{{{}}}・・とかいう訳の分からいものと違って。
「意地悪爺」は自分がID:erxXzwp/の脱字をあげつらうことは
ID:erxXzwp/が◆yH25M02vWFhPの初歩的誤りをあげつらうことと
同じだといいたいようだが全然違う
ID:erxXzwp/の脱字はただのケアレスミス
しかし◆yH25M02vWFhPの初歩的誤りは根本的な不勉強
ケアレスミスと不勉強を一緒にする馬鹿がいるか！戯け！ [] - [ここ壊れてます]
- 506 名前：１３２人目の素数さん [2025/02/10(月) 06:05:23.44 ID:6fwmQoR3.net]
- >>465
> グロタンディーク宇宙とは？ 到達不能基数 なり～！
> 最初聞いたとき、「到達不能基数？ なんじゃらほい？」と思ったけれど
> 慣れとは恐ろしいもので、「到達不能基数？ ああ、そういうこと？」って感じになってきた
ωは・・・到達不能基数なり～
サルはきっと吠えるはず 「ωが到達不能基数？ なんじゃらほい？」
無能とは恐ろしいもの 到達不能基数の定義も知らずに、ただ慣れるだけで分かったと誤解する
- 507 名前：１３２人目の素数さん [2025/02/10(月) 06:14:45.45 ID:6fwmQoR3.net]
- >要するに、ZFC公理系からは・・（だけでは？）到達できない 基数を導入するらしい
>「それは、なんだ？」と聞かれたら？ 「到達不能基数です」と答える？ｗ
具体的に書けないサルは到達不能基数の定義を知らんな
正則基数Oでo<Oである基数oすべてについて、2^o<Oであるもの
これが”強”到達不能基数
有限基数の場合は正則とかいわないが、仮にそうだと認めると
o<ωである基数oすべてについて、2^o<Oであるから”強”到達不能基数
> わけわからんでしょ？
> とりあえずは、そういうのもありなんだよ。21世紀の数学ではね
わけわからんのは、貴様が定義すら確認しないサルだから
だから20世紀の数学も理解できんのだ 馬鹿！
- 508 名前：１３２人目の素数さん [2025/02/10(月) 06:17:52.92 ID:6fwmQoR3.net]
- おサルの、やめたほうがいい悪癖
１．●った固定ハンドルネーム＆トリップをやめる
２．闇雲に（参考）とかいってリンクを張り、全文コピペするのをやめる
そもそもここに書き込む前に、大学１年の微分積分と線形代数のテキストを読み直して理解しろ
それが貴様がまっさきにやること
- 509 名前：１３２人目の素数さん [2025/02/10(月) 06:49:09.63 ID:91wxmWNw.net]
- >ここに書き込む前に、大学１年の微分積分と線形代数のテキストを読み直して理解しろ
わからない
- 510 名前：１３２人目の素数さん [2025/02/10(月) 06:56:25.72 ID:6fwmQoR3.net]
- >>481 黙れ糞爺ｗ
- 511 名前：１３２人目の素数さん [2025/02/10(月) 07:01:23.65 ID:91wxmWNw.net]
- フン
- 512 名前：１３２人目の素数さん [2025/02/10(月) 07:38:55.77 ID:6fwmQoR3.net]
- 爺ィは５ｃｈであそんでないで研究してろ
それ以外 人類に貢献できないんだから
- 513 名前：１３２人目の素数さん [2025/02/10(月) 07:53:41.18 ID:6fwmQoR3.net]
- おサルがここに書き込む条件
１．固定ハンドルネーム＆トリップの禁止
２．（参考）と称した後のリンクの貼付、全文コピペ
３．大学１年の微分積分・線形代数・集合論の初歩レベルで間違った書き込みの抑制
この３条件を満たさぬ書き込みは徹底的に焼きまくる
- 514 名前：１３２人目の素数さん [2025/02/10(月) 07:54:15.11 ID:6fwmQoR3.net]
- おサルがここに書き込む条件
１．固定ハンドルネーム＆トリップの禁止
２．（参考）と称した後のリンクの貼付、全文コピペの禁止
３．大学１年の微分積分・線形代数・集合論の初歩レベルで間違った書き込みの抑制
この３条件を満たさぬ書き込みは徹底的に焼きまくる
- 515 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2025/02/10(月) 07:56:45.59 ID:fq1QO0q/.net]
- >>461-464
ふっふ、ほっほ
>{・・{{{}}}・・}_ωは集合？ 集合の場合濃度は？
・{・・{{{}}}・・}_ωの濃度は1と定義する
有限の単元集合たちのω親分として定義する
アレクサンドロフの一点コンパクト化として正当化できる ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
・{・・{{{}}}・・}_ω が、ZFC内に収るかどうかは知らない
ZFC外であったとしても、集合と定義すれば良い
”数の歴史とは、ないなら作ってしまえ、という歴史の積み重ね”>>404
これは、良いことを一つ言ったな。ないなら、集合を一つ作ってしまえ！ だね
>>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ ∈{・・{{{}}}・・}_ω
>”∈{・・{{{}}}・・}_ω”の左隣は何？
・{・・{{{}}}・・}_ω には、左隣＝前者 は、存在しない
あたかも、ノイマン構成のω=N={0,1,2,・・,n,n+1,・・} に、前者が存在しないのと同じだよｗ ；ｐ）
- 516 名前：１３２人目の素数さん [2025/02/10(月) 08:10:02.30 ID:6fwmQoR3.net]
- >>487
>・{・・{{{}}}・・}_ωの濃度は1と定義する
>・{・・{{{}}}・・}_ω には、左隣＝前者 は、存在しない
はい、矛盾
濃度１なら、要素が１つ存在するから、その唯一の要素が前者とならざるを得ない
前者が存在しないなら、要素がないか、無数にあって最大元が存在しないか、のいずれか
後者がないなら、前者しかないから、空集合、ということになる
この瞬間、◆yH25M02vWFhPは死んだ
だからいってるだろう 大学１年の集合論を１からやりなおせ、と
- 517 名前：１３２人目の素数さん [2025/02/10(月) 08:11:39.23 ID:6fwmQoR3.net]
- > ”数の歴史とは、ないなら作ってしまえ、という歴史の積み重ね”
> これは、良いことを一つ言ったな。ないなら、集合を一つ作ってしまえ！ だね
「集合論の公理に矛盾せずして」が抜けた
貴様の馬鹿定義は思いっきり公理と矛盾する
馬鹿は勉強せずに口から出まかせの嘘書くな
ここは幼稚園じゃねえ！
- 518 名前：１３２人目の素数さん [2025/02/10(月) 08:14:17.78 ID:6fwmQoR3.net]
- 自然数も負数も分数も実数も複素数も集合として定義できる
ここで
・自然数は無限公理を必要とする
・実数は位相的な拡大である
・他は代数的な拡大である
- 519 名前：１３２人目の素数さん [2025/02/10(月) 08:14:54.65 ID:91wxmWNw.net]
- >ここは幼稚園じゃねえ！
「便所だ」
- 520 名前：１３２人目の素数さん [2025/02/10(月) 08:16:11.10 ID:6fwmQoR3.net]
- >>491
ここは便所ではないので💩禁止ｗ
- 521 名前：１３２人目の素数さん [2025/02/10(月) 08:18:11.59 ID:6fwmQoR3.net]
- 実数の定義も知らず、線形独立の定義も確認法も知らぬ
高卒素人のエテ公が人間面してわけのわからんコピペとかするな
１００年、１０００年、いや、１００００年早ぇ！
- 522 名前：１３２人目の素数さん [2025/02/10(月) 08:18:45.51 ID:91wxmWNw.net]
- >>492
一般的には
「便所である」という声が優勢
- 523 名前：１３２人目の素数さん [2025/02/10(月) 08:19:21.24 ID:6fwmQoR3.net]
- 大学の名誉教授ともあろうものが
大学１年の微積と線形代数で落ちこぼれた典型的劣等生を
無条件で庇いまくる気持ち悪さは格別
- 524 名前：１３２人目の素数さん [2025/02/10(月) 08:24:46.79 ID:91wxmWNw.net]
- 特にかばっているつもりはない
- 525 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 08:26:12.72 ID:YxzqkN0R.net]
- >>407
私は考えることを楽しんでいるのであって、決して「努力家」ではない
- 526 名前：１３２人目の素数さん [2025/02/10(月) 08:27:32.14 ID:91wxmWNw.net]
- 考えることを楽しんでいる者を見るのは楽しい
- 527 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 08:38:27.78 ID:YxzqkN0R.net]
- >>498
ウンウン唸って考えること好きだろ？
プロ棋士になると厳しい職業だけど、
将棋や囲碁などの勝負事もその一つ
- 528 名前：１３２人目の素数さん [2025/02/10(月) 08:41:00.52 ID:91wxmWNw.net]
- 楽しみ方が人それぞれであることも
面白い
- 529 名前：１３２人目の素数さん [2025/02/10(月) 08:47:01.09 ID:6fwmQoR3.net]
- 考えるのは勝手だが
簡単な矛盾に気づかぬほど自省心がないことは
真っ先に責められるべき欠陥
- 530 名前：１３２人目の素数さん [2025/02/10(月) 08:48:23.00 ID:6fwmQoR3.net]
- 名誉教授が素人を甘やかすのは
他人をあまねく侮蔑してる証拠
あふれまくった自己愛が気持ち悪い
- 531 名前：１３２人目の素数さん [2025/02/10(月) 08:49:40.51 ID:6fwmQoR3.net]
- ここを便所だと思いたがるのも他人を侮蔑しているから
そうでなければそんな●ったことは決して思わない
仮に便所だとしても掃除しない理由にはならん
- 532 名前：１３２人目の素数さん [2025/02/10(月) 08:51:17.80 ID:91wxmWNw.net]
- 掃除したかったら
ヘラクレスを呼んで来い
- 533 名前：１３２人目の素数さん [2025/02/10(月) 08:52:03.03 ID:6fwmQoR3.net]
- サル「ここは便所だ！💩する権利がある！」
ヒト「掃除する権利もある ついでにいうとここは水洗だからちゃんと流せや（ジャー）」
- 534 名前：１３２人目の素数さん [2025/02/10(月) 08:52:54.18 ID:6fwmQoR3.net]
- >>504
俺がヘラクレスだｗ
- 535 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 08:54:11.07 ID:YxzqkN0R.net]
- >>501
簡単な矛盾だったら、ハーディーがその矛盾に気付かない訳がない
- 536 名前：１３２人目の素数さん [2025/02/10(月) 08:55:25.20 ID:6fwmQoR3.net]
- ハーディ？ 喜劇役者か？ｗ
で、そのハーディがどんな矛盾に気づかなかった、と？
具体的に書けや 意地悪爺
- 537 名前：１３２人目の素数さん [2025/02/10(月) 08:58:54.07 ID:6fwmQoR3.net]
- サルがラマヌジャンほど興味深い成果を出すなら
もちろん数学の初歩についていちいちあげつらうことはしない
しかし実際はサルは何も興味深い成果など出さないのだから
数学の初歩から教育したほうが有意義だろう
ただのワカランチンをラマヌジャンだと勘違いする似非ハーディの糞爺にはなりたくねぇな
- 538 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 09:00:58.75 ID:YxzqkN0R.net]
- >>508
ハーディ―は実解析でもリトルウッドと一緒に名を残している
そのハーディーは、オイラーの定数γの無理性の証明を試みたが出来なかったという
- 539 名前：１３２人目の素数さん [2025/02/10(月) 09:06:30.44 ID:6fwmQoR3.net]
- ああ、ID:YxzqkN0Rは理科大卒のオチコボレか
もちろん、凡人の俺様にオイラーの定数γが無理数だと証明できるわけではない
解析学でγが無理数だと証明できるかどうかもわからん
挑戦するのは勝手だが、自分の証明の中の初歩的な誤りすら見つけられない奴が
俺様は天才だぁぁぁ！！！と�
- 540 名前：站ｩするのを見ると、こいつは正真正銘の●違いだと思う
天才になりたがるのがそもそも●違い そんなもの自慢にもなんにもなりゃしねぇ [] - [ここ壊れてます]
- 541 名前：１３２人目の素数さん [2025/02/10(月) 09:12:32.77 ID:91wxmWNw.net]
- ●違いは掃除できない
ほっとけ
- 542 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 09:16:03.06 ID:YxzqkN0R.net]
- >>511
微積分が解析学の初歩であることは否めない
無限級数で定義されたeの無理性の証明も微積分で出来る
- 543 名前：１３２人目の素数さん [2025/02/10(月) 09:18:33.77 ID:6fwmQoR3.net]
- > ●違いは掃除できない ほっとけ
Q1 上記の発言は◆yH25M02vWFhPが●違いだといってるのか？
Q2 ほっとけ、というからには、私は●違いでないと思ってるのか？
どちらもYesであるなら、提言については考慮せんでもない
要するに名誉教授が◆yH25M02vWFhPを●違いだと宣言することが重要
- 544 名前：１３２人目の素数さん [2025/02/10(月) 09:20:07.51 ID:6fwmQoR3.net]
- >>513
> 無限級数で定義されたeの無理性の証明も微積分で出来る
今ここでそれを示してくれたまえ
それで貴様が微積分を理解してるか否か判定しよう
- 545 名前：１３２人目の素数さん [2025/02/10(月) 09:21:05.58 ID:91wxmWNw.net]
- >eの無理性の証明も微積分で出来る
πの無理性の証明には使うが
eの無理性の証明はもっと初等的
- 546 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 09:22:26.35 ID:YxzqkN0R.net]
- >>515
テキストに証明は書いてある
君が知らないだけ
- 547 名前：１３２人目の素数さん [2025/02/10(月) 09:23:41.29 ID:6fwmQoR3.net]
- >>516
どっちの証明も示して、主張の正当性を示してくれたまえ
- 548 名前：１３２人目の素数さん [2025/02/10(月) 09:24:42.81 ID:6fwmQoR3.net]
- >>515
証明は知っている
君が理解できているならここに書けるはず
理解できてない馬鹿が、コピペでごまかすｗ
- 549 名前：１３２人目の素数さん [2025/02/10(月) 09:25:26.83 ID:91wxmWNw.net]
- >>514
一般的に
Xが●違いであるかないかにかかわらず
Xが●違いを掃除することは不可能であろう
- 550 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 09:28:02.15 ID:YxzqkN0R.net]
- >>519
君のためにタイプしてレスするのが面倒臭い
- 551 名前：１３２人目の素数さん [2025/02/10(月) 09:32:12.43 ID:6fwmQoR3.net]
- >>514
私は◆yH25M02vWFhPを締め出すことで数学板を掃除しようとしている
これに対し君は「●違いは掃除できない ほっとけ」と言った
この言葉は、以下の二条件を満たさない限り無意味
１．◆yH25M02vWFhP は●違いである
２．私、ID:6fwmQoR3は●違いでない
もし１が成り立たないなら、◆yH25M02vWFhPが掃除できない対象とは言えない
もし２が成り立たないなら、ほっとけといっても従わないから意味がない
１は正しいのかね？ 然りというなら、２が正しいことを示してやろう
- 552 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 09:33:22.71 ID:YxzqkN0R.net]
- >>520
まあ、そうだよな
一般に、他人は機械ではなく自分の思うようには動かない
- 553 名前：１３２人目の素数さん [2025/02/10(月) 09:33:28.39 ID:6fwmQoR3.net]
- >>521
理解できてないことを面倒だと言い訳するのがみっともない
理解もできてないことを書くな
- 554 名前：１３２人目の素数さん [2025/02/10(月) 09:36:22.49 ID:6fwmQoR3.net]
- >>523
一般に●違いは自分が●違いだと認めず
いつまでもいつまでも●違い続ける
わかりもせんことをコピペして自慢する●違い
論理的に間違った証明を書いて自慢する●違い
そんな●違いに寛容さを示しいい人ぶる●違い
どいつもこいつもろくでもない奴ら
- 555 名前：１３２人目の素数さん [2025/02/10(月) 09:38:21.80 ID:6fwmQoR3.net]
- 一番目障りなのは検索コピペ●違い
次に目障りなのは自己流証明●違い
この２匹がいなくなれば数学板はマシになる
- 556 名前：１３２人目の素数さん [2025/02/10(月) 09:39:36.65 ID:91wxmWNw.net]
- 寛容と忍耐を学んだ方がよい
- 557 名前：１３２人目の素数さん mailto:sage [2025/02/10(月) 09:41:52.13 ID:YxzqkN0R.net]
- >>524
あれは理解する証明ではなく再構成する証明で、
その証明はeの無理数度が2であることを示している
- 558 名前：１３２人目の素数さん [2025/02/10(月) 09:42:47.11 ID:6fwmQoR3.net]
- ２匹は症状は異なるが大学１年の微積と線形代数の初歩から分かってない点では同じ
だからやることなすことすべてがトンチンカン
論理が理解できないというのはヒトとしての知能がないのと同じ
芸だけ覚えるならサルでもできる
日本の学校教育はサルが秀才といわれるが
そんな秀才が大学でサルだとバレて落伍する
サルは大学にいくべきではない
なお、工学部は、医学部や法学部と同様、大学ではなく職業訓練学校
医療技能を医学、法律知識を法学、と呼ぶのは詐欺である
|
 |
