探検


Interuniversal geometry とABC 予想59 


■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2025/11/12(水) 03:38:14.15ID:5u0J6jYO

未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います
655132人目の素数さん
垢版 |
2026/01/08(木) 11:16:48.28ID:p2R4PY7n
>>654 人間失格
656132人目の素数さん
垢版 |
2026/01/08(木) 11:20:47.95ID:p+jcKxiP
証拠がないことで人の行為をあげつらうことに
問題があるとして
現在進められているのが司法改革
近い将来
いままでのような取り調べが露見した場合
検事たちが処罰されるようになる
657132人目の素数さん
垢版 |
2026/01/08(木) 11:23:52.81ID:es2OmiCP
>>656
証拠を隠滅すればOK という発想がクズ
2026/01/08(木) 11:26:15.28ID:aEycGIsz
数学だろうが新しい数学だろうが
査読者とエディターがポジティブなら、掲載だろ

他の委員がどういう異議出すんだよ
コミュニティーにも認められてないのはおかしい、とか非学問的な理由でリジェクトさせんのか?それこそ頭おかしいだろ

粛々と専門家がアクセプトを決めたら、それに専門家として反論出来なければ、掲載が常識
659132人目の素数さん
垢版 |
2026/01/08(木) 11:26:36.14ID:p+jcKxiP
>657
そう言って気に入らない態度の被疑者を罪に落とし込む検事がクズ
660132人目の素数さん
垢版 |
2026/01/08(木) 11:39:34.43ID:1o07AwfU
>>659
そういって正義ぶるのが極悪人
661132人目の素数さん
垢版 |
2026/01/08(木) 11:54:27.94ID:f9krhwgj
>>658

>粛々と専門家がアクセプトを決めた

IUTの場合は準備論文から理解している
専門家は著者望月新一しかいないと明言
し、全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる
とも明言している。


アクセプトする前から京大数理研で
はabc予想が解決と公言した。
662132人目の素数さん
垢版 |
2026/01/08(木) 12:00:44.60ID:f9krhwgj
>>43

2014年12月
IUTの検証 望月新一
663132人目の素数さん
垢版 |
2026/01/08(木) 12:15:49.19ID:x81lz3qu
>アクセプトする前から京大数理研ではabc予想が解決と公言

確信犯やん
664132人目の素数さん
垢版 |
2026/01/08(木) 13:13:22.68ID:f9krhwgj
>>9

平成28年(2016年)6月 

IUT論文査読中 
京都大学数理解析研究所

-現況調査表 -


・p 28-3
資料 2. 発表論文数 
所員の発表論文数は

査読付き論文のみ 。

特例として

・p28-10 事例4
「数論幾何の研究」


>望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は特筆すべき 出来事である。
2026/01/08(木) 14:43:05.31ID:oZviU6DR
>>661
準備論文から理解したのが査読者だよ
エディターの彼も理解してる

現況調査票は事務が基本的に作る
その部分は事務の誤り
事務は数学のイロハを知らないからな

おっと所長がチェックしてるだろと言いたいのはわかるが、あの頃の数理研は忙しくてな、チェックしてないのよ
666132人目の素数さん
垢版 |
2026/01/08(木) 15:52:33.10ID:b7MW+LDB
>準備論文から理解したのが査読者
妄想 「査読者」は理解せずにメクラ判押した だから説明不能
>エディターの彼も理解してる
妄想 「彼」は実在しない架空の存在
2026/01/08(木) 17:37:25.31ID:oZviU6DR
>>666
妄想ではなく事実です。
妄想という根拠をまずあなたが先に示してください。
668132人目の素数さん
垢版 |
2026/01/08(木) 18:15:21.24ID:ynDMrIeZ
虚偽申請藤原
虚偽数学望月
669132人目の素数さん
垢版 |
2026/01/08(木) 18:30:14.47ID:JxzqsSgQ
>>667
理解したと思うのは事実ではなく妄想
君は統合失調症 入院したまえ
2026/01/08(木) 19:48:40.42ID:oZviU6DR
>>669
根拠、コンキョを示してください。日本語わかります?
671132人目の素数さん
垢版 |
2026/01/08(木) 20:55:20.51ID:JxzqsSgQ
>>670
自分にいいな
君、根拠ゼロだよ
2026/01/08(木) 21:29:43.19ID:oZviU6DR
>>671
あなたが先に根拠を出して下さい。先に言い出している&繰り返し言っているあなたが先だ。
673132人目の素数さん
垢版 |
2026/01/08(木) 21:31:14.11ID:JxzqsSgQ
>>672
君が根拠をだせない時点で君は死んだ
674132人目の素数さん
垢版 |
2026/01/08(木) 21:32:28.36ID:JxzqsSgQ
君が死んだなら君が一人負け
勝者ゼロで負けるとは●違いの極み
2026/01/08(木) 22:03:34.53ID:oZviU6DR
>>673
ごまかしてないで先に根拠出せよ嘘つき野郎
どうせ出せねーんだろ?
劣等感からの妄想が根拠だからな
676132人目の素数さん
垢版 |
2026/01/08(木) 22:10:59.93ID:JxzqsSgQ
>>675
根拠ないんですね ウソツキ君

