[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
887: 10/30(木)23:20 ID:r3jM4C7x(3/3) AAS
>>886
ソソ
888(1): 10/31(金)06:03 ID:e84FC0yc(1) AAS
光明はいずこ
889: 10/31(金)07:33 ID:K+BqyW3J(1/2) AAS
動画ﾘﾝｸ[YouTube]
890: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/31(金)11:50 ID:0+I+3mSE(1/5) AAS
次スレ立てた
ここを使い切ったら 次スレへ
2chｽﾚ:math
Inter-universal geometry と ABC予想 (応援スレ) 77
891: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/31(金)12:04 ID:0+I+3mSE(2/5) AAS
>>883
>ラングランズ予想
巡回ご苦労様です
IUTは、ラングランズ予想の二次元版だと フェセンコ先生の言（下記）
(参考)
外部ﾘﾝｸ:ivanfesenko.org
L Anabelian geometry, IUT theory, and applications
外部ﾘﾝｸ[pdf]:ivanfesenko.org
[L3] Class field theory, its three main generalisations, and applications, EMS Surveys 8(2021) 107-133
I FESENKO 著 · 被引用数: 2 — Three main generalisations of class field theory: higher class field theory, Langlands correspondences and anabelian geometry, and their further developments ...
省13
892(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/31(金)14:38 ID:0+I+3mSE(3/5) AAS
>>888
>光明はいずこ
巡回ご苦労様です
光明は、ありまくりですが
例えば、外部ﾘﾝｸ:ahgt.math.cnrs.fr
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
遠アーベルのConference多数だし
例えば、”2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した[79][80][81]。”外部ﾘﾝｸ:ja.wikipedia.org
これが、どの雑誌の査読論文として いつ掲載されるのか？ （多分 RIMSか、旧東工大か、中国で と思う）
省11
893: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/31(金)14:38 ID:0+I+3mSE(4/5) AAS
つづき
下記では 科学記者の話として 好意的な評価をしていたのにね
プリンストン大飛び級の数学天才に
凡人から見ての社会常識を求めるのもあれですが・・ｗ
ショルツェ氏との討論の記録でも、そうだったが
不必要に敵を増やしている・・
それで世の中を渡って行けるのが
数学の天才たる所以でしょうね （＾＾
外部ﾘﾝｸ:plaza.rakuten.co.jp
新一の「心の一票」
省7
894: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/31(金)15:22 ID:0+I+3mSE(5/5) AAS
>>861 戻る
>外部ﾘﾝｸ:ja.wikipedia.org
>富山県立富山中部高等学校（英: Toyama Prefectural Toyama Chubu High School）は、富山県富山市芝園町に所在する公立高等学校。
>著名な出身者
>学者
>田中耕一（1978年） - ノーベル化学賞受賞者
追加
”実業
角川源義[11]（1935年） - 角川書店創業者
数土文夫（1959年） - 東京電力会長、NHK経営委員長、JFEホールディングス社長
省13
895(1): 10/31(金)17:26 ID:wPUKEdiU(1/3) AAS
>>892
誤 望月さん 社会人としては いまいち
正 望月新一 数学者として集合論の初歩から誤解してる
証拠
(DfUv1) the profinite fundamental group associated to a Galois category, developed in SGA1, as well as
(DfUv2) the general nonsense of homological algebra surrounding derived functors such as cohomology functors
(cf. the discussion of (AlgCl), (HomRs) in [EssLgc], §3.8).
Here, we note that in both of these cases,
the necessity of passing to a larger universe in order to obtain a canonical construction of the object of interest
(i.e.,profinite fundamental group or cohomology module)
省6
896: 10/31(金)17:33 ID:wPUKEdiU(2/3) AAS
より大きな宇宙を考えることができることと
「元の宇宙とより大きな宇宙の元が一対一対応する」
というトンデモ主張は全く異なる
集合論のテキストのどこをどう読めば
「元の宇宙とより大きな宇宙の元が一対一対応する」
のような●ったことを妄想できるのか？
学生が
「元の宇宙とより大きな宇宙の元が一対一対応する」
のような●ったことをいえば
●違い扱いされるのは必至である
897(1): 10/31(金)18:01 ID:WYQ8PTXb(1) AAS
>>884
IUTが成立すると，その結果認められる膨大な
定理を受け入れてるかどうかでしよ。、
898: 10/31(金)20:31 ID:wPUKEdiU(3/3) AAS
>>897
京都でも望月新一以外の人は
系3.12を”望月予想”としてしか見ていない
証明が理解できないのだからそうなる
系3.12を前提としたABC予想の証明はその通りだろうが
要はABC予想が望月予想(＝系3.12)に置き換わっただけのこと
899(2): 10/31(金)21:50 ID:H6bxhDVL(1) AAS
>a clear violation of the axiom of foundation
ずーっと言われ続けてることですが、setaや望月氏の、
公理が何かを禁じてるという見方はおかしいっすね
特に基礎の公理で言えば
それこそ「ZFC-基礎の公理」の保存拡大なんだから
「基礎の公理に反するから矛盾」なんて言わないよね
900(2): 10/31(金)22:46 ID:K+BqyW3J(2/2) AAS
そう。なので「基礎の公理があると証明できないが、基礎の公理をはずしたところなら証明できる。」などということはそもそもあり得ない。ところが iut では
公理が外れる→モデルが(universeが)増える→それを利用して証明ができる
らしいが、そんなこと通常の数学の論理の下ではありえない。公理が減れば純粋に証明できる命題が減るだけ。「公理が少ないほうが証明できる」ならそれはもう通常の数学の論理体系ではない。そういうものが使いたいなら勝手に使えばいいが、それならそれでどんな体系を使うのかそこから始めないと話にならない。
901: 10/31(金)23:38 ID:JkbMwRi+(1/2) AAS
>>900
なら
公理全部外しちゃえば何でも証明できそう
902: 10/31(金)23:43 ID:JkbMwRi+(2/2) AAS
>>899
>基礎の公理
Axiom of Foundation
903(1): 11/01(土)01:24 ID:hd80eHy+(1/3) AAS
>>899
>公理が何かを禁じてるという見方はおかしいっすね
その公理の否定を禁じているのでは
904: 11/01(土)08:46 ID:7BBVOVDn(1) AAS
>>903
>>その公理の否定を禁じているのでは
それは「見方」ではなく「事実」だろう
905: 11/01(土)10:06 ID:rurCwLia(1/6) AAS
>>900
> iut では
>公理が外れる→モデルが(universeが)増える→それを利用して証明ができる
>らしい
実際は
「公理を外して、元の公理に反する別の公理を入れる」
だな
しかも、それは定理が増えるのではなく
「元の公理系では定理でなかったものが定理になり、定理だったものが定理でなくなる」
という副作用を伴う
省6
906: 11/01(土)10:08 ID:rurCwLia(2/6) AAS
ZFCでは到達不可能基数の存在は導けないが
それは到達不可能基数の存在を否定するものではない
単に到達不可能基数が存在しないモデルを許容するだけのこと
到達不可能基数の存在を公理に追加すれば
到達不可能基数が存在しないモデルは許容されない
それは無限公理の設定により
無限集合が存在しないモデルが許容されなくなるのと同じ
上下前次1-新書関写板覧索設栞歴
あと 96 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s