未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います
Interuniversal geometry とABC 予想59
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2025/11/12(水) 03:38:14.15ID:5u0J6jYO655132人目の素数さん
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 という発想がクズ
証拠を隠滅すればOK という発想がクズ
658132人目の素数さん
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予想が解決と公言した。
>粛々と専門家がアクセプトを決めた
IUTの場合は準備論文から理解している
専門家は著者望月新一しかいないと明言
し、全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる
とも明言している。
アクセプトする前から京大数理研で
はabc予想が解決と公言した。
662132人目の素数さん
2026/01/08(木) 12:00:44.60ID:f9krhwgj663132人目の素数さん
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 予想の解決は特筆すべき 出来事である。
平成28年(2016年)6月
IUT論文査読中
京都大学数理解析研究所
-現況調査表 -
・p 28-3
資料 2. 発表論文数 所員の発表論文数は
査読付き論文のみ 。
特例として
・p28-10 事例4
「数論幾何の研究」
>望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は特筆すべき 出来事である。
665132人目の素数さん
2026/01/08(木) 14:43:05.31ID:oZviU6DR >>661
準備論文から理解したのが査読者だよ
エディターの彼も理解してる
現況調査票は事務が基本的に作る
その部分は事務の誤り
事務は数学のイロハを知らないからな
おっと所長がチェックしてるだろと言いたいのはわかるが、あの頃の数理研は忙しくてな、チェックしてないのよ
準備論文から理解したのが査読者だよ
エディターの彼も理解してる
現況調査票は事務が基本的に作る
その部分は事務の誤り
事務は数学のイロハを知らないからな
おっと所長がチェックしてるだろと言いたいのはわかるが、あの頃の数理研は忙しくてな、チェックしてないのよ
666132人目の素数さん
2026/01/08(木) 15:52:33.10ID:b7MW+LDB >準備論文から理解したのが査読者
妄想 「査読者」は理解せずにメクラ判押した だから説明不能
>エディターの彼も理解してる
妄想 「彼」は実在しない架空の存在
妄想 「査読者」は理解せずにメクラ判押した だから説明不能
>エディターの彼も理解してる
妄想 「彼」は実在しない架空の存在
667132人目の素数さん
2026/01/08(木) 17:37:25.31ID:oZviU6DR668132人目の素数さん
2026/01/08(木) 18:15:21.24ID:ynDMrIeZ 虚偽申請藤原
虚偽数学望月
虚偽数学望月
669132人目の素数さん
2026/01/08(木) 18:30:14.47ID:JxzqsSgQ670132人目の素数さん
2026/01/08(木) 19:48:40.42ID:oZviU6DR >>669
根拠、コンキョを示してください。日本語わかります?
根拠、コンキョを示してください。日本語わかります?
671132人目の素数さん
2026/01/08(木) 20:55:20.51ID:JxzqsSgQ672132人目の素数さん
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 君が死んだなら君が一人負け
勝者ゼロで負けるとは●違いの極み
勝者ゼロで負けるとは●違いの極み
675132人目の素数さん
2026/01/08(木) 22:03:34.53ID:oZviU6DR676132人目の素数さん
2026/01/08(木) 22:10:59.93ID:JxzqsSgQ677132人目の素数さん
2026/01/08(木) 22:13:01.53ID:5J9w/nU+ >>676
先に突っかかったお前が俺より先に根拠だせ
先に突っかかったお前が俺より先に根拠だせ
678132人目の素数さん
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/
親父は(元)東大教授で、息子は京大教授。
確率論という広いくくりで同じ専門というだけでなく、
もっと狭い確率解析というくくりでも同じらしい。
親父さんは門外漢でも聞いたことがあるぐらいの超有名人、学士院賞受賞者。
京大数学科では、これまで学生(や若い人)にたいして、
「数学者になりたきゃ自力で頑張れ!他人に頼るな!」
みたいなことをさんざん言って来たのに、これですか?
最低限の一貫性すらないのか? 巨大な裏切り行為だ。
なぜかわずか40歳で京都大学の教授になった人が京大にいるそうだね。
詳しくはこのスレにGo!
https://rio2016.5ch.net/test/read.cgi/math/1710668608/
親父は(元)東大教授で、息子は京大教授。
確率論という広いくくりで同じ専門というだけでなく、
もっと狭い確率解析というくくりでも同じらしい。
親父さんは門外漢でも聞いたことがあるぐらいの超有名人、学士院賞受賞者。
京大数学科では、これまで学生(や若い人)にたいして、
「数学者になりたきゃ自力で頑張れ!他人に頼るな!」
みたいなことをさんざん言って来たのに、これですか?
最低限の一貫性すらないのか? 巨大な裏切り行為だ。
680132人目の素数さん
2026/01/08(木) 23:29:32.35ID:Ko4iSOvK681132人目の素数さん
2026/01/09(金) 00:04:12.90ID:KRNc7kdy682132人目の素数さん
2026/01/09(金) 00:52:44.36ID:eLEJ2gxE ほんとなわけないやん
683132人目の素数さん
2026/01/09(金) 05:16:27.04ID:hIGtZKs5 根拠示さない限り糖質の妄想~
勝手に吠えてろー
勝手に吠えてろー
684132人目の素数さん
2026/01/09(金) 07:09:25.15ID:eQ863+tC685132人目の素数さん
2026/01/09(金) 07:41:51.58ID:7WXy4YX4 望月新一の支持者が分かってること
「系3.12からABC予想が証明できる」
望月新一の支持者も分かってないこと
「IU、特に定理3.11から系3.12が証明できる」
「系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月現在
京大数理解析研究所教授.望月新一
まずは
>準備論文から理解したのが査読者だよ
エディターの彼も理解してる
・エディターの彼とは誰?
望月新一が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の成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません。
続き
・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の異端にすぎない
IUTは数学でないし望月新一を頂点とした全く新しい「理論」の教義より
成り立っているしcor.3.12も教義による。
DupuyやjoshiのIUT解釈は
IUTの異端にすぎない
690132人目の素数さん
2026/01/09(金) 22:29:34.42ID:gYIMe79Z >>689
IUが数学でないなら望月新一は数学者でなくなったわけだから解雇だね(笑)
別に星も南出も彼を教祖としてあがめる義務を負ってるわけではない(笑)
DupuyやJoshiは望月新一を出し抜きたいのであって支持者ではない
織田信長を本能寺で討つ明智光秀みたいなもんだよ(笑)
IUが数学でないなら望月新一は数学者でなくなったわけだから解雇だね(笑)
別に星も南出も彼を教祖としてあがめる義務を負ってるわけではない(笑)
DupuyやJoshiは望月新一を出し抜きたいのであって支持者ではない
織田信長を本能寺で討つ明智光秀みたいなもんだよ(笑)
691132人目の素数さん
2026/01/09(金) 22:46:25.82ID:tAZELIVn692132人目の素数さん
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
無茶苦茶な設定の代名詞。
元ネタは漫画『キン肉マン』の超人募集コーナーにて、
作中のインフレ具合をガン無視して設定を盛りまくった
ちびっ子諸君のイラストに添えられた文章から。
以降、あまりに無茶苦茶な設定(例:
弾速が超光速で射程距離が天文単位で
異次元から無限にリロード可能で
一発一発の威力が水爆より強力で
相手を永遠に追尾し破魔の妖力で
霊魂すらも瞬時に破壊する拳銃など)には
「ぼくのかんがえたさいきょうの○○」
などと皮肉を込めて称されることが多い。
>全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
「ぼくのかんがえたさいきょうのすうがく」ってやつですね(笑)
ぼくのかんがえたさいきょうの
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+K696132人目の素数さん
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に関していえば、魔が差したとしかいえない
その崇拝者に関していえば、もともと只の計算好きで、数学の理論に興味がないんだろう
そんなのは工学系にはざらにいるから驚くことでもない
あいつらは逆行列を持たない正方行列は残念な例外としか思わない
そういう粗雑な精神でも世の中では生きていけるみたい よかったね
それは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
自然数論(さらには数学的真理?)が絶対的に存在してて
人間が(形式化を経ずに)扱えると
勘違いしてるんじゃないデスかねー?
・例えば"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の専門家」が不自然なことをしてるせい
を用意してるのかしらん
・数学が一階述語論理上の理論である
ということを認識してなかったんじゃないデスかねー
(なにせ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用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
そのとおりですね。
・
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/
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/
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は
対象外、
現状に関する簡潔な報告
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+K709132人目の素数さん
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+K712132人目の素数さん
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:qu83iCjA715132人目の素数さん
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年受賞
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:ntCu1RaN717132人目の素数さん
2026/01/10(土) 23:59:55.25ID:ntCu1RaN >>713
望月新一教授の2026ブログ
「また論文を公開した2012年以降も、
何名かの基礎論の専門家にも
目を通していただいていますが、
みんな口を揃えてまさしく
特に新奇性のない、当たり前なことしか書かれていないという
趣旨の評価や総括をしています。」
これはscholze stixレポートへの回答書.川上量生企画望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」 (>>15)->19の監修者望月新一の意見と矛盾しているにも関わらず、
例えば
・IUT論文はパラダイムシフト期のイノベーションを目的とした革命的な大論文だから既存の数学基礎論論理に拘束されない全く新しい理論。
これはハッタリに過ぎない、
望月新一教授の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へ証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想だ。
定理証明支援系の専門家kevin
buzzardによれば、(>>34)
実際には2500年前から数学のやり方は驚くほど変化していない。
閉鎖的なパラダイムシフト論とIUT構築によるabc予想の解決は京都とりまきのみ定理の茶番劇。
ABC予想は、著名な学術誌京大PRIMSへ証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想だ。
719132人目の素数さん
2026/01/11(日) 06:45:22.06ID:CFrGjkFJ720132人目の素数さん
2026/01/11(日) 06:45:35.18ID:CFrGjkFJ 150 名前:ツームストンパイルドライバー(みょ) [CN][sage] 投稿日:2026/01/10(土) 19:50:13.44 ID:Uf+wn5iD0
>>124
原始的な狩猟採集社会では幼児は排泄や局部丸出しを恥ずかしく思うことはないよ
認知の発達と属する社会の秩序によって恥の観念は生まれる
嬰児は抱っこ中にウンコするのもおむつ外されて拭かれるのもぜーんぜん嫌がらないでしょ
原罪なんかないの
古代人の無知な作り話だよ
>>124
原始的な狩猟採集社会では幼児は排泄や局部丸出しを恥ずかしく思うことはないよ
認知の発達と属する社会の秩序によって恥の観念は生まれる
嬰児は抱っこ中にウンコするのもおむつ外されて拭かれるのもぜーんぜん嫌がらないでしょ
原罪なんかないの
古代人の無知な作り話だよ
721132人目の素数さん
2026/01/11(日) 09:16:20.21ID:bLyYlzFq 前橋市長選挙関係のyoutubeを流しながら
722132人目の素数さん
2026/01/11(日) 14:55:35.47ID:GanizPaJ723132人目の素数さん
2026/01/11(日) 14:57:52.13ID:GanizPaJ724132人目の素数さん
2026/01/11(日) 15:54:46.23ID:m8MUs4Hi ユークリッド幾何でなければ双曲幾何になるというように書かれているけれども、
楕円幾何は最後の数行にそういう言葉は出てくるが、無視されているのはなぜ?
ある直線に含まれない点を通って、元の直線に交わらない直線が唯一である
とするのが、ユークリッド平面の幾何。元の直線に交わらない直線が
少なくとも2つあるというのが双曲平面の幾何。
元の直線に交わらない直線は一つもないとするのが、楕円平面の幾何。
この三通りの場合で尽くされているから、3通りがあるはずなんだけ
れども。なぜか、多くの非ユークリッド幾何では双曲幾何しか
取り上げず、楕円幾何は存在しないかのような扱い。
(楕円幾何のモデルとしては、通常の2次元球面上で
対照点同士を同一視して「点」とし、球面上の大円
を「直線」とするものがある。すると任意の相異なる
2つの「直線」は必ず1「点」で交わる。)
楕円幾何は最後の数行にそういう言葉は出てくるが、無視されているのはなぜ?
ある直線に含まれない点を通って、元の直線に交わらない直線が唯一である
とするのが、ユークリッド平面の幾何。元の直線に交わらない直線が
少なくとも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点間にある。
円周では成り立たない。
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本以上存在する :
ユークリッドの平行線公理。
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が1つだけ存在する :
・
ユークリッドの平行線公理の否定命題
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が2本以上存在する :
728132人目の素数さん
2026/01/13(火) 18:38:32.98ID:OHkIuxVT ユークリッド原論からの発展。
・5つの公準の公理系を整理発展したヒルベルト公理系から1階述語論理のタルスキ公理系へ。
・ピタゴラスの定理からは
ガウスの内在的曲面論を経て
一般化したリーマン幾何学へ。
リーマン「幾何学の基礎をなす仮説について」には
定曲率の曲面を接触球の考察から
の分類がある。
・5つの公準の公理系を整理発展したヒルベルト公理系から1階述語論理のタルスキ公理系へ。
・ピタゴラスの定理からは
ガウスの内在的曲面論を経て
一般化したリーマン幾何学へ。
リーマン「幾何学の基礎をなす仮説について」には
定曲率の曲面を接触球の考察から
の分類がある。
729132人目の素数さん
2026/01/13(火) 18:46:29.89ID:OHkIuxVT730132人目の素数さん
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パターンへ分類される
これは
・ユークリッド原論からは図形の平行移動と回転と鏡映による合同変換群= 等長変換がある。
・クラインのエルランゲルプログラムより幾何が変換群より分類される。
・定曲率の曲面はミンディングの定理より等長変換だ。
これらより
定曲率の曲面の幾何は
K>0 楕円幾何.
k=0 ユークリッド平面. K=0 )
K<0双曲幾何.
の3パターンへ分類される
732132人目の素数さん
2026/01/14(水) 21:04:18.07ID:xOqqz3oS733132人目の素数さん
2026/01/14(水) 23:19:58.76ID:DXO0W5ZM 望月氏のIUT-report-2025-10を受けて書かれた
newscientistの記事は読んでたけど
大したこと書かれてないと思ってたから
すっかり忘れとったわー
今読み返してみたら年頭ブログ記事と繋がったわ
このぶんだと
Lean(の専門家)は無能だからiutを理解できないって
いつものパターンで終わる悪寒
newscientistの記事は読んでたけど
大したこと書かれてないと思ってたから
すっかり忘れとったわー
今読み返してみたら年頭ブログ記事と繋がったわ
このぶんだと
Lean(の専門家)は無能だからiutを理解できないって
いつものパターンで終わる悪寒
734132人目の素数さん
2026/01/15(木) 00:30:43.18ID:jQjaDT2S >>733
望月さんが自分でやるんじゃなかったのか
望月さんが自分でやるんじゃなかったのか
735132人目の素数さん
2026/01/15(木) 02:31:56.20ID:5Wc40I5l どこまでも他責思考
736132人目の素数さん
2026/01/15(木) 13:14:55.20ID:2rtgXjBG ラングランズプログラムの
wilesFLTは数学語。
IUTのIUT語は孤立した閉鎖的な望月新一語。両者を混同するな
wilesFLTは数学語。
IUTのIUT語は孤立した閉鎖的な望月新一語。両者を混同するな
737132人目の素数さん
2026/01/15(木) 13:16:43.35ID:2rtgXjBG 2014年12月
望月新一本人のIUTの検証
・P8
>ラングランズプログラムに代表
されるような「表現的アプローチ」
は大きな研究の流れの一つですが、数論における全ての本質的な
現象は「その参加に入る」あるいは
「その特別な場合に当たる」と
いたような考え方は様々な数論現象の実態と整合しないものと
理解しています。
・望月新一監修加藤文元著
宇宙と宇宙をつなぐ数学 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。 望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
望月新一本人の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
> 望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
望月新一教授本人が認めている
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
740132人目の素数さん
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.”
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.”
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階論理か?
なぜ1階論理か?
744132人目の素数さん
2026/01/16(金) 22:26:04.59ID:BLZSUYZn >>739
dupuyのスペルを間違ってる
dupuyとjoshiを並べるのは間違い
dupuyが積極的に発言したことは有益で評価に値する
彼は数学的に間違ったことを言ってないし
iutによるabc予想の証明も明確に否定してる
(それでなぜMから絶交されてないのかは謎)
彼がiutを高く評価している(いた?)のはそうだが
それは価値観の問題にすぎない
価値観を否定する方が反数学的
dupuyのスペルを間違ってる
dupuyとjoshiを並べるのは間違い
dupuyが積極的に発言したことは有益で評価に値する
彼は数学的に間違ったことを言ってないし
iutによるabc予想の証明も明確に否定してる
(それでなぜMから絶交されてないのかは謎)
彼がiutを高く評価している(いた?)のはそうだが
それは価値観の問題にすぎない
価値観を否定する方が反数学的
745132人目の素数さん
2026/01/16(金) 22:38:58.28ID:BLZSUYZn woitブログでのdupuy対scholzeの論争も
professionalなものだった
sはdに対してなんら悪印象を持っていないと思う
professionalなものだった
sはdに対してなんら悪印象を持っていないと思う
746132人目の素数さん
2026/01/16(金) 23:18:40.38ID:4dtT6S0M joshi は自分の論文を lean で書いてみせるといってるらしいから少なくともそれで一区切りつくわな。
失敗した場合に正直に「ダメでした」って報告があること前提だけど。
成功すればもちろん成功したコードを公開するだろうし、そのとき ABC の照明も一気に解決になる。こっちの可能性はまぁないだろうけど。
失敗した場合に正直に「ダメでした」って報告があること前提だけど。
成功すればもちろん成功したコードを公開するだろうし、そのとき ABC の照明も一気に解決になる。こっちの可能性はまぁないだろうけど。
747132人目の素数さん
2026/01/16(金) 23:35:03.15ID:JGXdBLz5748132人目の素数さん
2026/01/17(土) 00:03:34.69ID:9zDaTgPe >>745
Dupuyなら、
NHKスペシャルで
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、 望月理論は数学の世界で生き続けていると思うのです」
と数学ではないIUT信奉者だと発言したものの、
望月新一本人から望月新一ブログでは
「デュプイ氏の場合:
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。」
とDupuyはIUTを理解しておらず詳細は述べずに修行が必要とダメだしされ今修行中なんだろう。
Scholzeと議論のDupuyも同様だった。
IUTの理解者は望月新一しかおらずIUTは数学ではない。
Dupuyなら、
NHKスペシャルで
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、 望月理論は数学の世界で生き続けていると思うのです」
と数学ではないIUT信奉者だと発言したものの、
望月新一本人から望月新一ブログでは
「デュプイ氏の場合:
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。」
とDupuyはIUTを理解しておらず詳細は述べずに修行が必要とダメだしされ今修行中なんだろう。
Scholzeと議論のDupuyも同様だった。
IUTの理解者は望月新一しかおらずIUTは数学ではない。
749132人目の素数さん
2026/01/17(土) 00:06:29.43ID:NVJHS3k7750132人目の素数さん
2026/01/17(土) 00:21:57.97ID:9zDaTgPe >数学ではあるでしょ
既存の数学を革新すると言ってるだけで
望月新一本人がパラダイムシフトされ
望月新一語で書かれた全く新しい理論と言っている。
>>17
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
既存の数学を革新すると言ってるだけで
望月新一本人がパラダイムシフトされ
望月新一語で書かれた全く新しい理論と言っている。
>>17
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
751132人目の素数さん
2026/01/17(土) 00:33:46.51ID:9zDaTgPe752132人目の素数さん
2026/01/17(土) 00:45:03.43ID:9zDaTgPe もっといえば
>iutによるabc予想の証明も明確に否定してる
それは望月新一のみ理解者のIUTについて
修行がたりないからだろう、
IUTの構築しabc予想を証明する以外に
証明はない。
と言われている
>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階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【巨人】阿部慎之助氏代理人 報道に関するお知らせとお願い ★3 [Ailuropoda melanoleuca★]
- 【新潟】「ひどすぎる」弁当店で200個無断キャンセル…「最後は着信拒否」 店主が語る悪質手口「グルだったのでしょう」 ★2 [ぐれ★]
- 【MLB】大谷翔平、二刀流神髄 6回無失点で4連勝&日本人トップ6勝 驚異の防御率0.74…打でも圧巻の3安打5出塁、打率.301 [ネギうどん★]
- 【文春】阿部慎之助の長女は児相に「父親に首絞められ背中を強く叩かれた」「他の家族も被害に遭った」と相談 警察への通報にも同意★6 [Anonymous★]
- 【旭川】内田被告『殺意があったのは共犯のほう』自分には殺意がなかったと主張…罪を認め懲役刑が確定した方の証言を事実と違うと [夜のけいちゃん★]
- 【江別】八木原被告「タッキー優しい、彼女いるのかな」⋯検察官も困惑 被告の一人は「皆で食べたラーメンが美味しかった」と証言 [Hitzeschleier★]
- 【速報】高市秘書、国会に参考人招致へ [931948549]
- 湿度100%でキンタマムレムレムレムレ🏡
- かなたそとんなたんの天界お菓子ハウス👼🩷🍬🏡
- 超 超 超 イ イ 感 じ 超 超 超 超
- 【速報】高市首相「ひっじょーにきびしーいっ!」 [354616885]
- おめえに食わせるタンメンは