[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
689: 2022/04/15(金)22:16 ID:Em/4TZAW(15/17) AAS
Yamagata Universityの滋賀作准教が
定理証明系への証明のポーティング結果を報告できないということであれば
Yamagata Universityの滋賀作准教は、数学専攻でもなければ定理証明系による定理の証明/検証作業をした事もないのに
妄想で他人を責め立てていた無能な人格異常者と確定する
690: 2022/04/15(金)22:18 ID:2SeQJSq9(2/4) AAS
糖質って自分の妄想と外部の話題をごちゃ混ぜにする精神世界なんだな
落第する前にハラスメントされたと思い込んでるんだっけ？
691: 2022/04/15(金)22:21 ID:Ms53oY5u(5/6) AAS
滋賀作造
692: 2022/04/15(金)22:24 ID:xtzTJMVY(1) AAS
とにかく偉人や天才に祭り上げようとしている勢力があって
これは悲惨で悲しいことだと思うよ
693: 2022/04/15(金)22:26 ID:Em/4TZAW(16/17) AAS
匿名掲示板の書き込みが全て底辺大関係者だと思い込む関係妄想障害は、医学部附属病院精神科で担当医に相談しろ
結局、Yamagata Universityの滋賀作准教は
数学専攻でもなければ定理証明系による定理の証明/検証作業をした事もないのに
「定理証明系への証明のポーティングは可能だし簡単だしやらないのがおかしい」と称する、本件について未実証未検証の願望を他人に押し付けていた精神異常者と確定だな
2008年から全く進歩のない底辺精神異常准教だ
694: 2022/04/15(金)22:31 ID:Em/4TZAW(17/17) AAS
普通の人はYamagata Universityなんて関わる機会が全くないから、いくらなんでも国立大学法人で精神異常の准教が20年間野放しになってネットトラブルをや恫喝・恐喝・自殺教唆事件を起こし続けているなんて想像もしないよな
でもこのスレで行われているのはYamagata University准教の精神異常による異常行動以外の何物でもない
695: 2022/04/15(金)22:33 ID:2SeQJSq9(3/4) AAS
ともかく完全版あと30分だぞ
どうせ録画してるし俺はニュース23も見るがw
696(1): 2022/04/15(金)22:38 ID:Ms53oY5u(6/6) AAS
確か学生実験中に担当教授にちんちん擦り付けてセクハラ問題になり、学校休んで欠席扱いになったら逆にハラスメント受けていると言いだし、大学構内で消化器ぶちまけて退学処分になり、最初は山形の架空の統失夫婦のせいだと言ってたけどやがて担当教授がストーキングしてると思いだして現在に至るんじゃないかな
抜けがあったらフォローよろしく
697: 2022/04/15(金)22:41 ID:2SeQJSq9(4/4) AAS
>>696
あの写真の人にそんなことしたの？にわかには信じられんな
698: 2022/04/15(金)23:15 ID:HKJ9pp+S(1) AAS
今、NHK-BSで完全版の放送やってるな
699: 2022/04/16(土)00:20 ID:U7P2BvHn(1) AAS
まゆまゆ〜
700(2): 2022/04/16(土)03:34 ID:/infG8iD(1/2) AAS
大学教授って間違った論文書いてもやめさせられないの？
701(1): 2022/04/16(土)05:30 ID:hab1WHkJ(1) AAS
>>700
はぁ？
EPRパラドックスをググってみろ
アインシュタインだってノーベル賞後に間違った論文書いてる
まぁ、その後の量子もつれの発見と量子コンピュータの発展に繋がった訳で、天才は間違うにしても天才的だがな
702: 2022/04/16(土)09:29 AAS
>>701
その件については、アインシュタインは
局所実在論という前提の上で
「量子力学が相対論と両立しない」
といっただけのことであって、
実際は量子もつれが実在するから、
局所実在論という前提が誤りだった
ということになる
アインシュタインは
「局所実在論は成立する」と思ってた点では誤りだったが
省1
703: 2022/04/16(土)09:31 AAS
望月の論文は、Cor3.12が成立するための「前提」を
明確化できていない点で誤ってるおそれがある
ブンゲンのように「認識論」とかいうのは敗北を暗に認めるに等しい
704: 2022/04/16(土)10:14 ID:5gcq1gfK(1) AAS
>>700
意図的にデータを改竄した等の不正でなければいいんでないの？
705(3): 2022/04/16(土)11:10 ID:4kmNdAdZ(1) AAS
・望月博士 新しい時代を切り開く稀代の天才
・ショルツ 新しい概念を受け入れられない老害
こういう認識でいいよね？
706: 2022/04/16(土)12:28 ID:BrQor1I/(1/3) AAS
>>705
b&カドカワ史観ってやつ？
707: 2022/04/16(土)12:37 ID:w4N6et9x(1) AAS
写真で見た感じでは
ショルツが新進気鋭の天才数学者で
餅が引退したお爺ちゃん
みたいな感じ
708: 2022/04/16(土)13:04 ID:ttHCMdN5(1/3) AAS
MはともかくSまで取材拒否とは事態の深刻さが演出されている
709: 2022/04/16(土)13:21 ID:3yUnrOjD(1/2) AAS
不完全番組の完全版とは
710: 2022/04/16(土)13:24 ID:gM/QGsqV(1) AAS
>>676
もっちーはショルツとの論争の中で「若い人」への助けを求めていたよｗ
つまりもっちーは一度は自分でも証明が不備であることを認めざるを得ないところまで行ったんだよ
ただＲＩＭＳや愛国応援団にはげまされて、開き直るという道をえらんだだけ。
要するに権威者に甘く、愛国と言えばすべてが無罪になる日本の数学界の未熟さがあらわになってるだけのこと。
今回のＮＨＫももっちーに甘々だし。
711(1): 2022/04/16(土)13:25 ID:exo7X/ui(1) AAS
完全版見た
良かった
結論は
ファルティングス「普通の数学者に分かる説明しろ」
ってことですね
712: 2022/04/16(土)13:35 ID:ttHCMdN5(2/3) AAS
取材時の服装がカジュアルなんだけど地味なんだよな
青系が多かった
フェセンコの虎柄？が一番派手だった気がする
713: 2022/04/16(土)13:35 ID:W1xuA1VP(1) AAS
もうIUTは日本人に受け入れられたも同然だね
「理論が難しすぎて外人は理解できないだけ」という見方が一般的になりつつある
714: 2022/04/16(土)13:48 ID:3yUnrOjD(2/2) AAS
>>711
>普通の数学者に分かる説明しろ
望月もしたいんだと思う
でもできない
望月自身が分かってないから
715: 2022/04/16(土)13:55 ID:ttHCMdN5(3/3) AAS
分かるように説明したら他の数学者に先を越されちゃうかもしれないから
わざと分からないようにしておいて自分たちだけで研究を先に進めようとしているのではないか
そもそも分かるように説明する労力が惜しいんだろう
716: 2022/04/16(土)14:44 ID:mFuk7ShD(1/6) AAS
もはや陰謀論だな
717(1): 2022/04/16(土)14:48 ID:+8T1Jv6O(1) AAS
>@FumiharuKato
>IUT理論における「宇宙」という用語が指し示すものが望月さん
>独特のものであるのは本当です。その宇宙は集合論の宇宙とも、
>グロンタンディーク宇宙とも異なっていますので。
では一体どのようなものなのでしょうか？
この10年間幾度となく問われてきましたが、
望月学派からの確定的な答えを見たことがありません。
718(1): 2022/04/16(土)15:03 ID:omlOILx4(1) AAS
IUTが間違ってるとか言ってるのってネタだよな？
自分が望月新一より頭いいと思ってんの？
719: 2022/04/16(土)15:11 ID:L0HhLQnk(1) AAS
>>718
少なくとも基礎論については上だとは思ってる
720: 2022/04/16(土)15:19 ID:NGK10b9f(1) AAS
>>669
あグロ
721: 2022/04/16(土)15:53 ID:mFuk7ShD(2/6) AAS
>>717
フロベニオイド（エタールな空間のモノイド）と単遠アーベル幾何学（位相群）に由来するものでしょ
722: 2022/04/16(土)15:54 ID:mFuk7ShD(3/6) AAS
スキームを実空間で再構成してるからスキーム宇宙
723: 2022/04/16(土)16:01 ID:mFuk7ShD(4/6) AAS
要は、乗法的には同じ構造だけど加法的には法則が違う
ところが単遠アーベル幾何学とは、位相群によって環構造自体は復元可能と主張する
それは不定性を除いて元の正則スキームに対応する
エタールテータ関数はフロベニオイドから成ると同時にRの因子として宇宙の幾何学を構成する
数学では環構造は本質的なので、宇宙と見なしているというわけだ
724: 2022/04/16(土)16:31 ID:ibCsYfS5(1) AAS
>>705
概ねそれで合っている。
725: 2022/04/16(土)16:38 AAS
>>705
・望月新一 新しい時代を切り開いた妄想を抱く統合失調症患者
・ショルツ 望月の結果が妄想であることを示した若き精神科医
こんなところか
726: 2022/04/16(土)16:41 ID:mFuk7ShD(5/6) AAS
俺はまだ終わってないと思ってるな
明らかに正しい証明を持ってきて論理を比較して本当に終わるんだと思う
727: 2022/04/16(土)16:44 AAS
そして
・D
実は望月新一の手法は一種のforcingではないかと思っている
そしてもし
「数論のモデルが存在する場合、ABC予想が真であるモデルが存在する」
と示せていれば、同様の方法で
「数論のモデルが存在する場合、ABC予想が偽であるモデルも存在する」
と示せるかもしれず、その場合
「数論上でのABC予想の決定不能性」
が示せると思っている
728: 2022/04/16(土)16:49 AAS
「数論のモデルが存在する場合、ABC予想が真であるモデルが存在する」は
「数論でABC予想が成立すると証明できる」とは違う
なぜなら後者は
「数論のモデルが存在する場合、ABC予想が偽となるモデルは存在しない」
という意味だからである
729: 2022/04/16(土)16:53 AAS
かつてゲーデルは構成可能な宇宙の上では選択公理が成立すること示した
しかしもちろんこれは選択公理が集合論上で証明できることを示すものではない
そしてその後コーエンがforcingによって選択公理が成立しないモデルを構成し
集合論上での選択公理の決定不能性を示した
730(1): 2022/04/16(土)16:54 ID:mFuk7ShD(6/6) AAS
なるほど。単なる存在可能証明ではないかと
731(1): 2022/04/16(土)16:59 ID:/infG8iD(2/2) AAS
俺のオメコ理論のほうがすごい
732: 2022/04/16(土)17:01 AAS
>>730
IUTT＝forcing論は、望月の方法論に意味を見出す点では彼に好意的だが、
同時に、それでは証明になっていない、という点では彼に否定的である
733: 2022/04/16(土)21:00 ID:rg6bUzy5(1/2) AAS
さすがに選択公理のようにどちらも成り立つって話にはならんだろ。
ABC予想は明確な計算結果に対する話だぞ。
734(3): 2022/04/16(土)21:38 ID:qs0GXAex(1) AAS
むしろショルツの自己過信ぶりの方が目立った
「俺が理解できない物は間違っている」ということしか言っていないのに
よくここまで他人の論文にあれこれ言えるもんだと思う
論文を深く理解できて核心的な指摘や批判ができる人間だけがケチを付けるべき
量子論に批判的だったアインシュタインは様々な思考実験を提示して量子論に対抗しようとした
その結果量子論に対する理解が深まったり、新たな量子論の分野が生まれることになった
批判というのはこういう物であるべき
735: 2022/04/16(土)21:52 ID:L3wBqr4z(1) AAS
「Cor 3.12の証明のFigure 3.8以降のロジックについていけない」はかなり核心的な指摘だと思うが
どの定理の、証明のどこからにギャップがあるのかまで指摘してくれているわけだし、
証明したと考えている側もこれを受けて、Cor 3.12の証明をコンピュータで証明できるくらいの形に書き直せば良くなるから負担も比較的少なくて済むはず
736: 2022/04/16(土)21:56 ID:iM1n9g2r(1) AAS
>>734
ブーメランだよ。あんたこそSSとそれに対する望月の反論論文を読んでちゃんとショルツを評価しないと
737(2): 2022/04/16(土)21:59 ID:pbg0Rfu8(1) AAS
ショルツの言うことを盲信してる奴なんて外人しかいないけどな
日本人はちゃんと望月さんの偉業を理解している
738(1): 2022/04/16(土)22:02 ID:BrQor1I/(2/3) AAS
他人は盲信
自分は理解
この卑怯な言い方は朝鮮JINかな
739(1): 2022/04/16(土)22:02 ID:BrQor1I/(3/3) AAS
738は朝鮮人のタイプミス
ごめんごめん
740(1): 2022/04/16(土)22:20 ID:ummmE3qY(1) AAS
>>731
あのオメコ理論の人？
すごい感動して影響受けました
オメコ理論って発展しないのですか？
AIと融合とか
741: 2022/04/16(土)22:56 ID:rg6bUzy5(2/2) AAS
人種問題にして誤魔化してるのは明らかに望月の方だがな。
742: sage 2022/04/17(日)02:49 ID:OgYm9K2Q(1) AAS
文元さん大学辞めたのは、悪いけど、この問題から逃げたのかなって思っちゃった。
743: 2022/04/17(日)05:38 ID:2J4pyrI/(1) AAS
立派な人だけど、「認識論」とは関係ないよ。
というか、「認識論」って疑似科学で、
「オカルト」、「錬金術」と同類の言葉だよね。
744: 2022/04/17(日)06:19 ID:LeyqYZhd(1) AAS
>>734
フェゼンコが相変わらずIUTT支持でスティックスがトーンダウンしてるのもそういうことでしょうね
745: 2022/04/17(日)07:05 ID:nespQRkY(1) AAS
>>737
Scholtzeがそういうなら
自分が解読できなくても恥ずかしくないので
とりあえずは放置プレイ
といったところだろう
746: 2022/04/17(日)08:56 ID:0N20y0Hd(1) AAS
>>737
どこの日本人www
みんな無視だよ
現実望月論文のサーベイ論文も勉強会の類のワークショップも外部からはなーんにも出てこない、もうこの話出てから10年にもなるのに
もう終わってるよ
747(1): 2022/04/17(日)10:28 ID:XqCfFBGz(1) AAS
でもNHK番組の反応見た感じだと大半の視聴者はABC予想が解決されたと思ってるよね
理論は正しいのに難しすぎて他の数学者に理解されていないんだと認識してる
748(1): 2022/04/17(日)12:08 ID:yh1xbakA(1) AAS
>>747
もし世間の人にそういう誤った情報を信じさせたなら完全にNHKの黒歴史になるわな
しかし現実にはもうrimsの方はこの異常事態をキチンと責任持って幕引きするつもりはないみたいだし
残念ながらこの日本数学界に深い黒歴史を刻んだまま逃げ切りで幕引きしようとしてるようだからな
望月先生はやはり数学者としての最低限の責任についてキチンと考えていただきたかったな
749(2): 2022/04/17(日)12:29 ID:udSQiRTc(1/5) AAS
世界中の数学者がぐるになって未解決のままにしておけばいくらでも研究費を貪れるからな
フェルマーの最終定理が証明されてしまったので代わりが必要だったのだろう
未来から来た論文とは数百年間証明できないことにしておくはずだったという意味では
750: 2022/04/17(日)12:31 ID:6EYjijeL(1) AAS
ただいま絶賛隠蔽中 (私が解決した順)
Goldbach予想
双子素数予想
Collatz予想
奇数の調和数
751(1): 2022/04/17(日)12:48 ID:gO+TlepH(1/2) AAS
>>749
むしろ解決したってことにしないとこの分野で飯食えない連中が張り付いてるイメージしかないわ。
752: 2022/04/17(日)13:04 ID:WrmEepLI(1) AAS
>>748
あの番組の監修が玉川星加藤小山ということで、747の認識に持っていくということがミエミエ。
753: 2022/04/17(日)13:51 ID:udSQiRTc(2/5) AAS
>>751
解決したらそれで終わりで別のテーマを探すだけだろ？
754: 2022/04/17(日)14:20 ID:YciZ7BGt(1/2) AAS
「証明に取り組んだ誰もが系3.12に引っ掛かった」というのがNatureにも載った共通認識で望月はそれに応えられていないのに、
京都一派は「望月は固定観念に捉われた数学界の被害者」「認識論」(笑)って印象を日本で振りまいているわけだ
755: 2022/04/17(日)14:25 ID:YciZ7BGt(2/2) AAS
ブンゲンは「望月の反論に対してショルツ-スティックスからの返答がない」と言い広めてるけど、
その反論なるものが不必要に攻撃的、かつなんの説明にもなっていない(＝応答する価値がない)と認識されていることは言わない
756: 2022/04/17(日)14:31 ID:3XALqMhA(1) AAS
>>738,739
あなたはまず、Twitterで最も暴れてるIUT信者がズブズブのネトウヨだってことを知るべきだ
757: 2022/04/17(日)14:37 ID:Xtysfnn0(1) AAS
>>740
ＡＩ分野に関してはいま甘利俊一先生と共同で研究進めてる
オメコ・クリストッフェル拡張理論として論文を出す予定
758: 2022/04/17(日)15:22 AAS
加藤文元は数学における"ジャパン・ポストモダニズム"の旗手となったようだ
759: 2022/04/17(日)15:48 ID:udSQiRTc(3/5) AAS
天才が現れて未解決の難問をさくさく解決されたら同業の凡人にとっては飯の食い上げだからな
自然科学と違って追試の必要もないし
760(1): 2022/04/17(日)15:55 ID:ktdS2teZ(1) AAS
なんだかナショナリズム的性質を帯びた案件になっていきそうですよね
もう既にそうなりつつあるかもしれませんけれど
箔をつけるために政治家が何らかの賞を与えたり、国内で批判的な意見を述べた者が袋叩きにされたりする未来……
761(1): 2022/04/17(日)16:03 ID:/iVb7e4g(1/2) AAS
>>760
そんな話になんぞなるハズもない
数学者は政治ゲームなんて一切やらん
ここのアホ信者どもの妄想ワールドの数学者はやってるのかもしれんがね
もちろん予算の配分とかで上の方ではなんかやってるのかもしれんけどその他大勢にはどうでもいいし
金なんてなくても研究はできるからな
海外のシンポジウムなんていかなくてもどうって事ないし
762: 2022/04/17(日)16:05 ID:udSQiRTc(4/5) AAS
しかしそこまでして研究費を貪らねばならない理由が単に個人の生活のためとは考えにくい
やはり何らかの秘密結社の資金源となっているのではないか
それも何世紀も前から
763: 2022/04/17(日)16:07 ID:/iVb7e4g(2/2) AAS
きたよネトウヨwwwwww
764: 2022/04/17(日)16:10 ID:udSQiRTc(5/5) AAS
>>761
数学者だって霞を食って生きているわけじゃないのだから金は必要だろう
765: 2022/04/17(日)16:26 ID:B94LNwVq(1/2) AAS
>>749
ネトウヨ陰謀論と完全に同レベルだな
766: 2022/04/17(日)17:34 ID:gO+TlepH(2/2) AAS
ペレルマンなんかは確かに面倒になって大学辞めてはいるな。
この問題はそういう人と比べるレベルにはない。
そもそもペレルマンは証明の問題点について受け入れてきっちりと修正している。
767: 2022/04/17(日)18:03 AAS
ペレルマンがなぜ大学を辞めたかは知らないけど
ポアンカレ予想の証明は認められてる
望月新一と一緒にするのは彼を冒涜することになるな
768: 2022/04/17(日)18:36 ID:B94LNwVq(2/2) AAS
そもそもabcが解決されたら困る数学者なんかいないぞ
Vojta予想やLang予想があるから
IUTは仮に正しくても今んとこ曲線にしか適用できないし
769(1): 2022/04/17(日)22:40 ID:+/RIJ3Xg(1) AAS
>@FumiharuKato
>Apr 16
>IUT理論における「宇宙」という用語が指し示すものが望月さん
>独特のものであるのは本当です。その宇宙は集合論の宇宙とも、
>グロンタンディーク宇宙とも異なっていますので。
に対するロバーツのリプライ
>@HigherGeometer
>Apr 16
>Is there a formal definition of what Mochizuki means by the term?
を華麗にスルー。"universe"のみならず、"functorial algorithm"等々、
省2
770(1): 2022/04/17(日)22:58 ID:Q6EA8WEl(1) AAS
スレタイの件は生涯このまま自分は門外漢だと思っていたが、
今日nhkスペシャル完全版の録画をみて
国際数学会、というかそれをとりまく世の中の状況が分かった
気がした。
端からシロートの感想で失礼だが、これだけはいえる。
ショルツさんよ、正気を取り戻そうぜ。
771: 2022/04/17(日)23:37 ID:rAjUaH2h(1) AAS
×ショルツさんよ、正気を取り戻そうぜ。
○望月新一さんよ、正気を取り戻そうぜ。
772: 2022/04/18(月)00:15 ID:NXTRPf/r(1/6) AAS
狂ってんの？狂ってないの？皆はっきり言っとけ〜
773(2): 2022/04/18(月)01:04 ID:t1Gf1c5u(1) AAS
圧倒的にコミュ力が足りないんだよ。
数学やっている者はコミュ力が無い人が多いが、望月は圧倒的に足りない。努力できない。
それとも彼の理論は最初から間違っていた…
774: 2022/04/18(月)07:25 ID:TUyIy4XF(1/4) AAS
>>773
100年後に残る仕事をやり遂げた後では
コミュ力などは必要ない。
775: 2022/04/18(月)07:26 ID:TUyIy4XF(2/4) AAS
>>773
100年後に残る仕事をやり遂げた後では
コミュ力などは必要ない。
776: 2022/04/18(月)07:59 ID:qkpF6Gku(1) AAS
数学者の大半は望月の証明を受け入れていないのだから、
これはショルツの問題ではなく、望月の問題。
それを混同するのは単なる詭弁。
近夏のICMプレナリー予稿でもこんなこと言われる始末。
>A great example is Mochizuki’s claimed proof of the ABC
>conjecture [Moc21]. This proof has now been published
>in a serious research journal, however it is clear that it is
>not accepted by the mathematical community in general.
777(1): 2022/04/18(月)08:36 ID:TUyIy4XF(3/4) AAS
無価値であるとは誰も書けない状況ではある。
778: 2022/04/18(月)09:19 ID:Gs6UWyRN(1) AAS
>>777
擁護になってない
779(2): 2022/04/18(月)09:40 ID:cBCqfFLO(1/3) AAS
加藤さんの言い方が少しずつ変わってきているのが気になる。
でもIUTTはきちんと０から学ぶことで見えてくることがあるのだろうね。
ただそこらへんを０から学ぶ気のない人も説得できるように説明するのが若い世代の
IUTT習得者へ期待されることだと思うけど。。
780(2): 2022/04/18(月)09:56 ID:+VXLqRg+(1/2) AAS
>>779
たとえば偏微分方程式が専門の学生が、エタールコホモロジーや志村多様体をゼロから勉強しようとするだろうか。しなかったとして、何か問題があるだろうか
他の人がやってる数論とIUT理論は、それよりもさらに隔たりがあると思うが
781(2): 2022/04/18(月)10:10 ID:cBCqfFLO(2/3) AAS
>>780
問題はないですね。しかも今の評判だと学ぶインセンティブを学生はもちにくそうだから
余計「中の人」たちは印象的な解説を外に対してやらないといけないとわかってると思います。
もちろん人によってはそういう行為をよしとしないとするでしょうけどね。
商売だと「いいものなら自然と売れるものだ」なんて素人でも考えないですけど。
782: 2022/04/18(月)10:30 ID:3r6IZsm+(1/2) AAS
まあ入りたくはないわな。
こういう政治闘争が嫌で数学やってるっつーのになんでまたそんなことやらにゃって気になるだろう。
783: 2022/04/18(月)11:01 ID:xtvhZssM(1) AAS
>>781
素人ってあんたが素人やろ？
いいものはほっといても受け入れられるわ
あかんから受け入れられてないんだよ
そういう“周りの数学者がアホだから受け入れられてない”という考えがムカつくんだよ
784(1): 2022/04/18(月)11:31 ID:+VXLqRg+(2/2) AAS
>>781
いいものとかそういう問題ではなく、単純に
「自分の専門じゃないから」
やらないんだよ
数論が専門でも、日本で加法的整数論や素数分布をやっている人は多くない。IUT理論はそれよりももっと隔たりがある
785: 2022/04/18(月)12:23 ID:NXTRPf/r(2/6) AAS
ないない
IUTは比較的代数要素が純度高い理論だから、それこそエタールコホモロジーやp進ホッジ理論など
一部の国内数学者がやってる素養があれば読めなきゃおかしい。それでも現実には京都の連中しかわからん
志甫も論文書けてないじゃん。わかったならとっくに復元理論使ってるわ
786: 2022/04/18(月)12:29 ID:NXTRPf/r(3/6) AAS
よく言われるように、賢い人は難しいことを馬鹿にもわかりやすく説明できる
ところが、数学者は普通こう思う。それにも限度があると。勿論限度はある
しかしIUTの場合には相手はトップクラスの数学者なんだから、やっぱりおかしいわけ
787: 2022/04/18(月)12:35 ID:cBCqfFLO(3/3) AAS
>>784
そうなるとやはり中の人が形式化を進めてコンピュータ検証で正しさをPRするしかないか。
そこで問題になるのはその形式化は正しいのかとかそういうことになりそうだけど
京都ではそういう方向に進んで良さそうなのにね。
ショルツもコンピュータ支援には結構積極的みたいだからまた絡んできてくれそうだけど。
まあ皆さんまずは自分の研究で忙しいのはわかるからそこはうまいPRしてほしいもんだね。
788: 2022/04/18(月)18:29 ID:uRuBaWVx(1/2) AAS
>>779
ゼロからキチンと追うとギャップがあって証明になってない謎
上下前次1-新書関写板覧索設栞歴
あと 214 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s