X
トップページ⇒数学
1002コメント532KB

Inter-universal geometry とABC 予想55

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2024/04/13(土) 15:22:57.08ID:uEUP/Qtj
未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います。
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です
0093１３２人目の素数さん
垢版 |
2024/04/22(月) 07:54:23.08ID:k+TJmP9r
Joshi はゴキブリホイホイのようなものだった
0094１３２人目の素数さん
垢版 |
2024/04/22(月) 08:13:30.50ID:HGz3kIEe
>>84
もっちーさん　この報告書では京大の調査はどうなりましたか？
↓
京大法人文書の「報告書」 =研究現況調査票では、
京大数理研の数学誌PRIMSがabc予想を証明したとするIUT論文を
受理する2020年2月の前2016年6月にすでに京大数理研では

「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果
としての ABC 予想の解決は、特筆すべき 出来事である。」とした。
0095１３２人目の素数さん
垢版 |
2024/04/22(月) 08:21:17.46ID:UuYCiV3o
>>90
IUTの理解と普及に努める、って通信学校で子供相手にやってどうすんだよって感じなんだけど、
大人に理解されないから子どもを洗脳しようとするのもカルト感ある
0097１３２人目の素数さん
垢版 |
2024/04/22(月) 08:38:08.51ID:k+TJmP9r
ゴキブリホイホイをもっちーが踏み潰し、Scholze が火をつけた。ゴキブリホイホイの中からjin の叫び声が聞こえる。
0098１３２人目の素数さん
垢版 |
2024/04/22(月) 09:31:59.75ID:qAv9sUFn
>>92
ファルティングス教授はIUT論文が理解できないと。
説明責任は望月新一教授にある。
↓
朝日新聞　2021.7.27　石倉徹也記者 


「ABC予想」証明出版でまた物議 .懐疑的見方消えず/興味を失う数学者

・英科学誌ネイチャー　論評 
　
「不可解な論文が公式に出版される ことに衝撃を受けた。
ABC予想の 
　「証明」は物議を醸したままだ」


・ABC予想を提唱した ジョゼフ.オステルレ仏ソルボンヌ 大学名誉教授 

「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」


・フィールズ賞受賞者 
　ピーターショルツ独ボン大学教授
「証明の疑問点は明らかなのに 解消できていない。納得できる説明をしてほしい」


・望月氏の米プリンストン大時代の指導教授.フィールズ賞受賞者 

　ゲルト.ファルティングス氏 
　「論文は理解できなかった。
自分の研究に時間を割くことに した」と 朝日新聞の取材に答えた。
0099１３２人目の素数さん
垢版 |
2024/04/22(月) 09:46:51.46ID:Am1KPr34
Scholzeは、現在でも望月新一のABC予想の証明が正しいとは言っていない

つまり、Joshiの証明の誤りを指摘するのは、
「望月新一が自分の証明を今の数学でどう正当化するつもりか知らないけど
　生半可なことでは無理って、Joshiの試みを見てもわかるでしょ？」
っていってるのと同じ
0100１３２人目の素数さん
垢版 |
2024/04/22(月) 10:01:40.02ID:8CFW5jXQ
Scholzeは、現在でも望月新一のABC予想の証明が正しいとは言っていない
　↓
Scholzeは、現在では望月新一のABC予想の証明が正しくないとの繰り返しの主張はない

A氏
https://plaza.rakuten.co.jp/shinichi0329/
新一の「心の一票」
・A氏：「自分の周りには、Z氏の主張を真に受ける
　数学者はいない。みんな無意味な内容のもので
　あることはよく分かっているから望月君は安心
　したまえ。」​​​​​
​・A氏：「本件を巡って、B氏はZ氏を厳しく叱責
　した。」（これについては、別の独立な情報源
　からも聞いている。）​
0101１３２人目の素数さん
垢版 |
2024/04/22(月) 10:43:42.40ID:vByKEEY/
jinの断末魔の悲鳴が聞こえる
0102１３２人目の素数さん
垢版 |
2024/04/22(月) 11:34:14.67ID:fM+Z4PNU
>>94
まだあんた粘着してんのか、もうそろそろアキラメロ
何度も言うがこの報告書は文科省の定例報告書類で事務が作文してて、教員のチェックもままならない代物なのでエビデンスなしだからな
0103１３２人目の素数さん
垢版 |
2024/04/22(月) 12:01:27.55ID:HGz3kIEe
>>102
>報告書は文科省の定例報告書類で事務が
作文してて、教員のチェックもままならない
代物なので

京大特有のかな？教授会もあるのに




