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

前スレが1000近く又は1000超えになったので、新スレを立てる

https://rio2016.5ch.net/test/read.cgi/math/1746597368/
前スレ ガロア第一論文と乗数イデアル他関連資料スレ17

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）

資料としては、まずはこれ
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)

あと、テンプレ順次

つづく

>>748
絡まれるから、何か批判せなアカンやん。
批判材料にケチつけられたら、どうしようもないでしょw

>>729
じゃ数学板去れば？　基本批判合戦だよ　馴れ合いたければ馴れ合い板へ

>>749
必修のところをきちんとやっていれば、専門は自由でしょってことを言いたい。
やることやってたら、自由も認められるでしょ。

>>750
じゃ中途半端に語らず黙れ

>>752
それを把握するのに時間が掛かったということ。
良心的な住人も中には居るんじゃないの？
穏やかに議論できる人を掘り出してみたいものだがねぇ。

>>754
だから、絡まれなければ黙るんだってw
前に消えにくかったのは、貴方が執拗に絡んでくるからだよ。
実際に黙ってる期間がある訳だから、私はきちんと約束を守っているよ。

>>732
支障あるなら去ったら？

うん、だから消えてる最中。
無数目に集中しなよ。
結論出るのにすごく時間がかかりそうだけど。

>>746
証明全体をAIで検証すればいいだけでは？　何が不満なの？

>>747
結論なんて10年以上前に出てる
ヒト語の通じないサルがキーキー吠えてるだけ

>>751
いみふで草

>>753
誰が自由を奪ってると？　仮に奪う輩がいたとして無視すればよいだけでは？
言ってることがさっぱり分からん

>>760
話が全く分かんないから、誰が貴方に反対しているのかさえ分からないんだよ。
挙句の果てに漫画批判始まってるしw
数学科の人が相手なら、正しいことを言えば言いくるめられるでしょ。
こんな専門も無いような訳分かんない奴の相手なんかしてないで、とりあえず基礎論には精通していそうな人と議論しなよ。

>>755
どうぞ
君ってお気持ち表明ばっかだね

良いじゃん、天皇みたいでw

>>756
用が無いは嘘で有るってこと？　何が言いたいのやら

>>754
まあ、恐らくここにオイラーの定数γの有理性の証明
をすべて書いても理解出来る人はここにはいないだろう

>>758
消える君が指図しなくてよくね？

>>763
分らないなら黙ろう　無駄口は慎もう

>>768
それはごもっとも。
とにかく、今ごろ私の批判に気づかれたから、時間差で反論されたということ。
もう私が書いた批判はどこにもないよ。
私は批判されなければ、何も言わないから大丈夫だよ。

>>767
そう思うなら黙れば？

>>770
なんでここに居るの？

>>769
それもごもっとも。
今の無数目の流れでは、私はまともに話せないから必然的に用済みということ。
院試を解く取り組みが廃止されたら、私がスレにつけ入る隙は無いってこと。

>>729
>貴方が言ったはず
それも妄想

>>772
前と同じやり取りをしないでねw
私の話題が挙がらなければ、書き込む必要も無くなる。
そういうこと。

>>773
そう思うなら去れば？

>>774
妄想しながら消えますw

>>733
妄想

>>775
去ればいいだけ　話題が挙がったかすら認知できない

>>776
貴方とコントをするつもりは無いよw
誰か無数目の話を書いてくれよ。

>>780
なんで分からない無数目が気になるの？　まったく不可解
結局>>772に答えてないし

>>779
さすがにしばらくは気になるじゃん？
現に今朝、話題が挙がったのだからしょうがない。

>>759
>>771
AIの使用法を間違えて証明検証がいるので注意書きしただけ
AIに尋ねたことはあるが、AIが出す回答には
現実とは違った内容や事実を書いて
回答することが比較的多くあった
やはりAIは当てにならないモノだな

>>782
君って、自由を奪うなとか言っておきながら、他人の発言を規制したがるね　だぶすたじゃね？

シン応援スレばかり見て、ガロアスレを見ていなかったんじゃないの？
だから今ごろ、私の批判に気づいたんだよ。
重ねて言うが、新たな批判は攻撃されない限り書くつもりはない。
私は争いが勘弁なんだよ。

>>783
AIの使用法を間違えて証明検証がいる
→ AIの使用法を間違えて証明検証している人がいる

>>784
匿名性にかこつけてという部分が、さすがに看過できないところがある。
そのあたりがもう少しマイルドになれば、完全に自由にやれば良いと思う。

>>783
君が質問をちゃんと書けてないか回答を理解できないかのいずれかまたは両方じゃね？　いまどきのAIは賢いよ　少なくとも君よりは

>>785
>>752

>>787
誰も君に警察役を期待してないことが分からない？　それ病気

>>788
或る人物の所属する機関や組織を
明らかに間違えて回答していることがあった
これに限らず、AIに問い詰めて間違っているのではないかと指摘しつつ
再度更に尋ねたら、正確な回答を出すということが多々あった

>>790
10数年くらいやってるのか知らないけど、私抜きならそんな役が不要なのは分かるよ。
日常生活に支障が出ると言ったが、実は明日かなり重要な用事があって、今日の内に色々と準備しておきたいんだ。
物理的にそろそろレスがしにくくなってしまうから、明日の夕方までは5chは無理かもしれないから宜しく。

>>791
>再度更に尋ねたら、正確な回答を出すということが多々あった
じゃいいじゃん　何も不満無いじゃん

>>792
断る必要無い　別に君がいなくても誰も何も困らない

>>793
AIの回答の精度の良さはそんなモンだよ

>>795
で、君の「実際の証明」は認められたの？

>>796
ここでそんなことを聞いてもムダだと思うぞ

なんで答えないの？　不都合な質問だから？

>>798
実際の証明が認められたらどうなるか位、
私に聞かなくても想像出来るだろう

>>798
下らん会話をする位なら、黙々と物事に取り組んだ方がはやい

>>799
つまり間違いって言われたってこと？
じゃ実際じゃない証明をここに投稿した目的はなに？

>>801
>つまり間違いって言われたってこと？
これから実際の証明を投稿するか誰かに見せるんだよ

つまり間違ってるのはAIの方だと言われたいってこと？

>>803
AIなど信用してない
AIに何故オイラーの定数γは無理数で
更には超越鄒であろうと予想されているのか
を尋ねたときのAIの回答がπやeなどが超越数であるのに
γだけが巨大な分数を持つ有理数であるとは、
数学的な調和を満たすことになって考えにくい状況である云々、
とかいったような根拠の薄い回答をしているのを見たときは、
やはりAIは信用するに値しないと思った

君の専門である数理論理はオイラーの定数γとは関係が薄いような分野だ

>>804
＞AIなど信用してない
君の証明も信用できんけどね

不等式の向きを間違えるとか、高校生か

>>804
根拠が無いことを予想と云う　無根拠な答えが返ってくるのは当たり前　そんなことも分らない君が馬鹿なだけ

>>805
ここに書く証明と紙に書く証明とは別である
まだ、ギックリ腰が治ってなくて
腰が思うように動かないので、
これ以上ムダな話やレスは書かせないでくれ

>>806
AIの回答の詳細なことなど知らん

>>805
AIは誤答おじさんより巨大基数倍信用できる
AIが数学で間違うのはたいてい質問が悪い場合　AIは相手を貶さないので「おまえの質問がわりーんだよ」とは言わない

>>809
AIを使う位なら、AIの作り方を学んだ方がよい

君は服の作り方学んだの？　服着ないの？　素っ裸かい？

>>811
簡単な裁縫は小中学校の家庭科の実習でやる筈だが

じゃ君が使ってるパソコンは？　飲んでる薬は？　乗る電車は？
そういうのを減らず口と言う　おまえは上祐かｗ

>>813
何故服の作り方の話がそこまで飛び火するんだ？
君は先から話をすり替えてばかりいる

まったくすり替えてない
君の持論>>810はAI以外では一般に成り立たないことを立証した
そのため君は持論を正当化したいならAIでは成り立つ根拠を述べなければならず、そのことを示したまで

>>815
AIを作るには数学や統計学の知識やプログラミング技術が必要である
このように、AIがどのように作られるかなど
AIの作り方や機能、仕組みを学ぶのも面白いであろう

それは否定してないよ
使うことより良い根拠になってないと言っている

実際君は君の証明が間違ってることをAIに教えてもらった　なんでそれがAIの学習より悪いんだい？

>>817
私はAIを使うことよりAIの作り方や機能、仕組みを知ることに興味がある
AIの作り方や機能、仕組みを知っていれば、
AIエンジニアなどのような何らかの職に就くことも可能になるであろう
最近、AIエンジニアという職業は有名になっている

>>818
紙に書いた実際の長い証明をAIに検証させた訳ではない

>>819
AIにAIの作り方聞けば？
使うことと作り方の勉強は比較対象じゃなくね？

なんで紙に拘るの？

>>821
AIに聞く必要はなく、AIを作るための
画像処理や機械学習とか
そういうのに関する内容が
書かれた本が多数出版されている

>>822
数学がパソコンだけで出来る訳なかろうに
具体的な行列とか長い計算とか
どうやってパソコンだけでやるんだよ
紙は必要だろうに

ぜんぜん
図形とかならともかく文字は全部テキストで書けるし
つーかテキストにする労力惜しむよりAIに聞いた方がよっぽどメリットあるのに

巨大な値の有理数は可算無限個存在することの否定は出来ないが
>>804の訂正：数学的な調和を満たす → 数学的な調和を乱す

オイラーの定数γが有理数であれば、γは天文学的で巨大な値の有理数になる
AIによると、オイラーの定数γが巨大な値の有理数であることは
どういう訳か数学的調和を乱すことになるという
まあ、AIがいうγが無理数で更には超越数であると考える根拠はそんなモンだ
数学的調和が乱れることは他にも幾らでもあり得る

γの無理数度の研究状況が2よりも大きく
γの無理数度を下げることが難しい
ということを述べるようなことは全くなかった

巨大な値の有理数 → 分母と分子が巨大な値の有理数

例えば、nが天文学的な値の正の整数のときの有理数 (2/3)^n
他にも、分母と分子が巨大な値の有理数は幾らでも構成出来る

それじゃ、今日はここまで

>>824
理論物理学も理論経済学も大学院レベルの教科書読めるが
結局Mathematicaの使いどころがなかった・・・

γが有理数だ、無理数だと言ったところで、証明がなければ何の意味もない。
乙次がまずやるべきことは、自分の証明をAIに診てもらうこと。
おそらくボロクソに貶されるだろうが、まずはAIの指摘を
自分で理解できるようにならないと、出発的にさえ立てないよ。

出発*点*にさえ立てないよ。

>>830-831
AIの優れているところは文字を変換する翻訳の機能だ
AIは、キリル文字を覚えることから始める
ロシア語のような習得するのが難しい他の日常言語に、
瞬時に日常言語を文字を変換して翻訳するから、
AIのその翻訳機能は使える
このように、AIの長所と短所を見極めることは重要である

ちなみに、乙次という地名は実際に新潟県の新発田市にある

AIの翻訳機能により、
5チャンには日本人に限らず
外国人がレスしている可能性があること
を否定出来ないことが判明した

AIの翻訳機能機能を使えば、
外国の人でも5チャンに書き込んでレス出来てしまう

１７℃
くもり

乙次はAIを過小評価している。翻訳は翻訳ソフトでも出来る。
乙次が自分の「証明」をAIに読み込ませれば、徹底的に批評してくれるだろう。
そして、そのことこそ最初にやるべきこと。
なぜダメなのか、どこが間違ってるのか、質問すればいくらでも答えてくれる。
しかし、それは乙次の全否定に繋がる。だから怖くて出来ないというところだろう。
つまり「AIの方が間違ってる（自分の方が正しい）」として
精神が崩壊するのを防ぐしかない。それが過小評価に繋がっているわけ。

スレ主は選択公理を認めない
乙はAIの指摘を認めない
数学板読者は上記２名の知性を認めない

よくわからない

>>836-837
AIの証明の指摘の機能は知っているが、
最終的には自己責任で証明を検証することになる
AIの翻訳機能ですら最終的には翻訳された文章の下には
自己責任で利用して下さい
という旨の文章が書かれていることがある
AIの翻訳機能すら各国の文化を考察した翻訳はまだ発展途上だという
AIというのはあくまで補助の機能である

>>836
>しかし、それは乙次の全否定に繋がる。だから怖くて出来ないというところだろう。
>つまり「AIの方が間違ってる（自分の方が正しい）」として
>精神が崩壊するのを防ぐしかない。それが過小評価に繋がっているわけ。
現実には、米国などの外国では気持ちをオープンに表す文化などがあって、
日本では空気を読んで雰囲気を察するという文化があるから、
古文や現代文などの問題でよく出題される
国語の問題の出題文章を読んで登場人物の
気持ちを推し量るという技術は通用しないことが多々ある
現実に君のその気持ちの推し量りは外れている
AIに頼ると自らの能力が落ちていくから
AIの機能は余り評価しないといったところだ

自由にやれば

>>836-837
それにしても、オイラーの定数γは無理数更には超越鄒であろう
と予想している君達がやたら絡んで来たがる理由もよく分からない
西岡久美子氏がいた慶応大には超越数論の専門家がいるが
早大には超越数論の専門家はいない筈だ
超越鄒であろうと予想されていた級数の値が代数的数であることを示した
西岡久美子氏達の業績の内容を知っていれば、
γが有理数であってもおかしくはない

超越鄒であろうと予想されていた級数 → 超越数であろうと予想されていた級数

>>840の1行目：
オイラーの定数γは無理数更には超越鄒であろう → オイラーの定数γは無理数更には超越数であろう

何故か文字化けしている

予想なんてどっちでもいいんだよ。証明の話をしているの。
証明の初歩で間違えてるのに、「未解決問題を解いた」と
主張することの滑稽さを指摘している。自分がどこで間違えて
いるのか一つずつ調べて訂正していけば、乙次には何も
残らないよ？と言っている。それは辛いことだろうが
それを乗り越えることがトンデモではない数学を始める第一歩。

>>843
昔は数理論理は発展していなかった
証明の話って君はまさか
今でも直観主義論理を用いて
証明いる訳ではないよね

乙が「即興で証明が出来た」と言ったときはマジで頭おかしいと思った。
即興と言うと天才のイメージがあるが、音楽でも
「頭の中で作曲しながら、即座に楽器で弾いている」
本物の音楽家と、指癖で弾いて「即興だ！」と言っている
バカヤローがいて、後者ははっきり言って誰でもできる。
それはさておき、なぜ即興演奏のように湧き出るように
証明ができてしまうのか？実は、論理の初歩で間違えている
ため簡単に矛盾が生じてしまい、それを「即興だ！」
と言ってるのが乙なのである。

>>845
γの極限の式中で表れるような、任意の実数aに対して定義される実数列の第n項
1＋1/2＋…＋1/n−log(n＋a) をつぶさに観察して見るといい
(有理数と判明している項)−(有理数か代数的無理数か超越数か分からない項)
の形をしている

γの極限の式中で表れる → γの極限の式の中で表れる

xy座標平面上でy軸方向にγの極限の式をγだけ
下にずらせばγの極限の式は0に等しくなる

>>846
「γの値は不定だ」とでも言いたい？
そもそもγの値は第n項ではなく、「極限」として定義されている。
そして、その極限はaの値によらずに定まるから問題ない。
乙は、「第n項が何か変な形してるから、γの値も変なんだ」
と言ってにすぎないが、それは乙の感想であって
実は問題なく値が定まる。（そうでなければ定義式にならない。）
つまり、そこから何らかの矛盾を引き出すことは無理筋。

ともかく、自分が過去に書いた「証明」をAIに見せて批評してもらえ。
どこが論理的に間違っているか、計算の間違いか、すべて教えてくれるから。

>>848
そもそも、γに関する証明が簡単に出来るとはいっていない
γを無理数と仮定して矛盾を導き背理法を用いてγは有理数である
と結論付ける証明方法は、直観主義論理者でなければ問題なく通用する