さすが高卒
2026/01/08(木) 22:13:01.53ID:5J9w/nU+
>>676
先に突っかかったお前が俺より先に根拠だせ
2026/01/08(木) 22:31:30.81ID:oZviU6DR
はいあんたの負けー
679132人目の素数さん
垢版 |
2026/01/08(木) 22:53:19.06ID:WIkL4PFg
単著がほとんどないのに、パパの友達や弟子に共著論文を書いてもらって、
なぜかわずか40歳で京都大学の教授になった人が京大にいるそうだね。

詳しくはこのスレにGo!
https://rio2016.5ch.net/test/read.cgi/math/1710668608/

親父は(元)東大教授で、息子は京大教授。
確率論という広いくくりで同じ専門というだけでなく、
もっと狭い確率解析というくくりでも同じらしい。
親父さんは門外漢でも聞いたことがあるぐらいの超有名人、学士院賞受賞者。

京大数学科では、これまで学生(や若い人)にたいして、
「数学者になりたきゃ自力で頑張れ!他人に頼るな!」
みたいなことをさんざん言って来たのに、これですか?
最低限の一貫性すらないのか? 巨大な裏切り行為だ。
680132人目の素数さん
垢版 |
2026/01/08(木) 23:29:32.35ID:Ko4iSOvK
いずれにせよ編集委員会および委員長の責任は重大だろ