海外でも問題にされている。

・ABC予想を提唱した ジョゼフ.オステルレ仏ソルボンヌ 大学名誉教授 

「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」
0104１３２人目の素数さん
垢版 |
2024/04/22(月) 12:13:54.27ID:HGz3kIEe
>>100


このブログ記事は、
中傷的・暴露的な内容を持ちABC Zなど根拠の出所も明らかでない。


Oxford Languagesの定義
【怪文書】
中傷的・暴露的な内容を持ち、出所の明らかでない、いかがわしい文書

0105１３２人目の素数さん
垢版 |
2024/04/22(月) 12:14:24.71ID:8CFW5jXQ
驚きと問題視は違うと思うよ
0106１３２人目の素数さん
垢版 |
2024/04/22(月) 12:16:17.48ID:8CFW5jXQ
>>104
しばらく見ていればどう？
だんだん、明らかになってくるだろうし
プロ数学者仲間ならば、裏付け取れるだろう
0107１３２人目の素数さん
垢版 |
2024/04/22(月) 12:47:40.24ID:HGz3kIEe
>>105

京大数理解析研究所　2019年要覧。
次世代幾何学研究センター 数論幾何学，
特に宇宙際タイヒミューラー理論を
中心に広く次世代の幾何学 の研究を推進する
ため，平成31年(2019年)4月1日に設置された。

・次世代幾何学センター センター長 望月新一 教授←IUT論文提出者。
・玉川安騎男 教授←PRIMS特別編集委員会委員長。

・特任教授　柏原正樹 特任教授← PRIMS特別委員会委員長。

・森重文特任教授←2018年scholze氏へscholze望月新一ミーティングの提案者

2020年2月望月新一著IUT論文は京大数理解析研究所の数学誌PRIMS
(玉川柏原特別編集委員会委員長)より受理された。
0108１３２人目の素数さん
垢版 |
2024/04/22(月) 13:04:06.45ID:DaPtR4za
さすが、反HPVワクチンを大推奨して
死ななくてもいい日本人を大量殺戮したアタオカカルト新聞
0109１３２人目の素数さん
垢版 |
2024/04/22(月) 13:30:34.21ID:jXSngsHK
Joshi はもっちーに、間違いを見つけてくれてありがとう、と言うべきだろう。礼儀知らず。
0111１３２人目の素数さん
垢版 |
2024/04/22(月) 15:54:01.11ID:fM+Z4PNU
>>103
数学者が教授会でいちいち資料の一言一句までチェックするかよ？

文科省報告書とPRIMSを混同してる？
0112１３２人目の素数さん
垢版 |
2024/04/23(火) 04:41:38.40ID:SFwO/Fdq
>>0098
数学者が、数週間から数ヶ月程度の時間でその核心に触れることができるように、短い解説書の編集や、講演会などの開催を積極的に行う、そうだ。

IUGCの設立の目的と行動規範

設立の目的
（数論、幾何学、代数学、論理学などを含む）様々な分野のすべての数学者が、各人の主たる研究分野に適した形でIUT理論の諸側面に精通するために、その最初のステップを踏むことを奨励する。

IUT理論の専門家と、関心を持つすべての数学者の対話を促進する。

遠アーベル幾何学とIUT理論の概念や考え方を、様々な立場や背景を持つ数学者のニーズに合致した形で普及させるために、常に新しい発信方法を見出す努力をする。

IUT理論にまだ馴染みのない数学者が、数週間から数ヶ月程度の時間でその核心に触れることができるように、短い解説書の編集や、講演会などの開催を積極的に行う。

IUT理論の専門家を増やし、その研究を促進することに貢献する。

IUT 理論および関連分野の国際ワークショップや研究セミナーを開催する

https://zen-univ.jp/iugc/statement
0113１３２人目の素数さん
垢版 |
2024/04/23(火) 04:44:42.66ID:SFwO/Fdq
数学的正しさと価値以外の基準（例えば、社会的または政治的基準）からの影響を排除する。らしい。

IUGCの行動規範

1 私たちは職業数学者の集団として、その活動と決定において、数学的正しさと価値に従ってのみ行動し、数学的正しさと価値以外の基準（例えば、社会的または政治的基準）からの影響を排除する。

2 私たちは、他のいかなる数学団体や研究組織からも独立して行動する数学者の集団である。

