[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
803: 2022/04/18(月)20:54 ID:hQPi8TRv(5/7) AAS
もしかしたらIUT理論は言語化出来ない理論だから書けないのかな
それなら全部数式だけで理論を書けばいいよ
804: 2022/04/18(月)20:58 ID:hQPi8TRv(6/7) AAS
wikipediaに現今の数学との違いを完全に言語化する言語体系を、早急に作る
って書いてあるから新しい日本語みたいな言語を作るってことかな
805(1): 2022/04/18(月)21:12 ID:9MeuX0nK(1/2) AAS
言語体系はすでにある
言語がないのに数学の証明をコンピュータでも証明する、なんてことが出来るはずもない
現代で虚数は存在しないはずだと言って研究を進めても、アイデアは拾われるかもしれないがそれ自体は数学コミュニティで認められないように、
今の数学の言語体系に沿えなければ認められることはほぼないだろう
806(2): 2022/04/18(月)21:16 ID:3r6IZsm+(2/2) AAS
>>805
>現代で虚数は存在しないはずだと言って研究を進めても、アイデアは拾われるかもしれないがそれ自体は数学コミュニティで認められないように、
は？それ実数で現象を考えるだけだろ。そんなの誰でもやってるわ。
想像してるレベルが低すぎる。
807(1): 2022/04/18(月)21:20 ID:hQPi8TRv(7/7) AAS
>>806
想像してるものは『同じものでもあり異なるものでもある』という
理論だよ
光は粒でも波でもあるのと同じレベル
だから二重スリットの実験みたいなのが無いと証明できない
808: 2022/04/18(月)21:36 ID:9MeuX0nK(2/2) AAS
>>806
数学コミュニティの一般的な考えから見ても、そうやってアイデアが拾われる可能性はあるね
>>807
同型のことならすでに分かってる
809(1): 2022/04/18(月)21:44 ID:wRXobWd1(1) AAS
770だけど実は世の中の状況が分かった、
と同時に、ある程度、IUTを理解した
気がした。
その予想外にしきいの引くそうな、理解できそうな手法に対し、
「タイヒミューラー」という固有名詞（？）の、
どうにも、とっつきにくい感が、ちと残念な気がする。
この普遍的手法に見える理論の名称の由来は？
この固有名詞（？）と切っても切れない理由があるの？
810: 2022/04/18(月)21:49 ID:4gwvg7N4(1) AAS
ドイツの数学者
タイヒミュラー空間論で有名
ちなみにバリバリのナチスとしても有名
811(1): 2022/04/18(月)22:48 ID:uRuBaWVx(2/2) AAS
>>770
いえねーよゴミ
812(2): 2022/04/18(月)23:22 ID:f2wu/E5N(1) AAS
加藤先生ってまともな数学者なの？
経歴からは業界ゴロのような印象を受ける
うちの業界にも近い人がいる
813: 2022/04/19(火)00:15 ID:dds25QH9(1/3) AAS
>タイヒミューラー
デュドネの数学史の本で
「ガロアに匹敵する天才だったが、ナチス党員で自らも
対ソ戦に参戦して戦死した」
ような記述を読んだときから、印象に残っている。
814: 2022/04/19(火)00:22 ID:dds25QH9(2/3) AAS
ちなみにもっちーは反論文書の中で
ショルツ&スティックスのことをSSと呼んでいる笑
815(2): 2022/04/19(火)00:33 ID:dds25QH9(3/3) AAS
>>812
リジッド幾何学の専門家。
欧州数学会から洋書の専門書も出している。
これはF原氏と共著の形。このF氏もいわく付きの人物。
つまり加藤氏は「若い頃天才と呼ばれていたが
後にいわく付の人物」となった二人と深い関係があることになる。
816: 2022/04/19(火)00:57 ID:m6VSCjJp(1) AAS
>>812
> 経歴からは業界ゴロのような印象を受ける
KAKENによれば、
九大 助手
京大 講師→助教授→准教授
熊大 教授
東工大 教授
だな。
数学では職階が変わるときに大学が変わるのは普通で、この経歴で変なとこは感じないな
817: 2022/04/19(火)02:26 ID:EhGyN2pB(1/2) AAS
>>811
目糞鼻糞をｗ
818(1): 2022/04/19(火)07:08 ID:IoKA4zt0(1) AAS
>>809
＞タイヒミューラー
加法と乗法の関係を壊す
＝等角写像を壊す（タイヒミュラーの擬等角写像）
というアナロジーらしい
このアナロジーが本質的かどうかは知らない
819: 2022/04/19(火)07:19 ID:JwQofraT(1/4) AAS
０から説明できないというのは噛み砕けないということか。
噛み砕けないというのは噛み砕いても既存数学に還元しないところが残るということなのか。
もしそうならショルツが言っている、肝心なところはギャップがありその他はあたりまえな展開だ
ということと同じということになりそう。
だからそのギャップなところを０からわからせてくれるといいけど、そのためには数論幾何の知識がかなり必要だというなら
まあもうどうしようもないねw
820: 2022/04/19(火)09:00 ID:JwQofraT(2/4) AAS
Peter WoitさんのブログにIUTTの最近の話が載っているね。
ふーんという感じ。記事から伝わってくるなんとも煮えきらない（不可解？）な状況の原因がどこにあるんだろう？
そもそもあまりに専門的で数学者でさえ理解できる人が非常に少ないということなんだろうか。
１９世期から発展してきたある現代数学分野ひとつの衰退期の現れなのか。。
821: 2022/04/19(火)09:05 ID:LpePyWTL(1/3) AAS
また理解されない厨が増えたな
前から言われてるが、予備知識自体はそこまで膨大なわけじゃないよ
十年かかっても外野が納得できないような不自然な理論でしかないってこと
822: 2022/04/19(火)09:09 ID:LpePyWTL(2/3) AAS
>>818
その手のアナロジーは色々怪しい印象がある
例えば星が復元を一般向けに解説しているが、細部は捨ててでも概要が論文で何故外部に全く伝わらないのか
いくら自明でないと言っても直観にすら訴えないアイデアなどありえない
823: 2022/04/19(火)09:14 ID:LpePyWTL(3/3) AAS
>>815
まあ一応その分野の第一人者だよ。だけど整理屋としての才能のほうがメインだなw
更にショルツに一気に持っていかれた感はあるね
824: 2022/04/19(火)09:40 ID:R6GzmGvY(1) AAS
数学という学問にホントに畏敬の念を抱いてこの問題に首突っ込んできてるわけじゃないやつばっかりだからな
なんとなくiutの話に首突っ込んで「俺こんな難しい話してる、オレかっけー」とか
まぁそういうアホがいっぱいいるのは世の常だし周りから「アホだなぁ」と思われるだけでそれはそれでいい
しかしその結果として「他の数学者は何してるんだ、ちゃんと論文読んでもっと広めろ」とか「どうもショルツとかいうやつが邪魔してるらしい、許せん」とか傍迷惑なアホ理論を平気で公共の掲示板に書き込んでくる
バカか？
今回の件でショルツの川には1ミリの非もない
責を負うのは100-0でrimsの側だとしか言えないのに
数学の勉強など全くしたことないのにおバカな誤解してアホな“数学っぽい単語の羅列”書いて喜んでる、結果普通の数学者、罪のない数学者を侮蔑する文章を平気で書く
もう数学の世界にクビ突っ込むのやめろと言いたい
無理、勉強もしないで数学の話なんてできません
825: 2022/04/19(火)09:43 ID:nX88M0Lo(1) AAS
>>815
F藁もPRIMSなら査読通っただろうになぁ
826(1): 2022/04/19(火)09:48 ID:JwQofraT(3/4) AAS
運動神経も０で筋力もないけどボクシングみるのは好きだよ。
この話は望月さんがメインストリームに喧嘩売っているようにみえるから
そこが野次馬的に面白い。ショルツが勝つか、もっちーが勝つかみたいな勝手な楽しみ方だよ。
ボクシングみたいにKOされたりすることはないのだろうなとは思うけど。判定勝ちはあるのか？
827: 2022/04/19(火)09:51 ID:zeZP3urw(1) AAS
>>826
お前の目にどう映るかなんぞ関係ない
もう数学世界によってくんな
828(1): 2022/04/19(火)09:55 ID:JwQofraT(4/4) AAS
数学世界？ ５chで書き込みすることが？？
829: 2022/04/19(火)10:03 ID:XRle8kY/(1) AAS
>>828
絡んでくんな能無し
気持ち悪い
830: 2022/04/19(火)10:18 ID:1mr4js41(1/2) AAS
数学世界爆誕！！
831: 2022/04/19(火)10:51 ID:GCFfM+2p(1) AAS
Nスぺは望月とショルツェにインタビューできなかったが
柏原氏や森氏はどうだったのだろうか
ファルティングスには話が聞けたが
ザギエなんかはどうだったのだろう
832: 2022/04/19(火)11:02 ID:pAqhXBPX(1) AAS
加藤のNHK番組での例え
2次元平面のX軸・Y軸はどちらも「数直線」という同じものだが、
数学者はこれを「同じもの」とは考えない。同一視してしまったら平面を張れない
だから、「同じもの」をときに「違うもの」とみなす、ということは
あっていいし、すでにみんなやっている
これは、いわばプログラミングでいう「クラスは同じだがインスタンスが違う」
例にすぎないと思うが、これは例えとして適切なんだろうか
IUTの系3.12で解釈が対立してるのってそういう話なのかね？
833(1): 2022/04/19(火)11:27 ID:2LUqx88r(1) AAS
「正しいのに難しすぎるから理解されない」「新しいものを受け入れられない旧態依然の数学界」という風潮を作る戦略
国際的な評価はともかく、日本国内では上手くいってしまったよな
Twitterなんか見てみると大衆はそう思ってる人ばかりだわ
834: 2022/04/19(火)12:03 ID:unANtxEh(1) AAS
先生のブログにピラミッドとかナスカの地上絵とか書いてて怖い
835(1): 2022/04/19(火)12:19 ID:FuhH38XY(1) AAS
>>734
ショルツは理解できなかった側の人なのだから
これを崇めている人は頭のおかしい権威主義者だという主張は
確かに理に適っており正しい
836: 2022/04/19(火)13:19 ID:nuao1pku(1) AAS
ショルツが世界中の数学者従えるほどものすごい権力持ってるみたいに言われてて面白す
837: 2022/04/19(火)13:37 ID:1mr4js41(2/2) AAS
数学研究も競争だから下手に種明かしをしたら寄ってたかって研究しつくされてしまうので
自分たちだけで細く長く研究費を貪り続けたいと考えるのも無理からぬこと
838: 2022/04/19(火)14:11 ID:cXLMHxNu(1/2) AAS
また日本からSTAP細胞みたいなことになっちゃうの？
839(1): 2022/04/19(火)17:16 ID:at1VvBb6(1) AAS
もうなってるよ
840: 2022/04/19(火)19:16 ID:lAFeozxO(1) AAS
>>839
全然
841: 2022/04/19(火)20:11 AAS
そもそも誰も何の関心もない
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!（嘲りまくり）
842(2): 2022/04/19(火)20:59 ID:EhGyN2pB(2/2) AAS
もしスレタイの件で、数学史または自然哲学史に名を残す
今は亡き偉人を、一人だけ召喚することができるとしたら、
誰にすべきか？
843: 2022/04/19(火)21:12 ID:XMPzBtyf(1) AAS
ID:EhGyN2pBはスクリプト荒らし
844: 2022/04/19(火)22:34 ID:cXLMHxNu(2/2) AAS
数学とトンデモ数学の境界問題
845(1): 2022/04/19(火)23:39 ID:6DvYF+av(1) AAS
望月理論以外でABC予想が解けそうな兆候もないだろう
結局他に証明方法がないのだから時間が経てば経つほど望月理論が正しい方向に傾く
ABC予想に向き合った数学者ほど正攻法での証明の不可能さに気付き、根源的な部分での
転換の必要性が理解されて、いずれ受け入れられるだろう
846: 2022/04/20(水)00:40 ID:dgcoUtFo(1) AAS
他に方法がみつからないからしゃあないから正しいことにしましょう？
あーほーでーすーかーぁ〜？、
847: 2022/04/20(水)00:49 ID:6VGIN0er(1) AAS
>>835
もっちーさんですか？乙です！
848(2): 2022/04/20(水)01:27 ID:j+Zgx431(1/3) AAS
ショルツェさんはドイツ人であり、ドイツ人はナチスを憎んでいる。
熱心なナチス党員だったタイヒミュラーの名を関した理論に
それだけの理由で条件反射的に拒絶反応を起こしているだけです。
849: 2022/04/20(水)02:28 ID:/6AbA8dW(1) AAS
フェルマーの最終定理を証明するにあたってフライ曲線というものを考え出した時のように
IUTが確実に間違いであるとか正しいと判定できるものを作る事って可能なんかなぁ
もしかしてそれが不可能だという事が間違いないから問題だというそういう種類のやつなんかねぇ
850: 2022/04/20(水)02:38 ID:KLn0dxoG(1) AAS
わかっていたことだが番組法英語見事にネトウヨのオナニースレに成り果てた
NHK他マスコミの罪は大きい
851(1): 2022/04/20(水)03:25 ID:UHCueGTP(1) AAS
文元がリーマン面の歴史を持ち出して印象操作してて草
852: 2022/04/20(水)05:57 AAS
>>842
そもそも一人も召喚できない
諦めて死ねｗ
853(1): 2022/04/20(水)05:59 AAS
>>845
＞望月理論以外でABC予想が解けそうな兆候もないだろう
望月理論でもABC予想は解けないが何か？
解けた解けたサギに引っかかるネトウヨ馬鹿ｗ
854(1): 2022/04/20(水)06:01 AAS
>>848
＞（ドイツ人ショルツはナチ嫌いだから）
＞熱心なナチス党員だったタイヒミュラーの名を関した理論に
＞条件反射的に拒絶反応を起こしているだけです。
ということにしたい大日本帝国万歳ネトウヨ馬鹿（嘲）
855: 2022/04/20(水)06:17 ID:PSUrojON(1) AAS
>>833
愛国ポルノやからな
856: 2022/04/20(水)07:05 ID:uVIpxEmn(1/2) AAS
Woitさんの最近の記事を読むと京都ではショルツの指摘はもはやなかったことになっているようだけど。。
本当に見解の相違なんだろうかね。
なんとなく正しい正しくないは別にしてIUTTは一度望月さんとともに忘れられていきそうだな。
857: 2022/04/20(水)08:36 ID:0iEClLAs(1) AAS
>本当に見解の相違なんだろうかね。
大半の専門家が受け入れていないのだから「見解の相違」は
望月学派の見解がその他すべてと相違しているということに過ぎない。
ICM全体講演でもそのように言われることの重みを考えよ。
>正しい正しくないは別にして【中略】忘れられていきそうだな。
正しいか正しくないかではなく、実質（アイディア）があるかどうか。
実質があれば証明そのものに瑕疵があっても忘れられていくことはない。
だから実質があると考える人たち（例えばDupuyとかJoshiとか）が
実現に向けて頑張るのはもっともなこと。
おかしいのは、他者に理解可能なものを提示せずに、あるいは大勢の
省1
858(1): 2022/04/20(水)08:44 ID:uVIpxEmn(2/2) AAS
実質があってそれが実際にはうまくいってないかわかりにくい。
若い世代がそれを改良したり補っていくのはいい感じですね。
代数方程式の解についての置換論から現代的な代数学が形成された感じと同じならいいなぁ。
IUTTは複数の数学があってその置換論みたいでむずかしい。。
859: 2022/04/20(水)09:19 ID:J2hvCswy(1) AAS
>>858
そんな、よくわからないけどとりあえず擁護、みたいな擁護しかない時点で駄目だとわかる
860: 2022/04/20(水)09:51 ID:YGRTJ0dx(1) AAS
動画ﾘﾝｸ[YouTube]
Dupuyが解説してくれてるぞ
861: 2022/04/20(水)09:56 ID:0YmkX7Tu(1) AAS
数学に失敗はつきもので、皆でそれを埋めていけば良い
唯一駄目だったのは、Cor 3.12の証明ができていないことが分かってるはずなのに査読が通ってしまった点
おそらく、Kiran Kedlayaが述べているように「正しい証明とは何か？」を京大側は理解できていないんだろう
数学の証明とはコンピュータでも証明できる性質のものであるというのが、おそらく20世紀の数学の成果の一つだが、その歴史が理解されていないという印象を受ける
862(1): 2022/04/20(水)10:57 ID:j+Zgx431(2/3) AAS
>>854
「ネトウヨ」言う投稿でかえってこの論争のイデオロギー的背景を暗示しているじゃん。
>>848の言い分にも一理ありと証明している。
863: 2022/04/20(水)11:38 ID:a/ssMVJi(1) AAS
関係者は地獄行き
864(1): 2022/04/20(水)11:53 ID:WanQGlPg(1) AAS
>>399
ファルティングスと議論して正しいのが望月のパターンが多いって凄いな
加藤和也からみてファルティングスは平均的数学者の頭3つ分らしいし
865: 2022/04/20(水)12:22 ID:VHkTnRlA(1/6) AAS
>>851
確かにリーマン面も分けながら貼り合わせるものだが、IUTみたいな論法がspecZに決定的とは思えんな
真偽はさておいても過渡的な考えでしかないだろう
866: 2022/04/20(水)15:46 ID:uiqgHA1b(1) AAS
invitation to view IUT workshop videos
867(1): 2022/04/20(水)16:09 ID:2COJlzyc(1) AAS
>>864
・こういうのはお世辞のようなもので、あまり額面通りに受け取っても仕方がない
・研究テーマの中のごくごく狭い話になれば、指導教官よりも、
常にその問題を考えている学生の方がよく分かってるということは普通にある
（というか、そのくらいになってくれなきゃ学位はやれないよ、というのが
普通の教官の感覚）
868(2): 2022/04/20(水)16:45 ID:+j1z6t5y(1) AAS
>>867
横ですがそうかも
が、ファルティングスが、多少のヨイショがあるとしても
望月氏を、かなり高く評価していることは確かと思います
NHKスペシャルで、ファルティングス氏は
「望月なら、ABCを解いても不思議ではないと思った。論文の手法を理解したいと思った」
「望月は、もっと説明に力を入れるべし」（つまりは、ファルティングスはIUTを否定しているのではなく、説明不足だという。
これは、IUTを100％肯定しているわけではないが、それなりに肯定できる”しろもの”と評価していると思いました）
あと、NHK番組などを見て思ったのは
望月氏、玉川氏、加藤氏など、教授レベル以上では、それなりに地位も名声もある人たちで、”戦闘力あるいは戦闘意欲”が落ちている気がする
省13
869: 2022/04/20(水)16:56 ID:VHkTnRlA(2/6) AAS
>>868
さすがに偏りすぎだろう
単純に優しいんだよ、ファルティングスは
870: 2022/04/20(水)18:38 AAS
>>862
全然ねえよネトウヨパクチーｗ
871(1): 2022/04/20(水)18:43 AAS
>>868
お前バカだろｗ
望月新一が説明しないのは証明できてないから
説明したら証明できてないのがバレるからな
弟子や同僚がダンマリなのも
うすうすそのことに気づいてるから
まあいろいろ事情はあるんだろうが
日本人の評価を爆下げしてることは間違いない
872(1): 2022/04/20(水)18:53 ID:0Pp2CUjT(1/2) AAS
ウクライナへのロシア侵攻で
憲法九条なぞというオカルト宗教が
鼻くそほどの役にも立たないことが分かって
馬鹿サヨが暴れてるようだなｗ
>>871
いつもID消してるヘタレ左翼のお前、九条を擁護してみろよ
873(1): 2022/04/20(水)19:04 ID:VHkTnRlA(3/6) AAS
熱意云々でいったら、星や南出は真っ先に先鋒役を買ってアメリカで説得すべき立場なんだが
ファルティングス、ケドラヤ、ショルツといったそうそうたるメンバーが読めなかったのに
これが何を意味するかは明白だろう
数学は本来読めば理解できるものだ。トップクラスなら常にそれが成り立つ
874(1): 2022/04/20(水)19:04 ID:j+Zgx431(3/3) AAS
なんで左右論争になってんだよ
政治とは縁遠いはずのここは数学板だぞ
875(1): 2022/04/20(水)19:10 ID:VHkTnRlA(4/6) AAS
トップクラスだったら、ひとまずアイデアのイメージを理解し
こう書いたら普通の数学者に理解できるのではないか
と啓蒙すらできる。現に三年だか四年前にショルツに期待されていたのがその役割だった
876(2): 2022/04/20(水)19:27 AAS
>>872
軍隊があれば安全とか馬鹿か
軍隊は国民を殺戮するためにあるんだぞ
おまえなんかまっさきにハチの巣にされて惨殺される
一遍死んでみるか？ＤＱＮ
877(1): 2022/04/20(水)19:29 AAS
>>875
ショルツは望月新一の論文に知性の荒廃を感じたんだろうな
「同じかつ違う」といったら正常な人間なら真っ先に発狂を疑う
878: 2022/04/20(水)19:33 ID:0Pp2CUjT(2/2) AAS
>>876
「軍隊があれば安全」なんて誰が言った？
おまえそんな低レベルな論理水準で他人に絡んでるのか？
さすが低学歴
879: 2022/04/20(水)19:35 ID:lv5dOQC0(1) AAS
やはりIUTの可能性を見据えて研究成果を全て独り占めしようという欲がわいたのか
880: 2022/04/20(水)19:50 ID:VHkTnRlA(5/6) AAS
>>877
正しければ直観的に納得するのでは？
そもそも同じと見なせる文脈と異なると見なせる文脈は違うに決まっている
本当の問題はそれを説明できない場合
881: 2022/04/20(水)20:58 ID:u8w2D8/F(1) AAS
>>874
本来数学の話できる人間なんかこのスレにはほとんどおらんからやろ
なんとなく数学の話してるっぽい事したい、でも数学わからんし‥そうだ、数学周辺の政治っぽい話でもしてみよう、きっとこの世界でも政治の話あるはず‥ってとこやろ、アホ丸出し
882(1): 2022/04/20(水)22:03 ID:N6Jzz7Gn(1) AAS
>>873
>数学は本来読めば理解できるものだ。トップクラスなら常にそれが成り立つ
たまに例外あり
科学史を見ると、まれに革命的な思想が出て、周囲がそれを理解できないことがある
下記のカンブリア宮殿、3月の放送だが、これ見て「IUT ソックリ」と思った
つまり、山田社長の「液体に直浸け急速冷凍する”凍眠”」では、あまりにも画期的すぎて、周囲に理解されなかったという
物理では、結構多くて、時空の相対性理論とか、火の玉膨張宇宙説とか。woitが批判する”超ひも理論”とか
数学では、古くは「0（ゼロ）の発明」や、ニュートン「無限大、無限小を使った微積（解析ともいう）」、虚数（複素数）、青年ガロアの理論
そして、いまは望月氏の「IUT」です。発想が、斬新かつ画期的すぎ
外部ﾘﾝｸ:www.tv-tokyo.co.jp
省12
883: 2022/04/20(水)22:43 ID:eFgaTlGP(1) AAS
同じ番組を見ても見解は全く違うんだな
NHKの番組では、望月の理論のコアの根本部分（違う宇宙を認めるか）を
受け入れるかどうかで争いがあり、多数の数学者との間で争いがある
それはポアンカレのセリフが引用され、数学の根本的な部分に関する争い
ファルティングスは否定でも肯定でもなく
望月に理解できるように説明をしなくてはいけないってので締めで
認められるも認められないもこれから次第というのが番組の立場だったと思う
番組のスタンスとしては、哲学的な議論を呼んでる望月の理論のコアな根本部分が認められれば
その後の証明にはギャップはないというスタンスだったな
884: 2022/04/20(水)23:44 ID:DqFP08Af(1) AAS
宇宙みたいなでたらめな修辞を使わないで説明してほしいなぁ
望月さんの言う宇宙ってグロタンディークの宇宙とは別物？
885(2): 2022/04/20(水)23:51 ID:xzp0jhJW(1) AAS
Twitterより
> Kedlaya先生とABC予想について話しました。
(略)
> (後これ言っていいのかわからないですが)
> 結構オモシロイと思ったのが、アメリカとかドイツだとショルツさんの言ってること
> をみんな正しいと思ってる(有名だから)けど別にショルツさんが正しいわけではなくて
> 彼の議論もあんま正しくない。だから本当のことは誰もわからないって話でした
886: 2022/04/20(水)23:52 ID:VHkTnRlA(6/6) AAS
>>882
抽象的な理論で鍛えられて歴史的にも遥かに経験を積み重ねた現代の数学者については、それはかなり
怪しいんじゃないか
それよりも、たくさんある証明失敗のケースに入る心配をするのが妥当だろう
887(2): 2022/04/21(木)02:44 ID:1RpPBe2f(1) AAS
これって本人が認めない限り間違いを証明することできないの？
888(2): 2022/04/21(木)03:57 ID:sjjr09uw(1) AAS
真性右翼のタイヒミューラーや岡潔の理論はすぐに理解者が得られたのになあ。
きちんとギャップを埋める、
見通しの良い形式を採用する、
そんな理論の発展につながる努力を期待します。
それまでは、否定で良し。
889(1): 2022/04/21(木)04:00 ID:EpzmeIt/(1) AAS
>>876
軍を忌避してたからクリミア取られ次は今度の侵攻受けたんだぞ あふぉパヨク
890: 2022/04/21(木)04:12 ID:ftf+hSoQ(1) AAS
>>885
教員が学部生にどこまで本音を話すかわからないけどこのツイートを信じるなら
有名で能力があってIUTに興味のある数学者が証明を理解してCorollary 3.12を解説するのが
事態を好転させる唯一の方法でそれができそうなのはKedlayaくらいなのに
そのKedlayaももはや興味なさそう
891(1): 2022/04/21(木)04:20 ID:cPi6GsHP(1/5) AAS
>>888
ファシストの語源って「層」のシャーフと同じなんだね。
892(1): 2022/04/21(木)05:11 ID:DKgE+bSB(1) AAS
>>887
そんなことはない
IUTT4や5人論文でやられている計算の反例が見つかればいいだけ
893(1): 2022/04/21(木)06:22 ID:72/7EJMd(1/3) AAS
>>891
>シャーフ
sheafの発音はシーフですよ
ʃíːf(米国英語), ʃi:f(英国英語)
894: 2022/04/21(木)06:27 ID:x81ZStbC(1/2) AAS
>>889
ウクライナは徴兵制さいようしてるよ
895: 2022/04/21(木)06:28 ID:72/7EJMd(2/3) AAS
>>892
「反例が示されないなら”正しい”から証明を認めるべき」
という考え方は間違ってますよ
例えば、自然数・整数の公理を示した上で
フェルマー予想を示したとしましょう
反例はありませんが、だから証明できたと云えますか？
云えませんよ
望月新一に対していわれているのはそういうことです
彼のIUTなるものの3.11までの諸命題が正しく、
3.12に対する反例がなかったとしても
省2
896: 2022/04/21(木)06:30 ID:x81ZStbC(2/2) AAS
軍を忌避なんてしてないけど、NATO入りする前に核兵器を放棄してたから、有効な軍事同盟に加入してその核抑止力の傘の下に入ってなかった
897: 2022/04/21(木)06:36 ID:72/7EJMd(3/3) AAS
核抑止力なんてないですよ
核戦争は必ずおきます
そして人類は滅びます
人は愚かな生き物です
ウラジミール・プーチンが今回そのことを示してくれました
人は本能的に他人の死を欲し、そのために自分の死を引き寄せるのです
死ぬために生きているといってもいいかもしれません
アインシュタインは「戦争を防ぐ方法」を問う手紙を
フロイトに出したそうですが、フロイトの答えは以下の通り
「人には死の本能がある それをなくすことはできないだろう」
898: 2022/04/21(木)06:41 AAS
核抑止力は
「人には死を恐れる そしてその恐怖を避ける知性がある
だから死を引き寄せる核兵器を使用しないようにするだろう」
という仮説の上に成り立ちます
しかしながら上記の仮説は正しくありません
他人を殺すことを本能的に望み、そのためにのみ知性を使う人がいます
そのような人は自分が他人から殺されることはないと
何の根拠もなく思い込み、決して反論を受け付けようとしません
しかし実際には殺されます 核兵器は互いが互いを殺す地獄を実現します
もう人類は引き返せません 今世紀中には人類は確実に絶滅するでしょう
899(1): 2022/04/21(木)10:09 ID:dwu8v8Hv(1) AAS
>>885
最も重要なところが引用されていないな
kedlayaはscholze以前にまずCor 3.12の証明がきちんと書かれていないことに指摘している
そのツイートでは詳しく述べられていないが、何度も書いたように数学の証明とはコンピュータでも証明できる性質のものであって、Cor 3.12ではそれが出来ていないというのが証明できていない最大の根拠
900: 2022/04/21(木)11:07 ID:TJq2qeHi(1) AAS
数学は量子力学の世界に入った
901(1): 2022/04/21(木)11:56 ID:C/FzvHzp(1) AAS
4月10日のNスぺは非常に一般受けが良かったようで
今日の新聞には68歳の女性のポジティブな感想が載っていた。
902: 2022/04/21(木)12:11 ID:RGViFncm(1/4) AAS
「東京新聞」なんか読んでいるブサヨクの東京が、真っ先に核攻撃されるのは皮肉
先の大戦でも東京大空襲で一晩で10万人焼き殺されていながら
「民間人虐殺は戦争犯罪ですよ」と当たり前のことも言えないバカども
上下前次1-新書関写板覧索設栞歴
あと 100 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s