論文の詳細な内容など分からんでも
証明が(十分で)ないって指摘に対して自明だと突っぱねるような
望月の主張を全面的に採用したんだから(>>21

2018年に自明だと言って批判を突っぱねて今でもそう(>>569-571
speciesの理論が当たり前なんていう「基礎論の専門家」が
本当に複数いたら出てくるはずだろ
681132人目の素数さん
垢版 |
2026/01/09(金) 00:04:12.90ID:KRNc7kdy
>>680
>本当に複数いたら出てくるはずだろ
自分から出てきますかね
望月さんに名前を挙げて貰う他ないでしょう
2026/01/09(金) 00:52:44.36ID:eLEJ2gxE
ほんとなわけないやん
2026/01/09(金) 05:16:27.04ID:hIGtZKs5
根拠示さない限り糖質の妄想~
勝手に吠えてろー
684132人目の素数さん
垢版 |
2026/01/09(金) 07:09:25.15ID:eQ863+tC
>>681
多くの人が分からんと言って説明を必要としてることが
自分には分かってるってんのなら
説明するために出てきます
それがフツーの数学者です
685132人目の素数さん
垢版 |
2026/01/09(金) 07:41:51.58ID:7WXy4YX4
望月新一の支持者が分かってること
「系3.12からABC予想が証明できる」

望月新一の支持者も分かってないこと
「IU、特に定理3.11から系3.12が証明できる」
686661
垢版 |
2026/01/09(金) 14:58:18.67ID:QivGhDVU
>>665
まずは

>準備論文から理解したのが査読者だよ
エディターの彼も理解してる

・エディターの彼とは誰?

望月新一がIUT論文を京大PRIMS編集委員会へ投稿後、望月新一を除く京大PRIMS特別編集委員会(玉川.柏原委員長)が審査受理した。
編集委員会に望月新一教授がいないから準備論文からIUTへ精通するエディターも査読者もいない。
またサイディ星山下剛もおらず
編集委員はIUTについて全くの素人だ。

・査読者は誰?サイディか、

既にIUTの検証活動に関わっている サイディ.山下剛.星の中核3名
としても山下は2012年8月の時点で全く素人、望月新一が指導教授の星はIUTサーベイで詳しくは
IUT論文を精読とIUT論文へ丸投げした。
残るは外部評価委員で利益相反のサイディだ。


>>5 -6
IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一
687132人目の素数さん
垢版 |
2026/01/09(金) 15:45:24.69ID:dxhYkVpT
>>686

続き

・P7.
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者 (略)、幸か不幸かは別としてそれらのテーマに精通している研究者は(私自身を除けば)この世に存在しないのが実情です。

・P7
>既にIUTの検証活動に関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません。
688132人目の素数さん
垢版 |
2026/01/09(金) 16:08:14.85ID:7WXy4YX4
著者は自らが執筆した論文の成否に関する決定的判断を下す資格が本質的にない。
689132人目の素数さん
垢版 |
2026/01/09(金) 22:14:41.13ID:QivGhDVU
>688は数学の場合でしょ。

IUTは数学でないし望月新一を頂点とした全く新しい「理論」の教義より
成り立っているしcor.3.12も教義による。
DupuyやjoshiのIUT解釈は
IUTの異端にすぎない
690132人目の素数さん
垢版 |
2026/01/09(金) 22:29:34.42ID:gYIMe79Z
>>689
IUが数学でないなら望月新一は数学者でなくなったわけだから解雇だね(笑)
別に星も南出も彼を教祖としてあがめる義務を負ってるわけではない(笑)
DupuyやJoshiは望月新一を出し抜きたいのであって支持者ではない
織田信長を本能寺で討つ明智光秀みたいなもんだよ(笑)
691132人目の素数さん
垢版 |
2026/01/09(金) 22:46:25.82ID:tAZELIVn
>>690

望月新一本人が認めているよ

・IUT語 p
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
692132人目の素数さん
垢版 |
2026/01/10(土) 08:21:05.43ID:Bm9hKm+K
>「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
>全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」

「ぼくのかんがえたさいきょうのすうがく」ってやつですね(笑)

ぼくのかんがえたさいきょうの
https://dic.pixiv.net/a/%E3%81%BC%E3%81%8F%E3%81%AE%E3%81%8B%E3%82%93%E3%81%8C%E3%81%88%E3%81%9F%E3%81%95%E3%81%84%E3%81%8D%E3%82%87%E3%81%86%E3%81%AE


無茶苦茶な設定の代名詞。

元ネタは漫画『キン肉マン』の超人募集コーナーにて、
作中のインフレ具合をガン無視して設定を盛りまくった
ちびっ子諸君のイラストに添えられた文章から。

以降、あまりに無茶苦茶な設定(例:
弾速が超光速で射程距離が天文単位で
異次元から無限にリロード可能で
一発一発の威力が水爆より強力で
相手を永遠に追尾し破魔の妖力で
霊魂すらも瞬時に破壊する拳銃など)には
「ぼくのかんがえたさいきょうの○○」
などと皮肉を込めて称されることが多い。
693132人目の素数さん
垢版 |
2026/01/10(土) 09:04:09.25ID:Bm9hKm+K
https://itest.5ch.net/rio2016/test/read.cgi/math/1767007684/659-660

数学書は読んでも全く理解できないが
数学者の経歴は読めば理解できるから
好んで読みたがる数学嫌いの素人
694132人目の素数さん
垢版 |
2026/01/10(土) 09:32:36.04ID:kao8g0mW
数学者嫌いなのは玄人
695132人目の素数さん
垢版 |
2026/01/10(土) 09:41:52.29ID:Bm9hKm+K
>>694
>数学者嫌いなのは玄人

残念な人格の数学者を見ると残念に思うことは多々あるね
ま、数学を研究してることと人格は独立だから仕方ないけどね
2026/01/10(土) 09:58:49.67ID:ZdqrQELu
しかし数学そのものに対しての姿勢をも真摯で誠実な態度とは言えないのがダメやろな
697132人目の素数さん
垢版 |
2026/01/10(土) 10:03:56.76ID:kao8g0mW
不誠実さを隠しようがないのが
ボディーランゲージ
698132人目の素数さん
垢版 |
2026/01/10(土) 10:04:35.87ID:Bm9hKm+K
>>696
それはMSのことかい?その崇拝者のことかい?

MSに関していえば、魔が差したとしかいえない
その崇拝者に関していえば、もともと只の計算好きで、数学の理論に興味がないんだろう
そんなのは工学系にはざらにいるから驚くことでもない

あいつらは逆行列を持たない正方行列は残念な例外としか思わない
そういう粗雑な精神でも世の中では生きていけるみたい よかったね
699132人目の素数さん
垢版 |
2026/01/10(土) 10:26:13.80ID:lk8KqbVj
望月氏は
自然数論(さらには数学的真理?)が絶対的に存在してて
人間が(形式化を経ずに)扱えると
勘違いしてるんじゃないデスかねー?
・例えば"functorial group-theoretic algorithm"は
 group-theoreticと言いながら不定の自然数を操ってる
年頭ブログとIUT IVを併せて読むと
・「一階述語理論としてのZFC」のモデルを複数用意して
 「不定元のような論理式」を操った結果得られる
 論理式が"absolute"だと主張してる

(IUT IVより引用)
>The various ZFC-models that we work with may be
>thought of as [but are not restricted to be!] the
>ZFC-models determined by various universes that
>are sets relative to some ambient ZFC-model which,
>in addition to the standard axioms of ZFC set theory,
>satisfies the following existence axiom [attributed
>to the “Grothendieck school”
(中略)
>In the following discussion, it should be understood
>that every set-theoretic formula that appears is
>"absolute" in the sense that its validity for a
>collection of sets contained in some universe V relative
>to the model of set theory determined by V is equivalent,
>for any universe W such that V ∈ W, to its validity
>for the same collection of sets relative to the model
>of set theory determined by W
700132人目の素数さん
垢版 |
2026/01/10(土) 10:29:56.78ID:lk8KqbVj
思うに氏はIVを書いた時点で
・数学が一階述語論理上の理論である
ということを認識してなかったんじゃないデスかねー
(なにせZFCGはZFCの保存拡大だと思ってたくらいだから
そしてたぶん今でも理解を拒絶してる「認知的不協和」状態)
IVでは単に「ZFC」だったのが年頭ブログでは
「一階述語理論としてのZFC」になってるわけなんだが
おそらくは「一階述語論理」という言葉自体
形式化の話を聞くまで気にしたこともなかったんじゃ?
(メタ数学やらないんならそれで無問題
しかしメタ数学をやるんなら細心の注意がいるところ)
ブログでは自身の無理解の責任を転嫁して
・多くの数学者が脳内で当たり前に処理してること
なんてゴマかしてるんじゃないデスかねー
そして形式化できなかった際の言い訳として
・「Leanの専門家」が不自然なことをしてるせい
を用意してるのかしらん
701132人目の素数さん
垢版 |
2026/01/10(土) 15:01:54.02ID:lk8KqbVj
「多くの数学者が当たり前に脳内で無意識のうちに
こなしている」ようなことを集合論(メタ数学)でやったら
絶対にアカン!というのは集合論を学ぶ際に
イの一番に叩き込まれることデスよねー
702132人目の素数さん
垢版 |
2026/01/10(土) 15:48:28.08ID:4GRDHWAD
>>692

そのとおりですね。


IUTは望月新一が、だれも
話したことがない、新しい言語を
用いて理論を組み立てた。
通常の言葉に翻訳するには多くの言葉や概念を巧みな比喩を用いるしかない。

よって
PRIMS編集委の数学者もIUTに全く素人だから2014年12月IUTの望月新一検証によれば、頭を真っ白にして望月新一のIUT教材を修行せずにIUTへ数学的な判断をする資格がない。



2019年4月加藤文元著「宇宙と宇宙をつなぐ数学」は望月新一監修
で望月新一本人の意見。
(レス>>17)

P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。

・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
703132人目の素数さん
垢版 |
2026/01/10(土) 15:53:28.55ID:Es67ILrU
【訃報】天才チンパンジー「アイ」逝去 49歳 京都大学が公表 [478973293]
https://hayabusa9.5ch.net/test/read.cgi/news/1768012338/
704132人目の素数さん
垢版 |
2026/01/10(土) 15:53:41.66ID:Es67ILrU
【訃報】天才チンパンジーアイ 逝去 [668024367]
https://greta.5ch.net/test/read.cgi/poverty/1768012887/
705132人目の素数さん
垢版 |
2026/01/10(土) 19:01:19.18ID:4GRDHWAD
⚫︎2023年8月
現状に関する簡潔な報告
IUTをめぐって 望月新一

4つの論文が、柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、といった国際的に著名な数学者からなる特別編集委員会によって編集されたPubl. RIMSの特別号に掲載されたにも関わらず、
略 スレ>61

・2014年12月
望月新一 IUTの自己検証では
京大PRIMS特別編集委員の数学者
がIUTに全く素人でIUTを判断する資格がないと言ってたにも関わらず、国際的に著名な数学者へw

・川上量生企画望月新一監修加藤文元著IUT本では望月新一語のIUTは数学でなく全く新しい理論と言ってたにも関わらず、数学者のscholze stix氏を罵倒している。

IUTは数学でなく全く新しい理論でleanの定理証明支援系の対象は数学よりIUTは
対象外、
706132人目の素数さん
垢版 |
2026/01/10(土) 19:13:01.68ID:kao8g0mW
悲しいことだが仕方がない
前橋の選挙結果は
悲しいことになるだろうが
悲しむべき事態になるよりはまし
707132人目の素数さん
垢版 |
2026/01/10(土) 19:20:27.42ID:Bm9hKm+K
>>706
セックスって犯罪でしたっけ?
708132人目の素数さん
垢版 |
2026/01/10(土) 19:37:55.98ID:Bm9hKm+K
愛国●違いの見苦しい足掻き
https://itest.5ch.net/rio2016/test/read.cgi/math/1767007684/685
709132人目の素数さん
垢版 |
2026/01/10(土) 19:39:52.14ID:Bm9hKm+K
Benjamin Collasはフランスでは少数派らしい
710132人目の素数さん
垢版 |
2026/01/10(土) 20:05:42.24ID:kao8g0mW
>>707
不倫を犯罪よりも忌み嫌う人の割合が問題
711132人目の素数さん
垢版 |
2026/01/10(土) 20:28:15.31ID:Bm9hKm+K
>>710
セックスは本能的行動であって
こんなことを倫理という奴は
正真正銘の精神異常者である
712132人目の素数さん
垢版 |
2026/01/10(土) 20:45:17.45ID:kao8g0mW
不倫のことをセックスと言う?
713132人目の素数さん
垢版 |
2026/01/10(土) 21:16:43.74ID:qu83iCjA
望月さんが言うような
基礎論の専門家の意見を聞いてみたいね
誰か基礎論の人発言しないかね
714132人目の素数さん
垢版 |
2026/01/10(土) 21:19:57.22ID:qu83iCjA
>>709
>Benjamin Collasはフランスでは少数派らしい
研究者としか出てないけど
RIMSで職に就いてないの?
715132人目の素数さん
垢版 |
2026/01/10(土) 23:46:06.79ID:ntCu1RaN
>>709

p.scholzeは国際的な評価が高い

seminaire Bourbaki
2026.3.28

Peter Scholze — Geometric Langlands,
after Gaitsgory, Raskin, ...

ブルバキセミナー
2026年3月28日 
p.scholze
幾何学的ラングランズ
Gaitsgoryの後、Raskin, ...

・Gaitsgoryの幾何学的ラングランズは数学ブレイクスルー賞を2025年受賞.
望月拓郎も2022年受賞
716132人目の素数さん
垢版 |
2026/01/10(土) 23:48:21.12ID:ntCu1RaN
https://breakthroughprize.org/News/91
717132人目の素数さん
垢版 |
2026/01/10(土) 23:59:55.25ID:ntCu1RaN
>>713

望月新一教授の2026ブログ
「また論文を公開した2012年以降も、
何名かの基礎論の専門家にも
目を通していただいていますが、
みんな口を揃えてまさしく
特に新奇性のない、当たり前なことしか書かれていないという
趣旨の評価や総括をしています。」


これはscholze stixレポートへの回答書.川上量生企画望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」 (>>15)->19の監修者望月新一の意見と矛盾しているにも関わらず、

例えば
・IUT論文はパラダイムシフト期のイノベーションを目的とした革命的な大論文だから既存の数学基礎論論理に拘束されない全く新しい理論。
これはハッタリに過ぎない、
718132人目の素数さん
垢版 |
2026/01/11(日) 00:04:46.90ID:BybTnHDb
数学基礎論論理を応用したlean
定理証明支援系の専門家kevin
buzzardによれば、(>>34)

実際には2500年前から数学のやり方は驚くほど変化していない。 
閉鎖的なパラダイムシフト論とIUT構築によるabc予想の解決は京都とりまきのみ定理の茶番劇。
ABC予想は、著名な学術誌京大PRIMSへ証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想だ。
719132人目の素数さん
垢版 |
2026/01/11(日) 06:45:22.06ID:CFrGjkFJ
124 名前:ファイヤーボールスプラッシュ(東京都) [US][sage] 投稿日:2026/01/10(土) 14:34:45.70 ID:Y3a+YzBP0 [2/2]
>>115
>>117
そういうことじゃないんだよな。先生は、幼児でもおちんちんやおまんまん見られると恥ずかしいって感覚を
人間だけは産まれながらに持っているってことを答えて欲しかった。アダムとイブの原罪なんだよ
720132人目の素数さん
垢版 |
2026/01/11(日) 06:45:35.18ID:CFrGjkFJ
150 名前:ツームストンパイルドライバー(みょ) [CN][sage] 投稿日:2026/01/10(土) 19:50:13.44 ID:Uf+wn5iD0
>>124
原始的な狩猟採集社会では幼児は排泄や局部丸出しを恥ずかしく思うことはないよ
認知の発達と属する社会の秩序によって恥の観念は生まれる
嬰児は抱っこ中にウンコするのもおむつ外されて拭かれるのもぜーんぜん嫌がらないでしょ
原罪なんかないの
古代人の無知な作り話だよ
721132人目の素数さん
垢版 |
2026/01/11(日) 09:16:20.21ID:bLyYlzFq
前橋市長選挙関係のyoutubeを流しながら
722132人目の素数さん
垢版 |
2026/01/11(日) 14:55:35.47ID:GanizPaJ
>>34

https://repository.kulib.kyoto-u.ac.jp/server/api/core/bitstreams/4d0a89ab-338e-46a3-8bdb-4de6c98239c2/content
723132人目の素数さん
垢版 |
2026/01/11(日) 14:57:52.13ID:GanizPaJ
>>722

数理解析研究所講究録別冊
2019, B73: 51-64
幾何学基礎論
ヒルベルトからタルスキへ
(数学史研究)
足立恒雄
724132人目の素数さん
垢版 |
2026/01/11(日) 15:54:46.23ID:m8MUs4Hi
ユークリッド幾何でなければ双曲幾何になるというように書かれているけれども、
楕円幾何は最後の数行にそういう言葉は出てくるが、無視されているのはなぜ?

ある直線に含まれない点を通って、元の直線に交わらない直線が唯一である
とするのが、ユークリッド平面の幾何。元の直線に交わらない直線が
少なくとも2つあるというのが双曲平面の幾何。
元の直線に交わらない直線は一つもないとするのが、楕円平面の幾何。
この三通りの場合で尽くされているから、3通りがあるはずなんだけ
れども。なぜか、多くの非ユークリッド幾何では双曲幾何しか
取り上げず、楕円幾何は存在しないかのような扱い。
(楕円幾何のモデルとしては、通常の2次元球面上で
対照点同士を同一視して「点」とし、球面上の大円
を「直線」とするものがある。すると任意の相異なる
2つの「直線」は必ず1「点」で交わる。)
725132人目の素数さん
垢版 |
2026/01/11(日) 16:40:15.88ID:m9cpcz6S
>>724
楕円幾何は直線が円になっちゃうから
平行線公準以外の公理も否定する必要がある

つまり平行線公準だけなくした場合は
ユークリッド幾何か双曲幾何かの二択

と、いつかどこかでだれかに教わったような・・・(笑)
726132人目の素数さん
垢版 |
2026/01/12(月) 19:58:55.85ID:H+UVgcPk
順序の公理3

1直線上にある任意の3点の内で他の2点の間にあるものは1点より多くない。

これは
同一直線上にある相異なる3点A,
B,Cに対し、ただ1つの点が存在しその点は他の2点間にある。

円周では成り立たない。
727132人目の素数さん
垢版 |
2026/01/12(月) 20:45:01.31ID:H+UVgcPk

ユークリッドの平行線公理。
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が1つだけ存在する :

ユークリッドの平行線公理の否定命題
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が2本以上存在する :
728132人目の素数さん
垢版 |
2026/01/13(火) 18:38:32.98ID:OHkIuxVT
ユークリッド原論からの発展。
・5つの公準の公理系を整理発展したヒルベルト公理系から1階述語論理のタルスキ公理系へ。
・ピタゴラスの定理からは
ガウスの内在的曲面論を経て
一般化したリーマン幾何学へ。
リーマン「幾何学の基礎をなす仮説について」には
定曲率の曲面を接触球の考察から
の分類がある。
729132人目の素数さん
垢版 |
2026/01/13(火) 18:46:29.89ID:OHkIuxVT
>>728
定曲率の曲面は、
曲率=0.可展面の円柱.
曲率>0.楕円幾何.球面
曲率<0 .双曲幾何に対応してる (サドルとか)
730132人目の素数さん
垢版 |
2026/01/13(火) 18:54:54.69ID:OHkIuxVT
パラダイムシフトの妄想IUTは茶番劇
731132人目の素数さん
垢版 |
2026/01/14(水) 20:03:29.64ID:xOqqz3oS
>>729
これは

・ユークリッド原論からは図形の平行移動と回転と鏡映による合同変換群= 等長変換がある。
・クラインのエルランゲルプログラムより幾何が変換群より分類される。
・定曲率の曲面はミンディングの定理より等長変換だ。
これらより
定曲率の曲面の幾何は
K>0 楕円幾何.
k=0 ユークリッド平面. K=0 )
K<0双曲幾何.
の3パターンへ分類される
732132人目の素数さん
垢版 |
2026/01/14(水) 21:04:18.07ID:xOqqz3oS
http://pantodon.jp/index.rb?body=Euclidean_geometry
733132人目の素数さん
垢版 |
2026/01/14(水) 23:19:58.76ID:DXO0W5ZM
望月氏のIUT-report-2025-10を受けて書かれた
newscientistの記事は読んでたけど
大したこと書かれてないと思ってたから
すっかり忘れとったわー
今読み返してみたら年頭ブログ記事と繋がったわ

このぶんだと
Lean(の専門家)は無能だからiutを理解できないって
いつものパターンで終わる悪寒
734132人目の素数さん
垢版 |
2026/01/15(木) 00:30:43.18ID:jQjaDT2S
>>733
望月さんが自分でやるんじゃなかったのか
2026/01/15(木) 02:31:56.20ID:5Wc40I5l
どこまでも他責思考
736132人目の素数さん
垢版 |
2026/01/15(木) 13:14:55.20ID:2rtgXjBG
ラングランズプログラムの
wilesFLTは数学語。
IUTのIUT語は孤立した閉鎖的な望月新一語。両者を混同するな
737132人目の素数さん
垢版 |
2026/01/15(木) 13:16:43.35ID:2rtgXjBG
2014年12月
望月新一本人のIUTの検証
・P8
>ラングランズプログラムに代表
されるような「表現的アプローチ」
は大きな研究の流れの一つですが、数論における全ての本質的な
現象は「その参加に入る」あるいは
「その特別な場合に当たる」と
いたような考え方は様々な数論現象の実態と整合しないものと
理解しています。

・望月新一監修加藤文元著
宇宙と宇宙をつなぐ数学 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。 望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
738132人目の素数さん
垢版 |
2026/01/16(金) 08:06:09.40ID:792kOLgo
筋が通っていさえすれば
誰も文句は言わないのだろうが
739132人目の素数さん
垢版 |
2026/01/16(金) 16:31:14.39ID:jGohyoof
>>737

> 望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。

望月新一教授本人が認めている
IUTは本人しか理解できないと。
IUTは数学ではない。(>>17)

DuppyもjoshiもトンデモIUTの亜流に過ぎないしnoideaのトンデモから数学は生み出されない。

abc予想の証明でギャップはなんでも
ありで致命的 cor.3.12。

・Supervised by Shinichi Mochizuki, Written by Fumimoto Kato
Mathematics Connecting the Universe and the Universe P37

>The difference between Wiles' theory and Professor Mochizuki's theory is, in short, a difference in language. Professor Mochizuki, so to speak, constructed his theory using a new language that no one had ever spoken before.
by deepl
2026/01/16(金) 17:52:48.33ID:pQfnXU68
そこで言う language とは the language of first-order logic の意味?
741132人目の素数さん
垢版 |
2026/01/16(金) 18:26:08.00ID:jGohyoof
違うと思うね

IUT語は望月新一語で「だれも 話したことがない、新しい言語」だから。
1階論理の言語と無関係だしタルスキの公理系に失礼だわ。

・IUT Language p51
“IUT theory is constructed on an entirely new framework and language/conceptual system that cannot be expressed within the paradigm of general mathematics.”
742132人目の素数さん
垢版 |
2026/01/16(金) 18:28:50.56ID:jGohyoof
違うと思うね

IUT語は望月新一語で「だれも 話したことがない、新しい言語」だから。
1階論理の言語と無関係だしタルスキの公理系に失礼だわ。

・IUT Language p51
“IUT theory is constructed on an entirely new framework and language/conceptual system that cannot be expressed within the paradigm of general mathematics.”
743132人目の素数さん
垢版 |
2026/01/16(金) 18:34:25.41ID:jGohyoof
>>301
なぜ1階論理か?
744132人目の素数さん
垢版 |
2026/01/16(金) 22:26:04.59ID:BLZSUYZn
>>739
dupuyのスペルを間違ってる
dupuyとjoshiを並べるのは間違い

dupuyが積極的に発言したことは有益で評価に値する
彼は数学的に間違ったことを言ってないし
iutによるabc予想の証明も明確に否定してる
(それでなぜMから絶交されてないのかは謎)
彼がiutを高く評価している(いた?)のはそうだが
それは価値観の問題にすぎない
価値観を否定する方が反数学的
745132人目の素数さん
垢版 |
2026/01/16(金) 22:38:58.28ID:BLZSUYZn
woitブログでのdupuy対scholzeの論争も
professionalなものだった
sはdに対してなんら悪印象を持っていないと思う
2026/01/16(金) 23:18:40.38ID:4dtT6S0M
joshi は自分の論文を lean で書いてみせるといってるらしいから少なくともそれで一区切りつくわな。
失敗した場合に正直に「ダメでした」って報告があること前提だけど。
成功すればもちろん成功したコードを公開するだろうし、そのとき ABC の照明も一気に解決になる。こっちの可能性はまぁないだろうけど。
747132人目の素数さん
垢版 |
2026/01/16(金) 23:35:03.15ID:JGXdBLz5
>>746
>joshi は自分の論文を lean で書いてみせるといってる
おお!
ABC予想がとうとう証明されることになるのか
748132人目の素数さん
垢版 |
2026/01/17(土) 00:03:34.69ID:9zDaTgPe
>>745

Dupuyなら、
NHKスペシャルで
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、 望月理論は数学の世界で生き続けていると思うのです」
と数学ではないIUT信奉者だと発言したものの、

望月新一本人から望月新一ブログでは
「デュプイ氏の場合:
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。」
とDupuyはIUTを理解しておらず詳細は述べずに修行が必要とダメだしされ今修行中なんだろう。

Scholzeと議論のDupuyも同様だった。
IUTの理解者は望月新一しかおらずIUTは数学ではない。
749132人目の素数さん
垢版 |
2026/01/17(土) 00:06:29.43ID:NVJHS3k7
>>748
>IUTの理解者は望月新一しかおらずIUTは数学ではない。
数学ではあるでしょ
既存の数学を革新すると言ってるだけで
750132人目の素数さん
垢版 |
2026/01/17(土) 00:21:57.97ID:9zDaTgPe
>数学ではあるでしょ
既存の数学を革新すると言ってるだけで

望月新一本人がパラダイムシフトされ
望月新一語で書かれた全く新しい理論と言っている。
>>17

・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
751132人目の素数さん
垢版 |
2026/01/17(土) 00:33:46.51ID:9zDaTgPe
>>744

数学とIUTの混同は数学の破壊に
なります。
752132人目の素数さん
垢版 |
2026/01/17(土) 00:45:03.43ID:9zDaTgPe
もっといえば

>iutによるabc予想の証明も明確に否定してる

それは望月新一のみ理解者のIUTについて
修行がたりないからだろう、
IUTの構築しabc予想を証明する以外に
証明はない。
と言われている
753132人目の素数さん
垢版 |
2026/01/17(土) 00:47:40.33ID:IbH21JXT
>>750
それでも数学じゃないかな
754132人目の素数さん
垢版 |
2026/01/17(土) 01:02:54.91ID:9IhRhgwL
>>301
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況