3 以上を踏まえ、私たちは常にIUT理論に関する世界の数学界の状況を正常化する方法を見出す努力をする。
0114１３２人目の素数さん
垢版 |
2024/04/23(火) 09:27:30.98ID:pqJxgEen
IUT理論（宇宙際タイヒミューラー理論）は、2012年から京都大学の数論幾何学者の望月新一教授が提唱している、全く新しい視点から自然数の足し算と掛け算の複雑な関係を解き明かす画期的な理論です。
望月教授が、今世紀中の証明は不可能などと言われていた数学の重要問題「ABC予想」を、IUT理論を用いて解決したと世界的なニュースになったことを、覚えている方も多いでしょう。

IUT理論は普通の数学の理論とはレベルが違います。完全に新しく、素晴らしく、美しく、しかもABC予想の解決という明確な結果も出しています。アインシュタインの相対性理論と同じように、この先何百年も人類史上に記憶され続けるでしょう。
0115１３２人目の素数さん
垢版 |
2024/04/23(火) 13:06:03.64ID:Ko24B2bu
しばらく静観した。
がID.8CFW 5jXQは、京大PRIMS誌のIUT論文受理が査読課程中から
京大RIMS教授らの馴れ合い利益相反を示している(>>107)、
この驚くべき事実の指摘は都合が悪いのだろう無視してる。

またこのスレも望月ブログも海外の方が閲覧している。
woitブログのコメント欄で日本語→英語のGoogle訳も話題になっていたが、
望月ブログも望月新一監修川上量生あとがき加藤文元著IUT本も数学と
パラダイムが異なる謎の全く新しい理論IUTT(>>40および>>42)の一次資料だ。
まあ、内外ともまともな数学者の意見は
p.scholze氏も同意したSam Hopkins の意見だろう(>>7)。

・p.scholze
>I agree with Sam Hopkins that this discussion is not fruitful.

・Sam Hopkins
> all of this Mochizuki stuff is just hype & drama, I'm afraid. – 
Google訳。
望月氏のこうしたものはすべて単なる誇大宣伝とドラマに過ぎないと思います。
0116１３２人目の素数さん
垢版 |
2024/04/23(火) 15:06:43.97ID:DgYuW2lD
>>115
>京大RIMS教授らの馴れ合い利益相反を示している(>>107)、

重箱の隅だが、用語”利益相反”の誤用でしょ？（下記）
例えば、あるRIMS研究員が画期的な数学研究をした
その研究をさらに発展するべく、プロジェクトを立ち上げ予算をつけた
これは、正当な研究行為です

あなたが主張しているのは、「画期的な数学研究」が実は”ガセネタ”と知りながら
プロジェクトを立ち上げ予算をつけたと言いたいのかな？
それ根拠レスで、事実誤認ですよね

(参考)
https://www.smd-am.co.jp/glossary/YST3286/
三井住友DSアセットマネジメント
解説
わかりやすい用語集 解説：利益相反（りえきそうはん）
当事者間の行為が、一方の立場では利益になるものの、他の立場では不利益になること。例
(引用終り)

>パラダイムが異なる謎の全く新しい理論IUTT(>>40および>>42)の一次資料だ。
>まあ、内外ともまともな数学者の意見は
>p.scholze氏も同意したSam Hopkins の意見だろう(>>7)。

詭弁と論旨すりかえですね
１）まず”内外とも”というが、国内の数学者で実名挙げられますか？
　いないでしょ！
２）で、海外では Sam Hopkins以外には、だれ？
　まあ、ぐだぐだ言う人いるけど（woitとか勘違いの人）
　みんな遠アーベル外の人でしょ？　いわば、確率論の新理論に、確率論が専門でない人がぐだぐだという構図
　しかし、遠アーベルの専門家たちが「いい」と言っているなら、
　例えば、ケドラヤやFlorian Popが、遠アーベルで動き出しているよね
　専門外の人は見守るべきと思いますけどね
0119１３２人目の素数さん
垢版 |
2024/04/23(火) 15:26:27.37ID:Ko24B2bu
数学の遠アーベル幾何学と全く新しい理論IUTTは異なる。
望月新一本人も全く新しい理論IUTTを理解していない。
つまり、遠アーベル幾何学の専門家は
いるけど、IUTの専門は誰もいない机上の空論
0120１３２人目の素数さん
垢版 |
2024/04/23(火) 15:34:28.87ID:1VoIqWNo
国際的には2015年で終わってる
2018年のSS文書は余計なお世話だった
（MSが聞く耳持たないのは明らかだったから）
日本の連中が国内向けのパフォーマンスをやりつづける理由は知らんが
単にみっともないだけと言わざるを得ない
●室における男系維持のパフォーマンスくらいみっともない
日本国民の８割が女系継承OKといってるのに
0121１３２人目の素数さん
垢版 |
2024/04/23(火) 15:59:21.28ID:Sa+Y7cn2
jinの本性が顕になった
0122１３２人目の素数さん
垢版 |
2024/04/23(火) 16:11:52.39ID:r69E9Fws
位相群としての絶対ガロア群によって代数体のホッジ理論の等価物を構成できるって
事実ならスキーム理論の構築並の偉業だからな
ところが誰もそれを信じていない
0123１３２人目の素数さん
垢版 |
2024/04/23(火) 16:33:33.37ID:hXYOXd2/
事実なら偉業、というのは認めるよ　事実ならね
でも誰も理解できないから、事実だと認めないよね
それは当然でしょう
0124１３２人目の素数さん
垢版 |
2024/04/23(火) 19:45:15.50ID:iLbSUpAF
>>123
まるで国会図書館からカネを巻き上げることを企んだとゆわれてる
「亞書」って本があったが、まるでIUT を「亞書」のようにゆうのは間違ってる。
0125１３２人目の素数さん
垢版 |
2024/04/23(火) 19:49:39.19ID:xuEAm+sc
偉業になるよ。
EMS掲載は変わらない。

