ガロア第一論文と乗数イデアル他関連資料スレ18 (518ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
468: 08/20(水)13:11 ID:N6uHb292(2/2) AAS
>>467
一つだけ忠告しとくと、
γ(a,n)＝1＋1/2＋…＋1/n−log(n＋a)
のaは固定しといてな
nに合わせてaを増加させたら収束しないから（笑）
469(1): 08/31(日)09:17 ID:b/3rxWWd(1) AAS
乗数イデアル関連の査読を開始
470: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)20:47 ID:lylF2dxQ(1) AAS
>>469
>乗数イデアル関連の査読を開始
巡回ありがとうございます
査読ご苦労様です
471: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:56 ID:Q92KWSCo(1/10) AAS
昔九官義経という旧ザク化が撃ちまくったけどな。
472: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:57 ID:Q92KWSCo(2/10) AAS
俺は撃ちまくりながら割と早めに即死したよ。
473: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:58 ID:Q92KWSCo(3/10) AAS
ガンダムでも魔力があるのがアーガマだな。
474: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:00 ID:Q92KWSCo(4/10) AAS
でガロアだとどうしてもガンダムのニュータイプって議論になりがちだよな。
475: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:03 ID:Q92KWSCo(5/10) AAS
幾何かなんかなんでしょ、αアジールの勝負師はいい師範だよ。
476: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:03 ID:Q92KWSCo(6/10) AAS
サイコミュ得意とか。
477: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:06 ID:Q92KWSCo(7/10) AAS
出してみたけど。
478: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:07 ID:Q92KWSCo(8/10) AAS
コントロールの方向や幅。
479: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:09 ID:Q92KWSCo(9/10) AAS
ノーマル戦じゃない何某かは人気の話題だ。
480: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)21:10 ID:Q92KWSCo(10/10) AAS
しかしガロアには宗教性がないな。
481: 09/02(火)18:34 ID:mK+3tVlv(1) AAS
[第１段]：任意の a＞−1 なる実数aに対して
γ(a,n)＝1＋1/2＋…＋1/n−log(n＋a)
と定義出来ると仮定する。任意に a＞−1 なる実数aに対して定義される
実数列 {γ(a,n)} について、実数aは固定されていて実数列 {γ(a,n)} は定数の列ではないから
実数列 {γ(a,n)} は単調減少列か単調増加列のどちらか片方かつその一方である
また a＝0 のとき、実数列 {γ(0,n)} はγに収束する単調減少列である
同様に a＝1 のとき、実数列 {γ(1,n)} はγに収束する単調増加列である
省11
482(1): 09/03(水)07:33 ID:ZVqFBZ0m(1) AAS
乗数イデアル関連で査読の仕事
483(1): 09/03(水)11:50 ID:hNzKNOFY(1) AAS
>>482
ご苦労様です
ところで、下記合ってますか？
＜Copilot さん＞
Q.乗数イデアル とは？
A.乗数イデアル（じょうすうイデアル、英: multiplier ideal）は、代数幾何学や複素解析において特異点の解析や消滅定理の証明などに使われる非常に重要な概念です。ざっくり言えば、「ある関数や因子の特異性の度合いを測るためのイデアル（理想）」です。
🧠 基本的な定義と直感
省24
484: 09/03(水)12:24 ID:mptkWntM(1) AAS
>>483
大学１年の微分積分学の
冒頭の実数の定義が分からず
落第した現代数学童貞は
乗数イデアルなんて一生興味もたなくていいよ
485(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/12(金)07:21 ID:Drl/lO9b(1) AAS
これ、面白そう
外部ﾘﾝｸ:tsujimotter.ｈａｔｅｎａblog.com/entry/weil-conjecture
tsujimotterのノートブック
2025-09-11
ヴェイユ予想ってなんだろう
目次：
宣伝：数学セミナー2025年10月号に記事が掲載されます
省22
486(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/17(水)14:09 ID:o5lvaVpk(1) AAS
これ、面白い （＾＾
動画ﾘﾝｸ[YouTube]
【限界に挑戦】河野玄斗はどこまで暗算できるのか？
Stardy -河野玄斗の神授業
2025/09/07
@y_428pgwm
9 日前
省14
487: 09/17(水)16:21 ID:3X0fIBXC(1) AAS
>>485
実数の定義も理解できんエテ公が
自分が全然わからんことを
面白がるとかマゾ（嘲）
>>486
一生算数で遊んでろ サル
488: 09/17(水)17:15 ID:DfAheodB(1/2) AAS
算数も出来ないやつらがイキがるスレで草
ガロアを分かってなくて草
まず素数言えるようになったらｗｗｗｗｗ
489: 09/17(水)17:16 ID:DfAheodB(2/2) AAS
この連中九九言えないよな
その証拠にこれ答えられない 22222222222213123が 素数であるかどうか証明せよ
使用した数字は根拠を示すこと。
490(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/18(木)07:39 ID:7g5jIWxi(1/3) AAS
突然ですが、ブルバキ
厳密性を重視して 下記より
”20世紀初頭、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドがこのアプローチを適用した際、彼らは1+1=2と略される命題を確立するまでに、700ページ以上に及ぶ形式記号を費やしたことで有名である。ブルバキの形式主義は、この数字さえも矮小化し、数1を定義するだけで約4兆5000億もの記号を必要とした”
まあ・・、それもありでしょうけどね ；ｐ）
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Nicolas Bourbaki
省5
491(1): 09/18(木)07:40 ID:7g5jIWxi(2/3) AAS
つづき
作業方法
この方法は遅いが、ブルバキが論文で重視した点の1つである数学的厳密さに関するグループの基準を満たす最終成果物を生み出す。ブルバキが厳密さを重視したのは、自由な数学的直観を重視する一方で徹底したプレゼンテーションを犠牲にしたアンリ・ポアンカレのスタイルへの反発だった。
ブルバキの『原論』の最終稿の大部分は、図の使用を慎重に避け、文章と数式のみに基づいた形式的な表現を好んだ。例外はリー群とリー代数の扱い（特に第4章から第6章）で、図と図が用いられた。この部分に図が取り入れられたのはアルマン・ボレルによる。ボレルはフランス人が多数を占める共同体の中で少数派のスイス人であり、「スイスの農民」と自称し、視覚的な学習がスイスの国民性にとって重要であると説明した。[ 62 ] [ 95 ]この作品に図がほとんどないことについて尋ねられた元メンバーのピエール・カルティエは次のように答えた。
ブルバキ派はピューリタンであり、ピューリタンは信仰の真理を絵画で表現することに強く反対していました。ブルバキ派にはプロテスタントとユダヤ教徒が圧倒的に多く含まれていました。特にフランスのプロテスタントは精神的にユダヤ教徒に非常に近いことはご存知でしょう。
— ピエール・カルティエ[ 62 ]
Éléments de mathématique
省5
492(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/18(木)08:14 ID:7g5jIWxi(3/3) AAS
まあ、面白いけど
逆に言えば、1階述語論理の限界を表しているとも
ゲーデルの加速定理の出番でしょうね（下記）
人は、1階述語論理だけでは 思考しない！ｗ ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの加速定理
ゲーデルの加速定理（英: Gödel's speedup theorem）は、クルト・ゲーデル[1]により証明された、数理論理学における定理である。この定理によれば、弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する、というような文が存在する。より正確にいえば、それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在するというものである。
493(2): 09/18(木)08:16 ID:3RyF3ryl(1) AAS
本来はformalなものを嫌うのが
自由な数学精神
494: 09/18(木)09:09 ID:I3djhwJv(1/3) AAS
>>490-491
>ブルバキの『原論』の最終稿の大部分は、
>図の使用を慎重に避け、
>文章と数式のみに基づいた
>形式的な表現を好んだ。
>例外はリー群とリー代数の扱い（特に第4章から第6章）で、
>（コクセター・グラフの）ダイヤグラムとイラストが用いられた。
省7
495: 09/18(木)09:18 ID:I3djhwJv(2/3) AAS
>>492
◆yH25M02vWFhPは、なぜ数学で
公理系が一階述語論理の上に設けられ
定理が一階述語論理で証明されるのか
その理由が全く分かってない（笑）
一階述語論理の完全性定理により
一階述語論理上の公理系の任意のモデルで真となる論理式は
省11
496: 09/18(木)09:29 ID:I3djhwJv(3/3) AAS
>>493
＞本来はformalなものを嫌うのが自由な数学精神
数学者は論理をろくに知らんから
トンチンカンなことを平気でうそぶく
貴様らは何のために定理を証明するのか？
それが正しいというためにやってるんだろう？
思い付きのすべてが正しいというなら苦労はない
省15
497: 09/18(木)17:01 ID:XL76bQQ+(1) AAS
魔女ランダの夢
と暴論ではなく神獣バロン
498: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/19(金)16:40 ID:N54MxCu9(1/2) AAS
これいいね
外部ﾘﾝｸ:www.lifehacker.jp
lifehacker.jp
やらかした。私がChatGPTからオフラインAIに切り替えた理由
著者MakeUseOf [原文] 翻訳ライフハッカー・ジャパン
2025.09.19
私は長年、クラウドベースのチャットボットを愛用してきました
省22
499(1): 09/19(金)16:45 ID:N54MxCu9(2/2) AAS
>>493
>本来はformalなものを嫌うのが
>自由な数学精神
これは、御大か
巡回ご苦労様です
過去のformalを打ち破る
それが、数学の精神ってことですね （＾＾
500: 09/19(金)17:00 ID:iqsDlJ7S(1) AAS
と、数学のすの字も分らんアホが申しております
501: 09/19(金)17:13 ID:3T9xT+Zu(1) AAS
>>499
＞過去のformalを打ち破るのが、数学の精神ってことですね
過去のformal proofも読めん奴が、打ち破りようがない
それが大学1年の一般教養レベルの数学落第という現実
高校までの算数芸ではトップでも
大学では述語論理も集合論も実数の定義も分からん只のエテ公
502: 09/20(土)07:10 ID:7netQ1bm(1) AAS
メンタルピクチャー君に問題
数ベクトルは、集合から数への関数、とみることができる
自然数全体の集合Nから実数全体への集合Rへの関数全体からなる集合をR^Nとする
Q1.さてR^Nのうち、ある一つの元からうつされる値のみが０でない関数を基底として
その（有限）線形結合で表される元の全体は、R^Nの真部分集合だが
いかなる関数の集まりか、的確に述べよ
Q2.逆にR^Nの基底全体の集合の濃度は可算か否か、理由つきで述べよ
503: 09/21(日)09:57 ID:728Xn/GW(1/4) AAS
オイラーは実数の定義をする必要を感じていただろうか
504: 09/21(日)10:01 ID:ldtUFZx9(1/5) AAS
オイラーは今でも数学者として通用するだろうか
505: 09/21(日)10:02 ID:728Xn/GW(2/4) AAS
道策は今なら棋聖・名人であろう
506: 09/21(日)10:13 ID:ldtUFZx9(2/5) AAS
まあ、レオンハルト・オイラーが
自分の級数の扱いのトリックのタネを
「解析接続」だと気付けたなら結構だがね
507: 09/21(日)10:18 ID:ldtUFZx9(3/5) AAS
１８世紀に、オイラーが実数の定義の必要性まで気づけなくても、仕方ない
ガウスですら、実数の定義までたどり着けなかった
さすがに、何かが必要だとは感じていただろうけど
コーシーの収束性判定条件の発見があり
ワイエルシュトラスの批判的な知見があり
デデキントやらカントールやらの実数の定義に至る
それはそれで意味がある
省2
508: 09/21(日)10:20 ID:728Xn/GW(3/4) AAS
バーゼル問題の解のタネは
整函数の無限乗積展開へと展開し
オイラー・マクローリンのタネは
ポアソンの和公式へとつながった
509: 09/21(日)10:23 ID:728Xn/GW(4/4) AAS
>デデキントやらカントールやらの実数の定義に至る
>それはそれで意味がある
オイラーはオイラーで意味がある
510: 09/21(日)10:51 ID:ldtUFZx9(4/5) AAS
オイラーがカントールの集合論やフレーゲの述語論理を否定するわけではない
511: 09/21(日)18:24 ID:WWNIU/Ab(1) AAS
カントールやフレーゲが
オイラーの偉大さを否定するわけはない
512: 09/21(日)18:28 ID:ldtUFZx9(5/5) AAS
では
「オイラーは実数の定義をする必要を感じていただろうか」
は間違いということで、自刎して●んでな
自分だけが賢いとうぬぼれてる●違いクソ爺
513(1): 09/22(月)20:18 ID:ntA/Tb1I(1/3) AAS
オイラーは関数の定義をする必要も
感じていなかったと思われる
514(1): 09/22(月)21:21 ID:ntA/Tb1I(2/3) AAS
コーシーは任意関数から微分方程式を導いた
515(1): 09/22(月)22:24 ID:ntA/Tb1I(3/3) AAS
アーベルは楕円関数の論文の序文に
「不滅のオイラー」と書いた
516: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)11:47 ID:entBycg/(1/2) AAS
これ面白いね
動画ﾘﾝｸ[YouTube]
【予習不能】AIが考える最強の問題を河野玄斗は解けるのか…！？
Stardy -河野玄斗の神授業 2025/09/20
コメント
@やや-s8n
2 日前
省5
517: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)11:51 ID:entBycg/(2/2) AAS
>>513-515
>アーベルは楕円関数の論文の序文に
>「不滅のオイラー」と書いた
巡回ご苦労様です
オイラーが、道策で
アーベルが、秀策か
どちらも
省1
上下前次1-新書関写板覧索設栞歴
あと 1 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s