[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
689(1): sage 2022/04/28(木)20:19 ID:TszF1sFA(1) AAS
＞証明出来ていないものは理解できないコンピュータ
コンピュータは理解するの？
フェルマー最終定理の証明とか。
690: 2022/04/28(木)20:35 ID:2eKniQGM(4/4) AAS
>>689
もちろんするが
691(1): 2022/04/28(木)20:43 ID:CaxFsI+g(1) AAS
形式化って門外漢にはわかりにくいというか
手頃な参考書的なものはあまりないよな
まあleanだとpdfのマニュアルなんかはあるけど
692: 2022/04/28(木)20:48 ID:Pij0bwl1(1) AAS
信州大かどっかがcoqのマニュアル作ってた
pdf公開してたはず
693(5): 2022/04/28(木)21:10 ID:2nf0w5TH(1) AAS
>>679 訂正と補足
なんか、ワケワカさんが、
無闇に突っ込んで自爆していますねｗ
まず訂正
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制です
↓
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制限です
省26
694(1): 2022/04/28(木)21:37 ID:ztGXPhc+(1) AAS
>>693
とりあえずルベーグ積分論あたりから勉強しなおしたら？
許す場合も許さない場合もあるから。
695(2): 2022/04/28(木)21:45 ID:+gaZyQqp(1/2) AAS
>>695
お前が他人に数学の話を上からしゃべれるわけないやろ？
なんの努力にも裏打ちされない自分勝手な妄想でしかない謎の数学力で誤解だらけのアホ文章創作するだけの能無し
696(2): 2022/04/28(木)21:46 ID:+gaZyQqp(2/2) AAS
>>695は>>693のアホセタ当て
697(2): 2022/04/28(木)22:33 ID:waSWXVWr(1) AAS
風説の流布を自覚しても「ここは玉石混淆が許される5ちゃんねる、謝罪だの訂正だのクソくらえ」発言のセタ
人権を剥奪され次第、害の有る動物として屠殺すべし
698(1): 2022/04/29(金)07:58 ID:b8gsErp4(1/15) AAS
>>567 & >>575
関連
外部ﾘﾝｸ:webcache.googleusercontent.com
math_jin
Apr 25
More
Last week a review of the Mochizuki IUT papers appeared at Math Reviews, written by Mohamed Saidi. His discussion of the critical part of the proof is limited to:
省17
699: 2022/04/29(金)08:12 ID:VrIdLbpW(1/3) AAS
>>693
>なんか、ワケワカさんが、無闇に突っ込んで自爆していますね
ワケワカさん＝90oIbXEw ですね
あなたもそうおもいましたか
>まず訂正
>無制＝無制限
ああ、2nf0w5TH＝90oIbXEw でしたか
省2
700(1): 2022/04/29(金)08:24 ID:VrIdLbpW(2/3) AAS
>>693
>さて、念押しですが
>条件 p,q を満たすものの集合をそれぞれ P,Q とするとき
>条件「pかつq」および「pまたはq」をあらわす図は、
>それぞれ次のようになる。
>・ここで、
>「pかつq」←→P∩Q
省16
701: 2022/04/29(金)08:34 AAS
＞「ZFC」は、”公理的集合論の標準形式であり、
＞今日では最も一般的な数学基礎論となっている”（上記 wikipediaより）
素人による典型的な誤訳だな
誤 数学基礎論
正 数学の基礎
直しといたよ リンクは「数学基礎論」に飛ぶようにしといたから
（注：日本語の「数学基礎論」とは数学の基礎に関する研究(study)を指す）
702(1): 2022/04/29(金)08:38 AAS
>>696-697
ああ、「●タ」とか書いたら下げマスがまた
「オレの本名、本籍を詮索するなぁぁぁぁ！！！」
と発狂するからやめとき
703(2): 2022/04/29(金)09:47 ID:b8gsErp4(2/15) AAS
>>696-697
個人情報を含む”荒し”として、通報しました
繰り返せば、浪人BANや長期アク禁でしょうね
>>702
それ正しい
毅然と通報対処します！
704(2): 2022/04/29(金)10:03 ID:LW5CTliQ(1/2) AAS
カリフォルニア大の院生のいうことが信用できるならば、
Kedlayaだけでなく複数の数学者が(望月だけでなく)ショルツの議論もおかしい
と考えているんだろ
まだ状況は相変わらず望月不利だと思うけど、
一部のアンチが断言するほどでは全くないね
705(1): 2022/04/29(金)10:09 ID:b8gsErp4(3/15) AAS
>>694
>とりあえずルベーグ積分論あたりから勉強しなおしたら？
>許す場合も許さない場合もあるから。
ありがと
しかし、論点ずれてる
1）まず、もともとは、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」だった
2）>>679 の「高等学校数学A/集合と論理」にあるように
省15
706: 2022/04/29(金)10:22 ID:LW5CTliQ(2/2) AAS
>>704
「複数の数学者」とは書いてなかったね。訂正する。
707(1): 2022/04/29(金)10:26 ID:b8gsErp4(4/15) AAS
>>704
レスありがとうございます。
かなり同意です
1）昨年の4回の国際会議と、今年のNHKスペシャルを踏まえて、今一度総括して
これから何をやるべきか？ 戦略の練り直しが必要でしょう
2）文科省のお役人から「NHKスペシャル見ましたよ。これからどうするのですか？」なんて言われそうです
RIMS所長は、小野 薫さん？ 次世代幾何学国際センター は、何をすべきでしょうか？
省9
708: 2022/04/29(金)10:27 ID:/zmYLr5R(1) AAS
>>687
2045年には自動証明ができるようになる。
だから、才能ある若者は数学を目指さなくなりつつある。
709(1): 2022/04/29(金)10:33 ID:b8gsErp4(5/15) AAS
>>700
>そうしないと、集合論を一階述語論理で記載できませんよ
良いんじゃね？
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理という しばりないよ
710: 2022/04/29(金)10:48 AAS
>>703
>毅然と通報対処します！
ていうか下げマスが発●せず無視すればええねん
どんだけキ●タマちいせえんだよ 三歳児かｗ
711(1): 2022/04/29(金)10:54 AAS
>>707
次世代幾何学国際センターには 望月新一の名前ないな
RIMSは望月新一を看板にするの諦めたんだな
乃木坂5期生で中西アルノを”かつてない歌声”とかデッチ上げて
29thセンターに担ぎあげて大失敗したようなもんか？
外部ﾘﾝｸ:bunshun.jp
712(1): 2022/04/29(金)11:06 ID:VrIdLbpW(3/3) AAS
>>709
>>集合論を一階述語論理で記載できませんよ
>良いんじゃね？
全然良くないけど
>そもそも、
>「普通の命題論理では論理和と論理積は
> 無限に続くことが許されないので
省12
713(1): 2022/04/29(金)11:30 ID:b8gsErp4(6/15) AAS
>>712
また、論点ずれている
>>は、一階述語論理という しばりないよ
>論理式は有限文字数で記載できないとダメ これ豆な
一階 vs 高階 と、
文字数 有限とを混同しているな
なお、>>705 添え字i∈N(自然数) で ∪i Pi （可算無限和）は、文字数 有限です
省1
714(1): 2022/04/29(金)12:19 ID:VdhsbiVI(1/2) AAS
>>711
このままIUTもろともフェードアウトしていってしまうんかね
715(1): 2022/04/29(金)13:39 ID:0+9nvxkb(1/5) AAS
>>714
今年のICMあたりで評価が定まらなければ
ロシアの戦争程度には長引きそうだ。
716(2): 2022/04/29(金)14:53 ID:VdhsbiVI(2/2) AAS
>>715
10年前からずっとそんな調子だったが、、、
査読が駄目ならあとは何をもって認められたことになるんだろう？
717(1): 2022/04/29(金)15:21 ID:SETI/AMU(1) AAS
>>716
もちろん望月論文を引用した論文が次々に作成され、それがアクセプトされ出版され、望月理論を勉強するためのワークショップがいくつも開催され、望月理論を確認、行間埋めなどを行う調査論文が寄稿され、素人向けの啓蒙書ではなく、院生、数学者向けの望月理論のための入門書が出てきたらやろ
718(2): 2022/04/29(金)15:21 ID:0+9nvxkb(2/5) AAS
Nスぺを見た限り
Dupuyの頑張りに期待している数学者は多いと思う。
719(4): 2022/04/29(金)15:30 ID:b8gsErp4(7/15) AAS
>>716
> 10年前からずっとそんな調子だったが、、、
>査読が駄目ならあとは何をもって認められたことになるんだろう？
10年間ずっと同じじゃ無い
実際、10年目のNHKスペシャルは、ビッグな出来事ですｗ
それは冗談として、何をもって認められたことになるか
「認められた」は、その専門分野の数学者の大多数が、「正しい」と納得したときでしょう
省14
720: 2022/04/29(金)15:30 ID:b8gsErp4(8/15) AAS
>>719
つづき
1983年にダニエル・ゴーレンシュタインは有限単純群が完全な分類が成されたと発表した。 しかしこれは準薄群（英語版）の分類の証明についての錯誤があったため尚早であった。 欠けていた準薄のケースについての1221ページにも及ぶ証明がアシュバッハーとスミスにより出版された後に、 分類定理の証明の完成が Aschbacher (2004) によりアナウンスされた。
[8] Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2021-12-08)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
EXPLICIT ESTIMATES IN INTER-UNIVERSAL
TEICHMULLER THEORY ¨
省11
721: 2022/04/29(金)15:33 ID:b8gsErp4(9/15) AAS
>>717
同意です>>719
>>718
＞Dupuyの頑張りに期待している数学者は多いと思う。
他力じゃなく
もっと努力しろと言いたい
RIMSや東工大の若手に期待します
722: 2022/04/29(金)15:34 AAS
>>713 正誤表
誤 また、論点ずれている
正 また、論点ずらしてやる
つまり、論点ずらしして逃げるのは中卒下げマス 貴様だよキ・サ・マ
＞一階 vs 高階 と、文字数 有限とを混同しているな
まず、中卒下げマスが
「集合論ZFCは、一階述語論理上の公理系ではない」
省13
723: 2022/04/29(金)15:38 AAS
>>718
Dupuyは、望月新一のアイデアが
モデル理論の考え方で再構成できるかもしれない
と考えてるのかもしれない
もしそうなら、再構成の成果はDupuyのものであって、
望月新一は単にきっかけをあたえただけの人
ということになるだろうな
724: 2022/04/29(金)15:48 AAS
>>719
NHKスペシャルは
リーマン予想に関するド・ブランジュの「証明」
についても放送してるので、
数学における正当性には全く寄与しない
そもそも数学の素人が興味本位で作ってる番組なので
内容は宇宙空間なみにうっすいｗ
省15
725: 2022/04/29(金)16:03 AAS
>>719
＞IUTは、更なる普及の努力が必要でしょう
「普及」ではなく「研究」の努力が必要
未完成、というか、そもそも計画段階でしかない
あれほどのページ数を費やしながら
理論としての実態は無いに等しい
＞京大＋RIMSで、学部生、院生を入れて、
省38
726: 2022/04/29(金)16:26 AAS
望月新一の不誠実さは初期の段階で明らかだった
「自分の理論を理解するのに多大な時間を要する」
とか自分からいうだろうか？
そんなことをわざわざいうのは
自分の理論に対する反論に対する
防衛以外の何物でもない
私はそのような小人物を信頼するほど、お人よしではない
省5
727(2): 2022/04/29(金)16:58 ID:0+9nvxkb(3/5) AAS
多大な時間を喜んで費やしている追随者たちがいる。
728(1): 2022/04/29(金)17:51 ID:b8gsErp4(10/15) AAS
>>727
>多大な時間を喜んで費やしている追随者たちがいる。
そうだよね、プロ数学者だものね
昔読んだ”ポアンカレ予想”の本（4次元もまだだったかも）に、下記の「パパキリアコプーロス」（通称パパ）の話があって、それを思い出した
本の筆者には、パパさんから女性の写真を見せられて、「ポアンカレ予想が解けたら、ギリシャに戻って結婚する」と言ったそうな（実現しなかったが）
”ポアンカレ予想”に多大の時間を費やしたんだ
亡くなったとき、サーストンの理論はまだ出現していなかったかな
省11
729(1): 2022/04/29(金)17:51 ID:b8gsErp4(11/15) AAS
>>728
つづき
デーンの補題はドイツのマックス・デーンにより1910年に提唱された命題だが、1929年に同じくドイツのヘルムート・クネーザーによりデーンによる証明法には欠陥があることが指摘された。パパは米国においてこれを1957年の論文 On Dehn's Lemma and the Asphericity of Knots （『デーンの補題と結び目の非球面性について』）の中で再度証明し、その功績により1964年にはオズワルド・ヴェブレン幾何学賞の最初の受賞者となる。デーンの補題の他、ループ定理 (loop theorem) 、球面定理 (sphere theorem) の証明にも成功している。
ポアンカレ予想への挑戦
パパは米国に渡る以前から数学上の難問とされるポアンカレ予想の証明に情熱を注いでいた。前述のデーンの補題もその基盤となるものだった。自分の生活のほとんどをポアンカレ予想証明の研究に費やしており、IASからプリンストン大学へ移り、大学側から教授職、しかも週に1回の3時間の講習のみ、という条件での申し出を受けたときも、自らの研究に専念するために断っている。
同じトポロジスト（位相幾何学者）で、パパと同様ポアンカレ予想の証明を目指していたドイツ出身のヴォルフガング・ハーケンとはライバル同士のような関係だった。ある時、ハーケンがポアンカレ予想を証明したと発表したときには非常に動揺したという。結局その証明は数日後には誤りであったことが判明したが、この事件がもとでパパは精神的に不安定になってしまった。
1976年6月29日、ポアンカレ予想証明を実現できないまま胃癌によりプリンストンにて62歳で死去。ポアンカレ予想に翻弄された彼の人生は後に、アポストロス・ドキアディス (Apostolos Doxiadis) による『ペトロス伯父と「ゴールドバッハの予想」』 (Uncle Petros and Goldbach's Conjecture) というベストセラー小説のモデルとなった（わずかながら本名で登場する）。
省1
730: 2022/04/29(金)17:52 ID:b8gsErp4(12/15) AAS
>>729
つづき
人物像
パパは渡米してから逝去までの25年以上もの間、とあるホテルの同じ部屋で暮らしており、1952年の父の葬儀の時を除き、一度も祖国に帰らなかった。
生涯独身を通し、結婚して家庭を設けることのなかった彼には米国内に身よりはおらず、葬式すら行われなかったという。
外部ﾘﾝｸ:ja.wikipedia.org
ヴォルフガング（ウルフガング）・ハーケン（Wolfgang Haken、1928年6月21日 - ）はドイツ出身の数学者。専門分野はトポロジー（位相幾何学）。数学上の難問として知られる四色定理（四色問題）を証明したことで有名。
省2
731: 2022/04/29(金)18:18 AAS
>>727
＞＞多大な時間を喜んで費やしている追随者たちがいる。
＞そうだよね、プロ数学者だものね
追随してる時点で二流だけどな
それはともかく、その次の行からの
パパキリアコプーロスの話は
全然関係ないのか？
省1
732(1): 2022/04/29(金)18:23 AAS
まず
重要な未解決問題に多大な時間を費やしているのは別にパパ氏だけではない
また
パパ氏は別に誰かの追随者ではない
上記二点から
「多大な時間を喜んで費やしている追随者」
の例としてパパ氏だけを上げるのは全くの見当違い
省3
733: 2022/04/29(金)18:28 AAS
トポロジストならビングの話のほうがおもしろいけどな
ビングもまたポアンカレ予想に挑戦した
彼の「野性的トポロジー」の手法は
後年、キャッソンハンドルに用いられ
４次元ポアンカレ予想の解決につながった
734: 2022/04/29(金)18:38 AAS
外部ﾘﾝｸ[html]:www.ibaraisikai.or.jp
「国家の理想は正義と平和にあるということ、
戦争という方法によって弱者をしいたげることではないということです。
国内においても国際的にも強者が弱者をしいたげるために用いる手段が暴力で、
それが戦争政策になる。
国家の理想というか、いかなる国が立派になり、栄えるかということは、
理想にしたがって歩むかどうかということだ。
省9
735(1): 2022/04/29(金)18:42 AAS
国家が殺人・強姦・略奪のための暴力団という犯罪機関であるかぎり
国際法などというものは全く無意味な文章であることがわかる
人類の理想を追求するなら、真っ先に国家を滅ぼし軍隊を壊滅させなければならない
軍隊なるものは人殺しと強姦を楽しむ変質的犯罪者の集まりである
このような悪魔など生かしておく価値はない 真っ先に焼き殺すべきである
736(1): 2022/04/29(金)18:53 ID:0+9nvxkb(4/5) AAS
>>735
そういうのを思考停止という。
737: 2022/04/29(金)18:59 AAS
>>736
いや、思考した結果、そういう結論に辿り着いた
つまり権力の集中は破滅をもたらすということ
権力の集中が正義を実現すると思う人こそ思考停止している
なぜなら権力者が権力を正義の為に実現してほしいという期待を
そっくりそのまま現実として置き換えているだけだから
実際そうなってないし、なるわけがない
省5
738(1): 2022/04/29(金)19:09 ID:0+9nvxkb(5/5) AAS
現実がそうなっていて
それを直接正す手段がない状況で
良識ある人間がなしうることを考えた結果がそれか？
739: 2022/04/29(金)19:40 AAS
>>738
＞現実がそうなっていて
現実がそうなってることは受け入れるんだね
ま、否定しようがないからね
＞それを直接正す手段がない状況で
本当に手段がないのかい？
そもそも君、直接正そうとしたかい？
省6
740(1): 2022/04/29(金)19:54 ID:8F/R9SM+(1/3) AAS
よう！レボリューショニスト！
元気かい？
741: 2022/04/29(金)19:56 ID:8F/R9SM+(2/3) AAS
738と決闘寸前かな？
慌てるGacktは早死にしちゃうよ？w
742(1): 2022/04/29(金)19:59 AAS
>>740
革命家は英語でrevolutionaryというらしいぞ
俺もたった今知ったがｗ
俺のことなら、一応元気だよ
おまえさん、俺のことをおめでたい奴だとおもってるんだろうな
否定はしないけどｗ
声かけてくれただけでも嬉しいよ 俺も齢かな
743: 2022/04/29(金)20:02 AAS
>>742
決闘？冗談じゃないｗ 俺はガロアじゃないよ
ガロアはちょっと怒り過ぎだと思う
食生活に問題があったんじゃないかなｗ
744(1): 2022/04/29(金)20:08 AAS
ガウスは性格が悪いとかいう人いるけど
はニュートンほどひどくはないとボクは思ってる
ボヤイ父の平行線公理の残念な証明を二度三度聞かされても
友達付き合いしてたところからするとまあ常識人だと思う
ボヤイ息子の平行線公理の独立性の発見について
「実は私も気づいてた」とかいうのは
別にマウントしたつもりとかなくて、
省2
745: 2022/04/29(金)20:11 AAS
数学者のやらかした行為でトンデモないとおもったのは
タルスキの「弟子の女子大生と＊＊Ｘ」とかいうやつだな
ゲンツェンがナチ党員だったとかいうだけで悪く言われるんなら
タルスキはこの一件だけで死罪だな いやほんとマジで
746: 2022/04/29(金)20:16 ID:8F/R9SM+(3/3) AAS
ほんとだ
レボリューショナリー(ズ)だったw
おまえさん、俺のことおまぬけな奴だとおもってそうだな
肯定はしないけどw
英語ミス教えてくれただけでも嬉しいよ
俺も齢かな
食生活に気を付けて長生きしてクレメンス！
省1
747: 2022/04/29(金)20:42 ID:Xb9y0a6v(1/4) AAS
>>君なんもしてないだろ 馬鹿か？馬鹿なのか？
一生懸命考えている。
バカかもしれないがバカなりに一生懸命
考えている。
君は何か考えてたのか？
748(4): 2022/04/29(金)20:48 ID:b8gsErp4(13/15) AAS
>>732
>パパ氏は別に誰かの追随者ではない
>上記二点から
>「多大な時間を喜んで費やしている追随者」
>の例としてパパ氏だけを上げるのは全くの見当違い
違うんじゃね？
1）程度問題はあれ、21世紀の数学では、ニュートンやオイラーやガウスやガロアのように、自分の頭だけで、新規な数学の論文書ける？
省18
749: 2022/04/29(金)21:02 ID:Xb9y0a6v(2/4) AAS
>>744
ガウス全集でその手紙を読んだことがあるが
実際に「息子さんの成果を褒めることはできない。そうすると
自分を褒めることになってしまうから」と書いてあった。
750: 2022/04/29(金)21:58 ID:5kPANtvv(1/3) AAS
バルガヴァの業績はよくわからんな
トロピカル幾何学とかに関係しないのかな
751: 2022/04/29(金)22:28 ID:Xb9y0a6v(3/4) AAS
>>バルガヴァの業績はよくわからんな
こういうタイプもありかと
752(3): 2022/04/29(金)22:50 ID:b8gsErp4(14/15) AAS
>>685
>＞証明が可読でない
>それ証明ちゃうやんｗ
分かってない
専門の論文の可読性は、読み手のレベル問題もあるのです
専門が違えば、使っている用語も違う
前提とする知識も違うだろ
省1
753(3): 2022/04/29(金)22:54 ID:5kPANtvv(2/3) AAS
即レスだが、ショルツは整数論、絶対ガロア群や基本群の専門家ではあるわけだけど
遠アーベル幾何学がそこまでショルツにとって特殊な世界とは思えないが
754(1): 2022/04/29(金)23:02 ID:woYNYifB(1) AAS
>>752
読めないにも程があるんだよ
その程なんて数学サッパリ分からんお前がなんで判断できると思ってるんだよ
バーカ
755(1): 2022/04/29(金)23:11 ID:Xb9y0a6v(4/4) AAS
数学をやっているかどうかは
書き込みだけからでもかなり判別できるね
756(7): 2022/04/29(金)23:39 ID:b8gsErp4(15/15) AAS
>>753-755
レスありがとう
ちょっと整理すると
1．事実の整理：仮にショルツェ氏は読めてないとしても
しかし、読めた人は多数いる（具体名は挙げないが多数いるよね）
2．ショルツェ氏はレビューで、IUTはダメという
一方、Saidi氏は別レビューで、IUTは正しいという
省10
757: 2022/04/29(金)23:51 ID:sSxIDLLo(1) AAS
>>756
お前は自分が底抜けのバカだとわかってない
数学科の一回生が普通1週間ほどで理解する話を延々と何年も何年も理解できず、丁寧に説明してやっても上から目線でギャアギャアと的外れの反論ばかりしてくる能無し
鬱陶しいねん
758(1): 2022/04/29(金)23:53 ID:5kPANtvv(3/3) AAS
>>756については異論がある
五人論文はIUTを前提にして計算している
問題はIUTや単遠アーベル幾何学の原理を数論幾何学者になら理解可能にしたようなシンプルな論文が
望月以外によって書かれていないことだ。山下は論外
申告によれば理解者は2015年時点で一定数いたらしいのにこれは不自然だ
だからこそこんなに宙吊りが続いている
759(1): 2022/04/30(土)00:04 ID:KqwUT8+e(1/2) AAS
外部から理解したSaidiらが、IUTで使われる単遠アーベル幾何学とそれに基づく環の変形をまとめ直せば
それで話は済むはずだ
ショルツら批判者の一部は望月論文を読んでいるわけだから、参照しながら解説できる
何故これができない？アーカイブにすら上がらない？
簡単だよ。できないからだ
760: 2022/04/30(土)00:20 ID:S230Fn2V(1) AAS
英語が得意な人に聞きたいのですが、
>>575の「is somehow reinterpreted」のsomehowはどういう意味ですか？
761: 2022/04/30(土)01:04 ID:KqwUT8+e(2/2) AAS
普通は十分理解できない場合に用いるよね
interestinglyならまだしも
762(3): sage 2022/04/30(土)03:29 ID:e3HnPxqs(1) AAS
>>753
>>756
フェセンコが、ショルツェが読めて無くて、間違えていると言っている。
外部ﾘﾝｸ[pdf]:ivanfesenko.org
だから ＞証明が可読でない
遠アーベルは、WIKIを引くと、
望月新一は「代数曲線におけるグロタンディーク予想（遠アーベル幾何予想）を予想を超えた形で証明。」した遠アーベルの第一人者。
省2
763: 2022/04/30(土)07:34 ID:fWETlt9M(1/2) AAS
>>フェセンコも、ショルツェに、誰か専門家に相談するべきだと意見している。
それは自分に聞くべきだと言っているのだろうか。
764: 2022/04/30(土)08:40 AAS
>>748
>違うんじゃね？
どこが？どう？
下げマス、日本語不自由なチョソンサラムやから
なにいうてるのかちょっともわからへんがなｗ
>程度問題はあれ、21世紀の数学では、
>ニュートンやオイラーやガウスやガロアのように、
省14
765: 2022/04/30(土)08:43 AAS
>>748
>もし数学の研究をするとして、どの分野をやるかだよね。
>まあ、自分のやりたい分野をやるべしだが
>一方で、ある程度結果が出せて、新規の論文が書けるかを考える。
>例えば、1年とか2年とかで
下げマス・・・ホンマ、アホやろ
あんなあ、博士の学位をとるための論文と
省3
766(2): 2022/04/30(土)08:46 ID:Vf6bDvV+(1/26) AAS
>>762
情報ありがとうございます。 >>756です
>フェセンコが、ショルツェが読めて無くて、間違えていると言っている。
>外部ﾘﾝｸ[pdf]:ivanfesenko.org
>だから ＞証明が可読でない
そのPDFは、下記
外部ﾘﾝｸ:ivanfesenko.org
省13
767(2): 2022/04/30(土)08:46 ID:Vf6bDvV+(2/26) AAS
>>766
つづき
In 2013?2017 not a single concrete mathematical remark indicating any essential issue in IUT was produced. However, Scholze, who does not have work in anabelian geometry and has not participated in any anabelian geometry and IUT workshops, kept talking publicly about faults in IUT since 2014 without ever providing any math evidence.16 After a lot of pressure from several mathematicians, he visited RIMS, together with Stix, in March 2018, just for several days. Instead of explaining what kind of ‘mistakes’ they see in IUT, they were kindly given introductory lectures on IUT by experts.
注）16 I wrote to him several times requesting to tell precisely what were the faults in IUT and discuss with experts. The author of IUT had invited Scholze to discuss any issues but Scholze did not follow.
2013年から2017年にかけて、IUTの本質的な問題を示す具体的な数学的発言は1つも作成されませんでした。 しかし、遠アーベル幾何学の仕事がなく、遠アーベル幾何学とIUTワークショップに参加したことのないショルツェは、数学の証明を提供することなく、2014年以来IUTの欠陥について公に話し続けました16。 彼は2018年3月にStixと一緒にRIMSを数日間訪問しました。 彼らがIUTでどのような「間違い」を目にするかを説明する代わりに、彼らは専門家によってIUTについての紹介講義を親切に与えられました。
注）16 私は彼に何度か手紙を書き、IUTの(議論の)欠点を正確に伝え、専門家と話し合うように依頼しました。 IUTの作者は、ショルツェに問題について話し合うように勧めましたが、ショルツェはそれに従いませんでした。
つづく
768(2): 2022/04/30(土)08:47 ID:Vf6bDvV+(3/26) AAS
>>767
つづき
The first report (not a paper with full proofs) about the meeting, shortly after the meeting and several months before the award of the Fields Medals, included a hugely incorrect version of IUT, based on a gross erroneous oversimplification of IUT.
The report demonstrated various misundestandings of the theory including the difference between frobenius-like structures and etale-like structures in IUT. Its text includes no proof that the caricature version of IUT is equal to IUT.
It included such very strange from the standard mathematical point of view phrases as ‘we are certain that even with all subtleties restored, the issue we are pointing out will prevail’, ‘it seems to us’.
The report essentially denies the use of anabelian geometry and infinitely many theatres in IUT, since the group of automorphisms of objects is reduce to the trivial one.17
For various details see this page18 and these report and text19 of the author of IUT.
省7
769(3): 2022/04/30(土)08:47 AAS
>>748
>仮に、自分が楕円曲線について、過去かなり研究していたとして、
>IUTを1年かけて読み込んだら、過去の自分の研究との合わせ技で、
>なんか書けるかもと思えば、IUT読むだろうし
>あるいは、自分が楕円曲線について研究していて、行き詰まっているとして、
>打開のヒントとしてIUTを読んでみるもありじゃね？
あんなあ、誰も読むなとは一言もいうとらんでｗ
省8
上下前次1-新書関写板覧索設栞歴
あと 233 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s