SS指摘は望月返答に再返答してないし、最近はエラーがないと思う、だから編集委員会は掲載を再検討する理由もない。

Joshiの試みはそのギャップが望月の偉業に証明の戦略があることを示した。

>>0081の望月の論説よると無次元の被覆は代数的な方法は扱えない。有限次の被覆までにとどまる。

他のツールを待っても駄目なら、IUTがツールになる。
0126１３２人目の素数さん
垢版 |
2024/04/23(火) 20:09:38.16ID:yIa66P1n
こういう本気で誤魔化そうとする輩はもう精神保つのに必死なんだろう
0127１３２人目の素数さん
垢版 |
2024/04/23(火) 21:32:06.77ID:hJsMQbos
いうことが無くなった？
それしか言えなくなったんだね
ハイハイハイ
0128１３２人目の素数さん
垢版 |
2024/04/23(火) 21:48:31.34ID:SFwO/Fdq
Iuttを参考に、局所の積分で大域化での証明を考えている者は、無限素点でギャップがでないか確認しないと。
0130１３２人目の素数さん
垢版 |
2024/04/23(火) 23:08:33.79ID:UG42b9w3
>>81
思うに宇宙際タイヒミュラー理論は、「望月理論」に名称変更した方がより適切であろう
Mochizukiしかその全貌を把握していないのだから
0131１３２人目の素数さん
垢版 |
2024/04/23(火) 23:10:36.60ID:UG42b9w3
>>124
じっさい「亜書」と同じようにお金が動き出してMochizukiは金銭を受領している
0132１３２人目の素数さん
垢版 |
2024/04/23(火) 23:32:04.95ID:XgHnIKjB
>>126 まあ尊師自身逃げ続けても外堀を埋められて
余裕がなくなっているように見受けられる。
都知事選にかすりもせず落選して暴走が始まった某教団のようなことにならんといいけど
0133１３２人目の素数さん
垢版 |
2024/04/24(水) 08:13:11.62ID:uW4+xFK+
次に話題になるのは来年のiut innovator賞の頃でしょうか
そのときに貰う資格のある人がいるといいですね
0134１３２人目の素数さん
垢版 |
2024/04/24(水) 08:54:00.88ID:rrb//mAL
>>125
偉業より京大RIMS発のIUTスキャンダルだな。
特徴は詭弁とマッチポンプと罵倒　sect化だ。

今でもscholzestixレポートとzbmath scholzeのレビューは修正点がなく
part3のcor.3.12のギャップはそのまま。
数学の遠アーベル幾何学と全く新しい理論なるIUTTを意図的に混同しながら
数学もどきのIUTを延命してきた。
joshiの件もこれを示しているが、元々数学もどきのIUT語は数学では通約不能で
両者間に辞書はない。

いまやzen大学の設置認可の道具にまで数学を偽装した数学もどきIUTが使われている。
0135１３２人目の素数さん
垢版 |
2024/04/24(水) 09:10:40.52ID:wXYcHzHf
>>124
RIMS商法
0136１３２人目の素数さん
垢版 |
2024/04/24(水) 11:49:32.72ID:ZaJZ05Gz
前向きに進んでいるという印象があるのだが
0137１３２人目の素数さん
垢版 |
2024/04/24(水) 11:52:54.05ID:HN/4uP7/
>>136　その理由は？
0138１３２人目の素数さん
垢版 |
2024/04/24(水) 12:46:43.91ID:Jr3ayxcH
https://youtu.be/OQG0OeQla1w?feature=shared

