ガロア第一論文と乗数イデアル他関連資料スレ16

1 名前：１３２人目の素数さん [2025/04/17(木) 23:15:42.72 ID:a3KzsPE4.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1741617540/1- 前スレ ガロア第一論文と乗数イデアル他関連資料スレ15 このスレは、ガロア第一論文と乗数イデアル他関連資料スレです 関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります） 資料としては、まずはこれ 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) あと、テンプレ順次 つづく 116 名前：１３２人目の素数さん [2025/04/23(水) 16:15:21.62 ID:OCyQxe6Y.net] >>106 >>　この順序は任意に定めることができ、選択公理と同値な命題です。』（by "整列可能定理 順序は任意" に対する回答） >>　ツッコミ お願いしますｗｗｗ　；ｐ） >じゃ実数の整列順序を一つ示してみて。任意に定めることができるんでしょ？ ふっふ、ほっほ 君は、下記の ” 1904年、ギュラ・ケーニヒ”か？ ｗｗ　；ｐ） さらに 下記 ”しかし、整列定理を視覚化することは困難、あるいは不可能であると考えられている。 R、すべての実数の集合である。そのような視覚化には選択公理を組み込む必要がある。[ 5 ] （原文：However, it is considered difficult or even impossible to visualize a well-ordering of R, the set of all real numbers; such a visualization would have to incorporate the axiom of choice.[5]）” とあるのを 百回音読してねｗ　；ｐ） 君は、下記の”整列定理を視覚化することは困難、あるいは不可能であると考えられている （However, it is considered difficult or even impossible to visualize a well-ordering of R, the set of all real numbers; such a visualization would have to incorporate the axiom of choice）” を、整列不可能と 勘違いしているね！！ｗｗ さて、任意整列について 補足するよ いま実数 Rから （有限の場合も含め）可算集合A を取り出し、残部をR'と書く まず 可算集合Aの元を 可算整列可能定理で 任意に整列させ、その次に 残部をR'に 整列可能定理を使って整列させた元を直列して 実数Rの整列を得る このとき、可算集合Aの選び方が全く任意であり、またその整列のさせ方も任意だ もっと任意にしたければ、残部をR'から 再び 可算集合A'を取り出して 同ｂｶことができる （可算集合Aとしたが、可算に限る必要がないことは自明） あるいは別に 実数Rを 任意二つの部分R1とR2に分けて整列させ、各R1とR2を直列につなぐもよし トランプカードのシャッフルのように R1とR2の元を交互に入れての整列もあり このように 人が いろいろ考え得る方法による任意性は 担保されている　；ｐ） つづく 117 名前：１３２人目の素数さん [2025/04/23(水) 16:15:39.01 ID:OCyQxe6Y.net] つづき (参考) https://en.wikipedia.org/wiki/Well-ordering_theorem Well-ordering theorem （google訳） 歴史 ゲオルク・カントールは、整列定理を「思考の基本原理」とみなした。[ 4 ] しかし、整列定理を視覚化することは困難、あるいは不可能であると考えられている。 R、すべての実数の集合である。そのような視覚化には選択公理を組み込む必要がある。[ 5 ] （原文：However, it is considered difficult or even impossible to visualize a well-ordering of R, the set of all real numbers; such a visualization would have to incorporate the axiom of choice.[5]） 1904年、ギュラ・ケーニヒは、そのような整列は存在し得ないことを証明したと主張した。数週間後、フェリックス・ハウスドルフは証明に間違いを見つけた。[ 6 ] しかし、第一階述語論理では、整列定理は選択公理と等価であることが判明した。 つまり、選択公理が含まれたツェルメロ–フランケル公理​​は整列定理を証明するのに十分であり、 逆に、選択公理は含まれないが整列定理が含まれたツェルメロ–フランケル公理​​は選択公理を証明するのに十分である。 （同じことはゾルンの補題にも当てはまる。） しかし、第二階述語論理では、整列定理は選択公理よりも厳密に強い。 すなわち、整列定理から選択公理を演繹できるが、選択公理から整列定理を演繹することはできない。[ 7 ] (引用終り) 以上 118 名前：１３２人目の素数さん mailto:sage [2025/04/23(水) 16:24:01.88 ID:yaKuxqPL.net] >>110 >君は、” 1904年、ギュラ・ケーニヒ”か？ ジュラな 119 名前：１３２人目の素数さん [2025/04/23(水) 17:38:40.37 ID:46VexLHs.net] >>110 講釈は不要。実数の整列順序を示せ。 てかそう言ったよな？　なんで示さんの？ 120 名前：１３２人目の素数さん [2025/04/23(水) 17:46:18.13 ID:46VexLHs.net] まあ順序数＝序数とか言ってるバカに求めても無駄か どうせ整列順序を示せない＝整列不可能と誤解してるに決まってるしな 整列定理も盛大に誤解したままだし 121 名前：１３２人目の素数さん [2025/04/23(水) 19:31:27.08 ID:46VexLHs.net] >>113 どうせおサルさんは答えず逃げるので代わりに答えますね ZFCにおいて実数Rは整列可能だが整列順序は構成不可能 まあおサルさんに言っても猿の耳に念仏かな 122 名前：１３２人目の素数さん [2025/04/24(木) 08:36:20.92 ID:bHw680Jn.net] 好みの問題 123 名前：１３２人目の素数さん [2025/04/24(木) 10:18:01.79 ID:Fck+Zdga.net] 失せてくれるのが好み 124 名前：１３２人目の素数さん [2025/04/24(木) 10:41:11.84 ID:bHw680Jn.net] 言われなくてもわかっているので失せない 125 名前：１３２人目の素数さん [2025/04/24(木) 11:15:25.09 ID:Fck+Zdga.net] 性格わる 126 名前：１３２人目の素数さん [2025/04/24(木) 11:22:26.84 ID:x9QxorB0.net] 💩爺は他人に憎まれることでしか他人に認識されない哀しい存在 127 名前：１３２人目の素数さん [2025/04/24(木) 11:27:21.14 ID:bHw680Jn.net] 他人もいろいろ 128 名前：１３２人目の素数さん [2025/04/24(木) 16:58:28.90 ID:mLnhCbkC.net] >>109 >>かように、ツェルメロ定義の順序数の各元のカッコ{}の多重度から 順序数への対応がつく >>この順序数による整列を、ツェルメロの定義の順序数の順序Rの定義としてもいい■ >だから順序数でないと何度言えば分るのか。人の言う事を聞けないとヒトになれないぞサル。 >ZFCでは任意の集合は整列集合であり任意の整列集合は何らかの順序数と順序同型だけどね。 ふっふ、ほっほ 現代数学では、デフォは ペアノの公理を満たせば、自然数を名乗っても良いとされる 何故なら ”同型を除いてただ一つに定まる”（下記） また、ふつうの学部以上の数学では 必ずしも ZFCの内部での 数学を やらないのです！　何故なら ZFCは 余白が狭すぎる by フェルマーｗ ；ｐ） (参考) https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 ペアノの公理（英: Peano axioms） とは、自然数の全体を特徴づける公理である。ペアノの公準（英: Peano postulates）あるいはデデキント＝ペアノの公理（英: Dedekind-Peano axioms）とも呼ばれる[1][2]。1891年にイタリアの数学者ジュゼッペ・� 129 名前：yアノにより定式化された。 ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』（Grundlagen Der Analysis）がある。 回帰定理 次の主張を回帰定理（recursion theorem）という[6]。 略 回帰定理はこのような再帰的に定義される写像の存在と一意性を数学的帰納法の原理により保証する。 範疇性 集合 ℕ^ と定数 0^ と関数 S^ がペアノの公理を満たすとき組 (ℕ^, 0^, S^) をペアノ構造（Peano structure）という。ペアノ構造は同型を除いてただ一つに定まる[注 4]、つまりペアノの公理は範疇的（categorical）であることがわかる。 一方で後述するペアノ算術はレーヴェンハイム＝スコーレムの定理から超準モデルをもつので範疇的ではない。 [] [ここ壊れてます] 130 名前：１３２人目の素数さん [2025/04/24(木) 17:16:53.64 ID:mLnhCbkC.net] >>122 追加参考（下記についての細かいツッコミはなしでお願いしますｗ。自己解決願いますねｗ ；ｐ） https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合（英: well­ordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well­order) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。 例と反例 実数からなる集合 正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。 一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。 https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11259097991 chiebukuro.yahoo とある数学好きさん 2022/3/21 整列集合について、 Wikipediaでは ZFCにおいて実数の集合Rの整列順序を明示的に定義する論理式は存在しないらしいですが、 2のω乗との自然な全単射による順序は整列順序になりますがそれではいけないのですか？ ベストアンサー hanoachangさん 2022/3/22 「2のω乗との自然な全単射による順序」 これが何を指しているか明示してください。 具体的には �@2^ωは集合としての冪なのか、順序数としての冪なのか。 �A2^ωにはどのような順序を入れたのか。 �B2^ωと実数の間の全単射はどのようなものか。 の3点です。お願いします。 また、以下に一般的に知られている事実を書きます。確認をお願いします。 ・集合としての2^ωと順序数としての2^ωは、記号は同じですが異なる集合です。 ・集合としての2^ωは連続体濃度を持ち、明示できる整列順序を持ちません。 ・順序数としての2^ωは可算集合で、整列順序が定義されています。 ・集合としての2^ωと実数の間に"自然"と言える全単射は存在しません。 131 名前：１３２人目の素数さん [2025/04/24(木) 17:20:24.92 ID:mLnhCbkC.net] >>116 >好みの問題 巡回ご苦労様です 私の立てたスレを ご愛顧頂きありがとうございます （＾＾ 132 名前：１３２人目の素数さん [2025/04/24(木) 17:34:25.40 ID:Fck+Zdga.net] >>122 誰が自然数じゃないと言ったの？ 幻聴が聞こえるのかい？　病院行きなよ 133 名前：１３２人目の素数さん [2025/04/24(木) 17:39:42.03 ID:Fck+Zdga.net] おサルは自然数と順序数の区別も付かないのかい？　ダメだこりゃ そういえば順序数＝序数とかアホなこと言ってたし全然分かってないんだね 分からないなら口閉じて勉強すればいいのに、どうしてそんなにバカ自慢したがるんだか 134 名前：１３２人目の素数さん [2025/04/24(木) 18:33:17.88 ID:Xh3M3s+H.net] >>126 >どうしてそんなにバカ自慢したがるんだか 　高卒馬鹿だからでしょう 　東大でも工学部あたりにはそういう馬鹿が沢山います 　彼らは大学に入る価値がなかった　学問が理解できないんだから 　工学は所詮技術にすぎず、学問ではありません 135 名前：１３２人目の素数さん [2025/04/25(金) 06:48:33.22 ID:oZhcyuwo.net] 【閲覧注意】 政治ゴロでコピペ魔>1は数学の線形代数|・|≠0を理解できないトンデモ ↓ 0426 １３２人目の素数さん 2023/10/29(日) 14:22:15.63 IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ 136 名前：１３２人目の素数さん mailto:sage [2025/04/25(金) 08:42:49.93 ID:WWElRoA8.net] １は「逆も真なり」のウソ推論を妄信する 例えば、正方行列なら必ず逆行列が存在する、と放言する 「R^nのベクトルの集合は、その要素の数がnより多ければ、線型従属である」 1は上記の定理の逆も正しいと思い込んで、上記のホラを吹いた 「R^nのベクトルの集合は、その要素の数がn以下なら、線形独立である」 要素の数が1以下ならともかく、2以上の場合、もちろん反例がある 「逆はかならずしも真ならず」というのは高校数学の範囲 １は大学数学どころか高校数学すら正しく理解できていないことは明らか 137 名前：１３２人目の素数さん mailto:sage [2025/04/25(金) 08:48:16.05 ID:qICT0BoK.net] >>129 正確には逆じゃなく裏だった 定理　「R^nのベクトルの集合は、その要素の数がnより多ければ、線型従属である」　〇 逆　　「R^nのベクトルの集合は、線形従属ならば、その要素の数がnより多い」　　　× 裏　　「R^nのベクトルの集合は、その要素の数がn以下なら、線形独立である」　　　× 対偶　「R^nのベクトルの集合は、線型独立ならば、その要素の数がn以下である」　　〇 138 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:08:25.57 ID:V2R7/jm0.net] ある数学の概念は他人が描いたものでわかることとわからないことには差がない。もし自分の数学の議論があってもわざわざそれを自慢したがるやつはいないし自慢するやつはおかしい。社会に役立てるために数学があるのだから。 139 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:09:45.49 ID:V2R7/jm0.net] 揉めるより門戸を開いて数学の有効な人材が増える方が良い。 140 名前：１３２人目の素数さん [2025/04/25(金) 14:10:43.76 ID:iSKrIvU5.net] >社会に役立てるために数学がある 実は社会は数学の中にある 141 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:10:50.65 ID:V2R7/jm0.net] 人格が優れていない数学者は尊敬されず軽んじられる。 142 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:12:34.01 ID:V2R7/jm0.net] みんなで数学というリソースをうまく共有する社会のほうがレベルが高い。 143 名前：１３２人目の素数さん [2025/04/25(金) 14:14:41.92 ID:iSKrIvU5.net] みんなが共有できるリソースなど存在しない 144 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:20:25.25 ID:V2R7/jm0.net] 他人のために数学の叡智を使うべきで数学は自己顕示欲を満たすためのものではないはずだ。 145 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:21:27.57 ID:V2R7/jm0.net] それが数学や科学の客観性だと思う。 146 名前：１３２人目の素数さん [2025/04/25(金) 14:23:00.71 ID:iSKrIvU5.net] >数学は自己顕示欲を満たすためのものではない 発見の喜びに優る満足など考えられない 147 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:23:23.52 ID:V2R7/jm0.net] 落ちこぼれて摘まれた芽が息を吹き返しきれいな花をつけないとは限らない。 148 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:24:25.39 ID:V2R7/jm0.net] その喜びはいいことだと思うよ。 149 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:26:07.23 ID:V2R7/jm0.net] しかし数学自体が自分のものでないから負けじと張り合うことはしょうがない。真理や他人の名誉がある。 150 名前：１３２人目の素数さん mailto:sage [2025/04/25(金) 14:28:22.74 ID:Ksh2Wx4p.net] >>131 ＞社会に役立てるために数学がある 　キモチ悪っ！　なんだこの変態！ >>133 ＞実は社会は数学の中にある 　これはこれで完全に●ってそう >>135 ＞みんなで数学というリソースをうまく共有する社会 　キモチ悪っ！　なんだこの変態！ >>139 ＞発見の喜びに優る満足など考えられない 　これは全く正常な発言　なんだ133はフェイクか 151 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:28:40.76 ID:V2R7/jm0.net] 数学ができないときに陥りやすい心理はどこか似ていてパターンがあるからカウンセリングなどで復帰させよう。連中の悔しがる顔が目に浮かぶ。 152 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:29:47.12 ID:V2R7/jm0.net] まあグロテスクな数理もあるさ。 153 名前：１３２人目の素数さん mailto:sage [2025/04/25(金) 14:30:23.70 ID:XmtmsXJW.net] ・数学は社会と無関係 ・数学は全くの趣味 これが現実 154 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:31:24.43 ID:V2R7/jm0.net] コレぐらいの数学の議論じゃつまらないから先に進めようよ。 155 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:32:15.07 ID:V2R7/jm0.net] 最先端でも古典でもいいさ。 156 名前：１３２人目の素数さん mailto:sage [2025/04/25(金) 14:32:36.85 ID:XmtmsXJW.net] >>144 まったくの趣味なので「俺の方ができる」みたいな 子供みたいな言い争いは生じるが 大抵は一か月もすれば馬鹿馬鹿しくなってやめるので ほうっておいていい 何年もわけもわからぬコピペをするヤツは さすがに正真正銘の●違いなので治療が必要 だいたい大学で数学に挫折した元田舎秀才の大馬鹿 157 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:33:16.32 ID:V2R7/jm0.net] たとえは物理化するよりは古典力学の方が良い。 158 名前：１３２人目の素数さん mailto:sage [2025/04/25(金) 14:33:31.87 ID:XmtmsXJW.net] >>147 君、数学分かるの？ 中学で挫折したんじゃない？ ムリしなくていいよ 数学分かんなくても生きていけるから 159 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:34:44.17 ID:V2R7/jm0.net] 経済や経営政府予算軍備など数学は実学だ。 160 名前：１３２人目の素数さん [2025/04/25(金) 14:35:01.82 ID:XmtmsXJW.net] 素人は大体数学と物理の区別がつかずどっちも同じだと思い込んでる 全然違うけどな　物理は現実を対象とするが、数学は完全に想像の産物 数学は自然科学ではなく純然たる人文科学 161 名前：１３２人目の素数さん [2025/04/25(金) 14:36:02.87 ID:XmtmsXJW.net] >>152 経済学は現実とは全然異なるトンデモだが、 それを差し引いても　数学的にカス 一番は、複素数とか全然出てこないことｗ 162 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:36:27.63 ID:V2R7/jm0.net] オレは一橋ゼミナールとか代ゼミに行って好きな数学続けてたよ。一番だった。 163 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:37:50.51 ID:V2R7/jm0.net] 公務員試験一番で通ってから言え。 164 名前：１３２人目の素数さん [2025/04/25(金) 14:37:53.26 ID:XmtmsXJW.net] >>155 高校までの数学は実は算数 そんな幼稚な計算術で一番でも自慢にならない 実際阪大のサルは高校までは数学秀才だったらしい それで大学行ったら見事に劣等生　まあ、そんなのそこらじゅうにいるけどな 165 名前：１３２人目の素数さん [2025/04/25(金) 14:38:31.75 ID:XmtmsXJW.net] >>156 公務員になるのは人間の屑　ヤクザと同じ 166 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:39:09.94 ID:V2R7/jm0.net] 大学院生の昔の成績教授は大事にしてるさ。 167 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:43:57.09 ID:V2R7/jm0.net] たしかに少しは骨があるみたいだかどこかで落ちこぼれて時間が止まった怨念みたいにスレ主さん以外はなってるな。 168 名前：１３２人目の素数さん [2025/04/25(金) 14:51:14.42 ID:jhiIMS1A.net] >>160 一番数学に怨念があるのは自称スレ主の１だよ 君、ほんと人を見る目ないね あいつが一番●違いだから ほかはあの馬鹿に数学をおしえてやってんの しかも大学１年レベルの初歩 169 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:58:45.25 ID:V2R7/jm0.net] それはスレ主さんが下取りが上手にできてるからだよ教わることと教えることは紙一重。 170 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:00:29.02 ID:V2R7/jm0.net] コンプで性格がその他大勢のようにひねくれていない傷つく純粋だ。 171 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:01:55.66 ID:V2R7/jm0.net] そうだな数学から離れていたから自分は次席でいいよ。しかしこれからはどうかな。 172 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:02:57.20 ID:V2R7/jm0.net] 数学復帰と。 173 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:04:09.34 ID:V2R7/jm0.net] ゲーム理論ジョン・ナッシュとかも超えたさ。 174 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:06:11.62 ID:V2R7/jm0.net] オレはスレ主さんが世界で一番キレイに咲いていくと思うよ。 175 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:07:40.59 ID:V2R7/jm0.net] ちなみにオレは文系では世界首席だ。出会ったのも運命。 176 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:08:32.74 ID:V2R7/jm0.net] まあ誰でもいいけどナンパしてるだけさ。 177 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:09:03.74 ID:V2R7/jm0.net] オレは。 178 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:12:01.62 ID:V2R7/jm0.net] 文学の他に哲学、神話学、経済学、化学、医学などが飛び抜けて得意さ。受賞歴もある。結構学者の中じゃ有名人なんだけどな。 179 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:13:44.60 ID:V2R7/jm0.net] でも俺は数学や理系はまだ異端だと思うな。そういう世界を変えていくために手助けしよう。 180 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:15:12.28 ID:V2R7/jm0.net] 考古学、政治学、経営学とかも今から伸びる分野。 181 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:16:38.80 ID:V2R7/jm0.net] 法学は要衝であるがいくらかは社会学に取って代わられる。 182 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:39:32.55 ID:V2R7/jm0.net] 看護学もハマるのわかるけど栄養学つまり管理栄養士なんかが宗教食との兼ね合いで人気だよな。 183 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:42:00.39 ID:V2R7/jm0.net] 給食から店舗、病院の食事まで理論も実技も大事だし。頭が上がらんさ。 184 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:43:30.00 ID:V2R7/jm0.net] 女神神学看護を補完する意味での悪魔崇拝としての社会学とか。 185 名前：１３２人目の素数さん [2025/04/25(金) 15:54:00.37 ID:iSKrIvU5.net] 魔王崇拝を補間 186 名前：１３２人目の素数さん [2025/04/25(金) 16:01:06.73 ID:WKh+GaVo.net] ツェルメロの自然数が大好きなおサルへの問題 {},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。 １．ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。 ２．(Nz,(s:Nz→Nz,s(n)={n}),{})はペアノシステムである（ie.ペアノの公理を満たす）。 ３．ツェルメロの自然数は順序数でない。 ４．Nzは最小の極限順序数ωと順序同型である。 ５．Nz上の帰属関係∈は順序関係でない。 ６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。 187 名前：１３２人目の素数さん [2025/04/25(金) 17:48:32.44 ID:F4nQUPma.net] ホイヨ https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%E9%9B%86%E5%90%88%E8%AB%96 ツェルメロ集合論 標準的な集合論との関連 現代のZFC公理系において、分出公理における「命題関数」とは「パラメータを含む一階の論理式で定義される任意の特徴」として解釈されるため、分出公理は公理図式で置換される。「一階の論理式」という概念はツェルメロが自身の公理系を発表した1908年には知られておらず、ツェルメロは後にこの解釈をあまりにも限定的であるとして拒絶していた。ツェルメロ集合論はふつう、分出公理のそれぞれの一階の論理式を公理図式で置換した、一階理論として捉えられる。ツェルメロ集合論を二階述語論理の理論として捉えることもでき、その場合は分出公理は単に一つの公理となる。ツェルメロ集合論の二階述語論理としての解釈はおそらくツェルメロ自身の考え方に近く、一階述語論理での解釈よりも強い ツェルメロ集合論ではこれらの基数の存在を証明できない(基数と順序数は通常の形の定義では不具合があるため、ツェルメロ集合論においては基数を異なる形で定義する必要がある。というのも、通常の形で定義した場合、順序数 ω·2 の存在さえも証明できない) 無限公理は今日では通常、最初のフォン・ノイマン順序数 ω の存在を主張する形に変えられる。元のツェルメロ公理はこの集合の存在を証明できない。変更版のツェルメロ公理はツェルメロの無限公理を証明できない ツェルメロの公理(元あるいは変更版)は、集合としてのVω の存在や、添字が無限である任意のランクの累積的階層集合の存在を証明できない ツェルメロは、集合ではなく要素を持たないアトム(urelement)の存在を許容した。アトムは集合論では通常取り除かれる マックレーン集合論 Mac Lane (1986) で導入されたマックレーン集合論は、分出公理を各量化子が有界である一階の論理式に制限したツェルメロ集合論である。 マックレーン集合論は強さとして自然数対象(英語版)のトポス理論や、プリンキピア・マテマティカのシステムに類似する。これは、集合論や論理学に直接関係しない、ほぼすべての通常の数学を行えるほどの強さである ツェルメロの論文の目的 非構成主義者による無矛盾性の主張は以下のとおりである。以下のように、順序数 0, 1, 2, ...,ω, ω+1, ω+2,..., ω·2 の1つである α に対して Vα を定義する： ・V0 は空集合である ・β+1 という形の後続順序数である α に対して、Vα を Vβ のすべての部分集合の集まりとして定義する ・極限順序数 α(例えば ω, ω·2)に対して、Vα を β<α に対する Vβ の和集合と定義する すると、ツェルメロ集合論の公理は無矛盾になる。これらの公理はモデル Vω·2 の中で真であるためである。非構成主義者はこれを有効な主張であるとみなすかもしれないが、構成主義者はそうでないと考えるだろう この主張は、ツェルメロ集合論に1つ新たに(単に Vω·2 が存在するという)無限公理を加えることで、有効な証明になる。これは構成主義者に対して説得力がないかもしれないが、ツェルメロ集合論の無矛盾性を元のツェルメロの理論から大きく違わず、少し強力な理論で証明できることを示している https://en.wikipedia.org/wiki/Zermelo_set_theory Zermelo set theory 188 名前：１３２人目の素数さん [2025/04/25(金) 18:00:09.07 ID:WKh+GaVo.net] >>180 解答の体すら成してないので採点に値せず ゼロ点で落第 189 名前：１３２人目の素数さん [2025/04/25(金) 18:03:52.51 ID:iSKrIvU5.net] 採点に値しないのなら 再提出を求めたらどうか 190 名前：１３２人目の素数さん [2025/04/25(金) 18:09:21.56 ID:MSvIBwNF.net] >>182 再提出したけりゃすればいいが 自分の文章が書けず、他人の文章をコピペする 脳みそスッカラカンのカンニング野郎が ○をもらうことは決してないな 191 名前：１３２人目の素数さん [2025/04/25(金) 18:50:20.34 ID:WKh+GaVo.net] 逆 採点して欲しいなら再提出の許可を乞うのが筋 192 名前：１３２人目の素数さん [2025/04/25(金) 18:53:19.57 ID:iSKrIvU5.net] 誰が採点欲しいと言った？ ありがた迷惑の意味を書いて再提出だ 193 名前：１３２人目の素数さん [2025/04/25(金) 19:01:48.53 ID:WKh+GaVo.net] 採点して欲しくないならゼロ点で落第が確定するだけ 194 名前：１３２人目の素数さん [2025/04/25(金) 19:05:08.41 ID:iSKrIvU5.net] それほどまでに採点がしたい理由は？ 195 名前：１３２人目の素数さん [2025/04/25(金) 19:19:27.56 ID:WKh+GaVo.net] 誰が採点したいと言った？ 幻聴が聞こえるなら病院行け 196 名前：１３２人目の素数さん [2025/04/25(金) 19:32:10.06 ID:iSKrIvU5.net] 採点したくなければ採点するな 197 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:48:54.57 ID:V2R7/jm0.net] 幻聴は聞くだけ、幻声は相互のコミュニケーションが他人格とできる。幻視絵を書いたりもできる、あと幻触幻臭幻味とある。幻覚は病気のようで幻術幻魔などの言葉もあるとおり文化圏や境界によって捉え方が違う。 198 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:49:50.11 ID:V2R7/jm0.net] 色んな分野を知り体験することが大事。 199 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:52:49.99 ID:V2R7/jm0.net] 薬によって弱まる場合は薬を変えてもらうか減薬してもらいなさい。せっかくの精神異常体験だものね。 200 名前：１３２人目の素数さん [2025/04/25(金) 19:54:56.89 ID:WKh+GaVo.net] だから採点に値しないからゼロ点で落第と言ってるだろ 日本語わからんか？ 201 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:56:16.04 ID:V2R7/jm0.net] そのほうが精神能力のようなものが伸びるだろうな。 202 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:57:40.49 ID:V2R7/jm0.net] 0なら0、00なら100。 203 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:59:01.15 ID:V2R7/jm0.net] しかし0も表象が不思議な数字だな。 204 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:59:34.82 ID:V2R7/jm0.net] 速い、抽象的。 205 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:10:51.11 ID:V2R7/jm0.net] スペーシングすると自由だし。 206 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:11:43.34 ID:V2R7/jm0.net] 無の宇宙空間と言った感じで。 207 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:12:34.66 ID:V2R7/jm0.net] 老子はそういうところがある。 208 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:14:44.50 ID:V2R7/jm0.net] コンドラチェフじゃないけど自分の身の丈にあった数学をするといいよ。焦る必要はない。永遠はすぐそこ。 209 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:16:39.49 ID:V2R7/jm0.net] 普通の人の努力のほうがまさることも多い。 210 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:18:14.18 ID:V2R7/jm0.net] 俺は採点者のほうが正確じゃなく間違って劣ると思うな。 211 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:19:31.28 ID:V2R7/jm0.net] テンション下がるから自己採点したら。数学の添削してるようなものだ。 212 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:20:42.26 ID:V2R7/jm0.net] 嫉妬は怨念となり人を呪う。 213 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:22:40.12 ID:V2R7/jm0.net] しかし平均はどうかな。急に成績が内容が同質なのにつまり同じレベルなのに下がるということはない。 214 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:23:36.21 ID:V2R7/jm0.net] 数学解全体が負けるだろう。 215 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:24:19.43 ID:V2R7/jm0.net] 数学界。 216 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 20:25:59.54 ID:V2R7/jm0.net] 相手を休まさないコツがある方が行動も思考も速いだろう。走り込みガリ勉しなくても。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef