23/01/03 15:11:29.14 b5Fu+qY0.net
>>371
> e^-2πixt/N で終わるならば、
> いま問題としている方程式 x^11-1=0の根も
> x=e^2πix/11 で終わる
>>Nooooooooooooooo!!!
>>なんでe^2πix/11 使うの!
>>使うのは、e^2πix/5 ですよ!
> はいはい ゴタクは聞き飽きたよ
いやいや、御託でもなんでもなく教育的指導ですよ
e^2πix/11 を e^2πix/5で表す これがそもそもの問題意識
そこから分かってないんじゃ、いったい何をどう分かろうとしたわけ?
ま、小一時間問い詰めても、💩しか出ないからやらないけどw
>>372
>昔の本で、「糸川英夫の入試突破作戦」があって
糸川英夫?知らんわ? ロケット?数学と関係ないなぁ
>これ、いまの一つの潮流の”数学 暗記”の源流だと思うのだが
じゃ、アカン奴やね
>糸川英夫先生のいうのは、
>早く科学(数学に限らず)の最前線で
>知恵を絞って考えるべしだと
だから、最前線って何?
>将棋で言えば、
>過去の棋譜調べで終わっていては、
>一流になれないってことでしょう
棋譜も調べないヤツはそもそも将棋好きじゃないでしょw
将棋好きでもないのに将棋指し?
音楽好きじゃないのにミュージシャン?
サッカー好きじゃないのにサッカー選手?
数学好きじゃないのに数学者?
ありえんわ、ぜったいありえんw
草バンドだろうが草サッカーだろうが草数楽だろうが
そんなんぜんぜんOKなんだけど
CD買いまくるとかサッカーグッズ買いまくるとか数学書買いまくるとか
そんなこといくらやってもそのことに意味はないわな
378:現代数学の系譜 雑談
23/01/03 15:20:54.96 aZhrx//w.net
>>341
>その「かぐや姫と無限大」の話が
>後で中公新書になったのには驚いた
ありがとうございます/
下記ですね
URLリンク(www.)アマゾン
数学をなぜ学ぶのか (中公新書) Paperback Shinsho ? May 1, 2003
by 四方 義啓 (著)
商品説明
数学という学問は、とかく苦手意識を持たれやすい。また、日常生活に不必要な知識であると思われがちである。しかし、それは大きな誤解であろう。数学は古代文明発祥の時代より我々の生活に多大な影響を及ぼしてきたのだ。難解と思われる数学の奥底には、古来から持ち続けた人間の知恵と、その現代的な分析とがより純粋な形で秘められている、と著者は言う。
実社会で生じる問題や、自然界の現象を数学の領域に持ち込む多元数学を提唱する四方義啓は、本書で歴史、地理、哲学、文学、科学などと数学との深い関わり合いを解説しながら、小学校から高等学校までで学習する範囲を網羅している。物語「安寿と厨子王」から、xとyの連立方程式を、「かぐや姫」から無限大の理論を学び取ることができる。また、ミニディスク(MD)は三角級数を利用して、多大な情報を詰め込んでいるし、デジタルカメラは画像を二進法データとして取り込んでいる。全編を通して、数学の背景に存在する驚くべきドラマが飛び出してきて、我々をひきつけてやまない。
「インドから輸入した数理哲学と、中国からの漢字文化に加えての「かな文字文化」、さらにヨーロッパゆずりの論理を使いこなせるわが国こそが、偉大な先達を超えることが可能なのではないか…」これが、著者の表題に対する答であり、また夢でもある。大胆かつ斬新な発想で語られる、数学の世界。数学に対して興味が沸いてくることは請け合いだ。(冴木なお)
379:現代数学の系譜 雑談
23/01/03 15:23:31.17 aZhrx//w.net
>>377
> だから、最前線って何?
一言いえば
未解決問題だね
対する概念は
過去に解決された問題の(数学)お勉強www
380:現代数学の系譜 雑談
23/01/03 15:31:14.21 aZhrx//w.net
>>379 補足
えーと
・数学自身が新しい場合もあれば
・既存の数学を適用して、まだ解かれていない問題(数学を含め、物理や化学などの問題も含む)を解く場合もある
1978年にAperyがζ(3)が無理数であることの証明は
後者の例として有名だね
URLリンク(integers.)はてなブログ.com/entry/2016/05/04/220846
INTEGERS
2016-05-04
ζ(3)が無理数であることの積分を使った証明
1978年にAperyがζ(3)が無理数であることを証明し、数学界に衝撃を与えました(俗にいうAperyショック)。Aperyが証明を発表した数か月後にはBeukersが積分を使った非常に美しい別証明を発表しています。この記事では、美しさは若干損ないますが、Millerによって発表された方法を元にしてBeukersによる証明をより理解しやすくしたものを解説します*1。
381:わかるすうがく 近谷蒙
23/01/03 15:33:53.85 b5Fu+qY0.net
>>372
>最前線でないところで、いくら何歩も前進しても、科学を進歩させていないぞと
進歩、必要ですか?(マジ)
なんか、なんで数学やるのか動機がおかしくない?
進歩するためなの? 進歩しないと無意味なの?
数学者になるためなの? 数学者になれないと無意味なの?
業績をあげるためなの? 業績あげないと無意味なの?
んなことないでしょw
楽しいから数学するんでしょ 楽しくないなら数学しなくていいよ
だれもあなたに数学してくれなんて強制してない
別に音楽もスポーツも強制されてするもんじゃないでしょ
数学もそれと同じ したくなければしなくていい
だから世の中の人の大半は 数学してないんじゃないかな
(大半がどの程度か、正確に評価したことないけど
ヘタすると90%超えそうな悪寒w)
だからさぁ、数学好きでもないのに
「自分は数学ができないといけないんだ!」
みたいなおかしな強迫観念で検索&コピペを繰り返してるんならやめなよ
「自分は誰よりも数学ができると見せつけなければいけないんだ!」
みたいなおかしな強迫観念で箱入り無数目スレやこのスレで
初歩的な誤りに基づく発言を延々と繰り返しつづけるならやめなよ
惨めだから 1こと雑談君がさ
ウザいからじゃないよ
惨めなの ただただ 君が
もう、みんな、君がどんな動機でこの板に書き続けてるかうすうす分かってる
高校までは数学できたんでしょ?
でも大学でいきなり数学できなくなって挫折したんでしょ?
それが今までずーっとトラウマになってるんでしょ?
それを跳ね返したくて、検索&コピペで虚勢張ってるんでしょ?
気持ちはわかるけど、そんなことやって意味あった?
なかったでしょ? 結局分かってないことバレたでしょ?
なんで大学で数学ができなくなったのか?
その原因を君が気づかない限り、同じ失敗を延々と繰り返すよ
文章を論理的に読んでないでしょ?定義も定理も証明も
だって失敗するところが必ずそこだもの 最初からつまづいてんのよ
それじゃ数学書は読めないよ 論理を一から学ばないと
382:現代数学の系譜 雑談
23/01/03 15:46:29.12 aZhrx//w.net
>>377
>> はいはい ゴタクは聞き飽きたよ
>いやいや、御託でもなんでもなく教育的指導ですよ
こいつ
言い訳だけ一人前かよ
フーリエなんとかで、その「見通し」を やってよwww
>e^2πix/11 を e^2πix/5で表す これがそもそもの問題意識
問題意識って、それ書かなくても当たり前(デフォルトというやつよw)
そもそも、Kamei>>267 に全部書いてある終わった話で言い訳してるねwww
>>昔の本で、「糸川英夫の入試突破作戦」があって
> 糸川英夫?知らんわ? ロケット?数学と関係ないなぁ
糸川英夫氏以前の数学勉強法は、問題は答えを見ずにとことん考えろ的な指導法が一般だったところ
糸川英夫氏は、この本で「解法が浮かばなかったら、早く答えを見て、先に進め」的指導法を書いた
多分、これが現在の和田氏らいう 数学=暗記 という、若干行き過ぎた風潮の原点だと思うな
383:わかるすうがく 近谷蒙
23/01/03 15:49:03.90 b5Fu+qY0.net
>>379
>>最前線って何?
> 一言いえば未解決問題だね
未解決問題を解かないと意味ないの?
んなこたぁないだろw
>>380
>>数学自身が新しい場合もあれば
>>既存の数学を適用して、まだ解かれていない問題を解く場合もある
> 1978年にAperyがζ(3)が無理数であることの証明は後者の例として有名だね
ガウスについて考えてみようか
ガウスもいろいろ仕事しちゃってるけど
10代の数学ヲタク時代にやってきたのは
数についていろいろ調べることだった
円分多項式はその主軸
彼が全く新しい手法を使ってたわけではない
おそらくラグランジュの分解式がアイデアの源泉
ガウスが見つけたことの多くは
それを適用して解を計算する過程で
見つかったわけだから
だからさぁ、いってるじゃん
ヒトは経験からしか学べないのよ
何も実践しない人は何も知り得んのよ
荘子の言葉で、古人の糟粕ってあるじゃん
現在書物に残っている聖人のことばは酒粕(さけかす)と同じようなものってやつ
あれはたしかにその通りよ 自分でそれを実践しない限りは
でも、みずからやってみて、書かれている言葉の意味を実感すれば
そいつは酒になるのよ そういういう意味よ
書物の言葉が酒粕だから、書物を一切読まなくていい、というなら大馬鹿
書物を読んだだけ、書物の言葉を覚えただけ、で何かを理解したと思うのが小馬鹿
書物に書かれている言葉がその通りか否か、自ら確かめることに意義があるのよ
ボクは長年生きてきてそう理解した
あなたはボクより長生きしてるみたいだけどそう感じたことは一度もないの?
384:132人目の素数さん
23/01/03 15:49:42.56 hOWQqDwd.net
>>381
おサル、数学科でない他学科の数学と数学科の数学は
殆どの場合数学の理解法や使用法が全く違うから、
数学科の教育指導法をそのまま他学科の連中に向けて
適用して数学を教えても殆ど意味ないし通用しないよw
バカの壁の状態が平行線のまま続くだけ
385:わかるすうがく 近谷蒙
23/01/03 15:58:01.27 b5Fu+qY0.net
>>382
>>e^2πix/11 を e^2πix/5で表す これがそもそもの問題意識
> 問題意識って、それ書かなくても当たり前(デフォルトというやつよw)
いやいやいやいやwwwwwww
1こと雑談君、それぜんぜんわかってなかったやん
だから>>339で
「e^-2πixt/N で終わるならば、
いま問題としている方程式
x^11-1=0の根もx=e^2πix/11 で終わる」
って決定的爆弾発言しちゃったんじゃん もうカンベンしてよ
>糸川英夫氏以前の数学勉強法は、
>問題は答えを見ずにとことん考えろ的な指導法が一般だったところ
>糸川英夫氏は、この本で
>「解法が浮かばなかったら、早く答えを見て、先に進め」
>的指導法を書いた
ああ、そういう話?
高校までの数学の話ね
率直にいって入試が数学の学習をゆがめてるとは思うね
くだらん問題を解くことだけが目的とされ
そんなくだらん問題を解くためのくだらん解法がありがたがられる
そこには知的な楽しみはまずないね
大学入試問題で円分多項式に関わる問題も出てたのは確かだが
ああいう問題として出題されるとなんか解かなきゃなんないとかいう
病的な強迫観念のせいでちっとも楽しくなくなる これは害悪だねw
ガウスは入試に悩まされなくてよかった
まあ、彼は数学だけでなく他のことにも秀でていたから
大学入試みたいな下らぬことでつまづいたりはしなかっただろうけど
386:わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf
23/01/03 16:09:18.47 b5Fu+qY0.net
>>384
んー、ボクがいってることは
「数学者を生産することだけに特化した
東大京大の理学部数学科的な指導」
とは違うと思うけど
数学を生むとか、数学を使うとかじゃなく
数学で遊ぶ、というのもありって話
このスレも理学部数学科的意識に毒されちゃったバラモン予備軍みたいな人達が
「数学者になるか死ぬか」」
みたいな発言をするわけだけど、数学者になれないからって死にゃしないよw
もちろん、その後の人生が全部無意味ってわけでもない
楽しめばいいじゃん それのどこが悪いの? 全然いいじゃん そういうことよ
1こと雑談君の一番残念な点は、数学の楽しさをいまだに見いだせてないこと
何かの問題を解くための実用的な「魔法」としか思ってない
それってつまらんぜ そういうことじゃないでしょ
数学は遊べるオモチャなのよ そこが原点
どんなに当たり前で馬鹿馬鹿しい技法でも
そこから何か新しいことが分かる可能性はゼロではない
実際ガウスはそうやって新しいことを見つけてきた
ヴェイユが「ガウスのようにはじめよ」といったのもそういうことかと
でも、これ命令形なのがいかんのかな
「ガウスみたいにやればいいんじゃね?
え、自分はガウスじゃない?
そんなこと気にすんなよ
自分らしい楽しみを見つければ
ナンバーワンにならなくてもいい
もともと特別なオンリーワン」
ああ、SMAPになっちゃったよw
387:現代数学の系譜 雑談 ◆yH25M02vWFhP
23/01/03 16:12:25.83 aZhrx//w.net
>>374
>クンマー拡大も調べてみれば分かると思うが
>「広義」というのがあって、べき根を一つではなくいくつも一斉に添加しているやつ。
>基礎体には必要な1のべき根は含まれているとする。
意味分からん
1)普通のクンマー拡大でも、べき根が複数あって、逐次添加することは可
これを、念ため狭義のクンマー拡大とする
2)広義クンマー拡大を、上記の通りとして
3)狭義のクンマー拡大と広義クンマー拡大とで差があるならば
広義クンマー拡大を定義する意味があると思うけど
その差を書かないと、説明になってないよね
388:わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf
23/01/03 16:16:43.37 b5Fu+qY0.net
ガウスの弟子^n氏が、三角関数から円分多項式の話につなげてきたのは
なかなかイイ感じだと勝手に感心してる
よく
「三角関数なんて何の役に立つんだ?」
とかいう質問があるじゃん
多分、本当にいいたいことは、ちょっと違ってて
「三角関数なんて何が面白いんだ?」
だと思うんだよな
で、それに対する反論がガウスの弟子^n氏のコメント
いきなりコートの前を開けて
「な?」
・・・いかん、これじゃ○○ソーシャル的○○ハラだ
389:現代数学の系譜 雑談
23/01/03 17:29:06.27 aZhrx//w.net
>>383
>>>最前線って何?
>> 一言いえば未解決問題だね
> 未解決問題を解かないと意味ないの?
> んなこたぁないだろw
あるんじゃね?
要するに
1)いま2023年から先の未来は、単純繰返しやそれに近いことは、
どんどん機械化、AI化されて、単純作業、単純労働はいらなくなる
2)また、いま2023年から先の未来は、変化が早くなるだろう
いまやっていることを、これから先、時代に合わせて変えていく必要が出てくる
3)それが、解くべき問題だと思うよ
つまり、学校や大学のように「これが問題です」と与えられるのではなく
「そもそも、何が問題か?」を、自分で考えて、それを解くのです
4)それは
時代の先取りと言ったりすることもあるけど
5)それを解くとき、社会人では、(ずるい意味ではない)カンニングや相談、共同研究ありで
数学ソフトもありで、学校の試験とは違うオープンな環境での解く競争になる
6)そのときに、自分の数学の知識やスキルが役に立つだろう
問題を分析して、どこか急所かを見分けるのに
そして勿論、誰か相談できる人脈も
社会人としては、大きな武器ですけどね
(チマチマした、古典数学のお勉強を趣味にするのも悪くないと思うけど
それ以外にも、数学の勉強(今必要な数学を勉強するとか)の意義はあるよね)
390:132人目の素数さん
23/01/03 17:54:09.64 h/K14tXe.net
数学は水道方式でよくないか?
391:132人目の素数さん
23/01/03 17:59:01.21 SFuaQHg3.net
>>366
どこかに書いてないか確認するのは先に同じ事が考えつかれてないか確認する意味はあると思うんですが‥
>>367さんが言うとおりだと思いますよ…
392:わかるすうがく 近谷蒙
23/01/03 18:02:43.36 b5Fu+qY0.net
>>389
>>最前線って何?
> 一言いえば未解決問題だね
>>未解決問題を解かないと意味ないの?
>>んなこたぁないだろw
> あるんじゃね?
君、人としてヤバいよ
>要するに
>いま2023年から先の未来は、
>単純繰返しやそれに近いことは、どんどん機械化、AI化されて、
>単純作業、単純労働はいらなくなる
そうね、コピペは要らないねw 即刻やめたら?
>また、いま2023年から先の未来は、変化が早くなるだろう
それはどうかな?
>いまやっていることを、これから先、時代に合わせて変えていく必要が出てくる
そんなの常にそうでしょ
>それが、解くべき問題だと思うよ
>つまり、学校や大学のように
>「これが問題です」と与えられるのではなく
>「そもそも、何が問題か?」を、自分で考えて、それを解くのです
それも今に限ったことじゃない
昔から常にそうだった
機械化とかAIとか全然関係ない
で、君は自分の問題を見つけた?
>それは時代の先取りと言ったりすることもあるけど
先取りでもなんでもないけど
>それを解くとき、社会人では、
>(ずるい意味ではない)カンニングや相談、共同研究ありで
>数学ソフトもありで、学校の試験とは違うオープンな環境での解く競争になる
共同研究や数学ソフトの使用は
君が数学について全く理解せず考える必要もないことの
言い訳にはならんけどね
>そのときに、自分の数学の知識やスキルが役に立つだろう
>問題を分析して、どこか急所かを見分けるのに
君に数学の知識やスキルがあるの?
いっとくけど、検索結果の集積は知識とは言わない
自分で一度も使ったことない技法もスキルとは言わない
393:わかるすうがく 近谷蒙
23/01/03 18:04:30.78 b5Fu+qY0.net
>>392の続き
だいたい、1君、数学について何もする気ないやろ
君と共同研究で組む必要ってあるの?ないよね
君が金出すの? それは共同研究ではなく資金援助だよね
君が問題出すの?それも共同研究ではなく研究依頼だよね
「巡回多項式はラグランジュの分解式を使えばベキ根で解ける」
という情報をネット検索で見つけただけで
それが自分の知識でありスキルだと思い込んでるみたいだけど
一度もラグランジュの分解式を使ったことなければスキルじゃないよ
だって全然君の身についてないじゃん
そこはソフトやAIがやってくれるとかいうのは君の甘え
君、なんか根本的に勘違いしてるよ
>そして勿論、誰か相談できる人脈も社会人としては、大きな武器ですけどね
君みたいな人が、なんかざっくりしたこと相談してきても誰ものれないよ
何をどうしたらいいかわからんもん そこも丸投げ? 君、いったい何がしたいの?
>チマチマした、古典数学のお勉強を趣味にするのも悪くないと思うけど
ガウスにそれいう?w
君、天下のガウスにマウントするんだ
「円分多項式なんかいじっても意味ないで」ってw
意味ないどころか、整数論を方向づけた成果やで
君が全然理解してないだけだろ
無理な素人の根拠ない自信って怖いな
しかもそれが劣等感の裏返しによる虚勢の場合 特に
>それ以外にも、数学の勉強(今必要な数学を勉強するとか)の意義はあるよね
君にとって、何がどう必要なの?そのために何を勉強するの?
いっとくけど「教養」ってのは一番ダメなワードやで
そういう動機で勉強できた試しがない
君、自分の動機を見つめなおしたほうがええよ
君、本当に数学好きなん?
394:132人目の素数さん
23/01/03 18:15:21.37 hOWQqDwd.net
>>386
>んー、ボクがいってることは
>「数学者を生産することだけに特化した
> 東大京大の理学部数学科的な指導」
>とは違うと思うけど
他学科の連中は数学科のようにやたら論理論理と細かい教育指導はしないから、
>>381で
>文章を論理的に読んでないでしょ?定義も定理も証明も
>だって失敗するところが必ずそこだもの 最初からつまづいてんのよ
>それじゃ数学書は読めないよ 論理を一から学ばないと
と主張するおサルの教え方は数学科的な指導法だよ
理学部の他学科や他学部向けの数学のテキストと数学科向けの
数学のテキストの内容が違うことは見ればすぐ分かる
>1こと雑談君の一番残念な点は、数学の楽しさをいまだに見いだせてないこと
>何かの問題を解くための実用的な「魔法」としか思ってない
数学科出身でない人から見た数学なんてそんなもんだよ
数学は役に立たんと思っている人は世の中にあふれる程いる
世の中には手では解けない数学の問題は沢山ある
>>388
>よく
>「三角関数なんて何の役に立つんだ?」
>とかいう質問があるじゃん
物理的には波動などの偏微分方程式でよく使われてる
元々、任意の実関数に対するフーリエ級数による表わし方に関するフーリエの研究から
数学は近代のように厳密になって行って群とかが表れた訳で
395:132人目の素数さん
23/01/03 18:27:52.62 MpXxmbef.net
>>391
訂正
>>367さんじゃなくて>>353さんですよね‥
396:132人目の素数さん
23/01/03 18:32:13.22 MpXxmbef.net
>>395
↑更に↓に訂正です‥
>>354さんじゃなくて353さんですよね‥
↑でしたー
397:現代数学の系譜 雑談
23/01/03 19:41:08.31 aZhrx//w.net
>>394
>>それじゃ数学書は読めないよ 論理を一から学ばないと
>と主張するおサルの教え方は数学科的な指導法だよ
>理学部の他学科や他学部向けの数学のテキストと数学科向けの
>数学のテキストの内容が違うことは見ればすぐ分かる
それは一理あると思う
話は飛ぶけど、いま サッポロビール TVCM で
ピアニストの反田恭平さんが出ている(下記)
かれに、数学教えようという人はいないだろう
ピアニストの反田恭平に、数学教えてなんになる? 数学すきならいいれど
逆に、嫌がる数学者にピアノ教えてもね
みんな、それぞれ、得意不得意があっていい
だけど、ピアニストの反田恭平の演奏を聴きに行く数学者がいてもいいでしょ
数学者とピアニストと、社会でそれぞれの役割を果たしている
日本人全員が、数学者になる必要もなければ
日本人全員が、ピアニストになる必要ない
だけど、数学の隣接分野がいろいろある
自然科学系や工学系に、沢山ある
それはそれで良いだろうし
使う数学も時代で変わる
20世紀で使われる数学
21世紀で使われる数学
違って良いし、大学で習っただけで不足なら、勉強しなきゃ
2023年からは、そういう傾向が強まると思うよ
(参考)
黒ラベル 大人EV 28歳 スペシャルムービーA
魅力ある大人たちに出会える「大人エレベーター」で28階へ向かう妻夫木聡さん。そこには28歳大人代表の反田恭平さんが。WEB限定のスペシャルムービーです
URLリンク(www.sapporobeer.jp)
サッポロビール
TVCM
大人エレベーター
「大人ってなんだ?」
Floor 28へ、ようこそ。
ここは28歳の大人が「大人な会話」を楽しむ場所。
「大人って、なんだ?」
その答えは、ここにあるかもしれない…
(引用終り)
以上
398:現代数学の系譜 雑談
23/01/03 19:50:08.23 aZhrx//w.net
>>390
>数学は水道方式でよくないか?
遠山啓先生ね
遠山啓 アンチ圏論的 と言った人 倉田令二朗
URLリンク(math.artet.net)
TETRA’s MATH 2011.11.15
倉田令二朗が、「遠山啓の現代数学観は反圏論的」という、その意味
遠山啓著作集<数学論シリーズ4>『現代数学への道』巻末、倉田令二朗の解説を読んでいます。
倉田令二朗は解説の最後で、「圏論」について言及しています。「今世紀なかばに発生した圏論は数学のあらゆる部門に浸透し,現代数学の様相を一変しつつある。これを無視して現代数学を語ることはできない。」という語り始めで、圏、対象、射、合成、合成の結合則、恒等射についてひととおり説明していきます。また、例としてSet(集合の圏)、Ab(アーベル群の圏)、Top(位相空間の圏)をあげ、略 関手に触れています。
随伴(adjoint)について説明したのち、「問題提起」と見出しのつけられた11行の文章で解説をしめくくっているのです。ここの部分をすべて抜き出してみます。
多くの部門での圏論の成功は疑いないところである。現在でもすべてがカテゴリゼされたわけではないが,現代数学は集合論的なものと圏論的なものの混在としてあることは事実である。こうした情況をふまえて,現代数学教育を見直すことが一つの課題である。ちょうど遠山さんが前期現代数学をふまえて数学教育を見直したように。
ところで,これまで見てきたとおり,遠山さんの現代数学観はすぐれて実体論的,<分解―合成>的,かつexplicitであって,そのかぎりにおいて数学教育現代化によく適合したものの,一口にいって,きわめて反圏論的であることはいなめない。圏論的思考はたんなる専門家好みの一つのスタイルにすぎないものか,それとも,一つの新しい普遍的な理念なのか。だとすれば,それはわれわれの日常的活動の何を顕在化したものなのか?
こうなるとまた森毅の声がびんびん聞こえてきます。explicitというのは、はっきりした、明示的な、という意味があるようですが、確かに森毅がいうように、遠山啓の論調は「単純明解であるだけに,少し厄介なことになる.」のかもしれません。なお、銀林浩『量の世界-構造主義的分析』(むぎ書房/1975)によると、遠山啓の思想は反圏論的ではないようです。
(引用終り)
以上
399:現代数学の系譜 雑談
23/01/03 20:28:12.79 aZhrx//w.net
>>391
>どこかに書いてないか確認するのは先に同じ事が考えつかれてないか確認する意味はあると思うんですが‥
>>>367さんが言うとおりだと思いますよ…
それには同意で
反対でもないが
1)いま、高学歴アカデミックの世界が世知辛くなって
2)昔は、助手の人事など講座の教授の一声で、決まったもの
3)「君、大学に残らないか? 私の講座の助手の職がある」で決まったとか
4)いま、公平性の観点から、建前は全部公募制で(建前だけではないかも)教授の一存では決まらない
5)では、数学DRの後で職を得るためには? まあ、論文書いて、認めて貰うのが早道だろう
6)それには、新しいだけでもだめ。ある程度評価にあたいする内容でないと
7)そのために、どうするかが、多分当事者になったら深刻な問題でしょうね
佐藤幹夫先生のころは、上記2)~3)の時代だったかな
いまから見れば、牧歌的な
いま、自分が当事者なら、人生の選択でどうするか悩むでしょうね
何を書くか。仕事を得るための論文で
(問題を解決するというより、職を得るため)
いま手元に、数学セミナー誌 1月号 特集 2022 ICMがある
4名のフィールズ賞受賞者
ホ・ジョニ、メイナード、ヴィアゾフスカ、デュミエル=コパン
4年に1回でたった4名
記事を読むと、実力と運と
そういう気がします
ホームラン論文だが
狙って打てるものでもなさそう
今年は
代数学ではフィールズ受賞なし?
トポロジーでもなし?
400:現代数学の系譜 雑談
23/01/03 20:30:58.74 aZhrx//w.net
>>399 訂正
今年は
↓
今回2022年大会では
401:現代数学の系譜 雑談
23/01/03 22:59:43.99 aZhrx//w.net
>>399
>ホ・ジョニ
下記によれば、彼は数オリどころか、20代前半の学部では落ちこぼれだったんだね
URLリンク(en.wikipedia.org)
June Huh
google訳
URLリンク(webcache.googleusercontent.com)
June Huh(1983年生まれ)
初期の人生と教育
Huh はカリフォルニア州スタンフォードで生まれ、両親はスタンフォード大学の大学院を修了していました。
小学校のテストの点数が悪かったので、彼は数学があまり得意ではないと確信した. 彼は高校を中退し、日常の勉強に飽きて疲れ果てた後、詩を書くことに専念しました。[6]このため、彼は遅咲きと言われています。[7]ホは2002年にソウル大学校(SNU)に入学したが、最初は落ち着かなかった. 彼は当初、科学ジャーナリストになることを目指し、物理学と天文学を専攻することにしましたが、出席率が低く、最初に失敗したいくつかのコースを繰り返さなければなりませんでした。[6]
彼の研究の早い段階で、彼は客員教授としてSNUに行った日本人フィールズメダリスト数学者広中平助から指導を受けました. [1]いくつかのコースに失敗した後、Huh は6 年目に広中の下で代数幾何学コースを受講しました。このコースは特異点理論に焦点を当て、確立された教材ではなく広中の現在の研究に基づいていました。Huh 氏は、研究レベルの数学への関心が高まったのはコースのおかげだと述べています。[6]その後、ホはソウル国立大学で修士号を取得し、弘中と頻繁に日本を旅行し、彼の個人秘書を務めた. [6]大学での成績が悪かったため、Huh は出願したアメリカの大学の 1 つを除いてすべて拒否されました。彼は博士号を取得しました。2009 年にイリノイ大学アーバナ シャンペーン校で研究を行った後、2011 年にミシガン大学に転校し[6] 、2014 年に 31 歳でミルチャ ムスタシャの指導の下で論文を執筆して卒業しました[ 8] 。博士論文でサムナー・バイロン・マイヤーズ賞を受賞。[9]
つづく
402:現代数学の系譜 雑談
23/01/03 23:00:22.52 aZhrx//w.net
>>401
つづき
キャリア
2009 年、博士課程の研究中に、Huh は40 年以上解決されていなかったグラフ理論の文脈で、彩色多項式の係数の単峰性に関するリードの予想を証明しました。[6] [10]カリム・アディプラシートとエリック・カッツとの共同作業で、彼はマトロイドの特性多項式の対数凹面に関するヘロン・ロタ・ウェルシュ予想を解決した。[11] [1]
Karim Adiprasito と共に、彼は 2019 年の数学における早期キャリア達成に対するニュー ホライズンズ賞の 5 人の受賞者の 1 人であり、数学のブレークスルー賞に関連しています。
Huh は、「ホッジ理論のアイデアを組み合わせ論にもたらしたこと、幾何学的格子に対するダウリング-ウィルソン予想の証明、マトロイドに対するヘロン-ロタ-ウェルシュ予想の証明、ローレンツ理論の発展」に対して 2022 年のフィールズ賞を受賞しました。多項式、および強力なメイソン予想の証明」. [15]
June Huh 氏は、アジアで 9 番目の受賞者であり、韓国人としては初めての受賞者です。[16]
(引用終り)
以上
403:現代数学の系譜 雑談
23/01/03 23:35:12.84 aZhrx//w.net
>>399
>デュミニル=コパン
パーコレーション理論を、日本の数学科で聞いた人は希有だろうね
イジング模型は、佐藤スクールの研究が有名
URLリンク(ja.wikipedia.org)
ユーゴー・デュミニル=コパン(1985年8月26日)は、確率論を専門とするフランスの数学者。2022年にフィールズ賞を受賞した。
経歴
デュミニル=コパンは、中学校の体育教師の父と、元ダンサーで現在小学校教師の母の息子として生まれ、幼少期はパリ郊外で多くのスポーツをしながら育ち、ハンドボールへの情熱を追求するため初めは体育会系の高校に進学しようと考えていた[1]。最終的に、デュミニル=コパンは、数学と科学に特化した学校に進学することにし[1]、パリのリセ・ルイ=ル=グランに入学、その後高等師範学校 (パリ)、パリ第11大学へと進んだ。数学の証明の厳密さに満足感を覚え、物理学ではなく数学に集中することに決めたが、統計力学上の問題を扱うために数理物理学で用いられるパーコレーション理論(英語版)に関心を徐々に持ち始めた[1]。2008年、デュミニル=コパンはスタニスラフ・スミルノフの下で博士論文を執筆するためジェノヴァ大学へ移った。二人はパーコレーション理論と格子内の頂点と辺を用いて流体の流れとそれに伴う相転移をモデル化した。二人は六方格子(英語版)において可能な自己回避ウォーク(英語版)の数を調べ、組み合わせ論をパーコレーション理論に応用した。この成果は2012年のAnnals of Mathematicsに掲載され、同年デュミニル=コパンは27歳で博士号を取得した[1]。
ポスドク後の2013年、デュミニル=コパンはジェノヴァ大学の助教になり、2014年正教授となった[2]。2016年にはフランス高等化学研究所(IHES)の終身教授になった[3]。2019年より、欧州アカデミー(英語版)の会員である[4]。
2017年より、デュミニル=コパンは欧州研究会議(英語版)の主任研究員であり、格子モデルの臨界挙動(Critical behavior of lattice models、略してCriBLam)のグラントを獲得している。デュミニル=コパンは、CNRSとIHESの共同研究ユニットであるアレクサンドル・グロタンディーク研究室のメンバーである[2] 。
つづく
404:現代数学の系譜 雑談
23/01/03 23:40:03.41 aZhrx//w.net
>>403
つづき
デュミニル=コパンの業績は統計物理学の数理分野に集中している。デュミニル=コパンは確率論に由来する発想を用いてネットワーク上の様々なモデルの臨界挙動を研究している[2]。相転移が起こる臨界点を特定すること、臨界点で何が起こるか、そして臨界点の直上直下の系の挙動に、業績は集中している[1]。強磁性材料における相転移を研究するために使われるイジング模型を解明するために、格子の一部においてある辺の状態が他の辺の状態に影響するような依存性パーコレーション模型について、デュミニル=コパンは研究している。2011年にはヴァンサン・ベファラ(フランス語版)と共同で、多数の2次元依存性パーコレーション模型に対する臨界点を決定する公式を与えた[1]。
2019年、ヴァンサン・タシオン(Vincent Tassion)とアラン・レウフィ(Aran Raoufi)と共同で、系が臨界点の直下と直上である場合の格子における連結成分のサイズに関する結果を公表した。3人は、臨界点の下では格子の連結成分に頂点が2つある確率は分離距離とともに指数関数的に減衰し、臨界点の上でも類似の結果が成立し、また臨界点の上ではサイズが無限になる連結成分が存在することを示した。デュミニル=コパンと共同研究者は、「鋭敏性(sharpness)」と名付けたこの特性を、解析学と計算機科学を用いて証明した[1]。デュミニル=コパンはまた、臨界点自体での相転移の性質、そして様々な状況下で相転移は連続的か非連続的か、についてもポッツ模型(英語版)の場合を中心に、より深く明らかにした[1]。
つづく
405:現代数学の系譜 雑談
23/01/03 23:40:26.75 aZhrx//w.net
>>404
つづき
デュミニル=コパンは2次元の依存性パーコレーション模型における共形不変性(英語版)について研究している。デュミニル=コパンはこの対称性の存在を証明することで、模型についての多大な情報が導かれるだろうと述べた[1]。2020年、デュミニル=コパンと共同研究者は、多くの物理系における相の間の境界で回転不変性が存在することを証明した[5][6]。
デュミニル=コパンはイジング模型に関する業績に対して、2017年のブレイクスルー賞のNew Horizons in Mathematics Prizeを受賞した[7]。
2022年、デュミニル=コパンは「統計物理学、特に3次元および4次元の相転移の確率的理論における長年の問題を解決した業績」に対して、フィールズ賞を受賞した[8][9]。ウェンデリン・ウェルナーはパーコレーション理論の分野の一般化はデュミニル=コパンの功績だと讃え、「全てがより簡単になり、合理化された。結果はより強力になった。…これらの物理現象の理解はまるまる置き換わった。」と述べた[1]。ウェルナーは、パーコレーション理論における「主要な未解決問題のほとんど半分はデュミニル=コパンが解いてしまった」と述べた[1]。
(引用終り)
以上
406:132人目の素数さん
23/01/04 01:28:12.45 x9OImmQ4.net
>>366
学部止まりどころか中退さえ怪しく除籍が疑わしいお前が人を笑うのか
重度の自己愛性人格障害だな
407:132人目の素数さん
23/01/04 04:13:09.04 d/vabi9+.net
大阪の受験ゴミってこういうノリが異様に多いね。なんなの?。
408:132人目の素数さん
23/01/04 04:28:21.62 deVmj1jh.net
>>394
>他学科の連中は数学科のようにやたら論理論理と細かい教育指導はしない
>理学部の他学科や他学部向けの数学のテキストと
>数学科向けの数学のテキストの内容が違うことは
>見ればすぐ分かる
他学科、他学部向けだと定義定理省略する?
さすがにそれはないでしょ
>>何かの問題を解くための実用的な「魔法」
>数学科出身でない人から見た数学なんてそんなもんだよ
>数学は役に立たんと思っている人は世の中にあふれる程いる
>世の中には手では解けない数学の問題は沢山ある
数学は世間的な問題を解決するための手法ではないけど
円のn等分のベキ根表示は世間的な問題の解決ではないでしょ
世間的な解決なら、逆三角関数でOKだから
409:132人目の素数さん
23/01/04 04:34:30.75 deVmj1jh.net
>>397
なんか、云ってることが一気にぼわっとしてきたな
そういう君、正則行列の条件は理解した?
>>398
圏論の話なんかここではしてないよ
ていうか、群も分からん人が圏なんてもっと分からんでしょ 違う?
>>399
ポストの話も賞の話もしてないよ
君、話すことがいちいち生臭いね
410:132人目の素数さん
23/01/04 04:37:40.54 deVmj1jh.net
>>401-405
なんか、自分は本当はスゴイんだ、といいたいためだけに、コピペしてる?
なんか、哀れだね 誰も君のことなんか興味ないよ
411:132人目の素数さん
23/01/04 04:47:12.84 deVmj1jh.net
>>406
1がナルシストなのは明らかだな
>>407
東京でもいるけどね
高校までの数学の成績はよかったけど、大学の数学で落ちこぼれて
その事実が受け止められずに、おかしな拗らせ方をする
読めもしない数学書を大量に買い込むとか
何かと云えば圏論がとか分かりもしない言葉を口にするとか
賞とかポストとかの話ばっかりするとか
で、数学の中身の話になるととたんにつまづく
辿っていくとなんと最初の定義で誤解してる
なんで大学でつまづいたか他人はみんなわかってるけど
当人だけはわかってない
定義なんか読まなくたって直感で分かると思ってる
高校まではそれで通用したけど大学じゃ無理ってことがわかってないんだな
数学科とか関係ないよ だって大学1年の数学だから
412:132人目の素数さん
23/01/04 05:00:52.55 deVmj1jh.net
まあ、大学の数学は面白みがないんで、
なんか興味もてないってのはあるけどね
円分多項式の件は「ベキ根表示」が目的ではないんだよね
n分割点をnより小さいmについてのm分割点で表すのが本当の目的
ベキ根を用いる以外は、代数計算(極言すれば算数)でいける
もちろん巡回群という構造はあるけど mod pが分かるなら分かる
あとは、q^(p-1)=1 (mod p) くらいかな とっかかりはそれ
まず、やってみなよ やらないうちは何が面白いのかわかんないから
413:132人目の素数さん
23/01/04 07:05:24.21 gL9vWo67.net
>>408
>>他学科の連中は数学科のようにやたら論理論理と細かい教育指導はしない
>>理学部の他学科や他学部向けの数学のテキストと
>>数学科向けの数学のテキストの内容が違うことは
>>見ればすぐ分かる
> 他学科、他学部向けだと定義定理省略する?
> さすがにそれはないでしょ
趣旨が伝わらなかったようだが、理学部の他学科や他学部向けの数学のマトモな
テキストでガロア理論の内容が書かれているものは見たことない
複素解析や群論は物理にも応用出来るけど、ガロア理論は見ただけでは応用出来そうもないしな
>>>何かの問題を解くための実用的な「魔法」
>>数学科出身でない人から見た数学なんてそんなもんだよ
>>数学は役に立たんと思っている人は世の中にあふれる程いる
>>世の中には手では解けない数学の問題は沢山ある
> 数学は世間的な問題を解決するための手法ではないけど
> 円のn等分のベキ根表示は世間的な問題の解決ではないでしょ
> 世間的な解決なら、逆三角関数でOKだから
世の中には文系の人とかそう思っている人は沢山いる
上に正規数の話しあったろ
任意に与えられた正規数の小数点以下の桁の数が当てられるかというと、
そういう問題は単純な手法では済まなくなって、かなり厄介な問題になる
そういう身近なところに上記のような問題はある
414:現代数学の系譜 雑談
23/01/04 08:30:59.98 e78Zodr8.net
>>413
>世の中には文系の人とかそう思っている人は沢山いる
>上に正規数の話しあったろ
>任意に与えられた正規数の小数点以下の桁の数が当てられるかというと、
>そういう問題は単純な手法では済まなくなって、かなり厄介な問題になる
>そういう身近なところに上記のような問題はある
レスありがとう
ところで
1)”上に正規数の話し”は、無かったと思うし、検索ではヒットなしだが?
2)”任意に与えられた正規数” って、例えばどんな数? 下記にあるように、知られている具体的正規数は、無いみたいだよ? 例示してください
(下記”「無理数かつ代数的数である数は正規数である」と予想した[7]。しかし解決への道のりは遠く、反例も知られていないし、正規である代数的数の例も知られていない。”とあるよ)
3)”任意に与えられた正規数の小数点以下の桁の数が当てられるか”は、下記の乱数列を仮定すると、確率論が適用できる
(参考)
URLリンク(ja.wikipedia.org)
正規数
正規数(せいきすう、normal number)とは、無限小数表示において数字が一様に分布しており、数字の列が現れる頻度に偏りがないという性質を持つ実数である。より正確な定義については「定義」の節を参照のこと。
r 進法での表示についてこの性質を持つ数を r 進正規数という。単に正規数と述べた場合は、2 以上の任意の整数 r に対して r 進正規数であることを意味する。
一般論としてほとんど全ての実数が正規数であることが知られているが、その証明は構成的でないため、正規数であることが判明している具体的な数は非常に限られている。例えば、2の平方根、円周率、ネイピア数はそれぞれ正規数だと信じられているが、その通りか否かは未だ謎である。
定義
直感的に言い換えるならば、S のある位置に w が現れる「確率」が、乱数列のそれと一致するということである。(乱数列であるためには正規列であることが望まれるが、正規列であれば必ず乱数列とみなせるかというと必ずしもそうではない。)
つづく
415:現代数学の系譜 雑談
23/01/04 08:31:41.08 e78Zodr8.net
>>414
つづき
性質および例
チャンパーノウン定数
0.1234567891011121314151617...
は、十進小数表示において自然数が順に連なっている実数である。これは基数 10 に関して正規であるが (Champernowne, 1933[5])、他の基数に関しては正規か否かわかっていない。
コープランド-エルデシュ定数
0.235711131719232931374143...,
は、十進小数表示において素数が順に連なっている実数であり、これもまた基数 10 に関して正規である (Copeland and Erd?s, 1946[6])。
正規数の例として人工的に作られたものではない数たちの正規性を示すことは一般には難しい。例えば、2の平方根、円周率、ネイピア数、log 2 といった数学的に重要な定数が正規数であるか否かは未だに知られていない。
2001年の論文で、Bailey と Crandall は「無理数かつ代数的数である数は正規数である」と予想した[7]。しかし解決への道のりは遠く、反例も知られていないし、正規である代数的数の例も知られていない。
(引用終り)
以上
416:132人目の素数さん
23/01/04 08:39:38.67 gL9vWo67.net
>>414-415
>>321-322で出て来たチャイティンも正規数を発見している
417:132人目の素数さん
23/01/04 09:19:43.47 gL9vWo67.net
>>414-415
>1)”上に正規数の話し”は、無かったと思うし、検索ではヒットなしだが?
>2)”任意に与えられた正規数” って、例えばどんな数?
>下記にあるように、知られている具体的正規数は、無いみたいだよ? 例示してください
>>416で書いたようにチャイティンが見つけた正規数が具体的正規数になる
>3)”任意に与えられた正規数の小数点以下の桁の数が当てられるか”は、
>下記の乱数列を仮定すると、確率論が適用できる
確率論を適用しても、正規数の小数点以下の桁の数は当てられず、
正規数の小数点以下の桁の数の分布の確率的な傾向が分かるだけで、
例え確率が分かっても直接正規数の小数点以下の桁を当てられるとは限らない
418:132人目の素数さん
23/01/04 17:29:48.18 deVmj1jh.net
>>413
>趣旨が伝わらなかったようだが、
乙に?
>理学部の他学科や他学部向けの数学のマトモなテキストで
>ガロア理論の内容が書かれているものは見たことない
>複素解析や群論は物理にも応用出来るけど、
>ガロア理論は見ただけでは応用出来そうもないしな
題材の話はしてないが 乙は幻聴が聞こえるのか?
>上に正規数の話しあったろ
ないよ 乙の妄想だろ
(完)
419:132人目の素数さん
23/01/04 17:30:59.54 deVmj1jh.net
>>414
乙と同類の🐎🦌1が早速食いついたな
類は友を呼ぶとはよくいったもんだ
420:132人目の素数さん
23/01/04 17:36:53.04 deVmj1jh.net
>>416-417
>チャイティンも正規数を発見している
数学界のアカシックレコードともいわれる
チャイティンのΩのことか?
アカシックレコード あるいは アカシャ年代記
URLリンク(ja.wikipedia.org)
チャイティンの定数
URLリンク(ja.wikipedia.org)
オカルト好きが、チャイティンにはまるのは、あるある
421:132人目の素数さん
23/01/04 17:45:56.78 cIEkP5vn.net
>>418
>>趣旨が伝わらなかったようだが、
> 乙に?
君にだよ
>>420
正規数の小数点以下の桁の数の確率分布の研究は
ハウスドルフ測度やフラクタルやフーリエ解析などを使えば出来る
422:現代数学の系譜 雑談
23/01/04 21:56:03.91 e78Zodr8.net
>>417
ありがとう
下記な
”チャイティンの定数:個々の停止確率は正規かつ超越的な実数であり、計算不可能である。つまりその各桁を列挙するアルゴリズムは存在しない”(下記)
これは、時枝 スレリンク(math板)
と、バッティングしているかもw
(参考)
URLリンク(ja.wikipedia.org)
チャイティンの定数
チャイティンの定数(チャイティンのていすう、英: Chaitin's constant)は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが停止する確率を表した実数である。グレゴリー・チャイティンの研究から生まれた。停止確率(ていしかくりつ、英: Halting probability)とも。
停止確率は無限に多数存在するが、Ω という文字でそれらをあたかも1つであるかのように表すのが普通である。Ω はプログラムを符号化する方式に依存するので、符号化方式を特定せずに議論する場合は Chaitin's construction と呼ぶことがある。
個々の停止確率は正規かつ超越的な実数であり、計算不可能である。つまりその各桁を列挙するアルゴリズムは存在しない。
数論の未解決問題への応用
チャイティンの定数は、原理的には、ゴールドバッハ予想やリーマン予想といった数論の未解決問題を解くのに用いることが出来る[1]。ゴールドバッハ予想とは、2より大きい全ての偶数は2つの素数の和で表せる、というものである。ある偶数が与えられたとき、それを2つの素数の和に分解するプログラムを考える。ゴールドバッハ予想が正しければ、このプログラムは偶数を次々に2つの素数に分解していくだろう。素数に分解できない偶数という反例が見つかった場合、プログラムは停止し、ゴールドバッハ予想は間違いだったことが示される。このプログラムの長さを N ビットとする。計算資源と時間に制限がない場合、チャイティンの定数を使ってゴールドバッハ予想を次のように証明できる。同時並行的に、長さが N + 1 ビット以下であるような全てのプログラムを実行する。Nビットであるゴールドバッハプログラムが停止すれば、予想は偽であったと証明される。
つづく
423:現代数学の系譜 雑談
23/01/04 21:56:32.14 e78Zodr8.net
>>422
つづき
もしこの逆に、他のプログラムがどんどん停止してあと一つでも停止すればチャイティンの定数を超えてしまう状況となり、その時点でまだゴールドバッハプログラムが停止していないなら、最早ゴールドバッハプログラムは停止し得ないので、ゴールドバッハ予想が正しいことが証明される。この方法を用いる上では、チャイティンの定数の先頭から N + 1 ビットまでの値さえ分かればよい。
同様に、リーマン予想などの数学上の未解決問題の多くも、チャイティンの定数を使って証明(または反証)できる。
上の説明は再帰的公理化可能理論の可証性述語がチャイティン定数から相対的に計算可能であるということを示しているに過ぎない。上記の方法で未解決問題の可証性を判定するために必要なビット長は長大であり、チャイティン定数の正確な値を必要なだけ求めることは困難である。仮に必要なだけのビットが求められたとしても、上のアルゴリズムの計算量は膨大である。したがって上記の方法で未解決問題の可証性を判定することが実際的な意味で可能であるというわけではない。
属性
チャイティンの定数 Ω は以下のような属性を有する。
・アルゴリズム的無作為性を有する。すなわち、任意の特定のプログラミング言語において定数 C が存在し、その言語で書かれたチャイティンの定数の先頭 n ビットを出力して停止するプログラムは、(n ? C) ビットより短くなることはない。
・正規数である。すなわち、歪みの無い硬貨を投げて決めたように各数字が等しい確率で出現する。
・計算可能数ではない。すなわち、バイナリ列として展開した値を計算できる関数は存在しない。
・停止問題とチューリング同値
停止確率の計算不可能性
ある実数が計算可能であるとは、n を入力として与えられたとき、その実数の先頭から n 桁を出力するアルゴリズムが存在する場合である。これは、実数の数字を列挙するプログラムの存在と等価である。
つづく
424:現代数学の系譜 雑談
23/01/04 21:56:56.26 e78Zodr8.net
>>423
つづき
停止確率は計算可能ではない。この事実の証明は、Ω の先頭 n 桁を与えるアルゴリズムがあるとすれば、そのアルゴリズムを用いれば長さ n までのプログラムの停止問題が解けてしまうことに拠る。停止問題は決定不能であるため、矛盾が生じ、Ω が計算できないことが示される。
このアルゴリズムは次のように進行する。Ω の先頭 n 桁と k =< n が与えられているとして、アルゴリズムは F の定義域を数え上げていき、数え上げた要素群が表す確率が Ω の 2-(k+1) 以内である限り続ける。この時点を過ぎると、最早長さ k であるような如何なるプログラムも定義域に存在し得ない。何故なら、もしそのようなプログラムがあれば、それぞれが測度に 2-k を追加することになってしまい、これは不可能だからである。従って、定義域内の長さ k の文字列の集合は、まさに既に列挙した文字列の集合である。
停止確率の不完全性定理
詳細は「コルモゴロフ複雑性#チャイティンの不完全性定理」を参照
自然数を扱う無矛盾で有効に表現された公理系(例えばペアノ算術など)それぞれにおいて、Ωの値を求める際、Ω の先頭 N ビットを過ぎてしまうと、以降はそれらの体系内でΩの桁が 0 なのか 1 なのか証明できないような定数 N が存在する。定数 N の値は、その形式体系がどのように有効に表現されているかに依存し、従ってその公理体系の複雑さを直接反映しない。この不完全性は、算術のどのような無矛盾な形式的理論も完全でないことを示すゲーデルの不完全性定理に類似している
(引用終り)
以上
425:132人目の素数さん
23/01/05 06:07:33.90 ui+6CINH.net
>>422-424
また、1が生半可に知って、🐎🦌なこといってんな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
チャイティンの定数
個々の停止確率は正規かつ超越的な実数であり、計算不可能である。
つまりその各桁を列挙するアルゴリズムは存在しない
これは、箱入り無数目
スレリンク(math板)
と、バッティングしているかも
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
してないよ
100列選んだ時点で、決定番号は決まっている
なぜなら、代表列は「あらかじめ」決定していて
決して変わらないから(ここ、1は思いっきり間違った)
まあ、仮に1のいうように、その都度代表を選ぶとしても
ランダム性なしに、列の情報だけで恣意的に決める
🐎🦌なことしないかぎり本来の箱入り無数目と同じになりますがね
(ただ、ランダムに代表を選ぶことが測度論的には実現できないけど)
426:現代数学の系譜 雑談
23/01/05 08:30:33.32 LLYxdg6H.net
>>387 追加
(参考)
URLリンク(tsujimotter.)はてなブログ.com/archive/category/%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%A6%E3%82%A7%E3%83%BC%E3%83%90%E3%83%BC
tsujimotterのノートブック
クロネッカー・ウェーバー
2017-11-12
クロネッカー・ウェーバーの定理と証明のあらすじ(その3):クンマー・ペアリング
2017-10-29
クロネッカー・ウェーバーの定理と証明のあらすじ(その2):クンマー拡大
2017-07-02
クロネッカー・ウェーバーの定理と証明のあらすじ(その1)
427:132人目の素数さん
23/01/05 19:52:34.72 ui+6CINH.net
>>426
また、1が自分では死ぬまでわかりもしないことをコピペしてんのか 哀れな奴だ
クロネッカー・ウェーバーの定理
URLリンク(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
代数的整数論において、すべての円分体は有理数体 Q のアーベル拡大であることが示せる。
クロネッカー・ウェーバーの定理 (Kronecker–Weber theorem) は、この逆を部分的に与えるもので、
Q のアーベル拡大体はある円分体に含まれるという定理である。
言い換えると、有理数体上の拡大体でそのガロア群がアーベル群である体に含まれる代数的整数は、
1の冪根の有理係数による和として表すことができる。例えば、
√5=e^2πi/5-e^4πi/5-e^6πi/5+e^8πi/5
である。
この定理の名前は
レオポルト・クロネッカー (Leopold Kronecker) と
ハインリッヒ・マルチン・ウェーバー(Heinrich Martin Weber) に
因んでいる。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
428:現代数学の系譜 雑談
23/01/05 21:22:07.03 LLYxdg6H.net
>>425
>チャイティンの定数
> 個々の停止確率は正規かつ超越的な実数であり、計算不可能である。
>つまりその各桁を列挙するアルゴリズムは存在しない
>これは、箱入り無数目
>スレリンク(math板)
>と、バッティングしているかも
>ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
>
>してないよ
> 100列選んだ時点で、決定番号は決まっている
>なぜなら、代表列は「あらかじめ」決定していて
>>414より再録
(参考)
URLリンク(ja.wikipedia.org)
正規数
正規数(せいきすう、normal number)とは、無限小数表示において数字が一様に分布しており、数字の列が現れる頻度に偏りがないという性質を持つ実数である。より正確な定義については「定義」の節を参照のこと。
チャンパーノウン定数
0.1234567891011121314151617...
は、十進小数表示において自然数が順に連なっている実数である。これは基数 10 に関して正規であるが (Champernowne, 1933[5])、他の基数に関しては正規か否かわかっていない。
正規数の例として人工的に作られたものではない数たちの正規性を示すことは一般には難しい。例えば、2の平方根、円周率、ネイピア数、log 2 といった数学的に重要な定数が正規数であるか否かは未だに知られていない。
2001年の論文で、Bailey と Crandall は「無理数かつ代数的数である数は正規数である」と予想した[7]。しかし解決への道のりは遠く、反例も知られていないし、正規である代数的数の例も知られていない。
(引用終り)
つづく
429:現代数学の系譜 雑談
23/01/05 21:27:21.15 LLYxdg6H.net
>>428
つづき
さてさて
1)上記時枝 箱入り無数目の箱に、√2の10進展開の数を入れるとする
√2=1.4142・・ 最初の箱に1、二番目が4、三番目が1、四番目が4、五番目が2・・とする
2)√2=1.4142・・による数列の存在は、数学ではコーシー列として実現できる。よって、箱に入れる数も決まる
3)なお、いまの場合、箱の数はただ0~9の一桁の整数でしかない。時枝では、箱には任意の実数が入るので遙かに複雑だ
4)さて、時枝では、回答者は、あるn番目以降の箱に入れた無限の0~9の数列を調べなければならない
回答者は、箱の数列が√2であることを知らないのだ
5)もし、回答者が あるn番目以降の箱に入れた無限数列が、√2の10進展開によるものだと気づいたとする
であれば、n番目以降の無限数列が、正規数か否かが分かるはず。つまり、「正規数問題が解ける!」ww
(必要ならば、1~n-1番目までの調査を追加するのは可能だし)
6)しかし、2023年現在の数学は、√2の10進展開が正規数か否かの判断はできないのだ
つまり、回答者は無限個の箱の数を具体的に調べる手段を、2023年の数学は持っていないのです
7)これは、箱にたった10個の0~9の数しか使っていない場合です。この単純ケースでこれだw
まして、箱に任意の実数を入れた数列について、具体的に調べる手段は、2023年の数学は持っていない
8)勿論、上記のチャンパーノウン定数同様、人工的に「これが決定番号でござる」とすることは可能なのだが
それでは、確率計算はできないのです
9)時枝の決定番号なんて、とても とても なのですw
(引用終り)
以上
430:132人目の素数さん
23/01/05 21:53:34.21 ui+6CINH.net
>>428-429
全く支離滅裂な発言
1は統合失調症か
URLリンク(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
連合弛緩:
思考が脈絡なく飛躍する。
これが進行すると「ワードサラダ」となる。
連想が弱くなり、話の内容が度々変化してしまう。
単語には連合があり、これをわかりやすく言えば、
単語の意味とその関係にはグループ(連合)がある。
連合弛緩は、この連合が弛緩する事で
全く関係のない単語を連想してしまう。
しかし、落語にあるようなダジャレは連合弛緩ではない。
連合弛緩は、言葉の連想と関係を無視する場合がある。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
431:現代数学の系譜 雑談
23/01/06 07:48:54.64 9sWh0IFW.net
>>426 追加
この人面白いね
URLリンク(tsujimotter.)<)はてなブログ.com/all-entries
tsujimotterのノートブック
全記事リンク
432:現代数学の系譜 雑談
23/01/06 07:56:36.10 9sWh0IFW.net
>>429 補足
構成主義的視点では、時枝の手法の99/100は、計算可能性の面から否定されるってことかな?w (下記ご参照)
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
構成主義 (数学)
構成主義(こうせいしゅぎ、英: constructivism)とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに背理法によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。
多くの形の構成主義がある[1]。これらはブラウワーによって創始された直観主義のプログラム、ヒルベルトならびにベルナイスの有限主義(英語版)、Shamin(英語版)ならびにMarkov(英語版)の構成的で再帰的な数学、そして構成的解析学(英語版)であるBishop(英語版)のプログラムを含む。構成主義はCZF(英語版)やトポス論の研究のような構成的集合論(英語版)の研究もまた含む。
構成主義はしばしば直観主義と同一視される、しかしながら直観主義は構成主義者のプログラムのひとつでしかない。個人的な数学者の直観のなかに数学の基礎がおかれるところの直観主義数学は、それによってひとつの内在的で主観的な活動のなかへと数学をさせている[2]。他の形の構成主義は直観のこの見地において基礎をもたない、そして数学において客観的な見地をもって両立できる。
関連項目
・計算可能性理論
URLリンク(en.wikipedia.org)(philosophy_of_mathematics)
Constructivism (philosophy of mathematics)
Contents
1 Constructive mathematics
1.1 Example from real analysis
1.2 Cardinality
1.3 Axiom of choice
1.4 Measure theory
2 The place of constructivism in mathematics
3 Mathematicians who have made major contributions to constructivism
4 Branches
5 See also
(引用終り)
以上
433:現代数学の系譜 雑談
23/01/06 10:55:36.28 Rz0bnGW9.net
>>426 補足
・この意図は、フーリエ変換(離散を含める。以下同様)を、つつこう といういうこと
・例えば、フーリエ変換理論で、クロネッカー・ウェーバーの別証明が得られるとかできれば、面白いけどねw
別証明できないよね?w
(別証明でなくとも、フーリエ変換理論で、クロネッカー・ウェーバー証明の見通しが良くなるなら、示してほしいw)
・フーリエ変換して? さらに逆変換?
元に戻るだけでしょ?
・元に戻るときに、「べき根表示が一挙に得られるという話」?>>339
実現できれば、面白いよね
出来なければ、与太話だよねw
434:わかるすうがく 近谷蒙
23/01/06 19:47:08.84 0spBLukI.net
御無沙汰してます
おととい、きのう、きょうと、「半乃木坂方程式」
(x^23-1)/(x-1)=0 (23は46の半分だから、笑)
を解く目的で、EXCELを作成してました
中身は、mod11の加算表と、これを利用した多項式の計算
といっても指数のところだけだから完全に算数
しかしこれで完全に用が足りますね
頭を全く使わない人は何も考えずに
ラグランジュの分解式の11乗を
計算しようとするんでしょうけど
実際はそんな必要は全然なくて
10個あるラグランジュの分解式の対を掛け算して
別のラグランジュ分解式で割る操作を繰り返せばいい
例えば式①の11乗なら
(①①/②)(①②/③)(①③/④)(①④/⑤)(①⑤/⑥)(①⑥/⑦)(①⑦/⑧)(①⑧/⑨)(①⑨/⑩)(①⑩)
を計算すればいい
()内のそれぞれが「ヤコビ和」と呼ばれるものであるらしい
知らんけどw
>>120
>円分体の場合は、ラグランジュ分解式の計算は全てガウス和の計算に帰する。
>そして、ガウス和の積に関してJacobi和との間にある関係式が成立するので、
>結局「べき根の中身」の計算はJacobi和から計算される。
>χをk次の指標とすると
>G(χ)^k=χ(-1)p Π_{j=1}^{k-2} J(χ,χ^j)∈Q(exp(2πi/k).
>>260
>「偏角決定なし」で、べき根の中身だけなら
> >>120の公式より、ヤコビ和という比較的簡単な和から計算できる。
435:わかるすうがく 近谷蒙
23/01/06 19:59:19.76 0spBLukI.net
>>433
>フーリエ変換(離散を含める)を、つつこう
>例えば、フーリエ変換理論で、
>クロネッカー・ウェーバーの別証明が得られるとかできれば、
>面白いけどね、別証明できないよね?
>・フーリエ変換して? さらに逆変換?元に戻るだけでしょ?
>・元に戻るときに、「べき根表示が一挙に得られるという話」?
>実現できれば、面白いよね 出来なければ、与太話だよね
この本知ってる?
フーリエ解析の序章
URLリンク(www.sugakushobo.co.jp)
杉山健一 著
A5判・並製・176頁・定価2300円+税
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
理論・応用を問わず様々な分野で有用であるFourier解析学の入門書.
理論だけではFourier変換の威力が実感されないので,
整数論, 幾何学, 解析学, 物理学, 工学などへの諸分野への応用も解説した.
まえがき
Fourier解析は,理論・応用を問わず様々な分野で有用である.
本書ではそ の入門として次の場合のFourier変換を解説する.
(1)有限巡回群上定義された関数のFourier変換.
(2)周期関数のFourier変換.
(3)急減少関数のFourier変換.
(4)超関数のFourier変換.
一見するとこれらの話題は独立であるように思われるが,実は一般化により
(1)→(2)→(3)→(4)
という関係があり,その過程でFourier変換の思想は一貫している.
(略)
また理論だけではFourier変換の威力が実感されないので,
以下の分野への 応用を解説した.
(1)(整数論)Gauss和とJacobi和,平方剰余の相互法則,有限体上定義さ れたFermat曲線の有理点の個数の数え上げ,Eulerの等式(ゼータ関数の特 殊値).
(2)(幾何学)離散等周問題,等周問題.
(3)(解析学)線型微分方程式,Weierstraussの多項式近似定理.
(4)(物理学)(離散)不確定性原理
(5)(工学)CT(Computer Tomography),Digital samplingの理論.
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
436:現代数学の系譜 雑談
23/01/06 20:52:00.28 9sWh0IFW.net
>>435
(引用開始)
この本知ってる?
フーリエ解析の序章
URLリンク(www.sugakushobo.co.jp)
杉山健一 著
A5判・並製・176頁・定価2300円+税
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
理論・応用を問わず様々な分野で有用であるFourier解析学の入門書.
理論だけではFourier変換の威力が実感されないので,
整数論, 幾何学, 解析学, 物理学, 工学などへの諸分野への応用も解説した.
まえがき
Fourier解析は,理論・応用を問わず様々な分野で有用である.
本書ではそ の入門として次の場合のFourier変換を解説する.
(1)有限巡回群上定義された関数のFourier変換.
(2)周期関数のFourier変換.
(3)急減少関数のFourier変換.
(4)超関数のFourier変換.
一見するとこれらの話題は独立であるように思われるが,実は一般化により
(1)→(2)→(3)→(4)
という関係があり,その過程でFourier変換の思想は一貫している.
(略)
(引用終り)
おお! 良い本あるじゃん!w
じゃ、早速これ
前スレより
スレリンク(math板:417番)
種を明かすと>>372の方程式
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の左辺は
Π_{k=1}^{5}(x-1/cos(2kπ/11)).
方程式のガロア群は5次の巡回群であり、代数解法が可能。
その解法にはζ_5が必要だが
最小分解体にはζ_5は「含まれない」が正解。
(引用終り)
に適用してくれや!w
1)できれば、x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0から出発して、べき根表示頼むわ
2)あるいは、Π_{k=1}^{5}(x-1/cos(2kπ/11))からでも良いけどね。但し、根”1/cos(2kπ/11)”への直接のフーリエ変換からべき根表示を頼むよ
(cos(2kπ/11)を出発点として、逆数取るのは不可なw)
437:わかるすうがく 近谷蒙
23/01/06 21:17:00.29 0spBLukI.net
>>436
自分でやってごらん
438:現代数学の系譜 雑談
23/01/06 23:05:51.02 9sWh0IFW.net
>>437
おれは、出来ないでしょう
と言っているんだがねwwwww
439:現代数学の系譜 雑談
23/01/06 23:28:34.83 9sWh0IFW.net
>>438 補足
(引用開始)
また理論だけではFourier変換の威力が実感されないので,
以下の分野への 応用を解説した.
(1)(整数論)Gauss和とJacobi和,平方剰余の相互法則,有限体上定義さ れたFermat曲線の有理点の個数の数え上げ,Eulerの等式(ゼータ関数の特 殊値).
(2)(幾何学)離散等周問題,等周問題.
(3)(解析学)線型微分方程式,Weierstraussの多項式近似定理.
(4)(物理学)(離散)不確定性原理
(5)(工学)CT(Computer Tomography),Digital samplingの理論.
(引用終り)
ぐだぐだ言い訳ばかりwww
えーと、落ちこぼれ2号の>>251
「(今で言うフーリエ逆変換を取れば)アーベル方程式の根θの
べき根表示が一挙に得られるという話。」
だったね
で、>>435の杉山健一 著 フーリエ解析学の序章
の前書きや目次を見る限り
(整数論)などはあるが、代数方程式論やべき根表示については、記載ないぞw
なので、別のフーリエ解析本をカンニングしても、いいからさぁ~!w(但し出典は明示せよ)
>>436の方程式
”x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の左辺は
Π_{k=1}^{5}(x-1/cos(2kπ/11)).”
これに、フーリエ解析適用して、べき根表示しろや!www
それ、フーリエ解析だけでは出来ないんじゃね?www
440:132人目の素数さん
23/01/07 05:25:45.33 sAXj3/yk.net
ヤコビ和って明らかにフーリエ変換における
「畳み込み」の形になっているのだけど
それは「加法群の元での」それになっている。
振り返ってガウス和の定義を見てみると
URLリンク(ja.wikipedia.org)
加法指標と乗法指標の組み合わさったものになっている。
それに応じてフーリエ変換といっても、少なくとも2通りの見方が可能。
一つ目。
乗法指標を「函数」とみなして、加法群のもとでフーリエ変換する
→ガウス和があらわれる。
>>435の本に書いてあるのはこの見方だと思う。
二つ目。
わたしとわかるすうがく氏が「再発見」した見方。
ζ_pを乗法群のもとでフーリエ変換する
→ガウス和=べき根があらわれる。
この見方は、乗法群(Z/pZ)^*をガロア群に置き換えると
円分体のみならず、任意のべき根解法に当てはまる。
441:132人目の素数さん
23/01/07 05:32:23.41 sAXj3/yk.net
フーリエ解析と数論が深い関係にあることは専門家の間では常識。
「フーリエ解析(調和解析)と数論」で検索してみれば
多くの論文や洋書が出てくるはず。
ジョン・テイトの学位論文の標題が
"Fourier analysis in number fields and Hecke's zeta functions"
これは今で言う「岩澤-テイトの方法」に関するもの。
単にガウス和でも2通りのフーリエ変換があるということは
他の分野でも「隠れた対称性」があっても不思議はない。
数学における未解決問題というのは、結局そのような
未知の対称性を探しているのかもしれない。
442:132人目の素数さん
23/01/07 05:38:12.06 sAXj3/yk.net
1=雑談氏は「意固地なお爺ちゃん」状態に陥っている。
関わってもこっちまで頭が悪くなりそうだから、放っておこう...w
443:わかるすうがく 近谷蒙
23/01/07 06:56:29.40 JasS3zz2.net
>>440
ガウスの弟子^nさん おはようございます
>ガウス和の定義を見てみると
>加法指標と乗法指標の組み合わさったものになっている。
>それに応じてフーリエ変換といっても、少なくとも2通りの見方が可能。
>(略)
>二つ目。
>わたしとわかるすうがく氏が「再発見」した見方。
>ζ_pを乗法群のもとでフーリエ変換する
>→ガウス和=べき根があらわれる。
ああ、確かにラグランジュ分解式は
乗法群(Z/pZ)^*でフーリエ変換してますね
>この見方は、乗法群(Z/pZ)^*をガロア群に置き換えると
>円分体のみならず、任意のべき根解法に当てはまる。
おお!そういうことになりますね!知らんけどw
で、私はその話が>>435の本に書いてあるんじゃないか
と思ったんですが・・・違うんですか?
あ、そういえば、ラグランジュ分解式とは書いてないですね!
444:わかるすうがく 近谷蒙
23/01/07 07:03:46.52 JasS3zz2.net
>>439
1が「落ちこぼれ0号」(つまり大学数学での落ちこぼれ)であることは間違いない
私はせいぜい数学科の数学の落ちこぼれなのでw
ガウスの弟子^nさんは、何者か知らないので言及しませんが
少なくとも整数論についてはよく理解してらっしゃるといっときます
ま、私ごとき落ちこぼれが言っても何言ってんだコイツって感じですがぁw
445:わかるすうがく 近谷蒙
23/01/07 07:11:16.39 JasS3zz2.net
>>443
tsujimotter氏が、過去に
「ガウス和の p 乘が τ_q^p = Σ_{t=1}^{q-1} J_t ζ^t と書ける」
とtweetしてますが、これが何についての話なのかはちょっとよくわからない
代数方程式の解法ではないようだが
URLリンク(twitter.com)
URLリンク(twitter.com)
(deleted an unsolicited ad)
446:わかるすうがく 近谷蒙
23/01/07 07:20:59.40 JasS3zz2.net
子葉氏の記事
URLリンク(mathlog.info)
と、その元ネタの亀井氏の文書
URLリンク(www1.kcn.ne.jp)
を読むかぎり、2人ともガウス和、ヤコビ和とはいってないけど
それと分かってて計算してると思われる
ちなみに亀井氏は
求めたラグランジュ分解式のベキによって
他のラグランジュ分解式の値を表すことで
偏角問題を解決してますね(p8-p9)
そりゃそうかw
447:わかるすうがく 近谷蒙
23/01/07 07:44:53.92 JasS3zz2.net
>>438
>おれは、出来ないでしょう
うん、大学1年の数学で落ちこぼれた1は、今のままではできないね
分かってる人はみなできるけど
円分多項式なら、ボクがやったし
年末に投稿した>>183-195を解読すれば
どうやればいいか分かるよ
じゃ、頑張って
何がどう分からないか尋ねてくれれば
タダで教えてあげるよ
ああ、ボクって何ていいヤツなんだ(自分でいうなよw)
448:わかるすうがく 近谷蒙
23/01/07 07:50:07.08 JasS3zz2.net
数学っていうけど、実際やってる計算は算数なんだよね
(mod pとかいったって、結局余りの計算だから小学生でもできる)
微分積分なんて全然使ってないし(使う場面がない)
n乗根をとる、っていったって、結局やってることは
√のマーク書いて、その左に小さくnって書くだけじゃん
実際に数値を求めるわけでもない その意味でも算数
(まあ、数値を求めるのも算数っちゃあ算数だけどw)
449:現代数学の系譜 雑談
23/01/07 07:55:45.14 HhX3LrOu.net
>>442
落ちこぼれ2号さん
レスありがとう
> 1=雑談氏は「意固地なお爺ちゃん」状態に陥っている。
>関わってもこっちまで頭が悪くなりそうだから、放っておこう...w
あらら
ケンカ売ってきたのは、あなたの方ですよww
1)落ちこぼれ2号の>>251
「(今で言うフーリエ逆変換を取れば)アーベル方程式の根θの
べき根表示が一挙に得られるという話。」
だったね
2) >>436の方程式
”x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の左辺は
Π_{k=1}^{5}(x-1/cos(2kπ/11)).”
これもあなた
3)あなたの悪いクセで、新しい話を持ち出して、論点ずらし して誤魔化そうとするww
その新しい話>>440-441でも良いよ。上記2)項の方程式に対して、
+ジョン・テイトの学位論文でもなんでも加えて下さい
それで、上記1)項”(今で言うフーリエ逆変換を取れば)アーベル方程式の根θの
べき根表示が一挙に得られるという話”
を実例として示して下さいww
出来なければ、”月うさぎの話”>>332だね
満月を見て、「月にうさぎ が、いる」と思ったんだね
でも、月に”うさぎ が、いる”と見えても、実際にはいない!!w
450:わかるすうがく 近谷蒙
23/01/07 08:01:03.92 JasS3zz2.net
>>442
1こと雑談君の正体は、
「数学に関する知識をひけらかして他人にマウントしたがる”マウントヒヒ”」
でも実際の理解度は実に低いといわざるを得ない
正則行列知らないくらいだから
多分行列式は分かってないね 定義だけしか知らない
なんで行列式が0でないと逆行列が存在するのかは知らない
451:わかるすうがく 近谷蒙
23/01/07 08:07:07.66 JasS3zz2.net
>>449
>ケンカ売ってきたのは、あなたの方ですよ
そもそも11年前、何も分かってないのに
ドヤ顔でガロア理論のスレ立てて
数学板の全読者に宣戦布告したのは
1ですが、お忘れですか
そこから今まで、ラグランジュ分解式の使い方も全然分からないまま
そりゃガロア理論とかいう以前 10代のガウスにも届いてない
18世紀まで来てないな せいぜい17世紀だな
>満月を見て、「月にうさぎ が、いる」と思ったんだね
>でも、月に”うさぎ が、いる”と見えても、実際にはいない!!
今、話してるのは、銀河系の中心には巨大ブラックホールがある、ってことか
452:わかるすうがく 近谷蒙
23/01/07 08:14:57.60 JasS3zz2.net
「ラグランジュ分解式を使って円分多項式を解く」
というのは、「方法」さえ分かってしまえばもう「算数」レベル
(まあ、一応は多項式の計算だから高校数学レベルとしとこう)
で、実はその「方法」もただの方便ではなく実は深い理屈がある
だから「数学」になり得るわけで
453:わかるすうがく 近谷蒙
23/01/07 08:19:45.87 JasS3zz2.net
>>449
>あなたの悪いクセで、新しい話を持ち出して、論点ずらし して誤魔化そうとする
それも実際は1こと雑談君の常套手段
箱入り無数目も、もともとは、ガロア理論のスレで
群論の初歩である正規部分群ですら全然分かってない
という事実が露見してどうにもならなくなった1が
誤魔化しのために持ちだしたネタ
(これでさらに炎上が拡大したわけだが)
はっきりいうけど、大学1年の数学も分かってない1より
整数論に通じてる「ガウスの弟子^n」氏のほうが
全然云ってることが分かるし興味深い
ワカランチンがいくらネット検索してコピペしても全然心に響かないよ
454:現代数学の系譜 雑談
23/01/07 08:27:08.74 HhX3LrOu.net
>>448
>数学っていうけど、実際やってる計算は算数なんだよね
違うと思う
そもそも、算数と数学とに分けるのは、人為的に(文科省が)決めたもので
本当は、連続なんだと思う
算数を、超初等数学として、古代エジプトやメソポタミアですでに、人類はそれを獲得していた
古代ギリシャで、初等数学レベルに達し
古代イスラムの世界で、方程式が発明された
それが、ヨーロッパの世界に入って、ニュートンやライプニッツの微分積分に繋がって
いまの、21世紀の数学になっている
さて、いま手元の数学セミナー誌 1月号 特集 2022 ICM>>399
ホ・ジョニ氏>>401(ホ・ジユニとも)の
吉永正彦氏の記事がある
「第二の驚きは、略 有限グラフの彩色多項式の定義と対数的凹性 非常に初等的で おそらく高校生でもその主張を理解できる
初等的な対象に関する初等的な性質なので、初等的な証明を期待するのが自然かもしれませんが
証明は、代数幾何や特異点論*)を縦横に使うものでした。問題の初等的な装いからは想像もできない、高度な数学を必要とする証明だったのです」
(*)広中先生との交流が役に立っていると思う)
と記されている
要するに、数学では良くあることだが
高等数学の高い立場から見る方が、初等的に見える問題も、易しくなるってことか
例 フェルマーの最終定理
あるいは、一見初等的な内容の背後に、高等数学の構造がひそんでいたってことかもね
だから、月うさぎ 悪くないよね。その発想は
最後まで、やれればねw
455:現代数学の系譜 雑談
23/01/07 08:48:41.03 HhX3LrOu.net
>>451
>そもそも11年前、何も分かってないのに
>ドヤ顔でガロア理論のスレ立てて
>数学板の全読者に宣戦布告したのは
あんたに言われても・・・www
あんた 前スレで、”ガロア理論 昭和で分からず 令和でわかる #平成どうしたw”
スレリンク(math板:654番)
654 名前:132人目の素数さん[] 投稿日:2022/12/11(日) 15:30:21.74 ID:lnOtbAAb
と言っているよね>>344
(さらに追加 前スレ スレリンク(math板:555番)
555 名前:132人目の素数さん[] 投稿日:2022/12/10(土) 09:44:43.21 ID:meH3MbbN
ラグランジュのリゾルベントの使用に関する
一番分かりやすい説明は以下ですね
累開冪拡大とガロア群の関係
URLリンク(hooktail.sub.jp)
ただ、以前にもここは見てたんですが、その時はピンとこなかった
はじめて「あぁぁぁぁっ!そうだったのか!」(昇天)と気づいたのは
はてなブログのPeriod-Mathematicsの
”「解の巡回」にトドメをさす!~ガロア理論による背景の完全解明~”の、
この言葉を見たとき
(解の)巡回関数
*V女優の告白じゃないですけど、はじめて「イク」体験をしました・・・ )
(引用終り)
なので、2022/12/10(土)までは、ガロア理論が全くわかってなかったんだw
数学科卒でしょ? あなた 昭和のね。”ガロア理論 昭和で分からず 令和でわかる #平成どうしたw”
の人に、11年前といわれもwww
で、2022/12/10(土)以前から、絡んで来ているサイコパス>>5のヤクザさん
時系列の辻褄が合ってないよ
言っていること支離滅裂のサイコパス ヤクザさんでしたとさ www
456:現代数学の系譜 雑談
23/01/07 08:52:48.51 HhX3LrOu.net
>>455 補足
>数学板の全読者に宣戦布告したのは
・ご教示頂けるのはありがたい。歓迎ですよ
・しかし、デタラメは書かないでくれ!
・例えば>>251
「(今で言うフーリエ逆変換を取れば)アーベル方程式の根θの
べき根表示が一挙に得られるという話。」
とかね
おかしな話は、徹底的に つつき ますよ!
457:132人目の素数さん
23/01/07 08:58:53.55 QCtpNnPb.net
このスレは深いな
458:現代数学の系譜 雑談
23/01/07 09:11:03.51 HhX3LrOu.net
>>418
>>>413
> 乙に?
>>上に正規数の話しあったろ
> ないよ 乙の妄想だろ
亀レス済まん
乙=おっちゃん か?
そうか>>413は、おっちゃん か!
ご挨拶が遅れた
レスありがとう
今年もよろしくお願いいたします。!
459:現代数学の系譜 雑談
23/01/07 09:12:25.08 HhX3LrOu.net
>>457
レスありがとう
よろしくお願いいたします
460:現代数学の系譜 雑談
23/01/07 09:20:35.03 HhX3LrOu.net
>>453
(引用開始)
箱入り無数目も、もともとは、ガロア理論のスレで
群論の初歩である正規部分群ですら全然分かってない
という事実が露見してどうにもならなくなった1が
誤魔化しのために持ちだしたネタ
(これでさらに炎上が拡大したわけだが)
(引用終り)
・違うよ
・箱入り無数目 スレリンク(math板)
は、だれかが持ち込んだんだ
私の推理は、だれか=落ちこぼれ2号さん
・落ちこぼれ1号2号は、現代数学の確率論分かってない
・>>403 デュミニル=コパン 読みなよw
461:わかるすうがく 近谷蒙
23/01/07 09:22:53.47 JasS3zz2.net
>>454
>>数学っていうけど、実際やってる計算は算数なんだよね
> 違うと思う
いやいや違わんて EXCEL作った当人がそういうてるんやからw
> そもそも、算数と数学とに分けるのは、人為的に(文科省が)決めたもの
そんな話はしてないよ 1は、幻聴が聞こえるのかな?w
算数だといってるのは、実際にやってる計算が足し算と掛け算だけだから
指数しか計算してないんだからそうなる 実際にやってみればわかる
何も計算しないからわかんないんだよ
>ホ・ジョニ氏の仕事について
>「有限グラフの彩色多項式の定義と対数的凹性
> 非常に初等的で おそらく高校生でもその主張を理解できる
> 初等的な対象に関する初等的な性質なので、
> 初等的な証明を期待するのが自然かもしれませんが
> 証明は、代数幾何や特異点論を縦横に使うものでした。
> 問題の初等的な装いからは想像もできない、
> 高度な数学を必要とする証明だった」
> 数学では良くあることだが
> 高等数学の高い立場から見る方が、
> 初等的に見える問題も、易しくなるってことか
証明の話もしていない 計算の話をしている 1は、幻聴が聞こえるのかな?w
なぜ、その計算方法でうまくいくのか? それは確かに数学の話
しかし、計算そのものは只の算数
例えばオイラーの多面体定理の証明は数学だが、
実際に、単体複体からオイラー数を求める計算は只の算数
(足し算引き算しかしないから)
> だから、月うさぎ 悪くないよね。その発想は
> 最後まで、やれればねw
「やれれば」ではなく、「やった」
予備校教師の亀井氏もやったし、院生?の子葉氏もやったし、私もやった
ガウスの弟子^nは前二人が示した方法が
ガウス和とヤコビ和で説明できることを示した
(tsujimotter氏も同様のことをtweetしている)
おそらく亀井氏は分かってて書いてるし、
子葉氏もHPの記載からそのことを理解してると思われる
でも、他人の文章、上っ面だけ読んで全く計算すらせずに
漫然とコピペするだけの「マウントヒヒ」の1だけが
全然わかってな~いw
462:わかるすうがく 近谷蒙
23/01/07 09:29:30.19 JasS3zz2.net
>>455
うん、確かにラグランジュの分解式をどう使うか分かってなかった
それが何か?君と違って私は分かってないことを分かったとウソついたりせんよ
ドヤ顔で「ガロア理論がー」なんて語ってスレ立てしたりしないし
マウントヒヒとは違うのだよ! マウントヒヒとは!!!w
1号としては、
2号ことガウスの弟子^n氏には大変感謝するが
0号こと1には何の感謝もしない
リンクもコピペも迷惑なだけ
発言は初歩的な間違いばかりでこれまた大迷惑
463:わかるすうがく 近谷蒙
23/01/07 09:34:31.15 JasS3zz2.net
>>457 >このスレは深いな
>>459 >レスありがとう
457は、1に云ったわけではない
1が礼をいうことではないw
1はこのスレを立てただけ
このスレの管理者でも所有者でもない
そのことが全然分かってないw
このスレが「深い」のは、もっぱらガウスの弟子^n氏による
1は何の貢献もしてない それどころか邪魔してるだけw
理解できなくて悔しいのは分かるが、計算一つしないんじゃわかりようがない
学習意欲がないのに、数学板にいてもつまらないだけ
性欲ないのに、*Vみてもつまらないだろ
464:わかるすうがく 近谷蒙
23/01/07 09:37:46.68 JasS3zz2.net
>>455
>数学科卒でしょ?
数学科卒だから大学の数学科の講義内容が全部わかってる?
んなこたぁないw 僕がいい例ですw
工学部卒だから大学1年の微積と線型代数が全部わかってる?
んなこたぁないw 君がいい例ですw
465:現代数学の系譜 雑談
23/01/07 09:39:17.71 HhX3LrOu.net
>>446
>ちなみに亀井氏は
>求めたラグランジュ分解式のベキによって
>他のラグランジュ分解式の値を表すことで
>偏角問題を解決してますね(p8-p9)
ちょっと違うと思うよ
1の11乗根のべき根表示には、クンマー理論から1の5乗根が必要で
そのために、1の55乗根(55=5・11)に埋め込んで
計算している
これは、数学ではよく使われる手で、高次元に埋め込む手法だね
うまいね
なお、P10下記 にあるように、偏角問題は未解決だよ
(参考)
URLリンク(www1.kcn.ne.jp)
1 の n 乗根の巾根表示
-n = 11, 13, 7-
2014.12.27 M.Kamei
P9
§ 10 C に埋め込んでの数値計算
ξ = exp^2πi/55= cos2π/55+ isin2π/55とおく.
ζ = ξ^5, η = ξ^11 である.
P10
繰り返すようだが,
β =略
における偏角の選び方(もしくは β1 と β2 の偏角の整合の取り方)をどう考えればよいのだろうか.
466:現代数学の系譜 雑談
23/01/07 09:40:23.06 HhX3LrOu.net
>>464
ありがとう
そう言ってくれればいいんだ
同じ穴の狢だよね
467:現代数学の系譜 雑談
23/01/07 09:57:13.10 HhX3LrOu.net
>>431 追加
これ面白い
”符号の決定はガウスを手こずらせた問題として有名ですが”
か
知らなかった!w
(参考)
URLリンク(tsujimotter.)はてなブログ.com/entry/kronecker-weber-1
tsujimotterのノートブック
2017-07-02
クロネッカー・ウェーバーの定理と証明のあらすじ(その1)
(抜粋)
1,4 は 5 の平方剰余,2,3 は 5 の平方非剰余であるから
ζ_5-ζ^2_5-ζ^3_5+ζ^4_5=±√5
が得られます。右辺の ± の符号の決定以外は,式 (1) と完全に一致していますね。
符号の決定はガウスを手こずらせた問題として有名ですが,今回は触れないでおきましょう。
今回考えたいのは上記の数を Q に添加した代数体についてです。その意味で,符号がどちらであっても変わりありません。
また,式 (1) だけを考えたいのであれば,幾何学的に考えれば正であることは明らかです。
(引用終り)