フェセンコによれば、ScholzeとStixは京都に来たとき、もっちーの話をろくに聞かなかった。
0139１３２人目の素数さん
垢版 |
2024/04/24(水) 12:56:07.32ID:a4Crc1Q5
知り合いは、今後、望月新一のアカハラが問題になるんじゃないかと言ってた
弟子が師匠に対して云ってることが理解できないとか、言える空気じゃなさそうとか

フェセンコも望月同様アカハラ大魔王かもね
0140１３２人目の素数さん
垢版 |
2024/04/24(水) 13:06:44.00ID:O7G9Q93d
割と問題になってる箇所は明確になってきたのでは？
0141１３２人目の素数さん
垢版 |
2024/04/24(水) 13:13:35.83ID:fWrUnwsV
>>140
なぜそれが前向きに進んでることになるのかな？
だって当の本人は何もしてないだろ？
0142１３２人目の素数さん
垢版 |
2024/04/24(水) 21:54:18.13ID:Y7Dpltjn
>>139
俺も聞いた
MやYが院生のときそのせいで修了が遅れたらしく、ハラスメント寸前までいってたとか
時代が時代なら、、おっとここまでにしておこう
0143１３２人目の素数さん
垢版 |
2024/04/24(水) 22:39:12.49ID:Jr3ayxcH
jinの奇妙な発言
0144１３２人目の素数さん
垢版 |
2024/04/24(水) 23:13:04.35ID:3VBuU+MV
jinは逮捕されるかもしれない
0146１３２人目の素数さん
垢版 |
2024/04/25(木) 00:25:49.48ID:PCDqin6A
>>138

フェセンコと望月新一星scholze stixの4人ミーティング
・森重文京大教授がscholze氏へscholze望月新一ミーティングを提案し
望月星scholze stixの4人ミーティングが2018年3月京大RIMSで行われた。
山下純一氏によれば星のみ欠席した日があった。
・フェセンコは4人ミーティングに無関係で出席していないにもかかわらず、
2人のドイツ人の文書でscholze stix氏を罵倒し後に削除した。　
望月新一教授はIUT理解には遠アーベル幾何学専門が必須と強調するが、
フェセンコは 遠アーベル幾何学が専門のstix氏と異なり非専門で更に
望月教授から山下剛らの中核的なIUT「理解者」に認定されていない。
0147１３２人目の素数さん
垢版 |
2024/04/25(木) 00:31:25.60ID:PCDqin6A
>>146
続

望月新一監修川上量生あとがき加藤文元著IUT本。
scholze stixレポートへ回答書で、IUTは数学でなく全く新しい理論で
IUT語で構築された。
・4人ミーティングでも望月新一教授は数学とパラダイムが異なる全く新しい理論のIUT語で説明したつもりになったのだろうが、健全な数学者には理解不能だろう。
一方フェセンコはベストセラー本と絶賛し英訳を主張するも未だに英訳なし。
・設置申請中のzen通信大学の附属施設.IUGCでは加藤文元所長でフェセンコ
副所長となる。
IUGC設立の目的と行動規範を見てのとおり(>>112および>>113)全く新しい
理論IUTTを「数学」で偽装していて、望月新一監修川上量生あとがき加藤文元著
IUT本に反している。

例　×職業数学者　⚪︎職業数学もどきのIUT者
0148１３２人目の素数さん
垢版 |
2024/04/25(木) 01:41:41.33ID:j1eSeLFT
Stixとゴーさんはフェセンコのところでポスドクだった?
0150１３２人目の素数さん
垢版 |
2024/04/25(木) 02:20:36.79ID:j1eSeLFT
もっちーはIUT論文のAcknowledgementでフェセンコに謝辞を書いている
0152１３２人目の素数さん
垢版 |
2024/04/25(木) 06:43:07.91ID:PCDqin6A
>>148
違うと思うけど？

色々詳しいようですね


