0001１３２人目の素数さん
2024/04/13(土) 15:22:57.08ID:uEUP/Qtj荒らしはご遠慮願います。
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です
Inter-universal geometry とABC 予想55
■ このスレッドは過去ログ倉庫に格納されています
荒らしはご遠慮願います。
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です
0105１３２人目の素数さん
2024/04/22(月) 12:14:24.71ID:8CFW5jXQ0106１３２人目の素数さん
2024/04/22(月) 12:16:17.48ID:8CFW5jXQしばらく見ていればどう？
だんだん、明らかになってくるだろうし
プロ数学者仲間ならば、裏付け取れるだろう
0107１３２人目の素数さん
2024/04/22(月) 12:47:40.24ID:HGz3kIEe京大数理解析研究所 2019年要覧。
次世代幾何学研究センター 数論幾何学，
特に宇宙際タイヒミューラー理論を
中心に広く次世代の幾何学 の研究を推進する
ため，平成31年(2019年)4月1日に設置された。
・次世代幾何学センター センター長 望月新一 教授←IUT論文提出者。
・玉川安騎男 教授←PRIMS特別編集委員会委員長。
・特任教授 柏原正樹 特任教授← PRIMS特別委員会委員長。
・森重文特任教授←2018年scholze氏へscholze望月新一ミーティングの提案者
2020年2月望月新一著IUT論文は京大数理解析研究所の数学誌PRIMS
(玉川柏原特別編集委員会委員長)より受理された。
0108１３２人目の素数さん
2024/04/22(月) 13:04:06.45ID:DaPtR4za死ななくてもいい日本人を大量殺戮したアタオカカルト新聞
0109１３２人目の素数さん
2024/04/22(月) 13:30:34.21ID:jXSngsHK0110１３２人目の素数さん
2024/04/22(月) 15:10:54.34ID:yPgs+wkm0111１３２人目の素数さん
2024/04/22(月) 15:54:01.11ID:fM+Z4PNU数学者が教授会でいちいち資料の一言一句までチェックするかよ？
文科省報告書とPRIMSを混同してる？
0112１３２人目の素数さん
2024/04/23(火) 04:41:38.40ID:SFwO/Fdq数学者が、数週間から数ヶ月程度の時間でその核心に触れることができるように、短い解説書の編集や、講演会などの開催を積極的に行う、そうだ。
IUGCの設立の目的と行動規範
設立の目的
（数論、幾何学、代数学、論理学などを含む）様々な分野のすべての数学者が、各人の主たる研究分野に適した形でIUT理論の諸側面に精通するために、その最初のステップを踏むことを奨励する。
IUT理論の専門家と、関心を持つすべての数学者の対話を促進する。
遠アーベル幾何学とIUT理論の概念や考え方を、様々な立場や背景を持つ数学者のニーズに合致した形で普及させるために、常に新しい発信方法を見出す努力をする。
IUT理論にまだ馴染みのない数学者が、数週間から数ヶ月程度の時間でその核心に触れることができるように、短い解説書の編集や、講演会などの開催を積極的に行う。
IUT理論の専門家を増やし、その研究を促進することに貢献する。
IUT 理論および関連分野の国際ワークショップや研究セミナーを開催する
https://zen-univ.jp/iugc/statement
0113１３２人目の素数さん
2024/04/23(火) 04:44:42.66ID:SFwO/FdqIUGCの行動規範
1 私たちは職業数学者の集団として、その活動と決定において、数学的正しさと価値に従ってのみ行動し、数学的正しさと価値以外の基準（例えば、社会的または政治的基準）からの影響を排除する。
2 私たちは、他のいかなる数学団体や研究組織からも独立して行動する数学者の集団である。
3 以上を踏まえ、私たちは常にIUT理論に関する世界の数学界の状況を正常化する方法を見出す努力をする。
0114１３２人目の素数さん
2024/04/23(火) 09:27:30.98ID:pqJxgEen望月教授が、今世紀中の証明は不可能などと言われていた数学の重要問題「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>京大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が、遠アーベルで動き出しているよね
専門外の人は見守るべきと思いますけどね
0117１３２人目の素数さん
2024/04/23(火) 15:11:42.84ID:X5ECP6S60118１３２人目の素数さん
2024/04/23(火) 15:19:36.45ID:1VoIqWNo0119１３２人目の素数さん
2024/04/23(火) 15:26:27.37ID:Ko24B2bu望月新一本人も全く新しい理論IUTTを理解していない。
つまり、遠アーベル幾何学の専門家は
いるけど、IUTの専門は誰もいない机上の空論
0120１３２人目の素数さん
2024/04/23(火) 15:34:28.87ID:1VoIqWNo2018年のSS文書は余計なお世話だった
（MSが聞く耳持たないのは明らかだったから）
日本の連中が国内向けのパフォーマンスをやりつづける理由は知らんが
単にみっともないだけと言わざるを得ない
●室における男系維持のパフォーマンスくらいみっともない
日本国民の８割が女系継承OKといってるのに
0121１３２人目の素数さん
2024/04/23(火) 15:59:21.28ID:Sa+Y7cn20122１３２人目の素数さん
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まるで国会図書館からカネを巻き上げることを企んだとゆわれてる
「亞書」って本があったが、まるでIUT を「亞書」のようにゆうのは間違ってる。
0125１３２人目の素数さん
2024/04/23(火) 19:49:39.19ID:xuEAm+scEMS掲載は変わらない。
SS指摘は望月返答に再返答してないし、最近はエラーがないと思う、だから編集委員会は掲載を再検討する理由もない。
Joshiの試みはそのギャップが望月の偉業に証明の戦略があることを示した。
>>0081の望月の論説よると無次元の被覆は代数的な方法は扱えない。有限次の被覆までにとどまる。
他のツールを待っても駄目なら、IUTがツールになる。
0126１３２人目の素数さん
2024/04/23(火) 20:09:38.16ID:yIa66P1n0127１３２人目の素数さん
2024/04/23(火) 21:32:06.77ID:hJsMQbosそれしか言えなくなったんだね
ハイハイハイ
0128１３２人目の素数さん
2024/04/23(火) 21:48:31.34ID:SFwO/Fdq0129１３２人目の素数さん
2024/04/23(火) 22:33:23.93ID:WG/fHCaD強いて言えば朝日新聞とその記事は北朝鮮の乱数放送
0130１３２人目の素数さん
2024/04/23(火) 23:08:33.79ID:UG42b9w3思うに宇宙際タイヒミュラー理論は、「望月理論」に名称変更した方がより適切であろう
Mochizukiしかその全貌を把握していないのだから
0131１３２人目の素数さん
2024/04/23(火) 23:10:36.60ID:UG42b9w3じっさい「亜書」と同じようにお金が動き出してMochizukiは金銭を受領している
0132１３２人目の素数さん
2024/04/23(火) 23:32:04.95ID:XgHnIKjB余裕がなくなっているように見受けられる。
都知事選にかすりもせず落選して暴走が始まった某教団のようなことにならんといいけど
0133１３２人目の素数さん
2024/04/24(水) 08:13:11.62ID:uW4+xFK+そのときに貰う資格のある人がいるといいですね
0134１３２人目の素数さん
2024/04/24(水) 08:54:00.88ID:rrb//mAL偉業より京大RIMS発のIUTスキャンダルだな。
特徴は詭弁とマッチポンプと罵倒 sect化だ。
今でもscholzestixレポートとzbmath scholzeのレビューは修正点がなく
part3のcor.3.12のギャップはそのまま。
数学の遠アーベル幾何学と全く新しい理論なるIUTTを意図的に混同しながら
数学もどきのIUTを延命してきた。
joshiの件もこれを示しているが、元々数学もどきのIUT語は数学では通約不能で
両者間に辞書はない。
いまやzen大学の設置認可の道具にまで数学を偽装した数学もどきIUTが使われている。
0135１３２人目の素数さん
2024/04/24(水) 09:10:40.52ID:wXYcHzHfRIMS商法
0136１３２人目の素数さん
2024/04/24(水) 11:49:32.72ID:ZaJZ05Gz0137１３２人目の素数さん
2024/04/24(水) 11:52:54.05ID:HN/4uP7/0138１３２人目の素数さん
2024/04/24(水) 12:46:43.91ID:Jr3ayxcHフェセンコによれば、ScholzeとStixは京都に来たとき、もっちーの話をろくに聞かなかった。
0139１３２人目の素数さん
2024/04/24(水) 12:56:07.32ID:a4Crc1Q5弟子が師匠に対して云ってることが理解できないとか、言える空気じゃなさそうとか
フェセンコも望月同様アカハラ大魔王かもね
0140１３２人目の素数さん
2024/04/24(水) 13:06:44.00ID:O7G9Q93d0141１３２人目の素数さん
2024/04/24(水) 13:13:35.83ID:fWrUnwsVなぜそれが前向きに進んでることになるのかな？
だって当の本人は何もしてないだろ？
0142１３２人目の素数さん
2024/04/24(水) 21:54:18.13ID:Y7Dpltjn俺も聞いた
MやYが院生のときそのせいで修了が遅れたらしく、ハラスメント寸前までいってたとか
時代が時代なら、、おっとここまでにしておこう
0143１３２人目の素数さん
2024/04/24(水) 22:39:12.49ID:Jr3ayxcH0144１３２人目の素数さん
2024/04/24(水) 23:13:04.35ID:3VBuU+MV0145１３２人目の素数さん
2024/04/24(水) 23:46:23.12ID:6Qot660ahttps://mao.5ch.net/test/read.cgi/uranai/1713679319/5
0146１３２人目の素数さん
2024/04/25(木) 00:25:49.48ID:PCDqin6Aフェセンコと望月新一星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続
望月新一監修川上量生あとがき加藤文元著IUT本。
scholze stixレポートへ回答書で、IUTは数学でなく全く新しい理論で
IUT語で構築された。
・4人ミーティングでも望月新一教授は数学とパラダイムが異なる全く新しい理論のIUT語で説明したつもりになったのだろうが、健全な数学者には理解不能だろう。
一方フェセンコはベストセラー本と絶賛し英訳を主張するも未だに英訳なし。
・設置申請中のzen通信大学の附属施設.IUGCでは加藤文元所長でフェセンコ
副所長となる。
IUGC設立の目的と行動規範を見てのとおり(>>112および>>113)全く新しい
理論IUTTを「数学」で偽装していて、望月新一監修川上量生あとがき加藤文元著
IUT本に反している。
例 ×職業数学者 ⚪︎職業数学もどきのIUT者
0148１３２人目の素数さん
2024/04/25(木) 01:41:41.33ID:j1eSeLFT0149１３２人目の素数さん
2024/04/25(木) 01:58:36.53ID:j1eSeLFTWojciech PorowskiのAdvisorはフェセンコ
0150１３２人目の素数さん
2024/04/25(木) 02:20:36.79ID:j1eSeLFT0151１３２人目の素数さん
2024/04/25(木) 02:58:39.09ID:zlRFLPXQ0152１３２人目の素数さん
2024/04/25(木) 06:43:07.91ID:PCDqin6A違うと思うけど？
色々詳しいようですね
(>>94)でもっちー(連呼)さんへ質問したけど
(>>102)はあなたの回答でよろしい？
あなたの所属を教えてください？
0153１３２人目の素数さん
2024/04/25(木) 06:52:10.48ID:PCDqin6A× あなたの所属を教えてください？
⚪︎ あなたの所属を教えてください！
0154１３２人目の素数さん
2024/04/25(木) 08:00:37.38ID:PCDqin6A2021年4月現在で「ほぼ700ページで4部構成の大論文で、ABC予想への言及は
最後の第4部corollary2.3 p687。現時点で彼の証明に触れることはできません。
筆者の2012年の論文も4部で引用されていますが、全体が理解できていません。
また、この稿を推敲中、定量的な結果も得られたという報告が、数理研のプレプリント
シリーズから出されました(こちらは望月さんを含む数人の共著です)が、
これについてはさらに待たなくてはならないでしょう」
ABC予想の証明がある本論文が出版された後でも伊原先生は全体が理解できていない
と述べている。
0155１３２人目の素数さん
2024/04/25(木) 08:14:49.83ID:ImTJXEjn0156１３２人目の素数さん
2024/04/25(木) 08:15:38.07ID:87ld6l/E0157１３２人目の素数さん
2024/04/25(木) 08:19:30.07ID:KfF44b5H主流派はもう相手にするだけ馬鹿らしいから後は無視するのみ
実際この数年間に書かれた論文でiutを肯定的に言及したのは身内とjoshiだけ
ICM2022で死亡宣告済みなのだからICM2026になっても何も起きようがない
0158１３２人目の素数さん
2024/04/25(木) 08:39:05.95ID:PCDqin6A×附属施設 ⚪︎附属機関
0159１３２人目の素数さん
2024/04/25(木) 09:23:11.18ID:87ld6l/E0160１３２人目の素数さん
2024/04/25(木) 09:52:43.76ID:jYWM/lCf” 実際この数年間に書かれた論文でiutを肯定的に言及したのは身内とjoshiだけ ”
そうかい？Joshi はabcを証明したのは自分で、もっちーの証明にはギャップがあると言ったのだろ？
ところが、もっちーがJoshiの証明に致命的な欠陥があるとさらっと指摘し、そのもっちーの指摘をScholzeがextremely robust と絶賛した。
Joshi を持ち上げていたWoit, Roberts , jinは大恥晒して死んだ。
0161１３２人目の素数さん
2024/04/25(木) 10:23:16.60ID:jYWM/lCf” 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:s80wW8Vh0165１３２人目の素数さん
2024/04/25(木) 13:38:26.25ID:JvPhJ9Oeなのに圏論を知ってるはずの研究者はほとんど誰も理解できない
これだけでもかなり怪しいと言える
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>正則性の公理を導入した目的である“ラッセルのパラドックス”
誤り 内包の公理があるなら、正則性の公理でラッセルのパラドックスは防げない
実際は、内包の公理を分出公理に改めたのでラッセルのパラドックスが防げた
一般に矛盾する理論に公理を追加しても無矛盾にはならない
0168１３２人目の素数さん
2024/04/25(木) 14:55:09.87ID:lX/x7GbN星も山下剛も無限入れ子が必要なんていってたっけ？
0169１３２人目の素数さん
2024/04/25(木) 14:56:55.45ID:lX/x7GbN誤解のないようにいうと、無限入れ子の導入自体は別に理論に矛盾をもたらすものではない（ZFC-AFA等）
疑問なのは、そもそもそういうものをどういう風に使うつもりかという点
0170１３２人目の素数さん
2024/04/25(木) 14:58:41.11ID:IIPJu16Bわからんのやったらだまっといてくれ
じゃまや
0171１３２人目の素数さん
2024/04/25(木) 15:00:01.11ID:IIPJu16Bわからんのやったらだまっといてくれいうてんのに
0172１３２人目の素数さん
2024/04/25(木) 17:06:11.44ID:JvPhJ9Oeつまり普通のホッジフィルトレーションや分解みたいなものとは話が全く違う
一方の宇宙は他方の宇宙を解釈して埋め込むみたいなソフトウェアの話になってるw
0173１３２人目の素数さん
2024/04/25(木) 19:20:31.58ID:zlRFLPXQ入れ子にするために正則性公理犠牲にしたって聞きたけどそれがデマ？
そもそもアルゴリズムって？
0174１３２人目の素数さん
2024/04/25(木) 19:22:35.36ID:zlRFLPXQ0175１３２人目の素数さん
2024/04/25(木) 19:29:24.01ID:zlRFLPXQこれ本人、自称理解者、分からなくて諦めたひと、ネット情報全部言ってる事が違う
宇宙Aが宇宙Bに入ってるというのは宇宙Aのモデルが宇宙Bで作れるという事？
0176１３２人目の素数さん
2024/04/25(木) 19:54:09.60ID:JvPhJ9Oeその辺の集合論的な議論は最後にしか出てこないし、ピンポイントで正則性公理に
言及したか記憶が定かじゃないな
>>174についてはそれで合ってるよ。わざわざ違う宇宙モデルが繋がっているかの
ような話をしているのはそういうこと。宇宙は幾何学的な写像では写り合わない
0177１３２人目の素数さん
2024/04/25(木) 20:12:00.96ID:zlRFLPXQ宇宙Aのモデルが宇宙Bの中に作れるの定義は？
AからBへの写像が存在して...
みたいにちゃんと正確に定義されてるの？
0178１３２人目の素数さん
2024/04/25(木) 20:16:36.39ID:zlRFLPXQ0179１３２人目の素数さん
2024/04/25(木) 20:19:13.63ID:md4buPwI幾何学的な写像ってなんですか？
0180１３２人目の素数さん
2024/04/25(木) 21:43:27.20ID:XwT3YSm2位相空間なら普遍性を保つ連続写像
よって格子は非可換図式になってる。そういう一見整合性のない空間を
位相群の作用のデータを使って計算しなきゃいけない。SSの批判はだから
望月からしたらずれてるようだ
0181１３２人目の素数さん
2024/04/25(木) 22:07:37.10ID:md4buPwI普遍性って何の普遍性ですか？格子が非可換図式になってるって、格子は群のことで図式のことではないのでは？結局宇宙の間の幾何的写像とは何なのですか？
0182１３２人目の素数さん
2024/04/25(木) 22:26:23.28ID:XwT3YSm2普通の圏論では、関手のデータがあれば他方の圏の写像のデータは復元できるんだよ
だから少なくとも図式の範囲では幾何学的なデータがすっかりわかる
IUTはそうなってない。復元はできるけど共有されるデータが一部欠けている
0183１３２人目の素数さん
2024/04/25(木) 22:32:36.74ID:zlRFLPXQそれしちゃいけないわけじゃないけどそれならそれでどんな意味で使うのか与えないと話にならない
少なくともここまで
モデル、射、普遍性、格子、アルゴリズム
全部一般には別の意味で使われてる用語がバンバン出てきて話通じない
0184１３２人目の素数さん
2024/04/25(木) 22:38:05.39ID:zlRFLPXQ0185１３２人目の素数さん
2024/04/25(木) 22:48:01.67ID:md4buPwICを局所的に小さい圏とする
任意の対象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でも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:md4buPwIlax functorの記事でも、lax functorはこういうデータから成るとあります[https://en.wikipedia.org/wiki/Lax_functor]
それを差し引いても、幾何的な写像などいまいち何を指し示しているのか掴めないので、気になります
0189１３２人目の素数さん
2024/04/26(金) 07:00:38.86ID:4FSkTY1U多分最後のアルゴリズムとかいうあたりでモデル理論っぽい話に繋げようとしたのかな
0190１３２人目の素数さん
2024/04/26(金) 08:04:15.21ID:KSo826Wbhttps://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例えばゲーデル数によって自然数論の記号操作を算術として自然数論の中に埋め込むような感じ？
もしそうなら、正則性公理とは全く無関係だし、全然新しくもない 数理論理学では常套手段
ただ、他の分野ではおそらくそういうことはやってないだろう
”基礎論ファン”の足立恒雄氏ならともかく、例えばカトブンが知らなくても仕方ない
0192１３２人目の素数さん
2024/04/26(金) 08:10:02.19ID:2zwNQaof望月新一に限ったことではないが、数理論理学なんて、他分野の人はまず知らない
知らないだけなら結構なのだが、残念なのは、「そんなの簡単だろう」となめてること
全然そんなことない というか、数理論理学は他の分野の数学とは違う独自な思考があるから
望月新一のいう「宇宙」には深い意味はなさそうだ
ゲーデル数化のようなことが、圏論で自然にできるのかどうかは不明だが
おそらくそういうことは、圏論とは全然の話なので、そのつもりなら
最初から真面目に考える必要があるだろう
0193１３２人目の素数さん
2024/04/26(金) 08:15:02.39ID:2zwNQaof実質は「自然数に割り付けるコード化」 だからコード化の仕方は沢山ある
ブルバキが数理論理学に関わりを持たなかったように
望月新一も数理論理学とは無縁に何かを思考したようだが
0194１３２人目の素数さん
2024/04/26(金) 08:25:39.18ID:2zwNQaof例えば、ゲーデルの不完全性定理は
「自然数論から矛盾が証明されると矛盾する、という証明が可能なら、自然数論から矛盾を導く証明が可能である」
ということであって「自然数論が矛盾する」という意味ではないが、エルンスト・ツェルメロは
ゲーデルの方法を認めると自然数論から矛盾が導けてしまうとかいって執拗にゲーデルを非難した
また、バートランド・ラッセルも同様の誤解をしていたのではないかと言われている
0195１３２人目の素数さん
2024/04/26(金) 08:29:39.16ID:A7Cl6sKK>入れものにいれたぼやけた像でも、NMRなどではフーリエ変換の積算回数で、ぼやけのS/N比をクリアにしていく。
あ、そのフーリエ変換の例えは分かり易い
同意です
フーリエ変換を、宇宙と宇宙の変換とは言わない
普通の関数の世界をフーリエ変換で別の世界に写すようなこと（またその逆変換）だと思う
0196１３２人目の素数さん
2024/04/26(金) 08:57:08.04ID:rgUqXktA世界に入っていくためのガイドブックとして持っておくのはいいとしてもガイドブック見ただけで行った気になってしまう
問題なのはその“ぼやけた数論”とは何か、どう定義するんかって話
0197１３２人目の素数さん
2024/04/26(金) 11:07:18.26ID:em70EpiX>問題なのはその“ぼやけた数論”とは何か、どう定義するんかって話
まさにまさに
下記”blurring”（ぼやけ）がSS文書の論点です
望月氏の”blurring”（ぼやけ）については、SCHOLZE氏は「訳わからん説明だ」みたいは扱い
（わざと、”blurring”を強調したとしか思えない書き方です）
ところで、”blurring”はおそらく 星氏の 宇宙際Teichm¨uller 理論入門（下記）
§10. 軽微な不定性 P113 (Ind1),(Ind2), (Ind3)と関連していると思われます
（ですが、ここから先は私にはさっぱりですので、各自におまかせします）
(参考)
https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Whyabc is still a conjecture PETER SCHOLZE AND JAKOB STIX Date: July 16, 2018.
P10
The conclusion of this discussion is that with consistent identifications of copies of real numbers, one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality.
We voiced these concerns in this form at the end of the fourth day of discussions.
On the fifth and final day,
Mochizuki tried to explain to us why this is not a problem after all.
In particular, he claimed that up to the “blurring” given by certain indeterminacies the diagram does commute;
it seems to us that this statement means that the blurring must be by a factor of at least O(l^2) rendering the inequality thus obtained useless.
（google訳）
望月氏は、結局のところ、なぜこれが問題にならないのかを説明しようとしました。
特に、特定の不確定性によって与えられる「ぼやけ」までは、図は可換であると彼は主張した。
このステートメントは、ぼかしは少なくとも O(l^2) 倍でなければならず、こうして得られた不等式を役に立たなくすることを意味しているように私たちには思えます。
https://eow.alc.co.jp/search?q=blurring
英辞郎 - アルク
blurring の意味・使い方・読み方
名 〔輪郭などの〕ぼけ
形 〔輪郭などが〕ぼやけた、にじんだ
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf
RIMS Kˆokyˆuroku Bessatsu B76 (2019), 79–183
宇宙際Teichm¨uller 理論入門 星裕一郎
§10. 軽微な不定性
この“ある軽微な不定性”は3つの部分(Ind1),(Ind2), (Ind3) からなり,
§3 の後半で導入した用語を用いますと,
(Ind1) は単解的なエタール輸送不定性,
(Ind2) は単解的なKummer 離脱不定性,
(Ind3) は正則的な Kummer 離脱不定性です.
0198１３２人目の素数さん
2024/04/26(金) 11:10:47.89ID:em70EpiX望月氏の”blurring”（ぼやけ）については、SCHOLZE氏は「訳わからん説明だ」みたいは扱い
↓
望月氏の”blurring”（ぼやけ）については、SCHOLZE氏は「訳わからん説明だ」みたいな扱い
0199１３２人目の素数さん
2024/04/26(金) 11:15:03.75ID:qr+eSNou0200１３２人目の素数さん
2024/04/26(金) 11:32:20.30ID:tDIhyJlfsetaはこのスレへ出入りを禁ずる。
巣へ戻れよ
0201１３２人目の素数さん
2024/04/26(金) 13:48:32.84ID:x8WtQ/Gh0202１３２人目の素数さん
2024/04/26(金) 13:48:35.02ID:e5GMqMAJそもそも望月は「関手」という言葉自体確か使ってなかったはず
「関手的」アルゴリズムとしか言ってないし、実際写像として対応するというより
宇宙間のデータは不定性を伴って部分的にしかわからないと言ってる
>>185や>>195みたいなすっきりした話ではないと思われる
普通の遠アーベル幾何学より抽象的な位相群で作用を考えてるので、それを経由して
埋め込みのような操作を行うと>>197の
三つの局面で構造がぼやけるのだろう
0203１３２人目の素数さん
2024/04/26(金) 14:00:11.06ID:CEPjIAQZそのとおり。
・星裕一郎 IUTT入門
>本稿には, 説明のための不正確な記述が多数存在します.
また, 当 然のことですが, 何か物事を説明する際, その説明の方法は一意的ではなく,
そして, “最 善なもの” というものも通常は存在しないと思います.
本稿で行われている解説は, あく まで, “ある時点での筆者が選択した方法” に
よる 1 つの解説に過ぎません. 別の方が本稿 のような解説を行えば,
まったく別の方法による解説が得られるでしょう.
あるいは, 筆 者が数年後に再びこの理論の解説を試みれば,
また別の方法による解説が得られるかもし れません.
>宇宙際 Teichmu ̈ller 理論の本格的な理解を目指すならば,
どうしても原論文の精読が不可欠である, という当たり前な事実を,
ここに指摘します.
0204１３２人目の素数さん
2024/04/26(金) 14:32:15.52ID:1DZzy2v/任意の ε > 0 に対し、定数 C (ε) が存在して、有理数体 Q 上定義された全ての楕円曲線 E に対して、E の極小判別式を Δ で、導手を f で表すと、
|Δ| ≦ C(ε)f^(6+ε)
が成り立つ。
...
以上は有理数体における主張であるが、一般の代数体Ver.や関数体Ver.もある。関数体Ver.は、Szpiro の定式化のずっと以前に小平邦彦によって発見されており、その証明は易しい[1]。
...
スピロ予想より強い以下の主張がABC予想と同値である[2]。
(強いスピロ予想)
任意の ε > 0 に対し、定数 C (ε) が存在して、有理数体 Q 上定義された全ての楕円曲線 E に対して、E の極小判別式を Δ で、導手を f で表すと、
max{|c4|^3,|c6|^2} ≦ C(ε)f^(6+ε)
が成り立つ。ここに、c4, c6 は楕円曲線 E のよく知られた不変量である。
...
こっちの強いスピロ予想は関数体では成立してるんだろうか？
■ このスレッドは過去ログ倉庫に格納されています
