20/06/22 21:25:17.59 Ds9PXTTk.net
>>128
(引用開始)
ある欧米の数学者が、IUT理論の論文に関する問題について論じた、ある人のブログへの返信で、次のように述べています。「何百ページにもおよぶ解説を書くよりも、望月はABC予想の証明にいたる新しいアイデアについて（ボンやパリやボストンなどで）一回か二回レクチャーする必要がある」
望月教授が自分のアイデアについてレクチャーするべきだという意見について、私は完全に同意しますし、彼自身も実際そうしてきたことは、すでにいままで述べてきた通りです。しかし、なぜその場所がボンやパリやボストンでなければならないのでしょうか？
単に、例としてこれらの都市をあげただけならば、なぜ論文の著者自身がいる京都が真っ先に出てこないのか不思議でなりません。
(引用終り)
１．来て、レクチャーしてほしい（ボンやパリやボストンなどで）と言われたら、 なんとか都合つけて、行けば良いんじゃ無い？
２．普通行くでしょ？ デフォルト（通常）は、「行くよ」の一手でしょ。「行かない」と断るのが異例ですよ
３．昔アインシュタインを日本に呼んだ故事があるのに同じですよ
URLﾘﾝｸ(ja.wikipedia.org)
アルベルト・アインシュタイン
6.2 日本での講演
日本での講演
1922年（大正11年）、「出版業界きっての立役者」と名を馳せた改造社創業者・山本実彦は、同出版社および雑誌「改造」が日本に招致したバートランド・ラッセル、マーガレット・サンガーに次ぐ「世界的名声人士」として、懇意になっていたアインシュタイン博士を妻エルザとともに日本に招待することにした。
集まった歓迎の群集や新聞記者の様子を見て、当時のドイツ大使館は「凱旋行進のようだ」と本国に報告している。17:00三宮駅発の汽車で京都に向かい、その夜は京都の都ホテルに宿泊した。翌18日、9:15発の特急で東京に向かい、19:20東京駅着。駅には歓迎の群集が押し寄せ、投宿する帝国ホテルに到着するのに通常は車で5、6分程度のものの、相当の時間が必要だったと記録されている。
一般講演は入場料3円（オペラの上等席に匹敵）で、結局、東京市2回と仙台市・名古屋市・京都市・大阪市・神戸市・福岡市で各1回の計8回行われ、14,000名ほどの聴衆を集めた。
142:１３２人目の素数さん
20/06/22 22:15:57 Ti5B7R3y.net
加藤さんは海外に出張するから数学はお金がかかると仰っておられた
ご自身でボンやパリやボストンには行かれないのだろうか？
143:１３２人目の素数さん
20/06/23 05:35:32 aLWzoHO/.net
>>118
>ディオファントス幾何＝数論幾何
ではないよ。当たり前でしょ。
ディオファントス幾何は昔からあるんだよ。
ロスの定理とかも含まれてる。
スキームとか使うのが数論幾何だろう。
>ディオファントス幾何⊃Hodge-Arakelov理論
もっちの意図としてはそうかもしれないが、ディオファントス幾何的に
意味のある結果を導いていないなら認められないだろう。
少なくとも現状、ディオファントス幾何に必要不可欠な一理論とはなっていない。
144:１３２人目の素数さん
20/06/23 05:40:25 aLWzoHO/.net
>>120
一方において、遠アーベル幾何⊂数論幾何ではあるだろう。
遠アーベルにおいて基本的な対象である数論的基本群π_1(C)は
典型的な数論幾何において定義される対象だから。
しかし、>>77の解説記事読めば分かるが
数体k上の代数曲線Cの基本群について成立する完全系列
1→π_1(C_k~)→π_1(C)→G_k→1
において、π_1(C_k~)は大体古典的な基本群（の副有限完備化）で
G_kはガロア群なんだから、古典的 というか原始的な対象による説明も持つ。
「子供のデッサン」とかは正にそういうことなんだろう。
ま、貴方に「自分の言葉による説明」を求めるのも愚かだけど。
145:１３２人目の素数さん
20/06/23 05:45:31 aLWzoHO/.net
ブンゲン本は数学的な解説本としてはさっぱりだが
ネタ的にはいろいろ面白いことが書いてある。
たとえば、p.135では「論理だけでは数学はできません」と言い
「自然であることや、他の事実と見事に整合していることなどから
得られる、もっと直観的な「腑に落ちる」というタイプの理解」
「直観的で全体像把握型の認識も必要」と書いている。
ならば、ダブスタに陥ることなくIUTに対してもそのスタンスを取るべきだろう。
少なくとも、ディオファントス幾何における結果を導いている以上
ディオファントス幾何的な辞書で翻訳
146:した説明は可能なはず。 もっちが欧米に呼ばれたら、当然そういう説明を求められると思う。 それで何で行きたくないかと言えば、「逃げている」と取られても仕方ないんでは。
147:現代数学の系譜 雑談
20/06/23 07:01:58.85 nKssTr8/.net
>>132-134
１．あなたの意見は、基本的には同意だよ
２．但し、根本的に異なるのは、あなたはIUTが不成立だと思っている。ショルツ氏の尻馬組だね
一方、私は、IUT査読完了の方に乗ってる。柏原＆玉川の尻馬組だよ
３．”ディオファントス幾何＝数論幾何 ではないよ”ってのが、何を言いたいのか意味ワカラン（＾＾；
ディオファントス幾何≒数論幾何 とでも書けばいいのかい？
４．話を、IUTの成否に戻すと
１）IUTは”読めない”という人が大半
２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるjギャップでなく、根本的に不成立だ」と言った
SS文書は、Stixとの共著だが、実際発言（ブログなどで）をしているのは、ショルツ氏のみ。Stix氏は沈思黙考中です。
３）IUT成立派は、記者会見の柏原＆玉川と査読者複数人に加え、woitブログでバトルしたDupuy氏、Joshi氏、フェセンコ氏など、海外にも複数人いるよ
４）国内にも、積極支持派は、何人かいるでしょ
５）だから、IUTが成立していることは、ほぼ間違いないってことだと思うよ
148:現代数学の系譜 雑談
20/06/23 07:03:43.53 nKssTr8/.net
>>135 タイポ訂正
２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるjギャップでなく、根本的に不成立だ」と言った
↓
２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるギャップでなく、根本的に不成立だ」と言った
（jが余計（＾＾；）
149:現代数学の系譜 雑談
20/06/23 07:11:32.75 nKssTr8/.net
>>135 補足
＞ ２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるjギャップでなく、根本的に不成立だ」と言った
いま、というか4月から5月の時点で、IUT不成立と数学的に主張したのは、ショルツ氏ただ一人
woitブログのアンチIUTの人は、ショルツ氏の尻馬組だ。ショルツ氏が撤退したら、数学的意見はパッタリですｗ
そして、ショルツ氏は撤退した。あとはe-mailで言い残したが、その後議論が続いているとは、思えない
仮に、議論が続いていても、Dupuy氏は「SS文書はダメ」ということを、arXiveに投稿しているから、ショルツ氏は議論に勝てないでしょうね
（ショルツ氏が議論に勝てば、Dupuy氏のarXiveに投稿は修正されるだろう）
150:現代数学の系譜 雑談
20/06/23 07:12:37.19 nKssTr8/.net
>>137 タイポ訂正
（ショルツ氏が議論に勝てば、Dupuy氏のarXiveに投稿は修正されるだろう）
↓
（ショルツ氏が議論に勝てば、Dupuy氏のarXive投稿は修正されるだろう）
分かると思うが（＾＾；
151:１３２人目の素数さん
20/06/23 07:55:44.19 2f72qG2Y.net
もっちはSkypeで欧米人に説明してます
152:１３２人目の素数さん
20/06/23 08:20:13.16 7fLWe8yZ.net
>>129
絶対に尋ねない、とはいってないｗ
ただ、東京に来る以前のことが知りたいのに
東京に来て以降の菩提寺の過去帳を見ても
東京に来る以前の過去が分かる可能性は
まず期待できないな
つまり、オトシモノをした場所以外のところを
必死に探しても見つかる可能性がないってこと
数学の証明も同じことだよ
εδのキモを知りたいのに、
全く無関係な一般化ばかり
見ても無駄ってことｗ
＞分かっているようでも、
＞「ちゃんと証明してみる」ってことは、
＞無駄ではなく必要なことなんだよね
じゃ、セタ君は、真っ先にεδによる関数fの連続性の定義と
「fがxで連続
⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」
が同値であることを完璧に証明してみせようね
無駄ではなく必要なことだよ 工学部卒にもね（ビシっ！！！）
153:１３２人目の素数さん
20/06/23 08:26:59.18 7fLWe8yZ.net
>>135-136
セタがなぜIUTの正当性に固執するのか分らんが
ただの愛国馬鹿かもしれんな
国立大学卒にはこの手の愛国馬鹿が少なくない
国立大学の教育がどうとかいうことではなく
「国」というものを「神」のごとく考え
その国が作った大学に受かっただけで
「オレ様は神に認められた存在だ！」
と自惚れる
154:馬鹿がいるってこと 国なんて暴力団と同じなのになｗ （戦争なんて暴力団の縄張り争いみたいなもんｗ）
155:１３２人目の素数さん
20/06/23 08:32:42.55 7fLWe8yZ.net
>>137-138
望月はショルツに論駁できてない
（RIMSのIUT論文受理は全くの暴走）
そしてデュピュイは望月の論文を理解してない
（当人がTwitterで、”もし理解できたらそう答える、オレを信じろ”と言い放ったｗ）
単に、ショルツの指摘は、IUTそのものの誤りの指摘ではない、といってるだけ
（しかし、デュピュイ自身、望月論文に基づいてショルツの指摘の「誤り」を
指摘できるわけではないから無意味）
ショルツだけでなくデュピュイも「望月論文にはデッカイ穴がある」と思ってる
デュピュイは自分のやり方でその穴を埋めようと思ってるんだろう
つまり、望月にとって、ショルツだけでなくデュピュイもまた「敵」
156:１３２人目の素数さん
20/06/23 09:35:09.73 pmIhiuoU.net
>>134
文元氏、数学についてなんも分かってないんだな
望月氏はそんなことはないだろうが
157:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/23 10:02:18 ack77tVS.net
>>140
>ただ、東京に来る以前のことが知りたいのに
>東京に来て以降の菩提寺の過去帳を見ても
>東京に来る以前の過去が分かる可能性は
>まず期待できないな
工学では、現場＆現物＆現実という
まずは、きちんと、現場＆現物＆現実と押さえる。これが基本でしょ
考えるのも大事だがね
>つまり、オトシモノをした場所以外のところを
>必死に探しても見つかる可能性がないってこと
まず、東京（江戸かも）に出て来た時間（年月日）とか場所とか、
とにかくそこの事実をきちんと、出来るだけ多く、かつ正確に把握すること
そこが、原点でしょ？
（例えば、お寺に親戚関係の情報があれば、その親戚に尋ねるとかできるし）
原点があやふやじゃね
工学的には、おいおいって感じですよ
158:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/23 10:08:53 ack77tVS.net
>>142
>望月はショルツに論駁できてない
>（RIMSのIUT論文受理は全くの暴走）
あんたが言っても
説得力ゼロ
あんた、柏原先生や玉川先生より上のつもり？
159:現代数学の系譜 雑談
20/06/23 10:27:50.37 ack77tVS.net
>>141
>ただの愛国馬鹿かもしれんな
話は、逆
あんた、大学の左翼くずれでしょ？（＾＾
だから、昔左翼用語で「日帝」とかいう言葉があったけど、アンチ「日帝」気分でIUTを語っているでしょ？ｗ
>国立大学卒にはこの手の愛国馬鹿が少なくない
あるときは、東大卒を名乗り
あるときは、フランスの高等院（グランゼコール）卒を名乗る
しかして、その正体は、どこか名も無い大学の数学科修士の数学落ちこぼれ、無職＆引きこもり
URLﾘﾝｸ(ja.wikipedia.org)
多羅尾伴内
同時期に製作されていた東映時代劇における千恵蔵の十八番となった「遠山の金さん」シリーズとは互いに影響を及ぼしあってゆく。
遠山の金さんが多羅尾伴内のごとく次々と変装をするかと思えば、多羅尾伴内は事件の大団円において遠山奉行のお白洲を思わせるような一段高い所から悪人どもの罪を裁き、金さんが桜吹雪の刺青を露わにするがごとくに多羅尾伴内は変装をかなぐり捨てて正体を現わすという具合である。
東映･金田一耕助シリーズの『三つ首塔』（昭和31年、比佐脚本）でも、千恵蔵が演じる金田一耕助は僧侶に変装し、大団円でパッと変装をかなぐり捨てて金田一の正体を現わしている。
URLﾘﾝｸ(ja.wikipedia.org)
グランゼコール
160:現代数学の系譜 雑談
20/06/23 10:34:39.42 ack77tVS.net
>>140
(引用開始)
じゃ、セタ君は、真っ先にεδによる関数fの連続性の定義と
「fがxで連続
⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」
が同値であることを完璧に証明してみせようね
無駄ではなく必要なことだよ 工学部卒にもね（ビシっ！！！）
(引用終り)
その話は、下記のスレでやっている
おサルたち、おバカの話を楽しんで見ていますよｗ（＾＾；
（参考）
純粋・応用数学（含む
161:ガロア理論）2 https://rio2016.5ch.net/test/read.cgi/math/1592578498/
162:１３２人目の素数さん
20/06/23 10:49:53.39 7fLWe8yZ.net
>>144
＞東京（江戸かも）に出て来た時間（年月日）とか場所とか、
＞とにかくそこの事実をきちんと、出来るだけ多く、かつ正確に把握すること
＞そこが、原点でしょ？
時期は
・明治６年発行の沽券地図に先祖の名前が載っていたことから
明治６年より以前であること
・幕末の地図には名前が載っていなかったことから
おそらく明治維新以降であること
とわかる
また東京に出てきた後の場所は既に特定されているが
知りたいのは東京に出てくる前の出身地だから
わかったところで意味がない
で、なぜお寺に拘るのかわからんが、
実は今の寺に墓が出来た時期は昭和以降
明治初期からあったわけではない
だから時系列的に全然後
したがってそこで何かが必ず分かると期待するほうがおかしい
君のいうことのほうが工学的にも全く見当違い
あんた、モノ作ったこと、ないだろ？
163:１３２人目の素数さん
20/06/23 10:53:49.92 7fLWe8yZ.net
>>146
>>ただの愛国馬鹿かもしれんな
>あんた、大学の左翼くずれでしょ？
いや、学生時代は、政治活動なんかしてないよ
そんな暇も関心もなかったし
164:１３２人目の素数さん
20/06/23 10:56:48.35 7fLWe8yZ.net
>>147
＞その話は、下記のスレでやっている
デキてないｗ
ま、∈と⊂の区別すらできない、論理的思考力ゼロのセタ君に
「εδによる関数fの連続性の定義」と
「fがxで連続⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」が
同値であること
の証明なんて到底できないことは明らか
（いっとくけど、これ大学１年の解析学なら必ず出される問題だから
デキない時点で落ちこぼれ決定だけどねｗ）
165:１３２人目の素数さん
20/06/23 11:11:14.58 lYV8dSuo.net
(数学に関係なくて恐縮ですが…
東京本家の檀家のご当主様から、東京本家の菩提寺のご住職様に、東京本家の檀家になられた初代の方についての紹介状が出身地の同宗派の菩提寺から送られて来てないか、有れば確認させて欲しい旨をお話頂くのが一番すんなり江戸時代以前の菩提寺の過去帳には辿り着き易いかと…)
166:１３２人目の素数さん
20/06/23 11:22:44.80 7fLWe8yZ.net
>>151
長いよｗ
東京の寺といっても墓を作るだけなので、
江戸時代以前の繋がりは必要ない
東京では簡単に過去は断ち切られる
過去を捨てたい人には都合がいいが
過去をほじくり返したい人には都合が悪いｗ
167:現代数学の系譜 雑談
20/06/24 16:17:34.74 o/pgoU2Q.net
>>152
・お寺（宗教）も、一つの見方としては、一種のビジネスと考えられる
日本の宗教観の一つに、祖先（家）崇拝があって、祖先を大事にする習慣がある
・お寺としても、その需要に応じる方が良いのであって、つまりは檀家のご先祖の記録を保持して、檀家を繋ぎとめる
江戸幕府が、キリシタン対策として、鎖国と同時に檀家制度がそれ
・従って、お寺に祖先の情報が残っている可能性が大かなと思う（江戸幕府の政策による）
・但し、東京は米軍の空襲があったから、そこがどうかだがね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
檀家制度（だんかせいど）とは、寺院が檀家の葬祭供養を独占的に執り行なうことを条件に結ばれた、寺と檀家の関係をいう[1]。寺請制度（てらうけせいど）、あるいは寺檀制度（じだんせいど）ともいう。江戸幕府の宗教統制政策から生まれた制度であり、家や祖先崇拝の側面を強く持つ[2]。
168:現代数学の系譜 雑談
20/06/24 16:48:06.03 o/pgoU2Q.net
>>150
>「εδによる関数fの連続性の定義」と
・その話は、下記のスレでやれば良いと思うが
（というよりも、”純粋・応用数学”スレ１は、もともとガロアスレ復活のための布石であって、その２
169:でそれが実現したわけなのだが（＾＾） ・「εδ マンセー！、εδサイコー！」については、私は批判的です！ｗ（＾＾ ・つまり、20世紀まで、上記の「εδ マンセー！、εδサイコー！」思想が、日本教育界には色濃く残っていたように思う （個人的には、高校２年時代、確か旧帝数学科出身の教師が、「高校数学では、ゴマカシているが、本当は”εδ ”」とか何度もいうから、高校時代に勉強しました（＾＾） ・で、成人してから、ノンスタ（超準解析）と出会って、「な～んだ」（下記ご参照）と思った ・あと、思うに、複素関数論では、ワイエルシュトラス＞＞リーマン という昔の時代風潮があったと思う しかし、21世紀の視点では、圧倒的に リーマン＞＞ワイエルシュトラス でしょうね ・そんなこんなで、「εδ マンセー！、εδサイコー！」については、私は批判的です 「εδ」単独ではなく、もっと位相とか、ノンスタ（超準解析）、フィルター、ネット、圏論の極限とか、総合的に理解すべき概念だろうと ・それについては、おバカを泳がせながら、下記スレでやっていくつもりですよｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90 超準解析 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。[6][7] 彼は次のように記述している： [...] 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという [...] 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。 ロビンソンはこのライプニッツの連続性の原理（英語版）は移行原理（英語版）の先駆けであるとしている。ロビンソンは次のように続ける： つづく
170:現代数学の系譜 雑談
20/06/24 16:48:29.15 o/pgoU2Q.net
>>154
つづき
しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。[8]
ロビンソンはさらに次のように続ける：
本書では、ライプニッツのアイデアが完全に正当なものであり、古典解析やその他の多くの数学の分科に対する新奇で実りあるアプローチに繋がることを示す。我々の方法の鍵は、現代モデル理論の基盤にある、数学の言語と数学的構造との間の関係の詳細な分析によって齎される。
1973年、直観主義者アレン・ハイティングは超準解析を「重要な数学的研究の標準モデル」だと賞賛した。[9]
（参考）
純粋・応用数学（含むガロア理論）2
ｽﾚﾘﾝｸ(math板)
(引用終り)
以上
171:１３２人目の素数さん
20/06/24 17:51:35.20 rera5qsq.net
超準とか圏論とか、暇人の数学」だかね。
172:１３２人目の素数さん
20/06/24 18:52:09.77 20Eet5cd.net
>>154
＞εδ マンセー！、εδサイコー！
εδが理解できなかった負け犬の幻聴
だいたい「マンセー」とかどこの嫌韓ＤＱＮだよｗ
お前、大阪で朝鮮学校の奴らにケツの穴でも＊＊られたのか？ｗ
＞個人的には、高校２年時代、確か旧帝数学科出身の教師が、
＞「高校数学では、ゴマカシているが、本当は”εδ ”」
＞とか何度もいうから、高校時代に勉強しました
でもちっとも理解できずにザセツした、とｗ
だいたい高２とか遅ぇよｗ
俺は小学生で遠山啓の「数学入門」読んでたから
そこでεＮとか覚えたよ コーシーさすがだな、とｗ
＞成人してから、ノンスタ（超準解析）と出会って、「な～んだ」と思った
εδがどうしても理解できず、ノンスタにすがったと
こういうヤツに限ってノンスタを初歩から誤解して
わかったつもりになってる🐎🦌野郎なんだよなｗ
＞複素関数論では、ワイエルシュトラス＞＞リーマン という
＞昔の時代風潮があったと思う
ねぇよ。どこからワイエルシュトラスがリーマンより上とか出てくるんだよ
この池沼がｗ
＞しかし、21世紀の視点では、圧倒的に リーマン＞＞ワイエルシュトラス でしょうね
アホｗｗｗ 19世紀以降一貫してリーマン＞＞ワイエルシュトラス
複素関数も全然分からんバカが口からデマカセの嘘ほざくなｗ
＞「εδ」単独ではなく、もっと位相とか、フィルター、ネット、圏論の極限とか、総合的に理解すべき概念だろう
εδも分らんバカに位相もフィルターもネットも圏論も全く理解できねぇって
実際、任意の開集合で、って書いてあるのに
開集合一個だけもってきて、逆像も開集合だから連続
とかバカまるだしなこといってるトンデモは貴様だろ（嘲）
述語論理の∀も分らんバカに
ノンスタ（超準解析）が分かるわけねえだろｗ
173:１３２人目の素数さん
20/06/24 18:53:57.44 20Eet5cd.net
＞純粋・応用数学（含むガロア理論）2
群論の基礎である正規部分群の定義も間違えるバカに
ガロア理論なんか理解できるわけないから諦めろ
🐎ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ🦌
174:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/24 23:01:18 b5EBywaq.net
>>157
>アホｗｗｗ 19世紀以降一貫してリーマン＞＞ワイエルシュトラス
>複素関数も全然分からんバカが口からデマカセの嘘ほざくな
おサルの妄言より、おれは下記だな。19世紀は詳しくないがね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ベルンハルト・リーマン
(抜粋)
リーマンの数学の影響
19世紀には 複素解析の基礎づけもリーマン幾何学も正当な評価を得ていなかった
複素解析の分野では、カール・ワイエルシュトラスがリーマンの複素解析の基礎づけに使ったディリクレの原理にギャップがあることを指摘したため、多くの数学者が疑念を共有するようになった
その一方で、シュワルツは幾何学的方法によってリーマンのギャップを解消する交互処理法を導入し、フックスは特異点のまわりでの解の解析接続を研究するためにリーマンの方法を利用するようになった
また、クラインはリーマンの複素解析に関する論文を発表し、この分野での研究を促していった
1900年、ヒルベルトは（ワイエルシュトラスが批判した）ディリクレの原理の問題を解消し、その後、ヘルマン・ワイルがリーマン面を1次元複素多様体として厳密に定義し、さらにディリクレの原理を直交射影の原理として再定式化することで、リーマンの複素解析での業績は再評価されることになった
ポアンカレはリーマンが示した位置解析のアイデアを発展させ、トポロジーを体系的に研究した
また、ポアンカレとケーベは写像定理を一般化した一意化の定理をそれぞれ独立に証明した
カール・ジーゲルはリーマンの遺稿を分析することで、リーマン予想に関するリーマンの研究の中に、すでにその後の研究を先取りする内容が含まれていることを発見した
クラインはリーマンの複素解析を支持したが、エルランゲン・プログラムとの違いからリーマン幾何学に対しては否定的な姿勢をとった
リーマン幾何学の研究はリーマンが晩年に滞在していたイタリアで発展していった
リーマン自身はリーマン幾何学の計算技法を十分に与えなかったが、それを補うテンソル解析がエウジェニオ・ベルトラミ、トゥーリオ・レヴィ＝チヴィタによって発展させられた
この分野はアインシュタインの相対性理論の登場によって注目されることになる
175:現代数学の系譜 雑談
20/06/24 23:14:49.03 b5EBywaq.net
>>157
＞俺は小学生で遠山啓の「数学入門」読んでたから
＞そこでεＮとか覚えたよ コーシーさすがだな、とｗ
遠山啓の「数学入門」か
なんか、そんなのあったな
読んだことないけど、表紙くらい見たような記憶あるな
おサルの小学生時代に数検（定）あったらよかったかもな
遠山啓の「数学入門」読んで、「εＮ」でスベッテ、コロンデ、オチコボレの道へかなｗ（＾＾
遠山啓の「数学入門」ってさ、それ おそらく19世紀の数学観に毒されていると思うぜ（＾＾；
参考
URLﾘﾝｸ(www.su-gaku.net)
2019年12月10日
公益財団法人 日本数学検定協会
大学レベルの最難関階級
数学検定１級に小４の９歳が最年少合格
2019年10月27日実施の個人受検調査結果
176:１３２人目の素数さん
20/06/25 01:10:57.06 VoPbegd2.net
>>160
で、いつになったら、εδを排した、位相空間とかだけ使った多様体上のリッチフローの理論の構築法示してくれるのさ。
連続性が定義できる程度じゃ全然足りないよ。
多様体上の非線形PDEなんだから、せめて種々のSobolev空間や埋め込みのコンパクト性とか、熱方程式の解の正則性とかやってくれないと。
177:１３２人目の素数さん
20/06/25 08:42:27 JL09yEkV.net
>>159
なんだ、セタ、リーマンに嫉妬してんの？ｗ
＞19世紀は詳しくないがね
おまえは20世紀も21世紀も詳しくないだろ
シロウトがクロウトぶるな
このバカ・アホ・タワケ・ダラズ・ホンジナシ・タクランケｗ
178:１３２人目の素数さん
20/06/25 08:46:54 JL09yEkV.net
>>160
ああ、少年セタの住むド田舎には岩波新書なんか売ってる本屋無かったのかｗ
俺は東京にいたから、岩波新書なんか珍しくなかったぞｗｗｗ
179:１３２人目の素数さん
20/06/25 08:49:02 JL09yEkV.net
>>161
セタ君には到底無理でしょう
「任意のｘで成り立つ」ことをいうのに
「勝手に選んだｘで成り立つ、Q.E.D」とか
書いちゃう人ですからｗｗｗｗｗｗｗ
工学部ってこんなバカばっかりなんですかね
ひどい、ひどすぎる・・・
（※埼玉銘菓「十万石饅頭」のCMのナレーションのトーンで）
180:１３２人目の素数さん
20/06/25 12:26:44.50 CbA2ube/.net
未解決問題を一切解決できない人間に人の間違いを批判することはできないよ
181:１３２人目の素数さん
20/06/25 12:27:52.39 CbA2ube/.net
それから、私は理工学部卒だ。これも他者と同時に馬鹿にしているものと考えられるが
182:１３２人目の素数さん
20/06/25 13:24:10.70 JL09yEkV.net
>>165
頭おかしい
>>166
どこの大学だ？(嘲）
183:１３２人目の素数さん
20/06/25 13:30:37.95 JL09yEkV.net
ID:CbA2ube/
なんだ数学科じゃねえじゃんｗ
セタ同様、数学的には存在しないも同じｗ
184:１３２人目の素数さん
20/06/25 13:45:23.81 CbA2ube/.net
>>167
頭は正常そのもの
早稲田大学理工学部応用物理学科卒業
未解決問題の証明論文は論文誌には載らない2
ｽﾚﾘﾝｸ(math板)
>>168
未解決問題を3問解決したが
185:１３２人目の素数さん
20/06/25 18:29:18.12 JL09yEkV.net
>>170
＞早稲田大学理工学部応用物理学科卒業
数学科以外は数学的にはバカｗ
＞頭は正常そのもの
精神病者に病識はない
あんた幻聴聞こえるんだろ？
確実に統合失調症だから
186:１３２人目の素数さん
20/06/25 18:30:21.22 JL09yEkV.net
応用物理学科とやらで取得した
数学の科目書いてみ？
ないだろ？ｗ
187:１３２人目の素数さん
20/06/25 18:56:23.16 CbA2ube/.net
>>170
私が数学科出身に解けない未解決問題を解決したという事実を認めることができない数学科出身
がいたら、それこそ大問題だと思うが
>>171
は？
188:１３２人目の素数さん
20/06/25 20:53:31.95 JL09yEkV.net
>>172
解決できてない
数学科出身者なら分かるｗ
ばぁぁぁぁぁぁぁぁぁぁかｗ
189:１３２人目の素数さん
20/06/25 22:29:44.63 CbA2ube/.net
>>173
190: >>2にある論文には何の反証もない
191:１３２人目の素数さん
20/06/26 00:12:14.31 vfxGDXn/.net
もっちーーー！
おやすみ///
192:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/26 07:43:44 zl2qUDG1.net
>>168
>なんだ数学科じゃねえじゃんｗ
>セタ同様、数学的には存在しないも同じｗ
１．数学科出身を自慢することは、おそらく無価値
∵ 数学科の9割は数学オチコボレ。アカデミックポスト 無理
２．数学科出身で５ｃｈ数学板に粘着している者は、もっと無価値
∵ 数学科 オチコボレ中の 最底辺のオチコボレであるｗ
QEDｗ（＾＾
193:１３２人目の素数さん
20/06/26 09:30:36 Scw1pfsN.net
>>174
このスレの>>2ではなかった
194:１３２人目の素数さん
20/06/26 14:06:16.26 ClgA7ekN.net
>>176
数学しかできないのに数学で落ちこぼれてしまったらどうなるのだろう？
195:現代数学の系譜 雑談
20/06/26 16:37:06.60 sEwrMRpn.net
>>178
＞数学しかできないのに数学で落ちこぼれてしまったらどうなるのだろう？
１．世の中いろんな食い扶持を稼ぐ方法はあるよ
２．例えば、小島 寛之氏のように、文系の経済学へ転向するのもありでしょ
３．世の中、やり直しの方法はいろいろあるぜよ
４．世の中、先天的な才能だけではなく、後天的に獲得する能力もいろいろあるでよ
５．そういうのを、考えれば良いんだよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
小島 寛之（こじま ひろゆき、1958年 - ）は、日本の経済学者、数学エッセイスト。専門は経済理論[1]。帝京大学教授。2008年に東京大学より経済学の博士号を取得した[1]。
略歴
東京都生まれ[要出典]。東京大学理学部数学科卒業。中学生のときから数学者になることを夢見ていたが、東京大学大学院理学系研究科数学専攻(現数理科学研究科)の大学院入試に3度落第したため、数学者への道を諦め、塾講師となり、中学生に数学を教えた[2]。
市民講座で宇沢弘文の講演を聴いたことを契機に東京大学大学院経済学研究科へ進学。同大学博士課程満期退学。[要出典]
帝京大学経済学部専任講師 (2000年-2004年)、同助教授 (2004年-2010年)を経て、2010年より帝京大学経済学部教授[1]。
2008年に東京大学より経済学の博士号を取得した (論文博士)[1]。
196:１３２人目の素数さん
20/06/26 17:22:52.59 uG7mJFnj.net
>>176 >>179
大学１年の解析学のしょっぱなのεδで落ちこぼれた
工学部の🐎🦌がなんかわめいてるなｗｗｗ
↓🐎🦌の戯言
ｽﾚﾘﾝｸ(math板:53番)
>系 1.45. 写像 f : R → R が連続であるための必要十分条件は, 次が成り立つこと:
>∀U : 開集合, f^(-1)(U) : 開集合.
ｽﾚﾘﾝｸ(math板:71番)
>問題 1.41. 次を示せ:
>(1) f : R → R : x → 2x は x = 0 で連続,
>逆像を考える
>開区間
>y ：＝（-1,+1）の逆像は
> ↓
>ｘ ＝（-1/2,+1/2）
>であるから”逆像が開集合”成立！
>QED ｗ（＾＾；
◆yH25M02vWFhP セタは
「∀U : 開集合」も間違う
正真正銘の白痴(idiot)!
ある開集合について逆像が開集合だと示しても何の意味もない
いかなる開集合についても逆像が開集合だと示しては
197:じめて証明となる この場合 >y ：＝（-ε1,+ε2）の逆像は > ↓ >ｘ ＝（-ε1/2,+ε2/2） を示し、さらに任意の開集合が開区間の無限和であることを示して はじめて証明したことになる この程度の論理も分らんバカが作ったモノなんか危なくて使えない 至る所に欠陥があるからなｗ
198:現代数学の系譜 雑談
20/06/26 17:41:40.16 sEwrMRpn.net
>>180
数学落ちこぼれのおサルが、必死で笑える
おサル、スレ違いだよ
小話：”吾輩は数学科出身である”（ｂｙ ナツメちゃん）
ネ コ：吾輩は数学科出身である
ナツメ：じゃあ、どこかの大学教授だな？
ネ コ：残念ながら、そうではない
ナツメ：じゃ、高校数学教師？
ネ コ：残念ながら、そうではない
ナツメ：じゃ、なんの仕事をしているの？
ネ コ：残念ながら、”仕事はまだない”
チャンチャンｗ
お後がよろしいようでｗ（＾＾；
199:１３２人目の素数さん
20/06/26 19:15:50.04 uG7mJFnj.net
>>181
仕事はしているよ
窓際族の貴様よりはるかに有意義な仕事をな！（ビシっ）
耄碌爺のセタは死ね
200:１３２人目の素数さん
20/06/26 23:26:00.10 bo37v2BK.net
モッチー、逃げ恥の大ファンだよね...
やっぱり救われたのかなぁ。
>「君の名は。」「逃げ恥」が高齢童貞・処女を救う
URLﾘﾝｸ(bunshun.jp)
201:１３２人目の素数さん
20/06/26 23:33:10.56 vfxGDXn/.net
ヒラマサに自己投影して、ガッキーみたいな笑顔の素敵なプロ彼女みたいな美人が向こうからホイホイ来てくれたら幸せだろうな
でもやってることは少なくとも最初は偽装結婚の税金泥棒の詐欺じゃねぇ？と思う
扶養控除を詐欺り、扶養手当を詐欺り、年金を詐欺り
まぁ同居してるからセーフなのか
モッチーは「結婚できない男」をしっかり見た方がいい
たぶん桑野とほぼ一緒だろw
202:１３２人目の素数さん
20/06/26 23:34:49.12 ClgA7ekN.net
>>179
数学科を出てIT土方になるも代入のイコールを受け入れることができなくて
挫折という話を思い出した
数学が普遍の真理であるかのように学生時代に洗脳されてしまって数学者になれなかったら
廃人も同然なんじゃないか
203:１３２人目の素数さん
20/06/26 23:43:01.74 oWJ0m8Dg.net
>>185
2045年のシンギュラリティで
AIがリーマン予想を解くから、
そのとき洗脳からから覚める。
204:１３２人目の素数さん
20/06/27 19:39:50.93 lm4fgWxc.net
>>185
>IT土方になるも代入のイコールを受け入れることができなくて挫折
>という話
そんなヤツいるの？
205:１３２人目の素数さん
20/06/27 21:32:05.29 PcfE0hnd.net
そんなアホがいるとは思えん。
イコールを代入記号だと思いこんでる馬鹿なエンジニアなら
いても不思議ではないが。
206:１３２人目の素数さん
20/06/28 04:14:40.70 GNnWSYjY.net
もともとは数式処理システムのMathenaticaの高校生向けチュートリアルでまず最初に定義式の:=と代入の=について触れてたな。
207:１３２人目の素数さん
20/06/28 07:14:34 s9y8etZF.net
誰が？
208:１３２人目の素数さん
20/06/28 09:02:31 62SdHH60.net
コンピュータ言語で代入が = で、比較が == ってのは正直設計ミスだろ。
C言語で EOF まで転送しようとして
while(c = getchar()) if(c = EOF) break;
と間違っても、文法上は間違いはないからすんなりコンパイルできる。
まあ、ワーニングは最近のコンパイラでは吐き出すが。
ところがこれは紛らわしいで、極めて間違いを発見しにくい。
FORTRANでも 100行までの命令を200回実行しようとして
DO 100 I=1.200
とミスすると、変数 DO100Iに1.2を代入しておしまいだ。空白を無視する設定だからな。
209:１３２人目の素数さん
20/06/28 10:13:10.94 5/G8e6zd.net
>>191
単純に使用頻度の問題だと思う。コーディングするときの手軽さ
210:現代数学の系譜 雑談
20/06/28 11:18:21.59 bfBvt+85.net
川平友規先生が、面白いことを書いているので、転送しておく
ｽﾚﾘﾝｸ(math板:421番)
（ URLﾘﾝｸ(www.math.titech.ac.jp) 川平友規 東工大）
URLﾘﾝｸ(www.math.titech.ac.jp)
多様体の基礎のキソ あとがき 川平 友規（多分 2017年ころ）
このノートのあとがきを書くことにした．
あるときふと，このノートの目標というか，目的というか，そういうものとしてぼんやりと意識していたことが，ふと言語化できた気がしたからだ．
-サルバドール・ダリが 20 代の頃，大嫌いだった建築家ル・コルビュジエと昼食で同席
する機会があった．そのとき，コルビュジェはダリに，「これからの建築はどうなると思うか，
君の意見を聞かせてもらえないかね」と訊ねた．ダリはすかさず，「やわらかくて毛深いものに
なるだろう」と答えた．住宅を「住む機械」とまで喩えたコルビュジェである．彼はダリの答
えに，苦虫を噛み潰したような顔をしたという．
さて私も同じことを，数学で予言したいと思う：
「これからの数学はもっと，『やわらかいもの』になるだろう．」
しかしその具体的な意味は，おそらくダリ自身がそうであったように，よくわからない．あくまで感覚的なものだ．
ダリが主張したのは，建築の構造が「やわらかいもの」になるという意味ではない．建築が「人間にとって，やわらかい」ものになるのだ．
数学も，その論理的厳密性や構造主義的性格が「やわらかく」緩んでしまうことは決して無
いだろう．しかし，われわれが数学に接するときに生じる感覚が，無機的で硬質なものから，は
るかに有機的で，「やわらかい」ものになるだろう．少なくとも，数学を理解する際のインター
フェイスとして，記号や論理以外の別の要素が重要視される日がおとずれる．その別の要素と
は，他ならぬ，人間という存在である．あいまいで，間違いやすく，信頼のおけない，人間という存在である．
ただし，数学が「毛深く」なるかはわからない．数学の「やわらかさ」に付随して，装飾的
で，ときには不快でもあるような要素が生み出されるかもしれない．
私のこのノートも，いまある数学者諸氏にとっては，すでに十分「毛深い」ものかもしれないが．
以上
211:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:29:42 bfBvt+85.net
>>185-192
うーん、その話、面白いね
>IT土方になるも代入のイコールを受け入れることができなくて挫折
IT土方の定義次第だが、大きく プログラマーと SE（システムエンジニア）と
で、SEなら、”代入のイコール”と無縁な仕事かもね
>もともとは数式処理システムのMathenaticaの高校生向けチュートリアルでまず最初に定義式の:=と代入の=について触れてたな。
そうそう
数学も時代で求められるものが違ってくるように思う
昔はπを何百桁まで計算するがエライって時代から
MathenaticaとかPython使いがエライってなって
数学のソフト使えないやつダメとか
> 2045年のシンギュラリティで
>AIがリーマン予想を解くから、
その前に、AIアシストを受けた 人が解くか
山下先生が、進化版IUTで解くかでは？（＾＾；
212:１３２人目の素数さん
20/06/28 11:31:31 62SdHH60.net
>>192
そうだと思うが、それでバグが入り込
213:むなら設計ミスだろ。
214:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:36:09 bfBvt+85.net
>>193 補足
>さて私も同じことを，数学で予言したいと思う：
>「これからの数学はもっと，『やわらかいもの』になるだろう．」
IUT 星と山下の差
星が、『やわらかいもの』を目指しているのに対して
山下は、そうではない
望月先生が、海外出張講演をしないのも
『やわらかい』語りが、まだ出来ないからじゃないかな？
現段階では、IUT論文を読んで貰うのが、理解の早道だと思っているんじゃないかな？
でも、査読が通った今、『やわらかい』語りが、求められていると思う
215:１３２人目の素数さん
20/06/28 11:38:14 d8p+/SSc.net
今求められてるのは3.12の証明ではないだろうか
216:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:40:41 bfBvt+85.net
>>195
>そうだと思うが、それでバグが入り込むなら設計ミスだろ。
まあ、そういう見方もあるけど
最初の高級言語 FORTRANが作られたときの
キーボード環境があまり複雑なことを打てない仕様だったかも
C言語は、FORTRANを受け継いだと思うんだ
当時のプログラムは、いまよりもっと単純だったろう
いまから思うと、もっと信頼性重視が良かったかも
なお、コンパイラのチェック機能を強化して、そういうエラーチェックできるかも
（それこそ、IA組み込み コンパイラとか ）
217:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:42:15 bfBvt+85.net
>>197
＞今求められてるのは3.12の証明ではないだろうか
いや、形式的には、3.12の証明は既にあるよ
求められているのは
１．3.12の証明が正しいことの証明ｗ（＾＾；
２．3.12の証明が正しいことの分り易い説明（＾＾
218:１３２人目の素数さん
20/06/28 11:43:51 d8p+/SSc.net
>>199
証明と主張するものはあるが証明がない
ギャップがあるから
219:１３２人目の素数さん
20/06/28 12:38:00 s9y8etZF.net
>>193
やわらかくて毛深い珍獣がなんか啼いてるなｗ
>>194
プログラマー：専門学校卒で実際にコードを書くヤツｗ
SE（システムエンジニア）：大卒のくせにコード書けないヤツｗ
ま、どっちも
Hoare Logicも、Curry-Howard correspondenceも
知らん時点で論外ですけどね
220:１３２人目の素数さん
20/06/28 12:44:16 s9y8etZF.net
>>196
やわらかさにも限度があるｗ
液状だとそもそも信頼性が保てない
望月の説明は、数学者が求めるレベルの固さがない
やわらかいほうでは素人をたぶらかすレベルのグズグズ状態
それじゃ全然意味ない
おそらく星も山下も肝心のところは分かってない
分かってたら、彼らも馬鹿じゃないから、
数学者が求めるレベルの説明ができる
221:１３２人目の素数さん
20/06/28 12:48:34 s9y8etZF.net
>>199
＞形式的には、3.12の証明は既にあるよ
ない
求められているのは
「3.12の証明と称するものの甚だしいギャップの補間」
しかし望月は補間できず、しかもそれすら認めたがらず
「自明だ」と言い張っている もはやトンデモ
222:１３２人目の素数さん
20/06/28 12:55:18.88 s9y8etZF.net
>>198
セタはgoto文排除の話すら知らない恐れありｗ
gotoが便利なのは🐕🐈でもわかるｗ
便利すぎるからキケンなのである
プログラムの構造化が要らないとかいうのは
プログラム検証を知らない野蛮人くらいのものである
（しかし世の中にはそういう野蛮人がいまだにウジャウジャいる
今後数学的帰納法が理解できないヤツはプログラミング禁止
とか法律で定めてほしいｗ）
223:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 15:14:47 bfBvt+85.net
>>199 補足
>いや、形式的には、3.12の証明は既にあるよ
ほいよ
いや、形式的には、3.12の証明は既にあるよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY III: ¨
CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
Shinichi Mochizuki
May 2020
P173
Corollary 3.12. (Log-volume Estimates f
224:or Θ-Pilot Objects) P174 Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss P186 This indeterminacy has the effect of rendering meaningless any attempt to perform a precise log-volume computation as in (xi). 宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783 P156 当然ですが, §8 で述べたとおり, 最終的には, “Fmod の多輻的な表示” は, これまで 議論してきた “多輻的に表示されたテータ関数やその特殊値” と直接的に関連付けられま す. §19 と §20 で議論したとおり, テータ関数やその特殊値の多輻的な表示は, 非自明な ラベルの管理をその前提としています. なお, 次のような観点があることも指摘しておきます. §17 の議論のとおり, テータ 関数に関する良い大域的な設定を準備しようとしますと, ラベルの管理の問題やテータ関 数が定義される被覆の問題から, “基本的な基礎体としての数体” が (F や Fmod ではな く) K となってしまいます. 一方, 我々が復元したい数体は Fmod です. したがって, これ から行われる数体の多輻的な表示は, 何らかの意味で, “数体の拡大 K/Fmod の降下情報” (つまり, “Gal(K/Fmod)”, したがって, 特に, “V(K) の Vmod 上の適当な置換たち”) と関 連する形で行われるべきです. 上の 2 つの議論を大雑把にまとめますと, 我々は, テータ関数やその特殊値の多輻的な表示のために行った Fx±l 対称性を用いた ラ ベルの管理 を破壊してしまうことなく, かつ, 数体の降下情報 に関連するラベル の管理のもと, 数体を表示しなければいけないということです. つづく
225:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 15:15:25 bfBvt+85.net
>>205
つづき
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
P301
不定性 (Ind1), (Ind2), (Ind3) の作用による ‡ 0Θ 標対象の軌道の和集合の (“‡ の側”
の正則構造による) 正則包 (holomorphic hull - cf. [9], Remark 3.9.5) ([2], §12, の
後半の議論を参照) の行進正規化対数体積として定義しましょう. すると, 両立的同型
† 0RFrob~→ ‡ 0RFrob の存在から,
† 0Θ 標対象の対数体積は, vol(‡ 0Θ) 以下とならざるを得
ません. したがって, 結論として, 不等式
vol(‡ 0Θ) >= deg(‡ 0q 標対象)
が得られます.
§ 26. Diophantus 幾何学的不等式
宇宙際 Teichm¨uller 理論の応用として得られる “Diophantus 幾何学的不等式” の内
容は, 以下のとおりです ([10], Theorem A, を参照):
(引用終り)
226:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 15:18:27 bfBvt+85.net
>>205-206
3.12の証明とか
それに関する
星先生の和文説明はある
しかし、海外での納得者、ＩＵＴ賛同者がすくないのはその通り
まあ、これからですよ、理解者を増やすための活動
227:１３２人目の素数さん
20/06/28 15:22:28 w/4fBe03.net
>>193
面白い話だね。
人間の感性を無視して何かを構築しても、あまり人間の
役には立たない。なにかの助けにはなるとしても、決定
的に大きな役割は果たせないというのは感じるわ。
228:１３２人目の素数さん
20/06/28 15:26:43 s9y8etZF.net
>>205
＞形式的には・・・あるよ
証明と称する文字列＝「形式的」証明 というのが
形式的を誤解した馬鹿の戯言
望月がいくら証明だとわめこうが
バカでかいギャップがある記述は
証明ではない
◆yH25M02vWFhPよ、貴様にギャップが埋められるのか？
ん？工学部卒のド素人の貴様に埋められるのか（嘲）
229:１３２人目の素数さん
20/06/28 15:29:22 zMeGIoxo.net
>>208
斎藤毅によれば、グロタンディークはスキームXをただXとしか見ていなかったようだが
230:１３２人目の素数さん
20/06/28 15:29:50 s9y8etZF.net
>>207
で？>>205-206の日本語の文章のどこが
望月のニセ証明のギャップを埋める記述なんだ？
具体的に示してみろや この工学部卒のド素人が（嘲）
231:１３２人目の素数さん
20/06/28 18:34:32 apZmPGM9.net
>>198
わ、プログラムでもトンデモ
232:１３２人目の素数さん
20/06/28 20:51:59.43 lAmHZJpH.net
左翼のミスター維新がまた暴れてるのか。
233:１３２人目の素数さん
20/06/28 21:26:26.41 +VXxQ0ZM.net
なぞのIUT応援団長がコピペ単語を並べて呻いているな、隔離スレだし。
アセンブリも知らないだろうしC oqも無縁だしIUT B本math jinがお似合いだ
234:１３２人目の素数さん
20/06/29 06:37:07 GkGJv2T6.net
維新はウヨクじゃね？
235:１３２人目の素数さん
20/06/29 07:12:35.84 SG0hDOpp.net
>形式的には、3.12の証明は既にあるよ
証明と概要.概説.解説は異なる。
(リーマン予想について
アティヤが「形式的」な「証明」
を行い世界へ向けて講演したが、
アティヤを尊敬するも未だにリーマン予想といわれている)
236:現代数学の系譜 雑談
20/06/29 07:39:25.48 zK2xtwvj.net
>>208
>人間の感性を無視して何かを構築しても、あまり人間の役には立たない。
同感です
いまのIUTの状況に、二重写しですね
>>210
>斎藤毅によれば、グロタンディークはスキームXをただXとしか見ていなかったようだが
そうみたいですが
グロタンディーク先生は、あまりにも浮き世離れしているというか、まあ、岡潔先生に似ているかも
浮き世に生きている我々の参考にはならないかも
新井 紀子先生の方が、一般人には参考になると思いますね
URLﾘﾝｸ(www.kinokuniya.co.jp)
紀伊國屋書店
数学は言葉
新井 紀子【著】
内容説明
困ったことに、数学語は数学や科学だけで使われている言葉ではないのです。論理的とよばれているありとあらゆる分野で、数学語が共通語として使われているのです。というわけで、この本の目的は、「数学語を第二言語として身につける」です。言語の本ですから、「ナマモノ」の数学に出てくる補助線の引き方やつるかめ算など数学技能については勉強しません。三平方の定理やオイラーの公式のような有名な定理もやりません。その代わりに、数学の文法と和文数訳、数文和訳、そして数学の作文法を勉強します。
目次
１ 定義とは何か
２ 数学の文法
３ 和文数訳
４ 数文和訳
５ かたちから言葉を見る
６ 証明とは何か
７ 数学の作文
８ 終章―ふたたび古代ギリシャへ
著者等紹介
新井紀子［アライノリコ］
一橋大学法学部卒業。イリノイ大学数学科博士課程修了。理学博士。現在、国立情報学研究所教授、社会共有知研究センター長。専門は数理論理学、情報
237:科学、教育工学。情報共有基盤システムＮｅｔＣｏｍｍｏｎｓを開発、学校などでも簡単に使いこなせる情報共有システムをめざしている。その一方で、専門の論理学を活かして算数・数学の著作にも多数取り組む（本データはこの書籍が刊行された当時に掲載されていたものです） ※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
238:現代数学の系譜 雑談
20/06/29 07:48:50.05 zK2xtwvj.net
>>211
おサル＝維新は、面白な
おまえさん、人のつもり？
数学では、ドクターないと、人扱いされないって、自分の言葉だったろ？（＾＾
１．4月3日に、柏原＆玉川先生が、「IUTの証明は正しいと思ってもらって良い」「査読は完了」と会見を開いた
２．当然、凡人に分かるようなギャップはない
３．4月3日後に、「ギャップあり」と喚いた人一人。言わずと知れたショルツ氏だが、公言した人は只の一人のみ
（4月3日以前には、SSで二人だった）
４．もし私がギャップを見つけたら、５ｃｈなんかに書かずに、実名投書するけどね。ギャップの指摘が正しいなら、ヒーローでしょ！ｗ（＾＾；
（ギャップの修正ができたら、もっと凄いよねｗｗｗ）
239:１３２人目の素数さん
20/06/29 08:16:12.04 8S5rGRrU.net
IUTはダメだって。
IUT=もっちの俺様ワールドだけど、主要結果として主張していることは
abc予想という紛れもないディオファントス問題で
世界には研究者の分厚い層がある。この研究者たちは
もっちの証明を全く認めていないだろう。
RIMSは世界の笑い者だよ。
240:１３２人目の素数さん
20/06/29 16:43:41 GkGJv2T6.net
>>218
◆yH25M02vWFhPの輝かしい戦果！
１）任意の集合についてa∈b⇔a⊂bと断言し 大爆死ｗ
２）公理図式で任意の式を入れるところを公理に限ると断言し、大爆死ｗ
３）εδ論法でεは１未満に限ると断言し、大爆死ｗ
こんな大学１年の４月の数学で「死んだ」馬鹿が、
ＩＵＴどころかただのタイヒミュラー理論すら
わかるわけなかろうがｗｗｗｗｗｗｗ
241:１３２人目の素数さん
20/06/29 16:45:47 GkGJv2T6.net
セタは以下の本、読んだの？
もし読んだんなら、>>220であげたような
馬鹿丸出しな発言は決して出てこない筈なんだがね
URLﾘﾝｸ(www.kinokuniya.co.jp)
紀伊國屋書店
数学は言葉
新井 紀子【著】
目次
１ 定義とは何か
２ 数学の文法
３ 和文数訳
４ 数文和訳
５ かたちから言葉を見る
６ 証明とは何か
７ 数学の作文
８ 終章―ふたたび古代ギリシャへ
242:１３２人目の素数さん
20/06/29 16:47:35 GkGJv2T6.net
🐎🦌のセタは
「円周率とは何か？」
という質問に脊髄反射で
自信満々こう答えるだろうな
「３．１４！！！」
何がどう間違ってるかわかるか？
いっとくけど、小数点以下2桁で打ち切ったことじゃないぞｗ
243:１３２人目の素数さん
20/06/29 17:00:43 dURyYhlp.net
3.1415926535897932384626まで暗記してれば一生大丈夫だと思ってる
大事なのは次数であって有効数字なんて二桁あれば御の字だ
244:１３２人目の素数さん
20/06/29 17:22:49 GkGJv2T6.net
>>223
どうも肝心なことが分かってないな
「円周率とは何か？」とは
「円周率の値はいくらか？」
という問いではない
そもそも阿呆のごとく円周率を暗記するヤツに問いたい
貴様は円周率の計算方法を１つでも知っているのか？
その方法で、貴様が覚えた桁数まで円周率を計算したことが
一度でもあるのか？
245:１３２人目の素数さん
20/06/29 17:46:18 dURyYhlp.net
>>224
ライプニッツの公式とマチンの公式を名前だけ覚えてるｗ
昔某PC雑誌で収束速度を比較する記事があったので
自分で計算したことはない
246:１３２人目の素数さん
20/06/29 18:07:42.02 dURyYhlp.net
そんな自分でもIUTを理解できました！みたいな解説を探しているのだがなかなか見つからない
ミッシングリンクみたいな断絶を感じる
247:１３２人目の素数さん
20/06/29 18:42:33.91 GkGJv2T6.net
>>226
無理だって
ファルティングスの定理がやっとディオファントス幾何の手法で
初等的に導く別証明がみつかって、その解説本が出たという状況
モーデル‐ファルティングスの定理
―ディオファントス幾何からの完全証明
(ライブラリ数理科学のための数学とその展開)
ＡＢＣ予想をディオファントス幾何の手法で
初等的に導く証明が見つかるのはいつのことやら
248:１３２人目の素数さん
20/06/29 18:50:27.72 dURyYhlp.net
>>227
「『無理』というのはですね、嘘吐きの言葉なんです」
249:１３２人目の素数さん
20/06/29 19:15:46.41 VwII1Hky.net
>4月3日に、柏原＆玉川先生が会見
→>>20
PRIMS編集委員(望月新一編集長)=
RIMS教授で柏原氏はPRIMS編集
委員ではない。
以前から柏原.玉川両氏は
IUT中心の次世代幾何学研究センターに
所属。
IUTはRIMSのめしのたね。
>IUTの証明は正しいと思ってもらって
良い」「査読は完了」と会見を開いた
→ >>14
RIMSの教授=PRIMS編集は査読中ながらIUT論文の概説よりabc予想が解決と
結論し、公文書の現況調査表で
文科省関連団体へ報告した。
IUT論文の査読は査読中から証明が
正しいと結論づける暴挙を行う。
RIMSは伏魔殿
>当然、凡人に分かるようなギャップは
ない
→粗雑な概要概説解説にはふつう
ギャップなんかないね。
論文の証明でギャップを一箇所に
まとめ前後をぼかしてつなぐ禁断テクも
あるし、詭弁なかみ空っぽ、
>4月3日後に、「ギャップあり」と
喚いた人一人。言わずと知れたショルツ氏だが、公言した人は只の一人のみ
→woitのブログでショルツはwith Stixと発言。
多くの数学者がギャップ以前にIUT
論文の査読や従来の数学と自称
パラダイムが全く異なるIUT語へ
疑問理解不能を指摘しIUTを
冷ややかに見ている。nature
Dupuyに至ってはショルツへ
クレームをつけるも補題3.12を理解できないことを暴露された。
>もし私がギャップを見つけたら
、５ｃｈなんかに書かずに、実名投書するけどね。
→コピペ魔さんの実名はセタさん？
250:１３２人目の素数さん
20/06/29 19:47:04.56 pDaNvv2L.net
>>227
初等的(代数幾何必須)
251:１３２人目の素数さん
20/06/29 19:59:06.88 VwII1Hky.net
>モーデル‐ファルティングスの定理
―ディオファントス幾何からの完全証明
初等的とは証明に鳩の巣原理を使って単純化しているからだろう
252:１３２人目の素数さん
20/06/29 20:09:34.07 VwII1Hky.net
あ、
IUT信者はIUT論文さーべい文元本を
熟読しIUT語の修行せんと、
全くパラダイムが異なるIUT語の修行ため禁書だろうな
↓
モーデル‐ファルティングスの定理
―ディオファントス幾何からの完全証明
253:１３２人目の素数さん
20/06/29 20:26:16.29 pDaNvv2L.net
>>231
まあそうなんだろうけど初等的って言われたらせいぜい学部数学で示せるのかなって思うよね
254:１３２人目の素数さん
20/06/29 20:48:47.10 8S5rGRrU.net
abcは別に初等的証明が求められてるわけじゃないから。
数論幾何のあらゆる手法を使ってもいいし
新しい理論を考えたなら、数学者に理解できるように
説明すれば認められる。
IUTはそれができてないから認められてない。
255:１３２人目の素数さん
20/06/29 21:06:45.02 8S5rGRrU.net
「復元」の思想は正直すごいと思った。
遠アーベルのね。もとはグロタンが考えたのかな？
数体k上の非特異代数曲線Cの数論的基本群π_1(C)から
もとの曲線の同型類が決まる場合があるってこと。
より一般には、そのようなことが可能なケースを「遠アーベル的」多様体と言うわけ。
（正確な定�
256:`はまだないのかな？） これはどういうことかというと 位相幾何学的な基本群とガロア群の「絡み合い」から 元の多様体の同型類が決まってしまうということだから。
257:１３２人目の素数さん
20/06/29 21:11:16.07 8S5rGRrU.net
基本群の完全系列
1→π_1(C_k~)→π_1(C)→G_k→1
において、π_1(C_k~)とガロア群G_kは大体古典的な対象なわけだ。
これは群の拡大
URLﾘﾝｸ(ja.wikipedia.org)
における
1→N→G→Q→1
と同じ状況なわけ。
NとQ個別では元の多様体は決まらないが
NとQが「絡まって」出来ているGからは元の多様体が復元できる場合があるってこと。
革命的な「雰囲気」はある笑
258:１３２人目の素数さん
20/06/30 00:20:27.95 6PnPyHOf.net
証明がなければsf作品の中の素晴らしい世界と同じw
絵に書いたモチ、ともいうw
259:１３２人目の素数さん
20/06/30 02:51:18.52 JugTKWsY.net
1か月ぶりぐらいこのスレ来たんだけど、
さすがに論文は掲載されたんだよね。
260:１３２人目の素数さん
20/06/30 05:13:51 yiBoqDdE.net
ヴェイユ予想やヴェイユ・コホモロジーだって最初は証明はなかったし
絵に描いた餅だったが、その意義を否定するバカはいない。
何を証明すべきかが分かってない状況で、証明が出てくるわけないだろう。
個人的には外ガロア表現に出会えたのはよかった。
伊原氏の遠アーベルへの関心も、もともとそのあたりにあったようだ。
これは、ガロア群が幾何学的な基本群の外部自己同型として作用しているということで
そのような作用があると知っているだけで、非常に参考になる。
261:１３２人目の素数さん
20/06/30 09:22:15 B5kO/0Me.net
Stixは遠アーベル幾何のセクション予想
で仕事している。が、関係していても
遠アーベル幾何≠IUTTですよね。
262:１３２人目の素数さん
20/06/30 09:53:11.51 B5kO/0Me.net
>>238
本スレが荒れたり中止にしろとレスが
る時、何か変化がある。
朝日のすっぱ抜き記事の前もそうだった
本スレが不都合なんだろうw
263:１３２人目の素数さん
20/06/30 11:25:37.01 JugTKWsY.net
永遠の掲載予定か…
264:１３２人目の素数さん
20/06/30 22:29:45.00 /0KHmykj.net
なんかブログのコメント荒らされてない？
265:１３２人目の素数さん
20/06/30 22:50:58.97 WUIV59b6.net
定期的に基地がわくので通常運転です
266:１３２人目の素数さん
20/07/01 05:49:04.44 LfyL7qTQ.net
るいとも
267:１３２人目の素数さん
20/07/01 08:42:17 qDYK7M9y.net
餅様はアレを理解されます
268:１３２人目の素数さん
20/07/01 11:39:11 RqWJWjFG.net
奇異な謎の不等式.IUT語の世界とここの隔離スレとは無縁だが、
志村先生が使える数学として四元数環
の重要性を指摘している。
269:１３２人目の素数さん
20/07/01 11:40:49 RqWJWjFG.net
このスレはコピベ魔の隔離スレ
270:１３２人目の素数さん
20/07/02 00:33:37.12 3oX3gwKp.net
女性経験ゼロのおっさんて実際のとこどうなん
みくりは非SJなんだよな
271:１３２人目の素数さん
20/07/02 03:25:59.37 5Uax6L72.net
数学科の童貞率は哲学科のそれ以上とかなんとか
272:１３２人目の素数さん
20/07/02 05:40:08.67 3KByxyj8.net
RIMS教員って研究以外の義務は1日平均どれくらいあるの？
273:１３２人目の素数さん
20/07/02 14:59:27.06 mXX+dkhI.net
>>250
まさか餅様も…？
274:１３２人目の素数さん
20/07/03 00:10:10.89 TE+hiu/m.net
>251 ほぼ何もなし。研究しなくなった穀潰しもいる。
275:１３２人目の素数さん
20/07/03 00:23:54.33 Xb4r+Csn.net
>>253
せっかく研究者になったのに研究しないのなら何をやってるんだろう？
座禅でも組んでるのかな
276:１３２人目の素数さん
20/07/03 00:27:34.13 OvTSPdiR.net
>>250
> 数学科の童貞率は哲学科のそれ以上とかなんとか
理学部より文学部の方が女性比率が圧倒的に高いから、あたりまえのような。
277:１３２人目の素数さん
20/07/03 00:30:32.47 uQtkKp4f.net
>>253
大学入試関係の仕事がなかったり
学部向けの講義がなかったりはするんだろうけど
さすがに何もなしってことないでしょ？
餅のサイトにも研究以外の義務がどうたら書いてあるし
278:１３２人目の素数さん
20/07/03 13:22:55.14 1JO6HtWL.net
>>255
女性がまわりにたくさんいたら非になれるとでも？
279:１３２人目の素数さん
20/07/03 15:03:37.94 OW4s4YDz.net
>>257
確率は上がる
280:１３２人目の素数さん
20/07/03 16:43:39.69 LLBSufyX.net
感染症ど素人の阪大Nがk値を唱え
k値絶賛の京大ウィルス研Mが
お維新吉村のブレーンになったなあ。
グラフをいじっていれば口ではなんでもいえる類だが予想能力なし、
お維新らしいわ
ま、あほは高校化学もわからないだろ。
暗黒面へ堕ちた京大RIMSには
abc予想から天気予報まで大予言装置
IUTがあるからお維新にピッタリだ、
近々呼ばれるのかな？
281:１３２人目の素数さん
20/07/03 17:13:24.55 LLBSufyX.net
実際には
データの注意書きも読めない山中
京大教授と医療システム無視でPCR
大量検査しか分からん本庶佑京大教授
は実際の感染症にど素人。
感染症対策として感染症数理モデルが
理解できるわけもないのに声だけ大きい
いまや、
関西 京大は日本を逆方向へ牽引
している
282:１３２人目の素数さん
20/07/03 17:58:41.13 Xb4r+Csn.net
ログシータラティスと読んで対数テータ格子と書く
その心は
283:１３２人目の素数さん
20/07/03 18:10:00.91 LLBSufyX.net
使えない数学は教えなくてよく、
学ばなくてもよい
by 志村五郎先生
284:現代数学の系譜 雑談
20/07/04 11:39:40.95 CndtYA/1.net
>>242
>永遠の掲載予定か…
RIMSだけでなく、京大全体としても、認知されPRされるIUTですよ
望月新一＆望月拓郎
ダブル望月です
URLﾘﾝｸ(125th.kyoto-u.ac.jp)
発掘、京大 > 良質なサイクルが生み出す数学研究の強さと可能性
2020.07.02 THU
(抜粋)
近年では、数論幾何学、量子幾何学など世界をリードする研究が行われている。
数論幾何学では、望月新一教授が2012年に発表した宇宙際タイヒミュラー理論によって整数論の難問とされてきた「ABC予想」の解明が進んだ。
数研が編集し欧州数学会が発行する学術誌『PRIMS』に掲載が決定した4編の論文は、600ページを超える膨大なものであるが世界的な注目を集め、数論幾何学の新しい方向を切り拓くものと期待されている。
量子幾何学では、望月拓郎教授が代数・幾何・解析のすべてが絡み合う調和バンドルの理論を大きく拡張し、その応用としてD加群に関する「柏原予想」を証明した。
これは解決には50年はかかるだろうと言われていた非線型偏微分方程式についての極めて難しい問題であったが、望月拓郎教授は8年余りをかけて総計1000ページを超える論文によって解決し高く評価されている。
URLﾘﾝｸ(125th.kyoto-u.ac.jp)
望月新一教授の宇宙際タイヒミュラー理論が掲載される学術誌『PRIMS』
年間4,000人の研究者が来訪
紙とペンさえあれば他に何もいらないというイメージの
285:ある数学研究だが、実はそうではない。 「優秀な人と集まってディスカッションし続けられることが、数学研究の生命線」と山田前所長も話すように、 優れた人と実際に会って議論しアイデアをキャッチボールすることによって、一人で机に向かって考えているだけでは生まれなかった成果が形になることが多い。
286:現代数学の系譜 雑談
20/07/04 12:55:37.00 CndtYA/1.net
>>262
オイラー、ガウス、ニュートン、ライプニッツなど数学の巨匠たち
かれらは、教えられるよりも、学ぶよりも、数学を作った
”使えない数学は教えなくてよく、
学ばなくてもよい
by 志村五郎先生”
志村五郎先生は、自らを ”数学の巨匠”と思っていたのだろうね
され、凡人は、学ぶべし。巨人の肩に乗るといったのは、ニュートン先生らしい
例えば、人生で、20歳から定年で65歳として、40年間に各人必要十分な数学だけを学ぶことができれば、”いいね”だろう
しかし、必要十分な数学だけを学ぶことができないとすれば、かつ、それは出来ない相談であることは自明だが
必要であろうと思われる数学を、効率よく かつ 使え役に立つように、学ぶことを考えるしかない
のでは？
URLﾘﾝｸ(ja.wikipedia.org)
レオンハルト・オイラー
URLﾘﾝｸ(ja.wikipedia.org)
カール・フリードリヒ・ガウス
19世紀最大の数学者の一人であり[1]、18世紀のレオンハルト・オイラーと並んで数学界の二大巨人の一人と呼ばれることもある。
URLﾘﾝｸ(ja.wikipedia.org)
アイザック・ニュートン
URLﾘﾝｸ(ja.wikipedia.org)
ゴットフリート・ライプニッツ
287:現代数学の系譜 雑談
20/07/04 13:05:08.11 CndtYA/1.net
>>264 タイポ訂正&補足
（タイポ訂正）
され、凡人は、学ぶべし。巨人の肩に乗るといったのは、ニュートン先生らしい
↓
さて、凡人は、学ぶべし。巨人の肩に乗るといったのは、ニュートン先生らしい
（補足）
・数学は言語だという人がいる
・言語だとして、漢字検定で、難読漢字とか、書取の難しい漢字とかあるでしょ
・ボキャが少ないと、ボキャ貧だとか言われる
・小説家だとか新聞記者だとか、文章を職業とする人をプロもいる
・数学も似たようなもので、言語として、日常使うより少し多く知っておく方が、人生ゆたかになるってこと、あるだろうな
URLﾘﾝｸ(www.tedxtokyo.com)
TEDxTokyo
数学は難しくない―数学は「言語」に過ぎない
ランディー・パリソック | TEDxManhattanBeach
ランディー・パリソックは熱意にあふれる教育者で、数学を簡単なものにしてくれることで知られています。彼が教えてくれる解決方法とは、数学を「言語」として教えるというものです。数学の授業に言葉を取り入れることで、低学年の生徒たちにも、分数のような複雑な概念がわかるようになると言います。
(翻訳 Moe Shoji、校正 Misaki Sato)
288:１３２人目の素数さん
20/07/04 13:21:09.30 iKe8zzl2.net
>>265
＞数学は言語
日本語の文章が正しく読めない人は、数学言語も理解できないよな
・定義を読まない
・証明を読まない
こういう人は、数学を学ぶ気がないので、別のことをしたほうがいいと思う
289:１３２人目の素数さん
20/07/04 13:42:30.09 WE3PWVWX.net
加藤文元「宇宙と宇宙をつなぐ数学
IUT理論の衝撃」
１刊行によせてp7-11
IUT理論提唱者望月新一(京大教授)
「より詳細な解説は本文に譲ります」
(望月新一は加藤文元の解説に同意)
「不定性」「近似」「緩み」
例
天動説 地動説 相対性理論
量子力学 素粒子の力学
不確定性原理
2 IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠組みでは語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
290:現代数学の系譜 雑談
20/07/04 17:27:15.85 CndtYA/1.net
>>267
(引用開始)
2 IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠組みでは語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
(引用終り)
正しくは
2 IUT語 p51
「IUT理論は、従来の数学の
パラダイムの枠組みではなかった
全く新しいフレームワークと発想・
概念体系を基盤として構築されて
いる」
だと思うよ
例えば
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
Ｐ144
これまでの議論によって得られた 7 つ組 (F /F, X, l, CK V, Vbadmod,ε)
を 初期 Θ データ (initial Θ-data － cf. [11], Definition 3.1) と呼びます.
(引用終り)
下記の確率空間 (S, M, μ) に似ているよね、つまり確率空間は (S, M, μ)の3つの組で、初期 Θ データは7 つ組だが
空間はspaceだが、spaceは宇宙と訳されることもある
関数空間という言葉もあるし、ＩＵＴのリンクだって現代数学の空間（space）の類似と考えられなくも無いでしょ
論文を書くときは、余計なことを考える必要はない
一方読む人は、できるだけ既存の数学で、似た概念を探すのが、理解の早道と思う
それとの差分を考えるのが良いと思うよ
URLﾘﾝｸ(ja.wikipedia.org)
確率空間（英: probability space）とは、可測空間 (S, M) に確率測度 μ(S) = 1 を入れた測度空間 (S, M, μ) をいう。
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Space (mathematics)
3.8 Schemes
If R is a commutative ring, then there is a corresponding affine scheme Spec R which translates the algebraic structure of R into geometry.
A further generalization are the algebraic stacks, also called Artin stacks.
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
空間 (数学)
URLﾘﾝｸ(ja.wikipedia.org)
関数空間（function space）
291:１３２人目の素数さん
20/07/04 17:37:09.77 negaZLhv.net
PRIMSがIUT論文を受理するまでの
奇異.異様な経緯
1 京大G08事後評価結果を改変。
日本学術振興会は京大G08事後評価
結果をIUT論文の記述なしから研究成果例.内外の主要メディアがIUT論文を
取り上げている、へ突然改変した。
2 IUT論文はメディアマスコミネタ。
日本学術振興会など日本の公的評価は「内外の主要メディアが取り上げ
ている」のみ。
数学証明の正しさとメディアは無関係
3 査読中に論文肯定の結論ありき。
査読中にRIMS教授=PRIMS編集委員
が、IUT論文よりabc予想が解決と
現況報告表で報告した。
4 京大RIMS取り巻き限定「abc定理」。
補題3.12の証明の「理解者」は
身内の一部しかいない
RIMS詣でのDupuyすら「理解者」
ではない
5 RIMS2020IUTの拡がり公式本。
加藤文元本。
IUT論文は従来の数学とパラダイムが全く違うIUT語による。
玉川氏も記者会見で「全く新しい」
と発言した
6 RIMS次世代幾何学研究センター。
論文受理の会見はIUT中心の
「次世代幾何学研究センター」
所属の玉川柏原氏が行った。
柏原氏は編集委員ではない
査読過程は非公開
玉川「お墓に持
292:っていく」発言 の内容とは、疑惑だらけ natureでもwoitのブログでも IUT論文受理へ疑念を指摘される
293:１３２人目の素数さん
20/07/04 17:46:33.62 negaZLhv.net
◆yH25M02vWFhP
レスへ触るな
奇異なIUTウィルスがうつるから
294:１３２人目の素数さん
20/07/04 17:47:02.73 iKe8zzl2.net
>>268
＞・・・に似ているよね
新井紀子氏の
「AI vs. 教科書が読めない子どもたち」
に出てくる☆☆な人みたいな読解ですね
295:１３２人目の素数さん
20/07/04 17:52:04.01 iKe8zzl2.net
>>268
＞似た概念を探すのが、理解の早道
「★つ組」というだけで、似ているといいきっちゃう人が
いったい何をどう理解するのか全く想像がつかない
理解と「理解した気分」は、太陽と月くらい違う
296:１３２人目の素数さん
20/07/04 18:10:37.08 iKe8zzl2.net
ついでにいえば
・群は演算まで考えれば二つ組
・環、体は加法、乗法まで考えれば三つ組
・位相空間は台集合と開集合系の二つ組
等々、真面目に考えれば大体「★つ組」である
297:１３２人目の素数さん
20/07/04 18:16:50.94 G7I5DG7T.net
京都大学125th記念サイト
URLﾘﾝｸ(125th.kyoto-u.ac.jp)
近年では、数論幾何学、量子幾何学など世界をリードする研究が行われている。
数論幾何学では、望月新一教授が2012年に発表した宇宙際タイヒミュラー理論によって整数論の難問とされてきた「ABC予想」の解明が進んだ。
数研が編集し欧州数学会が発行する学術誌『PRIMS』に掲載が決定した4編の論文は、600ページを超える膨大なものであるが世界的な注目を集め、数論幾何学の新しい方向を切り拓くものと期待されている。
微妙な言い方だな
298:１３２人目の素数さん
20/07/04 18:40:03.55 tQ8S8AQ5.net
いうほど量子幾何学って盛んか？
299:１３２人目の素数さん
20/07/04 18:49:23.62 k4/zjNB4.net
>「ABC予想」の解明が進んだ。
微妙な言い方だね。掲載決定なら当然「ABC予想を証明した」と言うべきだろう。
しかしディオファントス問題は海外が本場でしょ？
海外には全く浸透してないのに国内で「解決した」と宣言することもできないんだろう。
どのみちRIMSの信用は地に落ちるんでは。
300:１３２人目の素数さん
20/07/04 18:56:23.14 cF5dBRG3.net
>>276
なるほど気が付かなかった
名探偵への道のりは険しい
301:現代数学の系譜 雑談
20/07/04 19:07:37.58 CndtYA/1.net
>>274
>京都大学125th記念サイト
>URLﾘﾝｸ(125th.kyoto-u.ac.jp)
>数研が編集し欧州数学会が発行する学術誌『PRIMS』に掲載が決定した4編の論文は、600ページを超える膨大なものであるが
要するに、ＲＩＭＳのみならず、
京大全体としても、
ＩＵＴ査読完了－論文掲載決定
を認めたってことですね
302:現代数学の系譜 雑談
20/07/04 19:16:48.32 CndtYA/1.net
>>267
>加藤文元「宇宙と宇宙をつなぐ数学
>IUT理論の衝撃」
この本は、私立大 文系の新聞記者を上限とする人達
（つまりは、大学入試で数学を選択しない人達）
を対象にした本だろう
だから、ＩＵＴの直前の既存の数学をベースとして
その差分が、ＩＵＴの独自の部分になるわけだけれども
そういう書き方になっていない
算数の、あるいは中学数学の
かけ算、足し算の話をベースとして
ＩＵＴを説明している
その点、ＰＨＰサイエンス・ワールド新書の
「ＡＢＣ予想入門」黒川信重・小山信也著の方が
理系よりで、ＩＵＴそのものの記述は薄いが
ＩＵＴの前段のＡＢＣ予想とＩＵＴに繋がるスピロ予想は、詳しい
あとは、例えば、加藤文元の東工大数学科４年に、１年かけて
ＩＵＴの概要を講義するテキストみたいなの
そういうのを書いてほしいね（＾＾；
303:１３２人目の素数さん
20/07/04 19:18:53.35 cF5dBRG3.net
>>278
掲載決定自体は事務的手続きなんだから認めるも何もないと思うが
査読関係者のダイニングメッセージの痕跡とかそういうのを探しているんだと思う
304:１３２人目の素数さん
20/07/04 19:41:48.03 iFpnX1eQ.net
IUT論文
査読中。
平成28年6月
京都大学 RIMS 現況調査表
>研究成果の状況
「望月新一による「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆 すべき出来事である。
当該論文は現在査読中であるが」
→査読中にRIMS教授=PRIMS編集員が
IUT論文の結論決定。(査読崩壊)
↓
令和2年4月3日
柏原玉川教授が会見。
・PRIMSが4篇
305:のIUT論文を受理. 査読中から結論が決まっていた ・柏原特任教授はPRIMS編集員でなく IUT中心の次世代幾何学研究センタ 特任教授 ・玉川教授「お墓へ持っていく」 査読過程は非公開 ↓ 論文受理後。 京大125周年について >数論幾何学では、望月新一教授が2012年に発表した宇宙際タイヒミュラー理論によって整数論の難問とされてきた「ABC予想」の解明が進んだ →森重文京大特任教授の依頼より望月新一教授と議論したショルツの見解. abc予想へ近づく基本的なアイデア は見られなかった。 査読中はABC 予想の解決は特筆 すべき 出来事 受理後は「ABC予想」の解明が進んだ インチキです
306:１３２人目の素数さん
20/07/04 19:48:28.34 iFpnX1eQ.net
>加藤文元「宇宙と宇宙をつなぐ数学
>IUT理論の衝撃」
望月新一教授のまえがきがある。
「より詳細な解説は本文に譲ります」
望月新一監修だ
307:１３２人目の素数さん
20/07/04 21:57:46.38 iFpnX1eQ.net
>>281
×abc予想へ近づく基本的なアイデア
⚪abc予想の証明へ近づく基本的な
アイデア
308:１３２人目の素数さん
20/07/05 00:26:58.74 pvbG8feq.net
黒川が査読すればいいのにな。
309:１３２人目の素数さん
20/07/05 00:28:49.13 oHNXI2+n.net
通すような人しか査読者に選ばないから
310:１３２人目の素数さん
20/07/05 01:46:34 MmFUXQx3.net
>>285
編集長権限で査読者の選定に介入できるということか
311:１３２人目の素数さん
20/07/05 07:35:03.64 Jnr/h/63.net
>>267
・文字化け訂正
×枠組み ⚪枠内
3 IUT語 p51
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
(文元本そのまま引用)
・ 望月新一は加藤文元の解説に同意
１刊行によせてp7-11
IUT理論提唱者望月新一(京大教授)
「より詳細な解説は本文に譲ります」
p7(文元本そのまま引用)
・パラダイムについて
IUTは一時流行し廃れた
ポストモダン
(文元本からそのまま引用)
２ パラダイム p59
「数学はどのようにして「進歩」する
のでしょうか？そこにはトマスクーンが言うように「通常科学」の中で連続的・累積的に積み重なる新しさと、
「パラダイムシフト」によって生じる
新しさの二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、一つの
パラダイム(時代や科学の各分野に
おける支配的な研究上の規範、視点、枠組みなどの意味)や様式に基づいた
科学活動のことであり、パラダイム
から与えられる問題や解き方などの
指針に基づいて研究を進める状態の
ことをいいます。
これに対する状態は、「科学革命」期
あるいは「パラダイムシフト」と
呼ばれている時期であり、この時期
には既存のパラダイムが破壊されたり
劇的に変化することで新しい科学の
枠組みが形成されます。」
312:１３２人目の素数さん
20/07/05 10:31:42.98 2HW2ukuX.net
>>287
＞「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
＞ 全く新しいフレームワークと言語・概念体系を基盤として
＞ 構築されている」
ハッタリでしょう
理解した上で云ってるとは思えない
そうだったらいいなあ、という願望に基づいてる
しかし、絶対数学（＝一元体）ほどの裏付けもない
313:１３２人目の素数さん
20/07/05 12:17:52.54 V+D9tMTa.net
>ハッタリでしょう
>そうだったらいいなあ、という.
願望に基づいてる
・文元本によれば望月新一.加藤文元
両氏はIUTTについて2005年7月から
2011年2月15日までセミナーを行った。最後のセミナーでIUT Tの「主定理」
を議論した。
・RIMS主催2020年IUT理論の拡がり
加藤文元氏は組織委員で
文元本が公式本だった
普通の人にはIUT一派がそうだったら
いいなあとハッタリかましていると
しか思えない
> 絶対数学（＝一元体）ほどの裏付けもない
F1を唱える人たちはabc予想の証明が
簡単だと勘違いしているのだろうか？
F1よりRHの証明まであと⚪歩と
ハッタリ言ってから永らく経つが
RHの証明できたと報告もない、、
314:１３２人目の素数さん
20/07/05 12:34:18.38 V+D9tMTa.net
詳しくいえば
普通の人にはRIMSとIUT一派が
そうだったら いいなあとハッタリ
かましていると しか思えない
315:１３２人目の素数さん
20/07/05 12:44:31.30 oGnveTaU.net
>>290
ハッタリとは力が無いものが自分を大きく見せてのし上がる為にやる詐欺的行為だ
権威を確立しているRIMSにはやる必要が無い
予算を確保するにしてもそこまで危なっかなしい橋を渡る必要は無い
よってハッタリである主張には説得力が無い
本気で推してると見る他ないよ
316:１３２人目の素数さん
20/07/05 13:47:58 t8cwPwPM.net
RIMS教授=PRIMS編集員がIUT論文の
査読中に結論を決定、>>281
RIMSがIUT論文の査読崩壊を開き直り
317:１３２人目の素数さん
20/07/05 14:14:36.84 2HW2ukuX.net
>>291
ハッタリ(>>288)というのは、加藤文元氏の文章に対する発言
RIMSは望月を庇うというか、組織を庇っているんでしょう
第二の理研ですね
318:１３２人目の素数さん
20/07/05 14:39:20.02 +XcFgWZT.net
ほぼ間違いなく正しいとおもえるほど理解した者は具体的に誰と誰と誰なんでしょうか？
319:１３２人目の素数さん
20/07/05 15:09:01.15 MmFUXQx3.net
真に理解していないとばれたらポアされてしまうというのか
毎日IUT語でマントラを唱えて誤魔化すしかないかも
320:１３２人目の素数さん
20/07/05 15:21:24.80 2HW2ukuX.net
>>294
望月本人を含めて、誰もいない
望月本人は実は分かってないことが分かってない
弟子と玉川は分かってないが、望月本人には云えない（いろいろ面倒なので）
加藤文元ももちろん分かってないが、「商売」上差し支えないので問題ない
321:１３２人目の素数さん
20/07/05 15:26:42.87 MmFUXQx3.net
>>296
誰も理解者がいないならどうして論文が存在してるんだよ？
322:１３２人目の素数さん
20/07/05 15:31:00.91 njLmTOy5.net
フェルマーの最終定理の証明論文とかも大量にあるけど、その殆どは間違ってるし
323:１３２人目の素数さん
20/07/05 15:48:25 +XcFgWZT.net
>>296
それはひどいですね...となると例の論文はトンデモということになるのでしょうか
>>298
正確には誤っているかどうかさえもわからない論文が大量にあるですね
IUTのabcに関する主論文も誤っているかどうかさえもわからない状態ですよね
324:１３２人目の素数さん
20/07/05 16:16:27 2HW2ukuX.net
>>297
実は理解してなくても、理解したつもりで論文が書ける そこが怖いところ
325:１３２人目の素数さん
20/07/05 16:22:05 2HW2ukuX.net
>>299
誤った（もしくはギャップがある）論文、ということになる
そういうのは間々ある
今回問題なのは、数論幾何の専門家たちが
皆、理解できないといってるのに
RIMSが論文をアクセプトしたこと
いったい誰が読んだのか、と騒ぎになってる
326:１３２人目の素数さん
20/07/05 17:04:44.70 MmFUXQx3.net
>>300
いやいやさすがにそれはないでしょ
自動筆記じゃあるまいし辻褄があってるかどうかは書いてる途中で自分で分かる
327:１３２人目の素数さん
20/07/05 18:15:43.17 2HW2ukuX.net
>>302
残念ながら機械検証できるレベルまで人間は整合性チェックしてない
そして「直感的に大丈夫」と思ってる箇所こそ実は間違ってたりする
今回もそのパターンだな 自分を過信したら穴に落ちる
328:１３２人目の素数さん
20/07/06 00:25:31.14 fg7Feqqu.net
>>301
皆、理解できないと言っている ＝ 事実じゃない
理解者はいる。これが事実
真の理解者か否かはこの際問題外
だって君は「理解できないと言っている」と言ってるのだから
329:１３２人目の素数さん
20/07/06 01:11:22 Cqugj7ml.net
思ったんだけど、ショルツって岡田将生に似てない？
330:１３２人目の素数さん
20/07/06 13:36:22.32 LKO9DMlI.net
IUT疑獄事件だな
331:１３２人目の素数さん
20/07/07 22:18:57.07 yoN7Yigo.net
応援スレなんだからIUTを理解している住人が一人くらいいてもよさそうなものだが
誰かいるのか？
332:１３２人目の素数さん
20/07/07 23:16:43.08 u+lQVWmD.net
>応援スレ
IUT論文をかいた本人が修正ばかりで
理解しているかどうかは知らない。
math jinや◆yH25M02vWFhPが
信者なら間違いないよ
333:１３２人目の素数さん
20/07/07 23:30:22.08 yoN7Yigo.net
>>308
B本には大半の人間が理解を諦めてしまったみたいなことが書いてあったけど
分からないものを分からないまま信じてるのならもはや宗教だな
アニメ製作は今どうなってるんだろ
334:１３２人目の素数さん
20/07/08 06:10:12 rakYJXts.net
>>308-309
論文書いた本人が理解できてないことを
他人が理解できるわけない
335:１３２人目の素数さん
20/07/08 10:16:06.24 9Un866bK.net
修正なんて付き物だろ
修正したら理解してないことになるのか？
有り得ないわw
336:１３２人目の素数さん
20/07/08 11:20:03.70 2YRrU1Np.net
RIMS教授=PRIMS編集員(望月新一
編集長)がIUT論文の査読中にIUTよりabc予想を解決と結論を出していた。
その後本人が修正しまくるありさまは
とても理解していたとは思えない、
奇異な世界だな
337:１３２人目の素数さん
20/07/08 12:38:28 NHkou53a.net
さすがに、
今更間違っていました
とは言えないだろう。
なるべく分かりにく修正して間違いの部分が表面化しないようにするしかない。
と俺ならば、思う。
338:１３２人目の素数さん
20/07/08 16:56:38 vh4/sLxc.net
死ぬまで宙ぶらりんでずっとこの状態。死後認められることもなく。地獄やな
339:１３２人目の素数さん
20/07/08 17:01:26 AhepFBJk.net
自業自得
340:１３２人目の素数さん
20/07/08 17:27:42 uk1es10J.net
そもそもIUTが何なのかすら未だによくわからん
ホッジ・アラケロフ理論をディオファントス幾何に適用する際に生じる技術的難題を克服するのが目的
…と言われても素人にとってはただの呪文だ
世間の熱もすっかり冷めてこのまま忘れ去られてしまうのか
341:現代数学の系譜 雑談
20/07/08 20:59:07.38 Lx2CGXHL.net
>>316
>世間の熱もすっかり冷めてこのまま忘れ去られてしまうのか
世間の熱？
醒めてないよ
本、バカ売れでしょ
新型コロナで中止の国際会議は、なんらかの形でやるだろうね
ズームとかもあるし
あと、2022のICMにIUTをどうねじ込んでいくのか？
RIMSの腕の見せ所でしょうね（＾＾；
URLﾘﾝｸ(icm2022.org)
IMU Prizes
The announcements and prize ceremonies for the IMU Awards, Prizes, and Special Lecture form a very important part of an ICM program. In particular the Fields medals that recognize outstanding mathematical achievement,
and are considered by many to be the highest honors in mathematics and the first IMU Abacus Medal, honoring groundbreaking contributions in scientific computing and mathematical aspects of computer science, will be awarded at the ICM Opening Ceremony.
Of no lesser importance are the Gauss Prize, Chern Medal, Leelavati Prize, and the Emmy Noether Lecture, see the information on the IMU website
342:１３２人目の素数さん
20/07/08 22:01:18.47 dHl+50Si.net
>あと、2022のICMにIUTをどうねじ込んでいくのか？
>RIMSの腕の見せ所でしょうね
RIMSは正直もう関わりたくないわな
343:１３２人目の素数さん
20/07/08 22:46:34 TZRZyOi9.net
もっちが講演するわけないから無理やな
344:１３２人目の素数さん
20/07/09 02:56:27 AbnlrEUu.net
永遠の修正作業
345:か…
346:１３２人目の素数さん
20/07/09 05:17:00.04 pp/1QwhD.net
>本、バカ売れでしょ
買っているのは
コピベ魔セタレベルのバカ層なんだろう
347:１３２人目の素数さん
20/07/09 06:20:05.59 CnpYw59x.net
素因数分解って何だっけ？という層にもBGの動画は人気があるんだよな
基礎的な内容を専門用語をできるだけ使わないで説明するとか分かった気にさせるコツがあるんだろう
B本を読んだ限りじゃ肝心のIUT理論に関しては群をテータ関数に入れてテータリンクで対称性通信をするとか
分かったようで分からん
348:１３２人目の素数さん
20/07/09 06:40:37.34 Z5I07NtU.net
>>317
セタのみ熱狂中ｗｗｗｗｗｗｗ
こりゃコロナが脳ミソに回ったか
349:１３２人目の素数さん
20/07/09 06:45:21.03 Z5I07NtU.net
「カスプのラベル」が何だかも全く分かってないセタに
IUTなんか死んでも分かるわけないだろ（嘲）
350:１３２人目の素数さん
20/07/09 07:45:04 klCFCYoQ.net
森重文は望月新一とRIMSの同僚
でIMU総裁だった。
Quanta MaGazine 2018.9.20
によると、
総裁時代に森重文から依頼された
ショルツは来京しショルツスティック
ス望月新一星で議論した。
ショルツの結論は
「I didn’t really see a key idea that would get us closer to the proof of the abc conjecture.」
一方ショルツへ依頼した森重文RIMS
特任教授は奇怪なことに
ノーコメント。
現在森重文RIMS特任教授はIUTを
中心とした次世代幾何学研究センター
に柏原特任教授と共に所属している。
ショルツへ依頼した目的は数学より
RIMSの政治だったのだろう
URLﾘﾝｸ(www.quantamagazine.org)