(>>94)でもっちー(連呼)さんへ質問したけど
(>>102)はあなたの回答でよろしい？
あなたの所属を教えてください？
0153１３２人目の素数さん
垢版 |
2024/04/25(木) 06:52:10.48ID:PCDqin6A
>>152
× あなたの所属を教えてください？
⚪︎ あなたの所属を教えてください！
0154１３２人目の素数さん
垢版 |
2024/04/25(木) 08:00:37.38ID:PCDqin6A
井原康隆先生著文化の土壌に自立の根では、
2021年4月現在で「ほぼ700ページで4部構成の大論文で、ABC予想への言及は
最後の第4部corollary2.3 p687。現時点で彼の証明に触れることはできません。
筆者の2012年の論文も4部で引用されていますが、全体が理解できていません。
また、この稿を推敲中、定量的な結果も得られたという報告が、数理研のプレプリント
シリーズから出されました(こちらは望月さんを含む数人の共著です)が、
これについてはさらに待たなくてはならないでしょう」
ABC予想の証明がある本論文が出版された後でも伊原先生は全体が理解できていない
と述べている。
0155１３２人目の素数さん
垢版 |
2024/04/25(木) 08:14:49.83ID:ImTJXEjn
jinは逮捕される
0156１３２人目の素数さん
垢版 |
2024/04/25(木) 08:15:38.07ID:87ld6l/E
とうとうFBIが動いたか
0157１３２人目の素数さん
垢版 |
2024/04/25(木) 08:19:30.07ID:KfF44b5H
ネットの論争と同じで負けた側が諦めない限りいつまで続く
主流派はもう相手にするだけ馬鹿らしいから後は無視するのみ
実際この数年間に書かれた論文でiutを肯定的に言及したのは身内とjoshiだけ
ICM2022で死亡宣告済みなのだからICM2026になっても何も起きようがない
0158１３２人目の素数さん
垢版 |
2024/04/25(木) 08:39:05.95ID:PCDqin6A
>>147
×附属施設　⚪︎附属機関
0159１３２人目の素数さん
垢版 |
2024/04/25(木) 09:23:11.18ID:87ld6l/E
ICMは多くの分野に死亡宣告済み
0160１３２人目の素数さん
垢版 |
2024/04/25(木) 09:52:43.76ID:jYWM/lCf
>>157

” 実際この数年間に書かれた論文でiutを肯定的に言及したのは身内とjoshiだけ ”

そうかい？Joshi はabcを証明したのは自分で、もっちーの証明にはギャップがあると言ったのだろ？

ところが、もっちーがJoshiの証明に致命的な欠陥があるとさらっと指摘し、そのもっちーの指摘をScholzeがextremely robust と絶賛した。

Joshi を持ち上げていたWoit, Roberts , jinは大恥晒して死んだ。
0161１３２人目の素数さん
垢版 |
2024/04/25(木) 10:23:16.60ID:jYWM/lCf
>>157

” ICM2022で死亡宣告済みなのだからICM2026になっても何も起きようがない”

理論の正しさはICMとかなんとか賞とか多数決で決まるのかね？
0162１３２人目の素数さん
垢版 |
2024/04/25(木) 10:46:14.75ID:jYWM/lCf
ただ、法学においては多数説にはそれなりの重みがある、とか。

数学、自然科学、社会科学は多数説が常に最強とは言えないよね。
0163１３２人目の素数さん
垢版 |
2024/04/25(木) 12:33:24.59ID:ogYxuBle
「理論の正しさは多数決で決まらない」とカッコいいことを言いながら、
「望月は神童」だの「批判者は素人」だの「天才scholzeが絶賛した」だのと理論と関係ないことを言い続けて、
IUTが正しそうな雰囲気を醸造しようとしてるのがこの信者だよねw
0164１３２人目の素数さん
垢版 |
2024/04/25(木) 13:09:46.12ID:s80wW8Vh
まあその理論提唱者の人格のクズさと理論の正しさは無関係ではあるけど、明らかにそれに甘えてるよな。
0165１３２人目の素数さん
垢版 |
2024/04/25(木) 13:38:26.25ID:JvPhJ9Oe
元々IUTって望月は圏の幾何学と位置付けていたんだよな
なのに圏論を知ってるはずの研究者はほとんど誰も理解できない
これだけでもかなり怪しいと言える
0166１３２人目の素数さん
垢版 |
2024/04/25(木) 14:10:14.19ID:IIPJu16B
時々出てくる“無限入れ子”なるものもなんか怪しいよな
正則性の公理をはずすことでuniverseの無限入れ子を許すらしいが、じゃあ正則性の公理を導入した目的である“ラッセルのパラドックス”はどうすんの？
BGではクラスの存在定理を
(任意のφ(x)に対して)
∃A ∀x( φ(x)∧∃y x∈y ⇔ x∈A )
の形に制限することでラッセルのパラドックスを回避するかわりに“無限入れ子”を禁止するわけだけど、無限入れ子を要求するならこの形の定理は使えない
じゃあ無限入れ子はつかえるけど、ラッセルのパラドックスは回避するべつの方法考えないといけないけどそれはどうやってんの？
0167１３２人目の素数さん
垢版 |
2024/04/25(木) 14:48:54.75ID:lX/x7GbN
>>166
>正則性の公理を導入した目的である“ラッセルのパラドックス”
誤り　内包の公理があるなら、正則性の公理でラッセルのパラドックスは防げない
実際は、内包の公理を分出公理に改めたのでラッセルのパラドックスが防げた

