[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
54(1): 2025/11/13(木)21:22 ID:0DRDKq6c(2/3) AAS
>>38
他者をけなす目的で事実でないものを事実として述べたら
その文書の信憑性はその程度ということになりますね
これは確認を取らなかったという言い訳をしても同じことです
55: 2025/11/13(木)21:24 ID:UZovF/Sa(3/4) AAS
>>54
ここはすぐ修正できるところだし本論はそれでも成立するので
そこまで否定的にはなれないなあ自分は
56(1): 2025/11/13(木)22:41 ID:0DRDKq6c(3/3) AAS
例えば逆に考えて、あるアメリカ人が
日本人がAAA理論を理解できないのは
日本人がXXXだからだと非難していて
XXXが事実に反する誹りだった場合
そのアメリカ人を信用できますか？議論できますか？
57: 2025/11/13(木)22:49 ID:UZovF/Sa(4/4) AAS
>>56
誤解しやすい内容だったなら
まあ許せるかな
58(2): 2025/11/14(金)08:22 ID:pwYVSej5(1) AAS
>>23
327.１３２人目の素数さん 2025/09/17(水) 09:34:36.89
加藤氏と望月氏のコントをご覧ください
・
>Fumiharu Kato 加藤文元（Bungen）@FumiharuKato
>IUT理論における「宇宙」という用語が指し示すものが望月さん
>独特のものであるのは本当です。
その宇宙は集合論の宇宙とも、
>グロンタンディーク宇宙とも異なっていますので。
> 数学者は宇宙をつなげるか
省22
59: 2025/11/14(金)20:52 ID:VkFK3ZFA(1/2) AAS
そもそも望月 universe が Grothendieck universe なわけはない。なぜなら望月先生自身が自分が IUT を紹介した文章のなかで「数学者が数学の議論をはじめる場合、その universe を一つ固定する」などといってるけど、そもそも Grothendieck が想定した意味での Universe なら複数あって当たり前でだれも「ただ一つのユニバースを固定する」ことなどない。
固定されるのは意味論でありモデル。これは通常の数学基礎論で議論をはじめる場合ひとつ意味論を固定する。その固定した意味論が複数のユニバースを持っていても別に困らない、一個選んでそれしかないなどという仮定をいれることなどない。
この違いが分かってないのか、なんなのか知らないけど通常の数学基礎論の言葉使いとは違う単語を選択してる。まぁメチャメチャですわな。
60: 2025/11/14(金)20:57 ID:VkFK3ZFA(2/2) AAS
おそらく真相は集中講義かなんかで基礎論の講義をうけてるとき「数学の議論をはじめるときモデルを一つえらんで固定する」という話と「Grothendieck Universe を拡張した概念で Von Neumann Universe というのがあってそれは一つの Verses class の中に複数の Universe も持つ理論である」というのを聞きつけて「お、これなんか使えるんじゃない」とか思ったんじゃないかな？まぁ、そういうチャレンジをしてみるのは勝手だからやってもらっていいんだけど、やるならやるで、ちゃんと基礎論の勉強してからにすればよかったのにな。
61(2): 2025/11/15(土)06:43 ID:g+VK+66l(1/3) AAS
>>6
2023年8月
現状に関する簡素な報告
望月新一
Brief Report on the Current Situation
Surrounding Inter-universal Teichmüller Theory (IUT)
Shinichi Mochizuki
August 2023
省13
62(3): 2025/11/15(土)17:53 ID:g+VK+66l(2/3) AAS
>>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」
.パラダイムシフト論による。
(>>788)
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
省16
63(1): 2025/11/15(土)17:54 ID:g+VK+66l(3/3) AAS
>>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」
.パラダイムシフト論による。
(>>788)
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
省16
64(3): 2025/11/16(日)02:18 ID:I32R343u(1/4) AAS
>>14
□
⑴ ⑵ ⑶ 遠アーベル幾何学
Mochizuki, Shinichi
Topics in Absolute Anabelian Geometry
III: Global Reconsruction Algorithms
大域的復元のアルゴリズムについて
⑴
・Journal of Mathematical Sciences
The University of Tokyo
省25
65: 2025/11/16(日)02:39 ID:I32R343u(2/4) AAS
>>64
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
66: 2025/11/16(日)03:07 ID:I32R343u(3/4) AAS
>>64
外部ﾘﾝｸ[pdf]:ncatlab.org
67: 2025/11/16(日)15:41 ID:26xE/0f4(1) AAS
22/7 3rdアルバム「abc予想」
このアルバム発売が事態をあらぬ方向に転回させるということを
発表時に見通したものはいなかった
68: 2025/11/16(日)19:46 ID:I32R343u(4/4) AAS
ダークサイドミステリー
『宇宙戦争』パニック事件、
75年目の真実 100万人をだましたフェイクニュース
外部ﾘﾝｸ:www.web.nhk
69: 2025/11/17(月)08:15 ID:a7cACU/T(1/5) AAS
前スレ58より
0992
１３２人目の素数さん
2025/11/15(土) 22:40:21.47
そもそも遠アーベル幾何自体が
グロタンディークの妄想の産物な訳だし 意味がどのくらいあるものなのかね
ID:ugKLCP76(2/2)
70: 2025/11/17(月)08:17 ID:a7cACU/T(2/5) AAS
前スレ58より
0993
１３２人目の素数さん
2025/11/16(日) 00:46:11.37
個人的には縁アーベル幾何学はちゃんと方法論として機能すると思う。
iut とは区別して考えるべき。
ID:8hCLebTL
71: 2025/11/17(月)08:20 ID:a7cACU/T(3/5) AAS
前スレ58より
・
0994 １３２人目の素数さん
2025/11/16(日) 01:08:59.53
>>64から
・Mochizuki, Shinichi
Topics in Absolute Anabelian Geometry
III: Global Reconsruction Algorithms
大域的復元アルゴリズムについて
Faltings氏とscholze,stixが 高く評価
省17
72: 2025/11/17(月)08:29 ID:a7cACU/T(4/5) AAS
基本的なことは
>数学はどこへ行くのか？
Over the last 2,500 years, the way we do mathematics has changed surprisingly little
過去2500年間、数学のやり方は驚くほど変化していません。
kevin Buzzard
73(1): 2025/11/17(月)11:15 ID:a7cACU/T(5/5) AAS
IUT論文の目的はabc予想の「証明」。
証明のためには p≠Pながらp=Pと仮定したり望月新一語が多重にあり
IUT論文を京大数理研の数学誌PRIMSが受理する以前から京大数理研ではabc予想が肯定的に解決した。
全てはabc予想の「証明」のためにある。
・
前スレ58
0979 .976.
2025/11/15(土) 07:09:00.64
この件(>>58.)だけではない、
以前にもwoit氏ブログのコメント欄で 望月新一氏の説明がscholze氏へ の説明とjoshi氏への説明が異なっていると話題があった。
省8
74: 2025/11/17(月)15:14 ID:WMuvtTWk(1) AAS
長文の罵倒文書く暇はあるのに
いつまでも細部書き下ろさない、もう詰んでんだよこいつ
75(1): 2025/11/17(月)18:29 ID:0A35TjVy(1/13) AAS
数学の遠アーベル幾何学から全く新しい理論IUT「理論」へ、だね。
数学の遠アーベル幾何学のleanによる形式化にIUTを含め最後にIUTもleanより
形式化されたとする。
(>>58)の手口は定義が
全く新しい理論IUT→数学。
今回の手口は数学→全く新しい理論と
述べている。
茶番劇の日本数学界は悪貨が良貨を駆逐するか？
76(3): 2025/11/17(月)20:28 ID:bNQYs5dU(1) AAS
コピペ君は数学理解してないっすね
＞証明のためには p≠Pながらp=Pと仮定したり望月新一語が多重にあり
Boydも数学を理解してないから記事の数学部分は意味不明
社会学的部分は読む価値があった
＞数学の遠アーベル幾何学のleanによる形式化にIUTを含め最後にIUTもleanより
＞形式化されたとする。
まったく意味不明
形式化できたんなら認められるんじゃないの
ただし意図的にbugを悪用した疑いがあれば別
いずれにせよ形式化なんて話が進むわきゃない
省7
77: 2025/11/17(月)21:03 ID:0A35TjVy(2/13) AAS
>>73
scholzeとjoshiの混乱について
woit blog
Latest on abc 2020.3.3
・up date のscholzeコメントと
・コメント欄のscholze.joshi.pc
参照のこと。
外部ﾘﾝｸ:www.math.columbia.edu
78: 2025/11/17(月)21:15 ID:0A35TjVy(3/13) AAS
>>76
Boydは数学者でないけどIUT宇宙際は
全く新しい「理論」で数学ではないね。
早く角川は川上量生企画.望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」
を英訳し公式に出版しなさい。
79: 2025/11/17(月)21:25 ID:0A35TjVy(4/13) AAS
>>75
追加
zmc
外部ﾘﾝｸ:zen.ac.jp
80(2): 2025/11/17(月)22:17 ID:0A35TjVy(5/13) AAS
前スレ58より
0980 １３２人目の素数さん
2025/11/15(土) 11:25:47.43
・0657 １３２人目の素数さん
2025/10/22(水) 00:08:26.07
>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
外部ﾘﾝｸ:ideone.com
省26
81: 2025/11/17(月)22:34 ID:0A35TjVy(6/13) AAS
>>80
前スレ58
・0047
１３２人目の素数さん
2025/06/15(日) 22:07:22.53
ちな情報の存在論的条件から導かれる宇宙モデルに関しては、ほぼ形而上学なので哲学板に書いておいたので 興味があれば参照してくれ
情報の存在論的条件から導かれる宇宙モデル
外部ﾘﾝｸ:lavender.5ch...gi
省2
82: 2025/11/17(月)23:01 ID:0A35TjVy(7/13) AAS
>>76
あなたはIUTが数学と勘違いしています
83(1): 2025/11/17(月)23:02 ID:G/rJPCwa(1/7) AAS
まぁなんでもやってみたらいい。
iutが既存の数学体系に乗るならLeanが保証してくれる。
乗らないならどんな言語体系、推論体系持つのか、望月先生によれば学部生でもできるらしいから、ゲンツェンなりヒルベルトなり横目で見ながらiut基礎論自作してiut版leanでも作って通して見せればいい
84: 2025/11/17(月)23:05 ID:0A35TjVy(8/13) AAS
>iutが既存の数学体系に乗るならLeanが保証してくれる。
無意味では？
オカルトマニアさんは有能と思う
85(1): 2025/11/17(月)23:09 ID:G/rJPCwa(2/7) AAS
いや、正しいなら無意味じゃないよ。通らなかった場合は「お前の解釈がおかしい」と言い訳されるが、正しい場合には完全に通る。元々「正しいことを保証するためのツール」ちなみに論文の筆者なら読み方の曖昧さがないから逆向きのツールとしても使える。
86(1): 2025/11/17(月)23:10 ID:0A35TjVy(9/13) AAS
>>83
FLTの形式化は未だです
87(1): 2025/11/17(月)23:14 ID:0A35TjVy(10/13) AAS
>>85
正しいのは遠アーベル幾何学の部分
としIUTを遠アーベル幾何学に
含めるとしたら？
88(1): 2025/11/17(月)23:16 ID:G/rJPCwa(3/7) AAS
>>86
別にFLTの論文は普通の数学者が普通に行間を補完できてるのだからそんなツールに正しさを保証してもらう必要はない。
iutは現時点で普通の数学者が行間を埋められない。
というよりおそらくそもそも通常の数学の基礎論には乗せられない。もちろんleanも通らないやろ。
頑張ってねぇ
89(1): 2025/11/17(月)23:17 ID:0A35TjVy(11/13) AAS
>>88
ケビンバザードがFLTの形式化
に取り組んでいるよ
90(1): 2025/11/17(月)23:18 ID:G/rJPCwa(4/7) AAS
>>87
知らんがな
正しいと思ってるんならLean通してみたらいい。
そしたらみんな正しいと認めるよ。
91: 2025/11/17(月)23:19 ID:G/rJPCwa(5/7) AAS
>>89
やりたきゃやったらいいがな。そのロジックはこうなん？
・iutもfltもまだlean通ってない
・でもfltはlean通ってないけどみんな認めてる
・だからiutだけ認められないのはおかしい
アホか
92(1): 2025/11/17(月)23:21 ID:G/rJPCwa(6/7) AAS
てか君「数学の議論では議論の開始時点でモデルをひとつ固定するなんて聞いたことない」とか言ってた素人君じゃないの、
そんな程度でよく基礎論の議論するに参加できるね
93: 2025/11/17(月)23:27 ID:0A35TjVy(12/13) AAS
>>92
あちらのIUT応援 CULTスレのこと？。
94(1): 2025/11/17(月)23:30 ID:0A35TjVy(13/13) AAS
>>90
望月新一監修加藤文元著IUT本
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・
p69「興味深い」ということ
省9
95: 2025/11/17(月)23:54 ID:G/rJPCwa(7/7) AAS
少なくとも望月先生がiut4で言ってた主張「基礎の公理を外したzfcなりbgなりの上ならiutの全論文は通常の基礎論上の文章として読める」はダメやろな。通常の基礎論の上では「公理を減らしたら証明できる」などという事はありえない。そもそもショルツが見つけた不具合も解決しとらんやろ。
そもそも結局iutが
「通常の数学では最初にひとつモデルを固定するという原則を外してみたら新しい手法ができるんじゃないか」
というアイデアを実現したものなら通常の基礎論上では全く議論できない。もちろんleanも通らない。
iutがまともに数学としてみなせるものになるには基礎論の作り直しからするしかない。俺にはどうやったらいいかサッパリわからんけど望月先生の言によれば学部の3回生レベルでできるらしいからできると思うならやってみればいい
96: 2025/11/18(火)00:29 ID:GFNvzk0j(1/9) AAS
望月新一監修加藤文元著IUT本
はscholze stixレポートへの回答
だ。
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
→ワイルズのFLTの証明形式化は
既存の数学の発展課題だ。
基礎の議論はこちら。
>望月教授は、言うなれば、
だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
省4
97: 2025/11/18(火)02:31 ID:GFNvzk0j(2/9) AAS
>正しいと思ってるんならLean通してみたらいい。
そしたらみんな正しいと認めるよ。
IUTは数学ではないしオカルト性が強い。
オカルトマニアさんは「境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったlean4を通った」
と主張している。>>80
しかしオカルトマニアさんには皆否定
的だけど。
しかしトンデモIUTがleanを通った場合は日本数学界がIUTをみんな正しいと認める
んだね。
abc予想は京都限定定理から
省1
98: 2025/11/18(火)07:01 ID:F82Dr7YX(1/4) AAS
いや、lean通ったら全世界で認められるやろ
99(1): 2025/11/18(火)07:26 ID:GFNvzk0j(3/9) AAS
あら なぜICM2026にIUTがないの？
100: 2025/11/18(火)08:02 ID:EoZ2Z0xb(1/3) AAS
leanを通ったら全世界が認める
当然だ
（bugを意図的に利用して一時的に通すことは
不可能ではないだろうが、そんなん必ず発覚する）
しかし大勢でもう何年もやってるfltの形式化が
いつ終わるとも分からない現状を見ても
iutの形式化など（たとえ正しくとも）現実的でない
leanを通せという要求もありえない
そんなことより"functorial algorithm"等々の
未定義述語を明示的に定義しろっての
省1
101: 2025/11/18(火)08:06 ID:F82Dr7YX(2/4) AAS
そりゃ全部通やないとダメやろ
一部通っても意味ない
102: 2025/11/18(火)08:12 ID:GFNvzk0j(4/9) AAS
>いつ終わるとも分からない現状を見ても
iutの形式化など（たとえ正しくとも）現実的でない
たとえ正しくとも、とはIUTを数学
として扱っているんだね。
103: 2025/11/18(火)08:13 ID:F82Dr7YX(3/4) AAS
iut全体を形式化しろとまでは数学界は求めていない。
求めているのはiutが通る数学基礎論を構成する事
実際全ての数学者は少なくともゲンツェンなりヒルベルトなりが構成した数学基礎論のルールに従う証明は読めるしかける。キチンと基礎論に従った文章ならそれをleanに書けることもなく、正しい文章ならそうと判定できる。
それと同じ事を求めてるだけ。現代数学の基礎論通らないのはもう確定してると思って間違いない。もうiutが数学と呼べるものだと言いたいなら基礎論から作り直してそれを発表しろ、そしたらそれに則ってるのかはこちらでやると言ってる。
その要求が求め続けて10年。もうそのうち出るなどという言い訳が通じる時間は過ぎた
104: 2025/11/18(火)08:20 ID:EoZ2Z0xb(2/3) AAS
>そしたらそれに則ってるのかはこちらでやると言ってる。
解決にならないと思うよ
これまで通り読解不可能なものを出されて
理解できないのはできない方がが悪いって言われるんだから
105: 2025/11/18(火)08:21 ID:GFNvzk0j(5/9) AAS
>たとえ正しくとも
IUTを数学として扱っているね。
106: 2025/11/18(火)08:31 ID:EoZ2Z0xb(3/3) AAS
オツムに問題を抱えた人ですか？
107: 2025/11/18(火)08:40 ID:GFNvzk0j(6/9) AAS
IUTは数学？全く新しい理論？
どちらですか？
108: 2025/11/18(火)08:43 ID:GFNvzk0j(7/9) AAS
IUTは数学？全く新しい理論？
どちらですか？
109: 2025/11/18(火)08:52 ID:F82Dr7YX(4/4) AAS
まぁだからキチンと通常の数学基礎論による現代数学の規定に類するものを出せばいい。
ちなみに俺はiutはあかんやろなと思ってる。望月先生がどういう経緯でミスしたのかもなんとなくわかる。
そしてそれを打開するなら基礎論作り直ししかないと思うけどそれも無理だと思う。
まぁ思ってるだけで確証はないので違う、できると思うならやってみればいい。逆にそれをしない限りiutが復活することはないやろな
110(1): 2025/11/18(火)09:21 ID:GFNvzk0j(8/9) AAS
>キチンと通常の数学基礎論による現代数学の規定に類するものを出せばいい。
まず4のIUT論文を取り下げること。
111: 2025/11/18(火)09:31 ID:1TTOSTAw(1) AAS
>>110
4のIUT論文→4つのIUT論文
112: 2025/11/18(火)12:51 ID:GFNvzk0j(9/9) AAS
整理すると
スレにはIUT論文の資料.記録を貼ってある。
資料.記録を理解できない方がIUTと数学を混同している、あるいは意図的に混同しているかもしれない。
・
>>27
望月新一監修加藤文元著宇宙と宇宙をつなぐ数学とNHKスペシャルの加藤文元発言より
IUTは数学でなく全く新しい理論
でIUT論文は言語体系も未完成、
つまりIUT論文は間違ってすらいないということ。
・まず京大数理研の数学誌PRIMS特別編集委はIUT論文を完全な論文として受理したが未完成の論文で間違い。
省1
113(2): 2025/11/19(水)08:51 ID:QmKkTMNE(1/2) AAS
>>99
だれも答えないけど
数学界のアンタッチャブルかね？
114(2): 2025/11/19(水)09:00 ID:QmKkTMNE(2/2) AAS
あら なぜICM2026もIUTがないの？
115(1): 2025/11/19(水)18:04 ID:WWLnNp1T(1) AAS
>>113,114
さあ・・・？
ということでは？
116(1): 2025/11/19(水)19:31 ID:UMT+tMXY(1/2) AAS
>>113-114
コピペ君は相変わらずノータリンだな
そーゆーのに返事が欲しかったら応援スレにいってsetaと戯れてなさい
117(3): 2025/11/19(水)20:12 ID:GWLC+MDc(1/4) AAS
>>76
>コピペ君は数学理解してないっすね
IUTは数学ではないと理解できない的外れだから、
IUT応援 CULTスレのコピペ専のseta
とバトルでIUT応援だね
外部ﾘﾝｸ[html]:hissi.org
118: 2025/11/19(水)20:17 ID:GWLC+MDc(2/4) AAS
>>116
>コピペ君は相変わらずノータリンだな
あなたはあちらのIUT応援 CULTスレでどうぞ >117
119(1): 2025/11/19(水)20:19 ID:UMT+tMXY(2/2) AAS
コピペ君は>>117の投稿がIUT応援だと思ってるんだ
やっぱり数学はこれっぽっちも理解してないノータリンだな
120: 2025/11/19(水)20:25 ID:GWLC+MDc(3/4) AAS
>>119
あなたはIUTは数学ではないと理解できない的外れだから、
IUT応援 CULTスレのコピペ専のseta
とバトルでIUT応援していなさい
121: 2025/11/19(水)20:57 ID:GWLC+MDc(4/4) AAS
ICMは国際数学者会議
こくさいすうがくしゃかいぎ、
International Congress of Mathematicians
122: 2025/11/20(木)08:06 ID:Rq7pYXxV(1/6) AAS
ICM(=International Congress of Mathematicians、国際数学者会議
こくさいすうがくしゃかいぎ)
123: 2025/11/20(木)08:28 ID:4uwyiGs7(1) AAS
ICM2026にIUTが全く取り上げられないのは
数学者はIUTに全く興味ないから
妄想を面白がる数学者はいない
124(3): 2025/11/20(木)10:02 ID:Rq7pYXxV(2/6) AAS
IUT(国際数学者会議)は数学について議論する会議。
IUTは数学の範囲外だ。
川上量生企画.望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学」と
NHKスペシャルの加藤文元発言によれば
・IUTは全く新しい理論としても
IUT理論は間違ってすらいない。
理由)
(>>27)
I UT論文が京大PRIMS
編集委に受理された2020年2月
省4
125: 2025/11/20(木)10:04 ID:Rq7pYXxV(3/6) AAS
>>124
× IUT(国際数学者会議) ⚪︎ICM(国際数学者会議)
126(2): 2025/11/20(木)10:15 ID:Rq7pYXxV(4/6) AAS
ICM2026 arxive
外部ﾘﾝｸ:arxiv.org
127: 1 2025/11/20(木)15:06 ID:Rq7pYXxV(5/6) AAS
0002
１３２人目の素数さん 2025/11/12(水) 03:40:47.40
IUT応援スレと区別.混乱の防止のため、応援.信奉者の書き込みや本スレのレス引用は硬く遠慮ねがいます 。
128(1): 2025/11/20(木)15:08 ID:Rq7pYXxV(6/6) AAS
>>126
ICM(国際数学者会議)は数学について議論する会議。
トンデモのIUTは数学の範囲外だ。
川上量生企画.望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学」と
NHKスペシャルの加藤文元発言によれば
・IUTは全く新しい理論としても
IUT理論は間違ってすらいない。
理由)
(>>27)
I UT論文が京大PRIMS
省5
129(1): 2025/11/20(木)22:34 ID:TbLiRVul(1) AAS
>>34
ユークリッド幾何。
中学数学過程の幾何について
中学教師用の数学テキスト
視点は異なるともに良書。
1 小平邦彦
幾何への誘い .岩波現代文庫
2 森脇淳 平面幾何の基礎
-ユークリッド幾何と非ユークリッド幾何- サイエンス社
130: 2025/11/21(金)08:20 ID:pzmunt+J(1) AAS
>>129
小平邦彦.幾何への誘い.目次
⚫︎序章
「旧制中学の平面幾何学は定規とコンパスを持ちいて描いた図形に見られる現象を研究する自然科学」
⚫︎第1章
図形の科学としての平面幾何。
「図形の科学としての平面幾何のの対象は例えば、定規とコンパスを用いて描いた図形です。図形を描くのが図形の科学の実験で、そこに見られる現象を証明するのが図形の科学の理論です。
図は正確に描かなければなりません。これは物理学で実験は精密に行わなければならないのと同じことです。」
⚫︎第2章
数学としての平面幾何
省6
131: 2025/11/22(土)06:29 ID:KMZHKsme(1) AAS
IUTは「不可避の内在的な緩み 」=「不定性」が存在するという発見 =発想の転換の妄想で例えに物理の量子力学の不確定性原理まである。>128
小平本ではユークリッド原論は
図形の科学とし図形を描くのが図形の科学の実験で、そこに見られる現象を証明するのが図形の科学の理論だ。
実験に基づく物理の方法と同様 に自然科学の方法だ。
132: 2025/11/22(土)07:20 ID:b3hQ3mUu(1) AAS
複素数がなければシュレディンガー方程式を
書くことさえできない
133: 2025/11/23(日)06:59 ID:ydVapgAi(1) AAS
>>126
ICM2026 (国際数学者会議2026)
speaker. Thomas Lam
・The combinatorial geometry of particle physics
素粒子物理学の組み合わせ幾何
・ThomasLam
ミシガン大学.
Section Lectures
7 - Lie Theory .13 - Combinatorics
Lam is a combinatorialist working at the interface with algebraic geometry, representation theory, and physics.
省4
134: 2025/11/25(火)10:16 ID:qiGRAJEs(1/2) AAS
望月新一のIUT理論の検証と
川上量生企画.望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」とIUTについてNHKスペシャルによれば、
IUT理論は数学ではない。
・IUT理論は望月語による。
IUT「理論」は比喩や多くの言葉や
により説明されるが元々望月語で構築され望月新一しか理解できない
>5 >16
・IUT理論のギャップについて。
パラダイムシフト論より数学基礎論は旧時代の数学とし、IUT論文はパラダイムシフトされた全く新しい理論の大論文と
省2
135: 2025/11/25(火)10:18 ID:qiGRAJEs(2/2) AAS
ユークリッドの原論の時代から全く新しい理論のパラダイムシフトの時代はなかった。>33 >34
136(3): 2025/11/26(水)11:10 ID:OKYvoybi(1) AAS
忘備録。
ハーツホーン、幾何学1
・最後に、公理系は完全であるか
という問題がある。すなわち、
公理系のすべてのモデルで成り立つ命題は「公理系から結果として証明されるか」という問題である。ゲーデルは、相応に豊富な任意の公理系が、完全ではあり得ないことをしめしている。
137(4): 2025/11/27(木)18:27 ID:bnKeMjMJ(1/2) AAS
>>136
続き
「この文章は意味不明である。
それは完全性定理と不完全性定理にでてくる「完全」という言葉を混同したことに起因するのだろう。
完全性定理の「完全」は体系が意味論的に、、成り立つ命題を形式的に証明するのに十分な能力を備えている意味であろう。
「公理系が完全」というのは「公理系から任意の命題が証明可能か、
あるいはその否定命題が証明可能である」が定義であって「すなわち」で始まる文章は「すなわち」になっていない。その後の文章は不完全定理に言及しているが、この種の問題をこういう表面的な理解で語るのは大変危険である。
パガレロフ「幾何学の基礎」は実双曲幾何に関する大変優れた著作であるが、これにも「完全性」という実に奇妙な概念が導入されていて、1階と高階論理が全く区別されていない、基礎論の基礎知識の欠如が数学者の共通の弱点であることがここに露呈している。」
足立恒雄.
よみがえる非ユークリッド幾何
138: 2025/11/27(木)18:40 ID:bnKeMjMJ(2/2) AAS
>>137
不完全性定理
菊池誠
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
139: 2025/11/27(木)18:56 ID:HIjRcIFt(1) AAS
>>137
>これにも「完全性」という実に奇妙な概念が導入されていて
どんな定義なんだろ
140: 2025/11/28(金)02:45 ID:GJ2cqoAW(1) AAS
残念ながらパガレロフ「幾何学の基礎」は大学図書館の蔵書になかった
141: 2025/11/28(金)18:42 ID:unsOdPp1(1) AAS
>1階と高階論理が全く区別されていない
平面幾何。
タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だろう
142(2): 2025/11/29(土)08:16 ID:w28VS7mS(1/3) AAS
qunta magazine .2025.6.2
The Core of Fermat’s Last Theorem Just Got Superpowered.
フェルマーの最終定理の核心が超パワーアップした。
・
Modularity also forms the foundation of the Langlands program, a sweeping set of conjectures aimed at developing a “grand unified theory” of mathematics. If the conjectures are true, then all
モジュラリティはまた、数学の「大統一理論」を構築することを目指す広範な予想群であるラングランズ・プログラムの基盤を成している。
省3
143: 2025/11/29(土)08:17 ID:w28VS7mS(2/3) AAS
>>142
外部ﾘﾝｸ:www.quantamagazine.org
144(1): 2025/11/29(土)10:17 ID:w28VS7mS(3/3) AAS
>>142
IUTによるFLTの別「証明」と称するEXPLICIT ESTIMATES IN IUTはIUT論文に基づきこの論文と全く関係ありません。
カレガリはabc予想について
京都限定abc定理の立場です。
145: 2025/11/29(土)12:17 ID:4lbxlfcy(1) AAS
>>144
時間が経つにつれてだんだんマズイ状況になるよね
ハッキリここがダメここは良いと判断されれば
ダメなところを引用することは無くなるのに
146: 2025/11/29(土)12:31 ID:DuOBgy4V(1) AAS
1。
IUTとラングランズプログラムは無関係で混同は間違い。
・IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一
>5 (>>43 )
P8
>H4.wilesの仕事は正に「表現論的なアプローチ」の代表
>ラングランズプログラムに代表されるような「表現論的アプローチ」は確かに現代数論の大きな研究の流れの１つですが、数論における全ての本質的な現象は
「その傘下に入る」あるいは「その
省5
147(1): 2025/11/29(土)19:56 ID:kfPis5Az(1) AAS
abc予想が数学界の誰にも相手にされていないって本当
148(1): 2025/11/29(土)21:00 ID:vKWTYXW+(1) AAS
ちょっと気になってAIに聞いてみたんだが
俺:
望月新一の論文に「エイリアン」とか「劇場」とかの概念が出てくるらしいが、言葉選びのセンスは国際的にどう評価されてるか
AI:
望月新一のIUT（宇宙際タイヒミュラー理論）の論文で使われる「エイリアン」（mutually alien copiesやalien arithmetic holomorphic structures）や「劇場」（Hodge theater、D-Θ±ellNF-Hodge theaterなど）といった用語は、国際的な数学コミュニティではほぼ一貫して「極めて特異で悪趣味」「過剰に装飾的で理解の妨げになる」と酷評されています。
そうなの？
149: 2025/11/30(日)00:06 ID:2B1q6hNN(1/2) AAS
> 「エイリアン」や「劇場」
といった用語
川上量生企画.加藤文元著「宇宙と
宇宙をつなぐ数学」は、望月新一監修で望月新一教授の意見かつ
scholze.stixレポートへの回答です。
(>>17)
IUT理論は数学ではなく全く新しい理論。
特徴は、
・望月教授がだれも 話したことがない、新しい言語を 用いて理論を組み立てた。
・あまりにも 新奇で斬新な理論。
省7
150: 2025/11/30(日)00:20 ID:2B1q6hNN(2/2) AAS
>>147
まあ
望月新一氏の米プリンストン大時代の指導教授.フィールズ賞受賞者 ゲルト.ファルティングス氏 については
2021.7.27 石倉徹也朝日新聞記者
ゲルト.ファルティングス氏
IUT論文について
「論文は理解できなかった。
自分の研究に時間を割くことに した」と朝日新聞の取材に答えたそうだ。
151: 2025/11/30(日)00:53 ID:0lMEOWqC(1) AAS
>>30
>この集合がｐであり、すべての素数がPであるならばｐ∈ P となる。
数学としてｐ∈ Pでなくp⊂Pとの指摘がある。
しかしｐ∈ p⊂ Pかもしれないし、IUTは数学でなく全く新しい理論。
Faltings氏でさえIUTを理解できないし
まあｐ∈ Pなんだろう
・ポイントは
>真の問題は、IUTがｐ≠Pであるにもかかわらずｐ=Pと仮定している点にある
152: 2025/11/30(日)07:02 ID:yBoylAaI(1/3) AAS
望月新一の論文について
良い点：系３．１２といういいアイデアがつまった命題を思いついたこと
悪い点：系３．１２を正当化するのにわけのわからん屁理屈を弄して失敗したこと
率直にいって、１０００ページを超える論文で意味があるのは実質数十ページ
でも０じゃないだけ、よかったんじゃない？ そんな感じ
153: 2025/11/30(日)07:04 ID:yBoylAaI(2/3) AAS
系３．１２はいいけど、それを正当化するのに
宇宙間の通信とかラベル（＝集合？）の貼替とか
いってるのは全然ダメダメって感じか
上下前次1-新書関写板覧索設栞歴
あと 849 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.067s