0001１３２人目の素数さん2021/03/08(月) 09:48:25.28ID:lrQeWltU
テンプレは後で
0952１３２人目の素数さん2021/04/01(木) 23:06:04.97ID:qd06DfPE
証明が（理解でき）ないと言っている人たちの方に問題がある
というようなことを書いておきながら、いざ説明を求められると、
自分は理解していないとか、理解している人たちにとっては当たり前とか
言って逃げるのはまったく誠実な態度ではないね
0953１３２人目の素数さん2021/04/01(木) 23:25:35.37ID:T7fYIeJB
僕の父母は2人。祖父母は4人。曽祖父母は8人。その前は16人・・。そう考えていくと27世代前の先祖は1億3千万人を超えている。平均して25歳で子を産んでいると仮定すると、27世代前は14世紀。鎌倉・室町あたり。当時の日本の総人口よりも僕の先祖の数の方が多いのか。
>>952
批判しておいて議論の場から逃げたのはどっちだったかな？ 望月氏ブログによればショルツは「藁人形」を問題にしているということになる。
2+2を4と言っているのに、どういうわけか9と言っていることになって間違っていると指摘している。そもそも「間違っている」という箇所を「間違えて捉えている」というわけらしい。
なんでそうなってんのかね。ショルツがIUT会得がまだまだということになるのだろうけど、
もうすこし誰もが参加できるような土俵で第三者的な審判がなされないかね。
そもそもIUTがそういう客観的な土俵になじまないのかね。。
Brian Conrad の2015年の記事を読んだ。Oxfordにおける1weekIUTレクチャーの感想。
最後の2日はみなチンプンカンプンだったようだ。
彼によるとIUT取得者たちは、具体的な例も出せないし、わかりやすい簡潔な説明もできなかったそうだ。
彼にいわせればそれは理論を十分理解しているとは言えないことになる。
聴衆からいくつも「具体例を」とリクエストされたのに、講演者は「すでに知られている例がある」というような答え方だったそうだ。
ようするにIUTはこれまでの数学のcontextの中にないものだということなのだろう。
Brian ConradはこれではIUTを学びたいと皆に思わせることができないといっている。
Many are willing to work hard to understand what must be very deep and powerful ideas, but they need a clearer sense of the landscape before beginning their journey.
0958１３２人目の素数さん2021/04/02(金) 13:41:17.39ID:PHW+e7km
>>951
それは今週店頭に並んでる号だぞ
サブスクでもカットされてなくて読めたわ >>958
確かによく見たら発行年月：2021年03月だった
雑誌とか全然買わないから４月３日号という名前に騙されたよ、ありがとう ごまかしと言い訳と詭弁でぬくぬくと甘やかされたまま早八年。
打つ手なしでやられたい放題の数件教授陣の見識まで疑われるな。
そもそもABCが解けるだけ、じゃたとえ正しくても重要性は低いのに、いつまで特別扱いしてるのかね。
「彼」が本当に活躍してたのなんてもうほとんど20年前の話でしょ
(全く活躍した形跡がないのに、なぜかテニュアで採用されて講義もせず呑気にタダ飯食ってる奴もいるがね 苦笑)
ところでこのさき誰かが別の手法でabc予想を証明した場合
最初に証明したのは誰になるんだろう？
0962１３２人目の素数さん2021/04/02(金) 20:41:32.77ID:c7SQKwWP
別の手法なら当然別の手法を生み出した人が証明したことになる
Cor 3.12を証明したとかであればどちらの成果も認められる
>>962
数学史上でどっちが先だったかという問題は残るだろ 0964１３２人目の素数さん2021/04/02(金) 22:55:23.43ID:c7SQKwWP
>>963
どっちが先も何も別の手法でABC予想を証明する人が出たら、その人が一番最初に証明してる >>964
だよね……
でもそうなるとIUTのレゾンデートルって…… >>965
証明できてないからと言って一概にレゾンデートルがないとは言えないが、
ショルツがTh3.11までは自明と確か言ってたのを見ると、やはりCor 3.12を証明しないと厳しいだろうね >>966
abc予想の証明にしか使えない理論なのに他の手法でabc予想が証明されて数学界で先に認められてしまったら
IUTは何のために存在しているのかという疑問…… >>966
>abc予想の証明にしか使えない理論
まずここがFAKE
ABC予想にしか使えないことを証明しろ >>968
確かに断定はできないか
しかし現時点でほかに適用されている事例があるのか？ 「私が！abc予想を！最初に！証明したのだ！」
「はいはい、おじいちゃん、お薬飲みましょうね〜」
「では次のニュースです。世界で初めてabc予想を証明したペーター・ショルツェ氏が来日し京都大学で記念講演を……」
原因として、日本人の論理的思考力、特にクリティカルシンキング力が低いんだろうな
東大の人だったか、「厳密に考えるのは好きじゃない」と言いながら「数学で論理的思考力が身につく」と言ってて心の中でツッコんだが、数学をやるだけではやはり身につかないんだろう(1/4)
クリティカルシンキング力は「自分で自分が論理的かを批判する力」だが、RIMSが「Cor3.12の証明は当たり前に正しい」と思うのはまさにこの力がないからだろう
つまり、自分で自分が論理的かを検証することが苦手だから、「当たり前」が論理的でないことを自分で批判することができていないと予想できる(2/4)
0973１３２人目の素数さん2021/04/03(土) 14:14:33.32ID:/e02n3HE
加藤文元 大人のための最先端理科
中学から理科は実験観察に基づき単位もあるが証明はないし、数学は単位
がなく証明がある。
これを踏まえて議論するものだ。
IUTの解説は文元本も含め曖昧
雰囲気ばかりで大人の都合だろ。
厳密な数学と言っているのには
冷笑しかない
著者は米で育っただけありそれなりに力があると思う(実際、Cor3.12の証明を除いて誤りは訂正してきたし、非専門な内容については断りも入れていた)が、自分の努力して作り上げたものを完全に否定されて(研究者にとってそれが辛いことは研究者であればわかると思うが)、バイアスを抱えてしまい、クリティカルシンキングのできない周りがそれを助長したのではないか、と推測できる(3/4)
まあabc予想自体はだいたい正しそうって分かってる「お題」で
みんなで解き方をいろいろ考えるアルゴリズム選手権みたいなものだから
別に税金の無駄だったとかいうつもりはないんだけどさ
分からないまま終わってしまうと伏線を回収し忘れた物語みたいにモヤモヤする
ショルツはCor 3.12にギャップがあるだけじゃなく
成り立たないって言ってるんだろ？
後年Cor 3.12が証明されたら〜みたいな事言ってるやつ居るけど、
証明されたらショルツは間違ってたって話なわけで
ギャップが有るってのも勘違いになるのでは？
ショルツは、p進体K上の双曲的曲線Xのエタール基本群π1(X)の、無限個の同型コピーを考えるというIUTの考えに対して、ある固定されたX0に対するπ1(X0)と同一視して単純化するという考えを持って成り立たないとしているが、
うっかりそれで図式の可換性の違いが生じてしまう可能性はないとは言えないということなのかね
IUTというよりも、望月氏が何か革新的な考え方にたどりついているか否かだけど、
それが一向に検証できないまま、彼の頭の中でのみ直観的に正しいとされている感じなのか。
数学は内容の正確な交通（communication）として何よりもまず有用なのに、そこがうまくいっていないのが心配だ
0981１３２人目の素数さん2021/04/05(月) 17:23:36.05ID:R7E+HXhz
STAPの数学版だろ
人種問わずIUTに理解を示したらアンチに
望月一派にカテゴライズされてしまうんだから、
アンチの定義ではIUTを理解できるのは望月一派だけになるよね
0983１３２人目の素数さん2021/04/06(火) 20:03:04.98ID:qwJaCDuk
「IUTに理解を示す」とは従来の数学と
無縁なIUT語で話すことだ。
こちらは数学の発展がない
望月はラマヌジャンみたいなタイプなんだな。
だから、証明などいらないから、どんどん望月予想を発表すればいい。
それが数学の発展につながる。
どうもIUTにはKey Ideaがみえない（説明されない）と多くのAuthorityが言っているのだね。それはどういうことなんだろう。
現在の標準の数学をひとつの「宇宙」とするようなたくさんのマルチバースとしての超数学宇宙があって、
ある宇宙はで解決（見通し）困難なものが、別の宇宙では容易になるみたいな発想なのかね。
IUTはその宇宙同士の交通つまり「際」の理論ということになるのだろうかね。
もしそうなら、大理論だし、望月氏が数学基礎論的な話をしているところがあるのはわかる（ただ、他の人は基礎論はabcには関係と言っている）
壮大すぎて、abc予想という視点から無駄で必要のないところが多すぎるから、余計読まれないのだね。
次の進展というか、何かあるとしたらいつごろなんだろう？
只野 数雄
フェルマーの最終定理の謎
amazon kindle
中味なんてクソだけどIUTの主張と整合しないと大変なことになるな
0991１３２人目の素数さん2021/04/08(木) 23:43:41.25ID:0T/YzuAm
どゆこと？
中に冪数のｎが異なる場合に成立するケースが書いてあるでしょ
それはつまりabc予想とおなじこと
日常的には嫁の機嫌とか映える料理のほうが大切だよな
学界の様子がわからないから、国際的な数学界ではどうなるかわからないけど、
世間一般では、このままの状況では来年には完全に忘れらるだろうな。
まあ、今もすでにそうかもしれないけど。。
0996１３２人目の素数さん2021/04/09(金) 09:01:28.98ID:7gY8FyTr
忘れられるってゆうか、主流派からはもうとっくに無視されてる
alternative mathを奉じる分離主義勢力はあと数年ぐらい頑張るのかもしれないが
銀河共和国に対する脅威とはなりえないから、クローン戦争もおきないんじゃないか
abc予想が正しければIUTも正しいんじゃないの？
説明責任を果たさず藁人形論法の詭弁しかできないんだから、当然だよね。
まともな判断能力を失っている数件には失望した同業者も多いだろう。
数学基礎論の論争とはちがうのだろうから、「見解の相違」というのはないのだろうね。
排中律を認めないとか、選択公理は使わないとか、そういう話とは別だよね。
どうして「理解している人」とそうでない人が8年間も経っているのに分かれているのかな。
8年というのは短いのかもしれないけど。。
Gは定年まで数件でタダ飯食うのか？オリハルコン製の心臓だな。
10011001Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 32日 5時間 58分 29秒
10021002Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php