一般に矛盾する理論に公理を追加しても無矛盾にはならない
0168１３２人目の素数さん
垢版 |
2024/04/25(木) 14:55:09.87ID:lX/x7GbN
そもそも望月新一がなんで”無限入れ子”にこだわるのかわからん
星も山下剛も無限入れ子が必要なんていってたっけ？
0169１３２人目の素数さん
垢版 |
2024/04/25(木) 14:56:55.45ID:lX/x7GbN
>>168
誤解のないようにいうと、無限入れ子の導入自体は別に理論に矛盾をもたらすものではない（ZFC-AFA等）
疑問なのは、そもそもそういうものをどういう風に使うつもりかという点
0172１３２人目の素数さん
垢版 |
2024/04/25(木) 17:06:11.44ID:JvPhJ9Oe
その入れ子って幾何学ではなくてアルゴリズムによる入れ子関係だからね
つまり普通のホッジフィルトレーションや分解みたいなものとは話が全く違う
一方の宇宙は他方の宇宙を解釈して埋め込むみたいなソフトウェアの話になってるw
0173１３２人目の素数さん
垢版 |
2024/04/25(木) 19:20:31.58ID:zlRFLPXQ
え？
入れ子にするために正則性公理犠牲にしたって聞きたけどそれがデマ？
そもそもアルゴリズムって？
0175１３２人目の素数さん
垢版 |
2024/04/25(木) 19:29:24.01ID:zlRFLPXQ
そもそもその解釈は前後の文章勘案して本当にそうとしかとれないで間違いないの？
これ本人、自称理解者、分からなくて諦めたひと、ネット情報全部言ってる事が違う
宇宙Aが宇宙Bに入ってるというのは宇宙Aのモデルが宇宙Bで作れるという事？
0176１３２人目の素数さん
垢版 |
2024/04/25(木) 19:54:09.60ID:JvPhJ9Oe
>>173
その辺の集合論的な議論は最後にしか出てこないし、ピンポイントで正則性公理に
言及したか記憶が定かじゃないな
>>174についてはそれで合ってるよ。わざわざ違う宇宙モデルが繋がっているかの
ような話をしているのはそういうこと。宇宙は幾何学的な写像では写り合わない
0177１３２人目の素数さん
垢版 |
2024/04/25(木) 20:12:00.96ID:zlRFLPXQ
望月御大の言によれば宇宙はグロータンディックの宇宙でいいんだよね？
宇宙Aのモデルが宇宙Bの中に作れるの定義は？
AからBへの写像が存在して...
みたいにちゃんと正確に定義されてるの？
0179１３２人目の素数さん
垢版 |
2024/04/25(木) 20:19:13.63ID:md4buPwI
>>176
幾何学的な写像ってなんですか？
0180１３２人目の素数さん
垢版 |
2024/04/25(木) 21:43:27.20ID:XwT3YSm2
>>179
位相空間なら普遍性を保つ連続写像
よって格子は非可換図式になってる。そういう一見整合性のない空間を
位相群の作用のデータを使って計算しなきゃいけない。SSの批判はだから
望月からしたらずれてるようだ
0181１３２人目の素数さん
垢版 |
2024/04/25(木) 22:07:37.10ID:md4buPwI
>>180
普遍性って何の普遍性ですか？格子が非可換図式になってるって、格子は群のことで図式のことではないのでは？結局宇宙の間の幾何的写像とは何なのですか？
0182１３２人目の素数さん
垢版 |
2024/04/25(木) 22:26:23.28ID:XwT3YSm2
>>181
普通の圏論では、関手のデータがあれば他方の圏の写像のデータは復元できるんだよ
だから少なくとも図式の範囲では幾何学的なデータがすっかりわかる
IUTはそうなってない。復元はできるけど共有されるデータが一部欠けている
0183１３２人目の素数さん
垢版 |
2024/04/25(木) 22:32:36.74ID:zlRFLPXQ
うん、なんか通常の数学では別の意味で使われてる用語が違う意味で使われてる
それしちゃいけないわけじゃないけどそれならそれでどんな意味で使うのか与えないと話にならない
少なくともここまで
モデル、射、普遍性、格子、アルゴリズム
全部一般には別の意味で使われてる用語がバンバン出てきて話通じない
0184１３２人目の素数さん
垢版 |
2024/04/25(木) 22:38:05.39ID:zlRFLPXQ
まずそもそも普通の圏論に“関手のデータ”なんて単語は出てこない
0185１３２人目の素数さん
垢版 |
2024/04/25(木) 22:48:01.67ID:md4buPwI
>>182
Cを局所的に小さい圏とする
任意の対象A∈Cに対して、
表現可能前層と呼ばれる反変関手hom(−,A):C^op→Setが定まり、
C上の任意の前層P:C^op→Setに対して
hom(hom(−,A), P)〜P(A)という、hom(−,A)からPへの自然変換とP(A)の要素との間の全単射対応が定まる
という米田の補題のことを言っていますか？
確かに関手Pから、射の集合hom(−,A)（からPへの自然変換）は復元できます
これが幾何学的なデータと関係あるのですか？宇宙とはSetのことで、これに米田の補題を当てはめているのでしょうか？
0186１３２人目の素数さん
垢版 |
2024/04/25(木) 23:14:11.54ID:zlRFLPXQ
エスパーできるとすれば関手のデータとはFo: obj(C)→pbj(D)とfm:mor(C)→mor(C)の事くらいしか思いつかない
でもFが最低でもFaithfulでなければCの情報は全く復元不可能だしfullでなければDの情報なんか復元できないし
0187１３２人目の素数さん
垢版 |
2024/04/25(木) 23:24:53.52ID:+fngg4IQ
私見ですが
１）望月先生の基礎論知識は、そうとうあやしい
　まともに、考えない方が良いと思う。IUT本体と基礎論は関係ないと思う
２）用語「宇宙」もあやしい。初期に結構勘違いの話が出た。2024年のいま「宇宙、宇宙」といわなくなった
（”宇宙と宇宙をつなぐ”とか、無視した方が良い）
３）圏論も、どこまで正統な圏論なのか？
　結構、我流の圏論かも（自然変換も随伴関手も出てこない）。でも これもIUT本体の正否とは無関係みたい

ともかく、遠アーベルから入っていかないと、混乱させられる気がする
フランス人などは、みな遠アーベルから入って行くみたい
0188１３２人目の素数さん
垢版 |
2024/04/25(木) 23:41:54.17ID:md4buPwI
確かに圏論の文脈では組をデータと呼ぶことがありますね
lax functorの記事でも、lax functorはこういうデータから成るとあります[https://en.wikipedia.org/wiki/Lax_functor]
それを差し引いても、幾何的な写像などいまいち何を指し示しているのか掴めないので、気になります
0189１３２人目の素数さん
垢版 |
2024/04/26(金) 07:00:38.86ID:4FSkTY1U
Grothendieck 予想の事かな
多分最後のアルゴリズムとかいうあたりでモデル理論っぽい話に繋げようとしたのかな
0190１３２人目の素数さん
垢版 |
2024/04/26(金) 08:04:15.21ID:KSo826Wb
山下剛のオモチャのたとえでフーリエ変換と同じ発想でいくのだろ。
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20ni%20tsuite%20no%20FAQ.pdf
入れものにいれたぼやけた像でも、NMRなどではフーリエ変換の積算回数で、ぼやけのS/N比をクリアにしていく。
0191１３２人目の素数さん
垢版 |
2024/04/26(金) 08:05:11.78ID:2zwNQaof
>>172　>>176
例えばゲーデル数によって自然数論の記号操作を算術として自然数論の中に埋め込むような感じ？
もしそうなら、正則性公理とは全く無関係だし、全然新しくもない　数理論理学では常套手段
ただ、他の分野ではおそらくそういうことはやってないだろう

”基礎論ファン”の足立恒雄氏ならともかく、例えばカトブンが知らなくても仕方ない
0192１３２人目の素数さん
垢版 |
2024/04/26(金) 08:10:02.19ID:2zwNQaof
>>187
望月新一に限ったことではないが、数理論理学なんて、他分野の人はまず知らない
知らないだけなら結構なのだが、残念なのは、「そんなの簡単だろう」となめてること
全然そんなことない　というか、数理論理学は他の分野の数学とは違う独自な思考があるから

望月新一のいう「宇宙」には深い意味はなさそうだ
ゲーデル数化のようなことが、圏論で自然にできるのかどうかは不明だが
おそらくそういうことは、圏論とは全然の話なので、そのつもりなら
最初から真面目に考える必要があるだろう
■ このスレッドは過去ログ倉庫に格納されています