Inter-universal geometry と ABC予想 53
レス数が1000を超えています。これ以上書き込みはできません。
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ
Inter-universal geometry と ABC予想 51
https://rio2016.5ch.net/test/read.cgi/math/1587468367/
Inter-universal geometry と ABC予想 52
https://rio2016.5ch.net/test/read.cgi/math/1588702281/ スレ立て乙
前スレの終盤に、望月らの初期の遠アーベル幾何の論文に関する興味深い指摘があったので、再掲しておく
892１３２人目の素数さん2020/05/16(土) 17:05:26.47ID:pfRK/KOl
だれか1996年の論文を再検証してくれんかな。
あの論文に対するIの評論とかを今読み返すとなんか思うところがあったのかな、
という感じで、当時あれがほんとうに受け入れられていたのかわからないところがある。
https://rio2016.5ch.net/test/read.cgi/math/1588702281/892 woit ブログ Not Even Wrong
https://www.math.columbia.edu/~woit/wordpress/?p=11709#comment-235940 決着が着くまでは見守りたい
このまま空気にされて60年後とかにそういえば、って引っ張り出されることもあるのかな 出す・・・・・・！出すが・・・・・・今回 まだその時と場所の指定まではしていない そのことをどうか諸君らも思い出していただきたい つまり・・・・我々がその気になれば実際の出版は１０年２０年後ということも可能だろう・・・・・・・・・・ということ・・・・！ IUTは多少の誤差を監視しながら許容する新しい数学だから、
そもそもそれが既存の数学者から見ると理詰めでギャップがあるように見え美しくないように見える
だから数百ページに及ぶ基礎を理解せずに話しするとそもそも説明しても理解してもらえないし、
過去の数学の概念の話を持ち出されて堂々巡りになるのが問題の本質ってさ しかし諸法無我氏って
何者なんだろうな
IUT理解者が周りにいるようだが 数学者にしては言葉のチョイスがヘンなんだよね
KSFとかインセンティブとか あー、指導教員の理論がボツになったら、自分の将来もまずいもんな
そりゃ擁護したくもなるわ Twitterで暴れても意味ないだろ
そんな暇あったら論文書けよ IUTではサーベイは書けてもオリジナル論文は書けないんだよなあ・・・ 結局、IUTって、Cor 3.12の不等式を導く式に
j^2を入れるための膨大な口実に過ぎない感じ
しかも実は口実にもなってなくて
それをショルツに見抜かれた感じ
デュピュイがIUTではなくCor 3.12に目を付けたのも
望月のアイデアで、有用なのはそこだけって気づいたから 名探偵コナンくんみたい
S.Sレポート
The conclusion of this discussion is that
with consistent identifications of copies
of real numbers,
one must in (1.5) omit the scalars j2 that
appear, which leads to an empty
inequality.
We voiced these concerns in this form
at the end of the fourth day of discussions. On the fifth and final day, Mochizuki
tried to explain to us why this is not a
problem after all.
In particular, he claimed that up to
the “blurring” given by certain indeterminacies the diagram does commute;
it seems to us that this statement means
that the blurring must be by a factor of
at least O(l2) rendering the inequality
thus obtained useless. トリビアルな理論からマネーを生み出す男
それがBG でも確かに
IUTから抽出したいくつかの諸概念から
仮に「矛盾」が生じたというならば望月outだが、
実際には1+1＜3みたいな「(ほぼ)無内容」な式が帰結しただけというんだから、これじゃIUTはまったく無傷だよな
望月じゃなくても「端折らないで他の箇所も読めよ」と言いたくなるのは分かる 必死で説明したんだねw
On the fifth and final day,
Mochizuki tried to explain to us why this is not a problem after all. >>17
元がなんだったか忘れるくらいフィットしてるなw >>30
>「無内容」な式が帰結しただけというんだから、
>これじゃIUTはまったく無傷だよな
IUTを守ると、ABC予想が証明できない
ABC予想を証明した、と言い張ると、IUTが崩壊する
どっちにしても望月惨敗か 東大王の河野とか水上とかの神脳がやれば、すぐ結論が出るのに、
そういうのは、医学部に行ってるから、困ったもんだな。
人材が数学に流れるような社会システムを作る方が、
IUTより一億倍重要と思う。 >>35
そういうパズル的な頭の良さが必ずしも数学の才能と一致しない事は、
数学科で多少なりともお勉強をしていれば、簡単に判る事だと思うけれどね。 数学科って進振りで人気ないだろう。
灯台しか知らんが、 >>37
俺は東大じゃないから詳しい事は知らないけれど、1, 2年の数学の授業で自信を失うのが大きいのでは？
理科I類は皆、微積はイプシロンデルタでやるんでしょ？ 普通に工学科に行って普通に就職するのが普通だから
マジだぞ 数学への興味よりも普通に就職することを優先する人なら大したことないんじゃね >>37
単に色々しんどいから人気がないんだが。現に半端な才能の墓場だしな
数学科のレベルを舐めてる理系東大生なんかほとんどいない >>35
そこまでファンなら
鶴崎君が数学科なことも思い出してくれい
彼がTVカメラにチラ見せした本は
リー代数の洋書だったかな ま、でもほんとに賢い人だったら、数学やらないかな
だって、今の数学で成果を上げるのは難しいからね
もっと成果があげられそうなことほかにいくらもあるし
＃別に数学科に進む人はDISってない
＃数学しか興味ないし取柄もない人っているからさ 昔の東大はε-δ論法を取らなくても良かったために、逆にε-δ論法やらずに数学科を出るなんて者もいたものだから、結構非難されたんだよな
その結果理1は皆やることに 就職活動が大変そうとか小難しそうというイメージがあるのが大きい気がする
すると数学科は数学がやりたい人しか集まらなくなるけど
工学系などは工学をやりたい人だけでなく
特にやりたいことのない人や就職活動を重視する人も志望することになる >>45
就職第一で考えたら数学科進学はまずないな
数学科のカリキュラム見たら明らか
百歩譲って、確率論とか解析とかなら仕事にも役立つかもしれんけど
代数とか幾何ならまず仕事とは無縁
ま、でも就職のことだけ考えて専攻選ぶってのも
つまんないっていえばつまんないけどな そもそも東大って数学科の学生を増やす気がないよな
>数学科に進学することは人生の多くのものを諦めるということである。
https://pbs.twimg.com/media/ChRRH-kU8AE4SQr.jpg >>47
東大の数学科に行くというのは、
数学者を目指すということだからな
中学・高校の先生になりたいんなら、他の大学で十分
ぶっちゃけ確率関係を別学科にしたらもっと定員を減らせる
さすがにそこまではやらないんだろうけど >>43
なんで「ほんとに賢い人」の考えを言えるんだ？ >>44
なるほど
εδ論法は近代数学の基礎だろう。
運動を図示してもゼノンのパラドックスが示すように極限や連続をとらえて
いない、
結局 任意として静止状態で定式化
した。
また近似 誤差 近さは物理や工学の
実験データ分析や推定にもつながる。 病気を診断するとは観察測定データ
から原因を解明する逆の問題だ
誤診の医者をやぶという >>43
いや、フィールズ賞とか関係なく数学を進められる人間もなかにはいるんだから
普通に前向きにそうなる人間もいる。しかも、数学からでないとなかなか目論めないプロジェクトもありうる
それを無視した破綻したレスをする人間が「本当の賢さ」を∀で語っても性格の悪い馬鹿にしか見えないな
世間的なずる賢さの話ならわかるが >>55
「数学からでないと目論めないプロジェクト」って具体的に何？
君が性格のいいお利口さんなら速攻で答えられる筈 ID:QaFEzNvIはYouTuberスレで簡単なことを間違えたのに引き下がらない質の悪い馬鹿です。 s0+s0=ss0を証明するだけなのに
「+の存在ガー、一意性ガー」
と全く無関係なことを喚く
完全な●違いには困ったものだ >>56
それを言っても言わなくても貶せるわけで、性格の悪い人には具体的に言わないが吉だろう
単純に数学的な負荷が高くて重要な理論がありえたらどうなるかって事だよ
あと、才能がある人ってのはある程度直感的な必然性があって自分の理論に導かれるわけ
こういう理論はあるのかな、ない、或いはあるが不満。だから自分がやるしかない。そういう感じ
その内的必然性を無視して分野の決定の効率を論じちゃう時点で、自分には才能がありませんでしたという自白
にしかならないのよ >>59
いや、そもそも何の考えもなく口からデマカセで言ったんだろう？
白状しなよ 何も考えてませんでした ボクはお馬鹿ちゃんですって
馬鹿を認めないヤツって最も大馬鹿なんだよ 覚えときな
馬鹿を認めることでしか人はリコウになれないんだ ＞自分には才能がありませんでしたという自白
今や数学者になる才能のない人なんて大多数だよ
だから数学を学ぶ目的を一から考え直したほうがいいね
数学を研究するため、ではなく、すでにある数学を利用するため、とか >>57
馬鹿にもほどがあるね、
諸法無我の化身かな 先日やや望月下げした朝日新聞の記者が
今度はまた上げ(中立か)で記事書いてる。
共同通信も書いてるし、何か動きあったか？ コロナ終わったら、abc周辺の事情が一気に報道されるんだろ 数学掲示板群 ttp://x0000.net/forum.aspx?id=1
学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0 >>63
相場の値動きみたいに下げ止まってちょっと上げたと思ったら急落するんじゃないかと心配 >>64
だろうね
落とす前に上げておこうって感じかな 朝日の記事有料が多いし
再開した図書館で明後日あたりバックナンバー漁るかな 谷山とかフレアーが若くして自死しているけど、リーマンも40にならなかったんだよなあ。若い
全然関係ないけど。ガロア、アーベル、ラマヌジャンなどやっぱり皆早いな >>73
早逝したほうが話題にしやすいってだけでは
常時脳汁全開状態で不摂生が祟ったのかも ニュートン、オイラー、ガウスとかは時代のわりに長生きしてるよね もっちーも105才くらいまで生きそう
なんか頑強ってかんじ
骨太だし 朝日の記事、黒川さんとか森重文さんが、IUT理論が新たな数学の発展につながるとか言ってるね。
リップサービスかもしれんけど。
ショルツを納得させなければ査読は通せないという断固とした態度はどこへ行ったか。
数学の真理が証明ではなく、ただの強弁でその正しさを押し通そうとした点で、望月とRIMSは日本の恥だとう自覚が足りないと思う。 一般論だが正しくないものを言い張ったら、今は名声を得られたとしても、記録に残って後々まで汚名を残すことになる。数学者って視野が狭い人多そうだからね〜 >>78
>森重文さんが、IUT理論が新たな数学の発展につながるとか言ってるね。
マジ？
その記事は読んでいないが、わざわざショルツたち呼んで物別れに終わったことは忘れてしまったんだろうか 黒川さんは野次馬気分だろうが、
森さんは当事者だから一応それなりの根拠あるんでしよ
特に玉川さんの世代にとって、森さんは直近のスーパースターだから、森さんの顔に泥を塗る訳にはいかないと
とりわけ念入りに精査したと思うけどね IUT理論が新たな数学の発展につながるっていうのはかなりお茶を濁してるんだよね。
IUTもCor3.11までは大きな間違いはないから「将来発展するかも」
と言ってもそれだけでは嘘にはならない。
消防署のほうから来ました、みたいな言い方だが。 それ言ったら黒川さんなんか絶対数学に関係あるからで片付くからなw
便利なポジションだわ そういえば、絶対数学ってあったな。
最近、名前負けする数学が多いような。 森さんの下で通したんだからそんな言い逃れは出来ないよ 森さんの下で通したんだからそんな言い逃れは出来ないよ そういう力学は、他の学術分野比較して少ない方だとは思う Cor3.11までを玉川は「頭が疲れる。精密機械のよう」といい、方やショルツは「まったく自明。ほとんど何も言ってないに等しい」と言う
すごく面白いねw
こんなことってよくあることなんだろうか ショルツの言うそれは、「論理的には正しいが、特に価値を見出せない」くらいの意味じゃないだろうか
天才から見ればあの論文も別に難しくないのかもしれんが いや、それは別にいいんじゃないか
グロタンディークの理想は抽象化から問題が溶解することだろ
一見自明に見えても丁寧に抽象の世界に入り込んでいつの間にか不等式が従うように構成したかったんだろう
だから系までが自明というのは多分悪口にならない >>78
>ショルツを納得させなければ査読は通せないという
>断固とした態度はどこへ行ったか。
そんなこと何処かで言っていたのか？ 数学に力はいらない。誤りがあれば時間の中で自然と風化するだけ。 誤りが無くても失伝し再発見された事例も数学史に有るじゃろ 朝日新聞
https://digital.asahi.com/articles/ASN5Q5K19N5LULBJ00D.html
「「数学のノーベル賞」と言われるフィールズ賞受賞者の森重文・京大高等研究院長も
「既存の数学とは違う全く新しい概念で基礎が築かれて理論がある。
多くの未解決問題への道が開くだろう」と期待する。」
これどういうこと？認められてんの？ 未解決問題への道が開く(未解決問題が解決したとはいってない) 好意的なコメントに見えるが、現時点での解決については触れていない巧妙な言い回し
まるで政治家だな 解決したという認識ならそう言うと思うけどね。現時点で一番強い結果なんだし。
あと、よく分かったっていうひとが依然としてひとりも出てこないという。 >>99
総合して考えると、
タオのいう通り、
たいした結果でないから、だれも真剣に読もうとしない
だろうね。
森氏が言うことより、多くの優秀な若者の動きの方が説得力がある。 既に2015年の時点で冷え切ってしまったからな
望月本人はラベルのトリックで解決したと思ってるみたいだが
海外の人達はそこが胡散臭いから実は全然解決できてないと思ってる
京大数理解析研の人達はなんか望月を敬遠してる感じだな 結局身内の評価はあまりアテにならない
黒○は数論代数幾何の人間ではないからやはりアテにならない >>90
玉川正直だね。今現在は当然ことながらショルツのほうがはるかにさえた頭脳を持っていることもわかる。
3.11までの論説まででもオーバーヒート状態じゃ
玉川はほんとのところ、望月とショルツの応酬合戦もついてけないんじゃないかなｗ
文系の学問と違って、玉川・柏原・森などの、往年の権威者をもちだしても正しさの証拠にはならない。 モノドロミー持ち出して、因子が付くかどうかでempty かnon empty はっきりさせたのはさすが 柏原はもちろん全然分かってないし分かる気もない
森は分かってないがなんかこのままじゃヤバイと思ってショルツを呼んだ
玉川も分かってないが望月がしつこいので根負けした
こんな感じか RIMS終わったな 結局ラベルのトリックが問題みたいだな
望月は言を左右にして言い抜けようとしてるが
そんなの数学者に通用するわけないだろ もっちさんは間違ってたら間違ってましたってホームページで謝罪するからね？ 数学者に対して公に「学部レベルの間違い」とか書いちゃう男だぞ 柏原先生は多少近いようで遠いからな
複素ホッジ理論や量子群なら守備範囲だろうけど、p進や代数体の幾何は基本関係ないからね >>85
元々、望月はF1上の幾何を考えてたしね。絶対数学ど真ん中か。 >>112
実際にホームページで間違ってたときはそう書いてるからじゃね？
右上のとこ そう、もっちさんは逐一着想や進捗をホームページに残している
「早とちり」で間違ってたこともあるけどちゃんとごめんなさいしてるし、「できそうだ」と自信満々に言ってたこともギャップがあると判明してちょっと無理みたいと認めている
あれから10年以上たって老後が見えてきた今だって、根本的な姿勢は変わらないと思うね
つまりもっちさんはIUTが間違ってるなんて全く考えていないのだよ！
逆に言うと、これで間違ってたら引退レベルのダメージおっちゃうよね 万一定年前に引退することになったら何するんだろうな
まじで山奥でトマトつくるのかな
金は研究費に自腹切りまくってなければ相当たまってるだろうけど >>107
まあ同様にシュルツの権威もそうなんだがな。 3.11まで自明と書いてる人他にもいた気がするけどそこは怪しい気がするなー そりゃショルツは3.11まではしょりながら読んでるんだから
疲れないだろうよw >>121
ただのプロエタールパーフェクトイド野郎だしな 今の数学の仕組みを多少かえてでも証明を自動処理できる計算環境を整備したほうがいい
それでも根の深いところでは完全解決はしないが 少なくともこういうことは起こらなさそう 人間が完全に正しい数学論文の正誤判定ができないのに、AIにできるはずがない https://twitter.com/HigherGeometer/status/1254180069343285255
1-圏と2-圏の違いが幾何的議論から通じる
だから代数的空間とドリーニュ-マンフォード代数的スタックの両方に同じ用語を使うというあらゆる試みは極めて奇妙で不自然だ
というこの望月氏の主張だが、抽象的な考えが得意ではないのではないだろうか
まず幾何的議論に左右されるのであれば、そもそも抽象化する意味がない
対象を直接調べれば良い
そもそもグロタンディークがスキームによって幾何的イメージを抽象化して作ったことを忘れたのだろうか？
数論幾何という分野が存在すること自体、それまでの幾何的な対象と整数に同じ用語を使うことに成功したから誕生したんだろう
https://twitter.com/5chan_nel (5ch newer account) >>128
それTwitterで突っ込んでる数学者がいたな。
そんなに違いがあるならスタックプロジェクトがうまくいってる説明がつかないって。 https://en.wikipedia.org/wiki/Stack_(mathematics)
正直にいいましょう
ぜんっぜん、わかりません！！！ >>124
反論というか、ショルツに理解してもらって、代わりに解説してもらうのが手っ取り早いよな
まあ直接会って話し合っても理解させることができず、それどころか、
理解できないのはわざわざ京都に来てもらった相手の理解度が低いせいだとか言っちゃう人には無理だろうけど >>134
森が狙ったのもたぶんそこなんだろうけどね。
望月は2012年以降これ以上簡単に説明する気はないと言い張ってて、
それでだれも理解できないから、
飛び抜けてるやつに理解してもらって解説してもらったほうが早い。
だがショルツは逆に穴を見つけてしまった、と。 「これ以上簡単に説明できない」って、
数学板にいる自称未解決問題の解決者と言っていることが同じなんだよね
「これ以上簡単に説明する気はない」でも、自分の研究を理解してもらう気がないということだから、
そんなことを言う人はプロ失格だと思うね
そんな発言をして許されるのはアマチュア数学者だけでしょう >>133
最初に笑うとこ見たらとても悪人には見えないな >>136
完全数等の証明は高校数学＋Π記号＋モジュロ演算だけなので、ABC予想とはレベルが違う。
まともな数学力をもっている人間であれば、誰が見ても正しいものだ >>138
ここはあなたが来るようなスレではありませんよ
あと、どうせ書き込むならちゃんとトリップを付けてくださいね
「◆pObFevaelafK」さん >>133
これ生でみたわww 英語流暢すぎて笑った。当たり前だけど。 >>135
京大のホームページにプレスリリースがないのは森重文がやめとけって言ったのかな？ >>139
>>136
＞数学板にいる自称未解決問題の解決者と言っていることが同じ >>140
生すごい
生もっちーってどんな感じ？
怖いの？
でかいの？ >>133
このときだとまだ若く見えるし白人感強めだね
思ってたよりも身体が大きい
声というか話し方もイメージと違う P＝NPのスレ主がメールでご本尊に接触したことは知られてないな
意外と際どいラインにも対応する事もあるんだなと >>123
それはないな。
端折りながら読んでたら、3.11までは正しいとさえ断言できない。
おそらく望月論文を世界で最もしっかり読んでいるのはショルツやスティックスら。
で、ショルツは望月自身もより望月論文を理解しているから、正しくないとわかるのである。
望月は認めたくないだけ。
30歳の世界第一級の頭脳にはかなわないよ。
50歳の玉川は理解できないし、ブンゲンも理解できない。 >>144
ホームページにのってる集合写真では一番でかいからな
190越えのラオウみたいなかんじかもな これがショルツの成績
http://imo-official.org/participant_r.aspx?id=7867
上に張り付いてる
藤井総太の詰め将棋よりもずっと早く数学のロジックが読めるんだろうな 加藤和也先生と齊藤両先生を拝見出来ただけで感無量。涙が出てきた。 >>143
でかくて姿勢悪い。でも挨拶すると返してくれる。 >>151
見つけたけど一番大きくないしw
大きいほうではあるけど178くらいかな >>152
HELLOって言ったらガン無視されそうw ショルツが天才なのは分かるが、
玉川たちをディスりたがるそのロジックが分からん
50歳前後だとヒラメキや記憶力は衰えるけど
じっくり時間をかけて
査読して正誤を判断するのに必要な能力までが
特に致命的に衰える訳ではない >>151
にある写真だと2016年でまだ髪は真っ黒だな
白髪が4年で急速に出てきたのか白髪染めをやめたのか >>157
ショルツェが噛みついてきたせいでストレス過多になったんじゃないか？
本来なら３年前くらいにはアクセプトされてしかるべきだったんでしょ
しかし数学者ってなんで大したことないネタで笑いするんだろう 180cmあると思う
ショルツも180cm以上あるし、二人共スタイルはいい ショルツェは天才数学者のくせにさわやかすぎだな
しゃべり方もあったまいい～切れ者～ってかんじ 実質博士号の理論でフィールズ賞って史上初だろうな
コスパが凄すぎ >>158
勉強以外何もないような人たちの集団だし >>158
？
社会でもいくらでも上司が言った面白くないことで笑うことがあるだろ Mがじつは抽象的な思考が苦手なのでは、というの、
基礎論がはちゃめちゃなこと考えると案外そうなのかも、と思えてしまう。 会社のプレゼンとかでも発表者が面白くない笑いポイントを用意してくることとかいくらでもある
社会人としての予定調和だよ プレゼンのタイトルを言い始めたんだけど全然違うってどう言うことよ（笑）俺は面白いと思うけど。 昔数学科の人達が笑っているときは
そこにだいたい数学の話題があったな もう一人のMがアジア会議かなんかで発表した動画があるが、スライド間違えて大笑いが起こってた
しかしどういう間違いだったのかはうつってないのでとても気になる 数学の超難問「ＡＢＣ予想」は証明されたか
京大・望月教授の論文掲載へ、理解できるのは世界で１０人？
2020/5/25 07:00 (JST)
https://this.kiji.is/635002565167891553 >>156
玉川が理解できていないのは、
「ショルツが再反論しないので、IUT理論は正しいと判断した」という告白から明らかｗ
ブンゲンが理解できていないのは、あの本を読めばわかるｗ 玉川みたいなロートルや加藤みたいな専門外が理解できるなら端から問題じゃないだろ
フィセンコや山下が確かに確信持ててるか証明追えてるか否かだけだろ 宇宙の間を通信とかって一般向け解説だとよく見るが、宇宙が出てくる4章は本筋に関係がないって言われてるよな それなら星のだんまりは酷くないか。
良くも悪くも、何かしらコメントして状況を打開すべき。 >>152
生餅ってやっぱりピリピリしたキレ者ってかんじなの？
それとも数学以外はのんびりしてぼーっとしてるかんじ？ >>175
ラベル・トリックが所詮手品であって
数学でないことに☆は気づいたのかも 完全理解は星
玉川は理解してないが、ショルツが理解不足で指摘が変なのはわかる
Gはほぼ理解してるが遠アーベルはまだ理解しきってない
サイディは不明 たぶん査読者だろうし理解してるがあまり公に出ない
あとはお笑い担当 >>166
俺も動画見て笑っちゃったから同類だわ。 うーん
もっちーが間違えて二次元けものっ娘とか出しちゃったんならクスリと笑うかもしれないが、
タイトル間違ったくらいでは地蔵の我がココロはピクリとも動かないな 俺もそれで面白いという感覚が出てくる心情が1ミリもわからない それより最後の質問が嫌味な感じ
ニヤニヤしながら「abc予想の証明にはここから何ステップかかるんですか？」で会場も失笑
10年経って正誤はともかくそのステップをすべて公開しても同じ態度であしらわれたわけだ 質問ゼロを回避するための座長の温情質問にしか見えなかった
他の人、ぽかーんとして眠そうだし 仮に誰かがABC予想の解決論文をリムスに出したら、どうなるんかな？ 平手デビュー時と同じ齢の頃のSU
https://www.youtube.com/watch?v=oKMX23qTTw4
この頃から既にカリスマだった
ちなみに2012年7月だから
乃木坂はすでにデビューしてたが
まだぜんぜんブレイクする前 欅坂のサイレントマジョリティの原型は
乃木坂の制服のマネキンといわれている
https://www.youtube.com/watch?v=_xh3E0t4x5I
同時期に出たBABYMETALのイジメ・ダメ・ゼッタイ
https://www.youtube.com/watch?v=nDqaTXqCN-Q
※ただし曲は相当前からライブでやってたが・・・
ぶっちゃけ、迫力が全然違う >>173
いや、無限のスキーム理論ってのは宇宙のことだからそれは間違ってない
非正則なスキーム宇宙をアルゴリズムによって丁寧にリンクさせるというのがIUTの主張
で、ショルツはどうせ全部リンクさせるなら初めから同じ構造で良いだろ具体的に根拠あるのかと批判している 「上手く抽象化してからその特殊な仕組みで元々の対象を位置付ける」というのはそれこそ
モチーフやガロア表現でも同じなので、その意味ではIUTもスキームより深い場所を目指すという形で
一つの考え方と言える。もちろんその「上手いやり方」を間違えると上手くいかない。当たり前の話だ >>192
＞宇宙をアルゴリズムによって丁寧にリンクさせる
で、その正当性はいかなる方法で示されるんでしょうか？ >>192
無限のスキーム理論ってIUTのどの辺りの話だ？ >>194
群とは異なるものを同一の構造に収める構造だから、それを利用するんだよ
IUTの一次的な群構造と二次的な環の自己同型にはギャップがあるので、その隙間を活用したいわけだ
ただ、IUTが失敗したとして失敗した理由を一般的に言うなら、整数環は元々一般性が高いというのが
それになる。一般性が高いために自明でない仕組みを割り当てるのが難しい
Hasse-Weil予想や代数体のディオファントス幾何が単純な割に難しいのもそのせいだよね >>195
単純にlatticeの個々のobjectsは宇宙だよ。あれが宇宙 ABC予想からかけ離れてるような（笑）それこそあと何ステップで解けるんだ？😁 >>197
対数テータ格子の個々の対象こそホッジ劇場じゃないの？ >>196
気分ではなく具体的な正当性の提示方法を尋ねているのですが答えられませんか？ >>201
どういう意味で言ってるのか？IUT側で一応正当化されているという意味なのか、
SSの批判に対し正当化されるという意味なのかを区別しないとさっぱりわからないんですが
IUT側の理屈の話を具体的に言えという要求は明らかにおかしいでしょ
何で膨大な論文の正当化の論理をこんなとこで要約する必要があるのか？ >>200
いや単にHTこそIUTにおける宇宙ですよ。アルゴリズムとリンクでできてるからそういう呼び方なわけで >>201
ショルツに対する正当化の「可能性」ならIUT側の論理とショルツの話を合わせれば自動的にわかります
もちろん>>196のあなたが言う気分の話の上でね ちなみに、望月レポートにどういう理屈で正当化したかったのかは書いてあるわけだし
たった50ページなんだから知りたきゃ読むのが筋だわな
で、その上で何故ショルツが納得しなかったのかはブログのコメントから容易にわかる
星さんがそれ以上の情報を持っている？個人的にはそう思わないが知らないな >>203
グロタンディーク宇宙とは言葉の意味がリンクしてないから何かややこしいな >>179
それも違うな。
よく擁護派が、ショルツが間違った理解の仕方で批判しているとか言っているが、
そんな言い分は世界は認めていない。
擁護派は破廉恥なことに、越永も、ショルツの批判はおかしいと言ってたとかまことしやかに言うが、
越永が本当にそういったという、第三者が確認できる証拠は全くない。
擁護派としては、越永がそのようなことを言ったと吹聴しておけば、
身内の越永ですら望月の3.12の正しさを認めていないという現実をごまかすことができると踏んでるんだろう。
まして玉川が「ショルツの批判がおかしいことは理解している」って100％ないよｗ
もし玉川が、ショルツの批判の数学的内容が分かり、それがおかしいと理解しているのなら、
先日の会見で「ショルツの批判は誤解に基づくものである」とはっきりいうはず。
実際は、ショルツの批判の内容にはいっさいふれることはなく、
ただ「ショルツの再反論がなかったので、IUTは正しいと判断した」と言っただけ。
あきらかに、玉川は批判の数学的内容が理解できてないことがわかる。
よって、その批判の内容がおかしいなどと判断できるはずがないｗ >>161
フィールズ賞ができる以前なら、
ガウスは学位論文で代数学の基本定理を証明してみせたらしい（後世の観点からは不十分な証明だったが） 図書館、新聞の閲覧は再開してなかった
47NEWS様々ですわ >>205 ☆がサーベイを日本語でしか書かない理由を察してやらんとな 望月氏はショルツの言っていることが、本当に理解できていないのであろうか
あるいは、理解できているがしらばっくれているのだろうか
理解できていないのであればもう一度聞き直せばいいのではないだろうか >>211
個人的には、
望月はショルツの指摘を理解できていて、
あえてショルツが理解できないように反論したんじゃないかと思っている
だから、しらばっくれているというのは近いと思う 遠アーベル幾何的再構成アルゴリズムが何なのか正直よく分かってないけど、4章の宇宙間通信があまり意味をなしていない以上、
劇場際タイヒミュラー理論の方がしっくり来る >>212
それは同意しないなw
「ショルツの指摘を理解しつつ、その指摘に対して弁護可能な範囲で反論した」のほうがしっくりくる
で、その部分については単純化していると本気で思う部分もあるのかもしれない
「二つの宇宙をリンクさせても異なるアルゴリズムで区別される」という言い方を望月は突き通せるしね
関係ないがHTの「ホッジ」の意味を理解している人は少ないだろうなと感じる
たからあの第四論文の話と無関係だと思っちゃう人が少なくないわけだ
もちろん、別にIUT自体はあの第四論文に依存してはいないんだけど ID変わったが205＝214。変な細工ではないので一応書くだけ
勿論ホッジというのはホッジ構造に由来するわけね
元々ホッジ理論は解析的な文脈で、最近リンクされたつべの動画でF1を出したのもその関係
ただし、解析的なホッジ理論をそのまま考えるわけではなく、モチーフの文脈を利用して代数的な
遠アーベル型でそういう構造を作ろうとしたわけだ 訂正
「リンクさせても、各々の宇宙というより各々のΘリンクは異なるアルゴリズムで区別される」 >>214
あなたの視点によると、望月は弁護可能な範囲外の指摘は無視しているってこと？
また、そのようなアルゴリズムは誰が理解している？
望月だけ？ >>211
望月は強情張ってるだけだよ。で、RIMSがその強情を甘やかしてる。
まさに日本的な「甘えの構造」そのものだよな。
世界では、比較的好意的なDuppyですら、証明ができていないことを認めている。なんとか救う部分があるのではないかと希望的観測をしているだけで。
もう世界では「証明はできていない」で決着がついている。
星は、あからさまに明言はしないけど、すでにIUT理論に距離を置いているよね。
南出もどうだか。 IUT I 33ページ
もしC,D が圏であれば、我々は同型C→Dを任意の圏同値C→Dの同型類として参照するだろう
こういうので正直わけわからなくなってくるよね
圏同値は関手の話で本来の同型は射の話なんだが あるいは認知症みたいなものか
進行すると自分が認知症であるという自覚がなく
しかし周りからは明らかにおかしく認知症と認定される
で、それを本人に指摘しても本人は認知症であることがわからない
自分がおかしいのではなく周りがおかしいという主張をくりかえす >>202
>IUT側で一応正当化されているという意味なのか、
>SSの批判に対し正当化されるという意味なのか
前者は意味ないね IUT側の自己満足だから
後者の意味に決まってる、というのが数学の常識
>IUT側の理屈の話を具体的に言え
>という要求は明らかにおかしい
何が？どう？
数学界に理解されないまま成果だけ認めろ
という要求こそ明らかにおかしい
>膨大な論文の正当化の論理をこんなとこで要約する必要があるのか？
そもそも膨大な記述が必要か？という疑問があるが
それをいったん置いたとしても、成果として認めてもらいたいなら
いかなる努力を払っても他者に理解してもらう必要があると考えるのが
正常な精神を有する人だが？ >>204
＞IUT側の論理とショルツの話を合わせれば
話が合いますか？
つまり、ScholzeのいうMonodromyの問題を
完全に解決する方法を望月は提示できましたか？
答えは全く否でしょう >>205
＞望月レポートにどういう理屈で正当化したかったのかは書いてある
「正当化したかった」気持ちだけ５０ページも書かれてもね
「何故ショルツが納得しなかったのか」
が分かっているというならそこを説明しましょうね
やる気、あるの？ >>210
＞☆がサーベイを日本語でしか書かない理由を察してやらんとな
arXivって匿名でのupって出来るの？
☆がもし、望月論文の穴に気づいてるとして
自分が☆なら、匿名でIUTの矛盾を指摘する論文書いてupするけどな >>212
＞（望月は）あえてショルツが理解できないように反論したんじゃないか
それは自分の論文の穴を隠蔽するため？ >>214
>「ショルツの指摘を理解しつつ、その指摘に対して弁護可能な範囲で反論した」
>「二つの宇宙をリンクさせても異なるアルゴリズムで区別される」
要するにポイントは、リンクとマルチラジアルアルゴリズムの正当性だよね？ 今年のスペシャルウィーク、☆がガンガンやるはずだったのに距離置いてるとかw >>219
RIMSは
「望月の反論に対して、Scholzeが再反論しなかったから受け入れられたと考える」
としたいようだけど それは無理筋だね
そもそも査読→アクセプトの過程に疑惑がある
１．査読したのは誰なのか？
２．査読者はいかなる理由でアクセプトしたのか？
３．Scholzeの指摘を査読者はどう考えているのか？
以上3点について答えない限り
「勝手に”都合のいい人”に査読をお願いして
査読者はロクに読みもせずアクセプトした
だからScholzeの指摘について査読者は何も反論できない」
と思われても仕方ない
これ、STAPより質が悪いよ
STAPは、査読者を騙したわけだけど、
上記の推測が当たっているなら、
査読者もグルだってことだからね >>221
もう望月一人のせいでおさめられないけど
PRIMSでアクセプトした、と言い切ったわけだから
「RIMSは第二の理研になった」と思われても仕方ない 本当にRIMS内で議論してるなら、Cor 3.12は置いておいても「4章よく分かんないですね、これABC予想の証明に至るまでの中で必要ですか？」って検証が始まって4章は改善されてるはずなんだよね
だから周囲は(尊敬の念なのかお金儲けなのか分からんが)イエスマンなんじゃないかと思いたくなる 自称理解者の皆さんも4章は理解できないはずなのに、そこには全く触れずにIUTが全面的に正しいとでも言わんばかりの態度なのが怪しすぎる
他の数学者が4章に口を出さないのはCor 3.12には関係がないと見られてるからだが、当事者のRIMSが無視するべきではないでしょ 論文の成否についてあれこれ言っている人が多いけど、これらを
「ショルツが言っているから」「海外で認められていないから」「望月先生は凄いから」「アクセプトされたから」
等以外の理由、つまり数学的な議論に基づいて言っている人は、ここにはどれくらいいるの？
例のSSレポートを読んでいると思しき人は何人かいるみたいだけど、それだって望月先生の論文とは違う
言葉遣いをしている訳だから、そのギャップをちゃんと論文と照らし合わせて埋めた上で意見を言っているの？ >>233
そもそも望月自身、Scholzeの指摘に対して数学的な議論が全くできてない
論文の著者自身がそうなんだから、誰も数学的な議論ができるわけがない
IUTは"Not Even Wrong"ってこと >>231-232
RIMSは組織防衛に走ってるね STAPのときの理研と同じ >>234
なるほど。
参考までにお聞きしたいのだけど、あなたが「望月自身、Scholzeの指摘に対して
数学的な議論が全くできてない」と言うのは、例えば
http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
のような望月氏の反論をご自身で読んで「これは数学の文章ではない」と判断した上でですか？
僕も全然専門ではないので、愚かな事を言っていたら申し訳ないのだけど、少なくとも僕には、
上の文章には専門的な数学に関する議論がいくつか含まれているように見えます。 >>233
ギャップを埋めるのは望月の仕事。
外野がギャップを埋めてから意見しろっていうのは詭弁。
このスレで何回も言われている。 んー、というか、例えば
代数的空間と代数スタックとで同じ用語を使うのが不自然なほどの
構造の違いがあるなら、なんでStack Projectがうまくいくんですか？
みたいなのはもう数学の反論としては完全に有効だよね。
ゼミナールで質問されたら発表者のほうが答えないといけないような話だし。
で、望月はこれに対する回答を持ってないようにみえるし。 >>236
望月レポートは、Scholzeのいうモノドロミーの問題に
答えていない点で数学的ではないですね
＞上の文章には専門的な数学に関する議論が
＞いくつか含まれているように見えます。
では、具体的に、あなたが見つけた議論を全部上げてください
小出しにするのは絶対にやめて下さい
ところで、あなたの専門は何ですか？ 歴史的にみても、生前にあまり注目されなかった理論はあっても、そもそも間違ってると指摘された現代では支持されてる理論があっただろうか？ >>240
「間違ってる」と云えるレベルなら、この問題はとうに決着がついてる
そもそも肝心なところが全く述べられてないから、
そこに何かあるのかそれとも何もないのかで
グダグダ蒟蒻問答が続いている
ScholzeとStixは、上記の状況を打開するためにモノドロミーの問題を指摘したが、
望月は結局そこに入って来ず、相変わらず肝心なことは何も述べない
おそらく何もないのだろうが、当人はその自覚もないらしい
京大は、望月を雇った手前、望月をかばっているようだが、
そういう行為が日本の数学研究を貶めていることに気づけ >>239
例えばp22以降の議論なんかは、よく言われる``id -version''に対して例をあげて
反論しているように見えるのですが、僕の能力的にこれが有効な反論になっているのか
田舎の判断はできません。
「いくつか含まれているように見える」と言ったのは、この程度の意味です。
>>ところで、あなたの専門は何ですか？
特定されるのが嫌なのでかなり濁しますが、最近は関数体上の曲線とかを気にしています。 まず望月レポートは数学的ではない、は言い過ぎ
どうやって宇宙を区別しているつもりなのかは書いてある
他方、結局は論文とSSと望月レポート全部読まないと判断できないってのは全くその通りだと思う
それでもショルツと似たような意見になるのが普通だと思うけど
志○さんみたいに非常に近い分野の人が論文を書いたら雰囲気は変わるだろうけど、多分書かないだろうね
まあこのレスも似たような事をまた言ってるだけなんだけど >>242
＞よく言われる``id -version''に対して例をあげて
この部分は何を言いたいかよくわからんけど、
22頁以降の議論はlabelを使ったら区別できるんだってのを繰り返し言ってるだけで、
なんでlabelを使ったら区別できるのかの説明になってないんだよね。
問題になってるのは最初からずっと後者。 >>244
>22頁以降の議論はlabelを使ったら区別できるんだってのを繰り返し言ってるだけで、
>なんでlabelを使ったら区別できるのかの説明になってない
>問題になってるのは最初からずっと後者。
肝心なことに答えない だから数学的でない 誰かアブストラクトだけでいいから翻訳してくれないか？ 「今、新しい嘘を考えるんだから、少し黙っててくれない！」 >>225
そんなめんどくさいことするわけない。
師が間違っていたときに、弟子が間違いを指摘することは最高の恩返しだろう。 >>248
＞師が間違っていたときに、弟子が間違いを指摘することは最高の恩返しだろう。
わかる。普通ならそうするだろう。
し・か・し、聞く耳を持たぬなら・・・ ブログに張り付けるのはやめなよ
言いたいことがあるならせめて自分の言葉で堂々と主張するべきだ >>250
悪意の異民族に何言っても無駄。
相手にしなきゃいい。 望月さんがかわいそう
バカにおちょくられて白髪が増えるだろ！ 丁寧な口調で書き込むのはいいけど
ショルツに反論しなくていいのか？みたいな書き込みはイライラしないのかなって思ってる プロブレムソルバーではあったが、グロタンディークのようなセオリーメイカーではなかったんだろう
これにめげずに数学は続けてほしい アメーバあたりの有名人ブログはコメントに検閲入るじゃなかったっけ？
楽天で始めちゃったのが間違いだった 中途半端な数学への知識がアカポス持ち研究者への嫉妬を増大してるな。 >>259
RIMSが望月をかばったせいで望月への疑惑が増大
まさに贔屓の引き倒し 数学を知らぬ人でも正常な精神の持ち主なら
他の数学者が理解できないといっている論文が
査読を通るのはおかしなことだと分かるけどな 数学は信仰に対しても疑心に対しても皆殺しであるべきである｡ ごちゃんのノリで国内最高峰の数学者にタメグチでコメントするなんて頭おかしい
さすがにおこだよ 査読でレフリーが嘘ついてるのがバレたらどうなるんだろうか？ 嘘だったからって生命身体財産に危害が及ぶわけじゃない
違法性はないのに大げさなんだよ >>262
でも初歩的な事わかってなかったらタメ口にもなるでしょ >>267
それほどに自信があるならブログコメントや五ちゃんでシコシコやってないで
自己紹介付きメールでも送って議論してきてください。 >>269
本人が経歴フィルタでしか話さないから無理じゃない？ そもそもちゃんとした数学者じゃなくて、ちゃんとした数学者以上の知識の持ち主っているん？ >>268
これが医学だと興味がなくても嘘があったら命に関わるんだから怒るでしょ
でも数学だと嘘があっても当面誰も何も困らない
困らないから数学者はその気になれば嘘つき放題 レフリーが数学者のプライドを捨てて嘘をつくのは悪い！とも言いきれない〜 研究費を騙し取った事にならないの？
刑事告訴されないのが不思議だ。 さすがにブログもっと更新してほしいわあ
一つ記事書くのって1時間くらい？
何カ月もの間その時間捻出できないほど激務なの？ >>275
たぶんあの記事をあげるのに五時間～10時間はかけてるとおもう そして書き始める前の思考の整理で２週間～1ヶ月以上かけてるな >>276
IUTに関する記事ならそうだけどもっと日常のことならそこまでかからないでしょ
それに1日で書かなくてもいいし 甘いな
日常にもまるっきり妥協できないから京都ひきこもりのプロ独身なんやろ
性格的に仮にも公に出す文章なんだから、たとえガッキー論であってもBがTwitterでつぶやくみたいにはいかない
絶対クソ長いこと時間かけてると思うね ここの有象無象の連中が思いつきそうなことくらい
京大のしかもrimsの人が8年かけたらとっくに
気がついてるとは思わんのか おまいらはトップの人間は
むやみやたらと絶対化し神格化するが、
二番手以下の人間は必要以上にこき下ろし
馬鹿にする傾向がある
悪い点やで 思わない
なぜなら自分だけが真実に気づいてると思ってるから >>思わない
>>なぜなら自分だけが真実に気づいてると思ってるから
処方されたお薬あってないみたいですね
先生かえたほうがいいんじゃない >>281
トップ ：Scholze
二番手以下：望月
という意味？
そりゃ誤解
望月が批判されているのは誠実でないから >>280
ショルツだってブログでやりとりしてたし
サルと人間ほどの違いがあるわけじゃないんだから >>287
いえ、ショルツェさんとこのスレの人では、猿と人間ほどの差があると思います。少なくとも数学において。 望月先生のブログに5chからの引用で形で書き込み貼り付けてるやつダサすぎて草
イチャモンつけたいけど、僕の意見じゃありませんて逃げを用意してるじゃん >>288
そりゃ自分が基準だからそう感じるだけ
君のレスを見るとよくわかる >>280
実際誰でも突っ込める問題ではないよ
P＝NPに似ている部分があるが、ショルツのわかりやすい指摘を受けてその問題を理解するのと
IUTの理論内部の論理から同じ問題を見出だすのは違うからな
だから逆にIUT側の数学者が迷うのもおかしくはない
そのように難しいからSSが実名で5年経って指摘できたわけだし 精神科いきのキチガイゴミの吹き溜まり
ブリブリブリ 2020/5/28
数理解析研究所ではZoomによるオンライン共同研究の開催も可能となるよう現在準備中です。希望される研究代表者は共同利用掛までお問い合わせください。
http://www.kurims.kyoto-u.ac.jp/ja/
始まったな そろそろ
ここら辺でビシッと
モッチー最愛の星しゃんあたりに
IUT神拳の最終奥義を窮めた
正統継承者としてのアクションを期待したいよね >>297
ファルテイングスに
お前はもう死んでいる。
をかますのか。 なんで論文出しただけで叩かれるんだろ
ゴミ論文しか出してない教授山ほどいるのに そろそろIUTを用いた「既知の定理の導出」とか、そういう発展的な成果が出ても良さそうなもんだけど >>299
こうならないように初歩的に注意してるのにぶっ壊して来てるのだから(それも言い訳) 論文出しただけなら、ギャップだらけでも叩かれない
ギャップがある論文をアクセプトさせたから叩かれてる 健全な学問の発展とか言いながら、自分に都合のいいように、ゴールポストを動かしてるから >>294
RIMSから電波理論が拡散されるのか、
新しいウィルスだ 今年のワークショップで発表予定だったのにコロナでぽしゃった。 Fesenkoのところにいる南出さんが証明作ったらしいよ。 そりゃIUTが全く新しい言語の「理論」
だから なんでもできるんだろう
FLTもRHも >>312
もしよければ、「全く新しいこと」と「なんでもできること」を同一視してしまった理由について詳しく教えてほしい >>314
パラダイムが異なるIUT語による全く新しい数学だから普通の数学からは
無縁の世界で完結するのだろう
Dupuyも補題3.12の証明をしめしていないし >>315
自分がキミに聞きたいのは、「全く新しいこと」と「なんでもできること」を同一視してしまった理由についてなんだが... >全く新しい言語の「理論」
「理論」って皮肉ってるだけだろ >>316
「全く新しいこと」の世界と
普通の数学は断絶している。
普通の数学でギャップと思われても
「全く新しい」世界では
完結しているのだろ 以上 >Fesenkoのところにいる南出さん
expect expectの南出さんですか 真と偽を同一視できれば何でもできることに気付いたのさ 「偽の仮定からは全て真が導かれる」の意味
めーくんとやらは何で此の事実を理解するのに15年も掛かったん？ 命題pがx＝2、命題qがｘ^2＝4である時
非p→非q
の真理値を答えなさい＾＾ RIMSって凄いらしいね
駒場の数理科学研究所に行った友人が「RIMSのほうがうちより上」と言ってて、へえと思ったよ だから(ｸﾞｷﾞｷﾞｷﾞｷﾞｲｲｲｨｨｨｯ…!)
が沸いて来ちゃってるのかな。。。? >>324
何をどう比較してそういうんだろうな？
そこだけが興味がある 「偽の仮定からは全て真が導かれる」の意味
などと言う言説は古典論理学の意味論上の誤謬＾＾ タブロー法だと
(1) P→Q
(1)の分岐
(2) ￢P
(3) Q
という形式を持つだけだけどな
それだからPから何でも導出できるわけではない
という解釈だ |- P→Q ⇔ P |- Qだから、
偽の仮定から何でも導出できると言える気がするが >>330
タブロー法の場合、結論の否定から始める筈
この場合 P∧￢Q
で、Pのみから矛盾が導ければ、Qはなんでもいい >>332
P→Q |- P→Q を示す
(1) ￢((P→Q)→(P→Q))
(2) P→Q (1)
(3) ￢(P→Q) (1)
(4) P (3)
(5) ￢Q (3)
(2)の分岐
(6) ￢P (2)
×
(4),(6)
(7) Q (2)
×
(5),(7)
ゆえに
P→Q |- P→Q
これを省略して書いただけだが
Qがなんでもよいなんてありえないし
この場合PとQにそれぞれ矛盾がなければ
タブローは閉じず命題は不成立である >>333
P,￢P |- Q
これでやってみて
Qがどんな式でもタブローが閉じるから もちろん
P→Q |- P→Q
を言う場合に
(1) P→Q
(2) ￢(P→Q)
(3) P
(4) ￢Q
(1)の分岐
(5) ￢P
×
(6) Q
×
でもよい
タブローの最初が必ず否定だとか何言ってんだろ >>335
＞タブローの最初が必ず否定だとか何言ってんだろ
↓
＞P→Q |- P→Q
＞(2) ￢(P→Q) >>336
じゃあ訂正する必要なかったね
おれはその意味で書いた
脊髄反射をやめろ >>337
>>334をタブロー法で証明してごらん
そうすれば「偽の仮定からは全て真が導かれる」という言葉で
何をいいたかったのかが、あなたにも分からざるを得なくなる筈だから >>338
P∧￢Pって恒偽命題だよな？
恒偽命題の仮定と偽の仮定は違うと思うよ >>339
＞恒偽命題の仮定と偽の仮定は違うと思うよ
では恒偽命題でない偽（の命題）の例を具体的に一つ挙げてみてくれ
いかに苦しい言い訳をしてるか、あなたにも分からざるを得なくなる筈だから >>340
P∨Q：真
とする
このとき
￢(P∨Q)：偽
￢(P∨Q) |- P∨Q
を示す
(1) ￢(￢(P∨Q)→(P∨Q))
(2) ￢(P∨Q)
(3) ￢P
(4) ￢Q
(5) ￢(P∨Q)
(6) ￢P
(7) ￢Q
ゆえにタブローが閉じないので
命題は不成立である >>324
たしかに
RIMSは凄い方向へ突っ走っているね。
新型コロナ感染症数理モデルへ
口を出せない、口を出していないだけ
救いか IUTに関する一連の会議が予定されてて、星は代表者をやってるから沈黙してたのは忙しいせいだな
彼にはIUTには疑念がないということだな RIMSはIUTクラスターですね
予算も人事もあるし大人の都合でしょう >>323
∀x(￢p(x)→￢q(x))↔∀x(q(x)→p(x))↔∀x((x=2∨x=-2)→x=2)
→{(-2=2∨-2=-2)→-2=2}↔-2=2より偽
>>333
一行目のP∨Qが真であるという前提と矛盾するので閉じている
>>339
同じだよ
>>330の例なら、pが偽のときP→Qが成り立つことは、￢P→(P→Q)と書ける
しかしこれは、(￢P∧P)→Qと同値だから、>>334と同じだよ 訂正
>>341
一行目のP∨Qが真であるという前提と矛盾するので閉じている １、A∧B→C ・・・仮定
２、A ・・・仮定
３、B ・・・仮定
４、A∧B ・・・２と３より∧導入
５、C ・・・１と４より→除去
６、B→C ・・・３と５より→導入
７、A→(B→C) ・・・２と６より→導入
８、{A∧B→C}→{A→(B→C)} ・・・１と７より→導入
１、A→(B→C) ・・・仮定
２、A∧B ・・・仮定
３、A ・・・２より∧除去
４、B→C ・・・１と３より→除去
５、B ・・・２より∧除去
６、C ・・・４と５より→除去
７、A∧B→C ・・・２と６より→導入
８、{A→(B→C)}→{A∧B→C} ・・・１と７より→導入
９、{A→(B→C)}↔{A∧B→C} ・・・８と先の段落の８より↔導入
Aに￢Pを、BにPを、CにQを置けば、￢P→(P→Q)と￢P∧P→Qが同値と分かる 星が何で沈黙してんだと思ってだが
IUTの元締めになってんじゃない
これじゃ言い逃れはできない
一蓮托生
http://www.kurims.kyoto-u.ac.jp/~motizuki/project-2020-japanese.html >>324
研究環境の話だろ。IPMUとRIMSは国内では飛び抜けてる
凄い曖昧に組織として上か下かを言ってるならそいつはヤバい 餅がネットの一部で自分がトンデモなどと言われていることについてブログでコメントしてたような記憶があるんだけどブログ振り返っても見つからない
これも脳内の不具合なのだろうか？ >>351
2017.01.04の記事じゃない？
下の方にネットでいろいろ書かれてうざい的な文がある >>352
いや、「トンデモ」という単語を見た気がしたんだが とんでもない出鱈目～ という文字列はあってもトンデモという単語は見つからなかったわ… もっちーの言語にこだわる性質的に「トンデモ」は使わない気がするな
「ゴミ」を「ごみ」とは書かないように >>353
あった
最新の記事の下の方
・正常な、建設的な数学的な議論を
行なっている研究者をトンデモ系
の「狂った異端者」として描き、 望月に言語にこだわる性質があるって本当？
それで論文内で他人に多くのオレオレ単語を覚えることを強要するとかおかしくね？ >>346
いや(P∨W)
それだと恒偽命題P∧￢Pと同じだから意味がない >>358
途中送信
いや(P∨Q)∧￢(P∨Q)だと
恒偽命題P∧￢Pと同じだから意味がない 今は恒偽命題とは異なる偽の命題を例示している
P∧Q：真
￢(P∧Q)：偽
とする
このとき
￢(P∧Q) |- P∧Q
を示す
(1) ￢(￢(P∧Q)→(P∧Q))
(2) ￢(P∧Q)
(3) ￢(P∧Q)
(2)の分岐
(4) ￢P
(5) ￢Q
(3)の分岐
(6) ￢P
(7) ￢Q
ゆえにタブローが閉じないので命題は不成立である
恒真命題や恒偽命題のタブローが閉じるのは当たり前
そうでない場合の偽の仮定で閉じないことなんていくらでもある >>360
P∨QをRとする
そんで、命題「Rが真ならば、￢R→R」について考えてるんだよね
だったらこれは「R→(￢R→R)」と記号化されるべきだ
なぜならただ単に「￢R→R」というだけの式では、
Rが真であるという主張が考慮されてないからだ
矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る >>360
P∨QをRとする
そんで、命題「Rが真ならば、￢R→R」について考えてるんだよね
だったらこれは「R→(￢R→R)」と記号化されるべきだ
なぜならただ単に「￢R→R」というだけの式では、
Rが真であるという主張が考慮されてないからだ
矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る >>362
それだと話が変わってしまう
Pが真のとき
P→(￢P→P)が真であることをいうのではない
すなわち真の前提から導出された命題の話ではなく
P：真
Q：偽
とするときQが恒偽命題でない場合の
Q→P
の論証について議論をしている
偽の仮定から常に真の後件が導出されるかどうかの話です
ゆえに
>Rが真ならば、￢R→R
という話ではない
貴方の話は
P：真
￢P：偽
￢￢P：真
このとき
P→(￢P→P)
を言っているに過ぎない >>363
＞すなわち真の前提から導出された命題の話ではなく
Rが真のときに￢Rを前提にRが言えるかの話なのに、
つまり前提である￢Rが偽であるとしてる話なのになんでそう思ったの？ >>365
君が偽の仮定の話をするには
真なる前提が必要だと言っただろう
>P∨QをRとする
>そんで、命題「Rが真ならば、￢R→R」について考えてるんだよね
偽の論証するのに真の前提が必要ならば
それは
P
￢P
￢￢P i.e. P
の議論をしているに過ぎないと言っている >>367
だからRが真というのは前提である￢Rの否定だっての
それとRが真という前提を置いたのはお前だよ
お前が自分で言ったくせにその部分を記号化し忘れてるから直してやったまでだ
ここでやると迷惑だから安達スレに移るぞ >>368
タブロー法においてP∨Qと書いてあれば明示がなくても真の意です
君が何を指摘したつもりなのかわからない >>341
>P∨Q：真
>とする
>このとき
>￢(P∨Q)：偽
このことを言ってんのか？
なんだその揚げ足取り
日本語が読めない脊髄反射のサルかよ P∨Q：真
￢(P∨Q)：偽
ーーーーーーーーー ここまでが日常語
ここからがタブロー語
￢(P∨Q) |- P∨Q
を示す
(1) ￢(￢(P∨Q)→(P∨Q))
いきなりP∨Qだと意味がわからないかも知れないと思って
真と偽を明示したまで
揚げ足取りにもなってないよ
脊髄反射の無能くん それから>>347で
こんなことを書いているけど何も関係がないね
恒偽命題の仮定とそうではない偽の仮定の話をしているのに
一例に過ぎない
>￢P→(P→Q)と￢P∧P→Qが同値
こんなことを書かれても( ´,_ゝ｀)ﾌﾟｯ
としか言えないわ
お前アスペだろ？ >>371
その日常語で述べられている主張が矛盾を起こすのだから、
それの記号化をしないなら、矛盾が出ないのは当然だという、
指摘されたその欠陥を得意げに見せつけられても困る
>>372
それは>>345の最後の文の続きで>>334と同じになることの説明の補足だが
何かおかしい所があったのであれば説明してくれ
続きは安達スレで まーた『偽の仮定は恒に真』の謂われの意味を理解せんか…
『仮定が偽ならば恒に真“を”導く』と解釈するのが気に喰わんなら
『仮定が偽ならば恒に真“と”導く』と解釈すりゃ良かろう、と何度でも教えてやっとろうに
此のスレで維新派と勘違いされている無政府主義者をBとした時
Bは人差し指を差し込んだ水を忽ち沸かす事ができる→Bは臍で茶が沸かす事ができる
Bはダンベルで勢いよく殴りつけられても無傷な人間→Bはトラックで跳ねられても無傷な人間
Bは何も使わず浮く事ができる→Bは何も使わず飛ぶ事ができる
偽の仮定からは（至るとき殆ど）恒に真となる命題が導かれる
→偽の仮定は（至るとき殆ど）何でもかんでも真の命題にしやがる
→味噌も糞も殆ど一緒くたにしやがる COVID19 京大関連
・データの注意書きを読まない
ノーベル賞自慢のY教授、
大阪モデルにはすっかりだまされw
測定値に合わせ基準を変えたと
文句を垂れている。
・論文数自慢のウィルス研Mは
素人へ粗雑で怒涛の説教をする
毎日も、COVID19の感染現場は
実験室のウィルスと違うわ現場
の医者を信じると声多数あり、
豚コレラなら周囲の全ての豚を
殺して穴を掘り埋めてしまうし
・京大RIMS 望月教授の思いつき
から生まれたIUTは、RIMS IUT
教会英国出張所フェセンコいわく
天気予報を改善する可能性がある。
abc予想の証明から天気予報の改善
までIUTにexpectしろと。
なら天気予報よりシンプルな
COVID19感染症予測にもIUTは
有効だろう。
実際の英国は集団感染で免疫獲得
方針から死者の山になったなあ、
中世のペスト時代と同じ。
IUTの大予言は近代以前なんだろ。
中世神学は矛盾がない >>376
詳しくは
データの注意書き
→東京都のデータの注意書き 文元の本読んだらだいたいどこに問題があるかはかいてあるよ
どんなに頭の良い数学者でもIUTの基礎を学んでないとこれまでの数学の記法と思考法で考えてしまうので途中でギャップがあるように見えてしまうそう。
でも、新しいIUTの数学の記法と思考法を使って考えれるようになっていると問題はないそう。
これにはモッチーの刊行に寄せた言葉の通り 「あり得ないものとして認識してきたものを、立派にあり得るもの」として受け入れてしまう思考をする必要がある
これがガチガチの数学者が逆にIUTを理解できない「単純な誤解」を何度も生んでる理由
もう掲載も近いしABC定理を使った他の予想の証明もたくさん書いてるのではないかな ギャップがあると指摘されればより掘り下げられる、というのが証明
3.12の"証明"にギャップがあると言われても、理解者の人々は誰一人として(二年くらい前に当人が修正して以降)3.12の証明を掘り下げられていない
これは証明でないということを体現してる abc理論の証明がどれほどすごいことなのか
数学Iすらあやしい僕にも教えてください。 >>378
>「あり得ないものとして認識してきたものを、立派にあり得るもの」として受け入れてしまう思考をする必要がある
こういうのをトンデモというのでは？
こんな言い訳をするってことは、やっぱりちゃんと定式化できていないんじゃないか？ B本p51
IUT語
「IUT理論は、一般的な数学の
パラダイムの枠組みでは語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」 今のところ世間では(世界でも)、
モッチーよりショルツの方が頭いいと
思われてるだろうけど、
もし仮にIUTが正しいってことになったら
評価は逆転するよね 仮にIUTが正しければ、
3.12の証明のギャップを埋めた人物≧ショルツ＞モッチー＞＞＞＞＞その他大多数の数学者くらいでは ショルツェが40、50の中年になってもまだ体力、才能枯渇してなければショルツェの勝ちかな >>381
IUT、なぜショルツどころか他の数学者にも理解させられないのに、
素人に対しては理解させようとする言葉を語るんだろうね。
こういうところがうさんくさくみられるんだよな。 「あの…先生、フィールズ賞受賞者を含む複数の数学者が理解できないと言っておりますが…」
「それは彼らの理解力が低いからだ。とにかく私が正しいんだから、黙ってアクセプトしておけ」
「はい…」 >>378
> でも、新しいIUTの数学の記法と思考法を使って考えれるようになっていると問題はないそう。
極一部の少数の人が問題ないと思っているっていうのが現状でしょ。
外部の人が、問題ないという意識を共有できるように理解するための方法なりが確立されて、初めて理論が認められるわけで。
それまでは、認められていない理論の一つでしかない。それが事実。
> これがガチガチの数学者が逆にIUTを理解できない「単純な誤解」を何度も生んでる理由
それは、外部の人に認められていない理由の一つではあるかもしれないが、それが理由の全てであるという根拠はどこにもない。 |д`;)ﾊｯ!
ｺﾞ.ｺﾞｺﾞ…ｺﾞﾒﾝﾅｻｨ…
|=3 ｫ邪魔ｼﾏｼﾀ~!
ﾋﾟｭｯ! 天才って育てるものじゃないよな
生まれつき圧倒的才能があって、人に見つけてもらえるかどうか、それにつきる RIMSと取り巻き以外の評価は？
日本で公式なIUT論文の評価は
「ABC 予想に関するIUT論文が
国内外の主要メディアで取り上げ
られている」です。
マスコミの評価でしかありません >>388
たとえば足し算を知らない人に
掛け算を教えてもそんなものはうさんくさいと思うだろう
つまりIUTって
足し算 掛け算 微分 積分 レベルの新しい数学なわけよ
だからIUTを学ぶには足し算掛け算のレベルから記法や思考法をやり直す必要がある
それらは正しくて決まったものと思い込んでるわけだから、なかなか理解できないのも当たり前 それ前から言われてるけどabc予想がIUTで解けてる保証がなくなるよね。
じつは従来の数学と関係ない領域の話をしてるのかもしれないし。 >>393
あなた、もっちーのどこがそんなに好きなの？ 大学改革支援・学位授与機構
平成29年6月
京都大学 数理解析研究所
2 現況分析結果 p28-4
注目すべき質の向上
○
「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果と しての ABC 予想に関する
論文は、国内外の主要メディアで取り上げられている」
https://www.niad.ac...._55_kyoto_2016_1.pdf 既存の数学に沿わないなら、尚更コンセンサスを得られないと土の中に埋められるだけなんだよな IUTは微分積分なみの新しい数学だから受け入れられるまでには30年と予想してるらしい
理解してる人を少しずつ増やすしかないわけだが、正直初歩の部分を勉強してないSSがかき回したせいで取り組んでくれる人が欧米で増えないから面倒な構図になってるんだよ
説明してないというがモッチーはきっちり反論してるからね
その反論を無視して矛盾してる～間違ってる～を繰り返してるだけだから
理解してるRIMS勢はショルツが指摘した箇所も何回も慎重に検証してから出版されるんだから問題ないわな
本読むともう証明されたことは決まったようなもんよ
出版でSS大敗北決定で権威失墜よ PRIMS編集員はRIMSの教授です
Editorial board
S. Mochizuki (Editor-in-Chief)
T. Arakawa M. Hasegawa
T. Kumagai K. Makino
T. Mochizuki K. Nakanishi
Y. Namikawa T. Ohtsuki
K. Ono N. Ozawa
A. Tamagawa >>399
数学ヲタクなﾄｺと
(奇人変人で不器用…?)そうなとこと。。。
＊ギフテッド＊が合併してそうなとこでしょうか…たぶん…
(…見た目もご性格もcuteです…
(∥艸∥)…ぜんぜん数学的な理由じゃなくてｺﾞﾒﾝﾅｻｨ…) >>403
反"論"……？
946 :１３２人目の素数さん
2020/04/15(水) 00:08:10
S・Sレポ8月版のRemark 5について拘っている人たちがいるが、これは逆に望月氏の方が恥ずかしい議論だよ。
S・Sはあっさり書いているが、当然望月氏も知っているはずだろうと思って書いていたはず。
これは“Faltings’ theorem (Shafarevich conjecture) applied to the Weil restriction”した場合の話だよ。
Finite Weil restriction of curves
ttps://link.springer.com/article/10.1007/s00605-014-0711-6 >本読むともう証明されたことは決まったようなもんよ
さすがに面白すぎる 微分積分並の発明ならIUTで新しい知見を出してくれよ >>403
https://digital.asahi.com/articles/ASN516HDQN4QULBJ01G.html
「ショルツ氏は「論文の掲載が決まったとの報道には驚いた。
証明は、今もされていないとの立場だ」と朝日新聞の取材に回答。
PRIMSの編集委員会は会見で、望月教授がショルツ氏の批判に対して
反論したあとに再反論がなかったと説明したが、
ショルツ氏は「望月教授は実質的な反論をしていない」と語った。」 > 数理解析研究所 において 、
「数論幾 何の研究」 の「宇宙際 タイヒミ ューラー理論」の構築とその結果
としての ABC 予想に関する論文は、
国内外の主要メディ アで取り上げられている。(現況分析結果)
朝日新聞はショルツ.スティックス
のドイツでは、数学の論文が「査読中」
でも「主要メディアが取り上げていたら」公に評価されるのか？質問しろよ SSが認めなくても、IUTが掲載された後は、日本勢からIUTとABC定理を使った各種予想の解決の論文が山ほど降ってくるよ
足し算と掛け算の間に複雑に絡み合った関係を調べれるというのはそれほどまでに強力 ショルツって同僚と結婚してるみたいだけどどの人？
タオの嫁(工学系学者)は検索してすぐ出てくるのだが >>413
> もうCoqで決着つけろよ
誰が実装するんだって話。
実装だけで数十年かかるってパターンすらありうるじゃん。 朝日の記者が、海外でのIUTの分の悪さを当然知っていながら最近も望月上げの記事を書いたのはなぜだろう。
数年前にやらかしてるのにね。
あれが違う記者だったとしても普通慎重になるよね。朝日は科学記事は強いという定評がなせる自信なのか。 足し算や掛け算のような基礎的な「算数」を学ぶ段階からIUT語で全部置き換えて掛け算系から足し算を復元したときのひずみがどの程度でるかを常に意識しながら学ばないといけない
足し算と掛け算から学びなおせって言われても既存の数学者はやりたがらんでしょ >>415
ついでにタオの嫁に言及するのやめたれw >>421
…(”*)…
|=3 ﾋﾟｭｯ!
ﾐﾃｸﾙ~! >>420
足し算と掛け算の定義が同じならそんなことは必要ない >>423
掛け算系のモノイドと抽象的な群としての局所的なガロア群だけで構成しそれらのモノイドと群というデータから足し算を復元しようとしたときどのくらいひずみが出るかを計算するから、新しい記法がたくさん必要になる >>424
でもabc予想は自然数の足し算と掛け算だから
算数からやり直す必要があるというのはおかしい >足し算や掛け算のような基礎的な「算数」を学ぶ段階>からIUT語で全部置き換えて掛け算系から足し算を復>>元したときのひずみがどの程度でるかを常に意識しな>がら学ばないといけない
どんなけ傲慢なんだよ >>424
いや、IUTに関連する正当な数学は実は既に部分的にはいくつかある
それで、その歪みを計算する理屈自体は比較的わかりやすいものであって、そこまで常識を覆すものでもない
つまりその、楕円曲線の数論的スキームの変形の計算
少なくとも理解すべきはずの分野の研究者が理解した痕跡や宣言が未だにほとんどないのは不思議だ ＞モノイドと群というデータから足し算を復元しようとしたときどのくらいひずみが
そこは単なる願望であって、実際はSSに「エッシャーの階段」とかいわれて
何にも言っていないと酷評されたのでは 理屈というか計算対象ね。第一にわかりやすいのは
それでいくらか新しい現象に遭遇すると。その大域計算のためには宇宙を取り換えてアルゴリズムを当てる
必要がある。その主張までは誰でも追える。そこで異なるものを結びつける。統合される
そして、ショルツのコメントからはその数理をほとんど把握してから批判してるのが実はわかるんだな
シンプルなレポートからはわかりにくかったが、ブログで大体それがはっきりした
さて、どちらが上手なのか >>421
でもすごい幸せそうな家族だな、タオ家
もっちーはああいう笑顔を持てなかった 足し算と掛け算の問題だから、
IUTによって、小学校の算数教育もまったく変わってくるな。 これ、そのうち誰か自殺者出たりせんか？
このままだと… そもそも現時点でちゃんとIUT理解してる日本人の数学者が星氏しかいない時点でどうなってんだって話 そもそも現時点でちゃんとIUT理解してる日本人の数学者が星氏しかいない時点でどうなってんだって話 >>432
数学はストレスたまらないと言ってる教授もいたが現実はストレスたまりまくりの面ヘラまっしぐらなんだろうか？
もっちーや☆やGoは病みそうには見えないけど…
天才でない院生とかはやばそう キリスト教にはペテロやパウロ、
オウムには上祐という卓越したスポークスマンがいた。
IUTの場合、衆目一致するところ星さんが
その任に当たるべきなんだろうが、
理由は分からないがそうなっておらず、
結果として「IUT教」の布教は
まったく成功していない。
ブンゲンさんのあれはまた違うからね。 だって委員だろ
http://www.kurims.kyoto-u.ac.jp/~motizuki/project-2020-japanese.
今、忙しいだろ
言い逃れできなくてやるしかないだろ RIMS星氏がIUTの「理解者」とは
望月新一氏が公認した。
IUT語の教会幹部だろう
・講究録別冊の星サーベイ。
例えと詳しくは本文を読めの概説
にすぎないが望月新一編集長が受理
した。概要概説では証明にならない
・星氏はショルツスティックス
望月星 ミーティングついて公には
ノーコメント
・星氏はRIMS2020IUTの拡がりでIUT
ワークショップの責任者 しばらく見ない間に数学板っぽくない人がだいぶ増えたなぁ... 星さん主催のワークショップは結局
中止になっただろ >>440
(顔文字の犯人は、昨日と今日は
１人だけで、同一人物です…
私でした…嵐ﾁｬｯﾃ ｺﾞﾒﾝﾅｻｨ…) 結局、文元本に寄せた「不確定性を普通の数学者はなかなか受け入れられない」という評価は
ショルツには全く当てはまらないのがはっきりしたからな。そんなものあろうが関係ないと批判してる
歪みとして何を計算すべきかもレポートからわかってるのは判断できるし。議論はもう少し込み入っている
そうこうしてる間に主流的な数学がIUT的な議論に追いつきつつあるのが面白い
別証明まで十年以内じゃないかな 数学の素人から言わせてもらえれば、別に査読が通ったことについては今更、
通った事をとやかく言っても仕方がないと思う。
それよりも、今後の延期となった会議等に真剣に取り組むことだと思う。
歴史を振り返れば仮説が正しかっても無視されたり、認められるのにかなり時間が掛かったものなんて幾らでもあるぞ。
例えば地動説、これは２つほど要因があって、１つは直感的に地面が丸いのと、更にそれが高速で動くことが受け入れられなかったこと。
もう一つは、観測技術が未熟だったことも有り地動説にもうまく説明が出来ないことがいくつかあった（恒星の視差問題等）ため、天動説派を中々説得できなかったこと。
科学実験を伴なうならいざ知らず、数学で上手く説明できないのは致命的なことは素人でも分かるよ。いくら新しいといっても巨人の肩に乗っているんだから
既存の数学を使って説明できるはずだよ。
いつ頃、会議等を開くかどうか知らないけど、その時に3.11～3.12の説明を間違いなく求められると思うけど、うまく対応できない場合は間違いなく京都限定の定理になると思うよ。
まあ、ちょと偉そうに言うけど、「頑張れ」と応援しかできないから、本人や弟子の人達には背水の陣の覚悟を持って臨んで欲しいと思う。 心配しなくてもモッチー的には自明なのでよゆうのよっちゃんです PRIMS望月新一編集長「定義より自明」「読めば分かる｣
ライフスペース高橋弘二グル「定説です」「信じれば救われる｣ >>449
中止はしょうがないでしょ。
他にも中止は多い。 もっち、スペシャルイヤー楽しみにしてたろうに、かわいそうだなぁ しかし5月開催のが中止は分かるけど、
どうして9月開催まで今から中止決定なんだ
訳分からん 日本はおさまりつつあるけど海外は未だ阿鼻叫喚地獄だし
９月以降、再流行が高確率で予見できるからじゃないの ほんとにノーベル賞一つや二つでは足りない業績なら中止じゃなくて延期でしょ
むしろリモートでもやるでしょ
なんか雰囲気がまずくなってきたのでコロナをいいことにどさくさに紛れて中止にしたのでは 他のセミナーも中止なんだから注視で正解
いまごろzoomオンラインに申し込んでるんじゃね >>449
今の状況で国際セミナー開催出来る訳ないだろ。あと元々京大はホームページにabc予想関連の話載せてないし 他のひとはどうでもいいけど、
星しゃんのIUTTへの新しい貢献を見ることができないのはただただ残念 IUTの会議は中止になったのをWebか何かでまたやるのかと思ったが、ホームページ取り下げてないだけか
ホームページ直せよ
四月末に中止のアナウンスして、六月なのに直してないのかよ
紛らわしい
RIMSは馬鹿か >2017年(H29)11月
京大自己点検 評価報告書
数理解析研究所
・「数論幾何の研究の「宇宙際
タイヒミューラー理論」の構築と
その結果としての ABC 予想に関する論文は，国内外の主要メディアで
取り上げられている」
・次世代幾何学研究準備センター
数論幾何学，特に宇宙際タイヒ
ミューラー理論を中心に広く次世代
の幾何学 の研究を推進するため，
↓
・次世代幾何学研究センター
特任教授 森重文(フィールズ賞)
特任教授 柏原正樹
・RIMS2020IUTの拡がり
IUTワークショップ(星責任者)
→ 公的根拠は「IUT論文が国内外
の主要メディアで取り上げられている」のみ >>460
天才はやりたいことをやればよい。
つまらない問題を強要してはならない。 2020/4/30
2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論の拡がり」（代表者：望月 新一）は
感染症予防のため中止となりました。 >>449のソースを見ると過半数の共同研究が「延期」だが
中止になった共同研究との違いは何？ 宇宙際、今年は計四回の大規模な集会を予定してた
もっちーの性格上、一つでもコケたらもうえーわってなりそう
てかもっちー、来年RIMSから去るとかないだろうね IUTの滞在型集会で海外へバレたら困る
話があるのだろ
例のお墓へ持っていくとか
CO VID19よりこわいのか 翌年度にまたやるのが「中止」
今年中に遅れてやるのが「延期」 まあ別に改めてやるかどうかは明記する必要もないだろうが、本当に重要だと見なすなら
プログラムをやり直すはず 今年はどこも人集めれないだろうね。二週間往復で隔離とか無理でしょ、感染してる人出たら大変だし ワイずっと疑問やったんやが望月教授は若くしてプリンストン卒業しとるやろ。なんでそっから何十年も京都におるんや？ オンラインでやってはいるけど集会的な感じにするのは結構きつい。zoomだと。 集会やったら主流に受容されるってわけでもないけどあ発表が促進されるから外野もより把握しやすくはなるけど >>482
B本に書いてあるよ
ざっくりと
IUT本部のRIMSへ行きIUT語の修行が
必要とのこと 焼肉修行だな
真髄は有限の記号列からなる言語では伝達不能なものだから 物の見事に小乗仏教ならぬ小乗数学に成っとる訳じゃな
大乗仏教ならぬ大乗数学で在るべき現代数学の中に在って密教を貫くは愚策なり フェルマーの別証明とかさりげなく凄いこと言ってるのがIUTクオリティ 結局解けないんじゃなかったか
IUTではABC予想が解けないことが発覚したので、強い弱いの区分けを急遽作って弱いABC予想が解けたとした
だが弱いABC予想ではFLTが証明できない、ということだったはず これはとっくにBも認めてる
そもそもショルツは弱いABC予想の証明にたどり着く前のCor 3.12で証明できてないと言ってるからあまり関係ない >>492
そんな上手い話があったらスケッチレベルでも出さない理由がないからねえ
加えてタオが言ってたのは、全てABCを経由しなきゃ弱い結果がでないとか胡散臭いからやめちまえよ（意訳）
ってこと 趣旨としてログークリスタリンの方向でのp進ホッジ理論を大域に一般化しているわけだから
（それも外部からは本当かさっぱりわからないが）
少なくとも楕円曲線ではパーフェクトイドより強い何らかの結果がバンバン出るはず 人間ども
段々わかってきたか？
人間が死ねば数学も消滅するんだよｗ >>490
>修行が必要
RIMS2020IUT集会の公式本、
加藤文元本によると
IUT語 p51
「IUT理論は、一般的な数学のパラダイムの枠組みでは語れない、全く新しい
フレームワークと言語・概念体系を基盤として構築されている」
IUTは普通の数学およびその発展ではありませんし普通の数学とIUTの間には辞書がありませんから、IUT論文を普通の数学で単純化もできません。 従来の数学とその発展を学び研究する
のか、全くパラダイムが異なるIUT語に
よるIUT論文を信じRIMSで修行するのか、どちらかでしょう。
IUT論文の公式な根拠は「内外の主要メディアが取り上げた」ですけど なお普通の正統な数学とその発展の
立場からIUT論文を見ると矛盾したりギャップがあることは充分ありえます。 「IUT は ABC 予想だけを目標にしてない」「望月さんは名声に頓着してない」
みたいな玉川センセーや文元氏の発言、現状を見るとぜんぜん信じる気になれないな >>505
普通の正統な数学とその発展の
立場から間違いなら時間がかかろうが
修正できる。
「間違ってすらいない」だろうね。 >>501
これは本当に疑問なんだよなあ
個人的に見る限り再編成したと表現すべきであって、全く新しいという表現はむしろ理解していない風に見える
例えば圏として抽象化した結果射としていくらか識別できない要素を含むとしても、今時の数学者なら
理屈さえちゃんとしてりゃ処理できるしね
志甫ー加藤ラインでガチのプリント書いたら良いのに。たった10ページでもさ
はっきり言って最初から望月的数学やってるような連中なんかよりこのラインの話を見たいよ より正確には星ー志甫ー加藤ラインがベストだよね
これでまともなプリントを出せば少なくとも国内、特に東京の受容は一気に変わる 玉川教授もIUT論文受理の会見で
「全く新しい理論で、さらなるインパクトを生み出す可能性がある。」(毎日)
と発言している。
加藤文元本p59
パラダイム
>数学はどのようにして「進歩」
するのでしょうか？そこにはトマスクーンが言うように「通常科学」の中で連続的・累積的に積み重なる新しさと、「パラダイムシフト」によって
生じる新しさの二種類があります」
>「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、一つの
パラダイム(時代や科学の各分野に
おける支配的な研究上の規範、視点、枠組みなどの意味)や様式に基づいた
科学活動のことであり、パラダイム
から与えられる問題や解き方などの
指針に基づいて研究を進める状態の
ことをいいます。
これに対する状態は、「科学革命」期
あるいは「パラダイムシフト」と
呼ばれている時期であり、この時期
には既存のパラダイムが破壊されたり
劇的に変化することで新しい科学の
枠組みが形成されます。 なんで１÷2=2じゃないんだ
実際ホールケーキ半分に切ったら2になるやんけ
教えてえらいひと！ >>513
その考え方だと
ｎ÷ｍ＝ｎ×ｍ
にならんか？ｗ >>509
志甫加藤ラインで論文やプリントでも出ると国内の雰囲気は完全に変わるな。FLT以外に応用が出ると面白いんだが。
Kirti Joshiあたりはいろいろ書いてるみたいだけど。 Joshiの論文ならWoitのブログで酷評されていたな
https://www.math.columbia.edu/~woit/wordpress/?p=11709&cpage=3#comment-236146
Dale says:
April 23, 2020 at 11:34 pm
Kirti Joshi has now posted a revised manuscript ”On Mochizuki’s idea of Anabelomorphy and its applications” discussed earlier in this thread.
https://arxiv.org/abs/2003.01890
Fierce Inertia says:
April 24, 2020 at 10:48 am
This paper of Joshi is remarkably unconvincing to me. If I may caricature it slightly, it seems to only contain the following types of results:
1. Statements of the form “(Thing X / Property Y) depends only on the absolute Galois group of a p-adic field.”
None of these are surprising or difficult: they all follow from basic class field theory or from the Jannsen-Wingberg theorem (which IS a difficult result, cf. here for a nice overview: http://www.numdam.org/article/AST_1982__94__153_0.pdf)
2. Statements of the form “(Thing X / Property Y) does not depend only on the absolute Galois group of a p-adic field.”
These are even less surprising, and they also follow from Jannsen-Wingberg, or from five seconds of thought.
3. Completely unmotivated results (e.g. Theorem 16.5, Theorem 22.6).
4. Vague suggestions that various things can be interpreted anabelomorphically.
What evidence is there here that this perspective of anabelomorphy is actually useful? What can you DO with it? The answer this paper seems to suggest is: nothing.
I am happy to be convinced otherwise. ところでドイツ人って頭良いんだね
オイラーもドイツ系スイス人
ガウスもドイツ人
リーマンもドイツ人
ヒルベルトもドイツ人
ノイマンもドイツ系ハンガリー人
グロタンディークもフランスに亡命するが元々はドイツ人
ファルティングスもドイツ人
ショルツもドイツ人
望月新一もドイツ系アメリカ人と日本のハーフ
さらにアインシュタインもドイツ人
数学を発展させてきたのはほとんどドイツ人じゃないか 二度とも
アメリカ参戦
および
ドーバー海峡を越えて 英国まで征服できなかったこと 白人の根っからの差別主義はそら恐ろしきものがある
なぜあんなに異人種をぶち殺したりできるのだろう？ >>517
Fierce Inertiaは名無しであてにならん >>522
論文読んだ？
どの辺があてにならないのか教えてくれ 星加藤志甫のプリントなら精々
B本の宣伝チラシにすぎない
RIMS 2020
「宇宙際タイヒミュラー理論の
拡がり」
(CO VID19か大人の都合で中止になった)
望月新一委員長で星.加藤.志甫は組織委員。しかし加藤.志甫は講演者ではなかったし今更プリントする内容がないだろう。
星は望月星ショルツスティックス会議についてノーコメントだったし、
望月新一公認の星のサーベイは
自称「不正確かつ詳しくはIUT論文cor3.12を参照のこと」の内容だ。
山下は組織委員から外れていたが
山下サーベイはIUT一派内部で公認
されているの？
http://www.kurims.kyoto-u.ac.jp/~motizuki/project-2020-japanese.html 英文のページ見ると、
「誘い」の方が2021年の8月31日~9月3日に、
「サミット」の方が2021年9月7日~9月10日に
延期されたんだな >>518
>望月新一もドイツ系アメリカ人と
日本のハーフ
これは異質だな
オカルトマニア氏は元気かな >>524
そりゃ一定の理解者でもないのにペーパーを出すわけがないからな
遠アーベル出身とはまた違うp進ホッジ理論寄りの数学者が論じるだけで情報価値がある
まあ書かないだろうけどw >>518
>グロタンディークもフランスに亡命するが元々はドイツ人
正確にいうと
父親サーシャ・シャピロは、ロシア生まれのユダヤ人アナーキスト
（革命期にはウクライナでネストル・マフノの黒軍に参加していたらしい）
母親ハンカ・グロタンディクは、ドイツ生まれだが元はオランダ人 勝海舟に航海術を教えたオランダ人は
カッテンディーク >遠アーベル出身とはまた違う
p進ホッジ理論寄りの数学者が論じる
RIMS2020IUTTの拡がりの公式本
加藤文元本と受理会見によれば、
IUTTは従来の数学とパラダイムが全く異なるIUT語による全く新しい
「理論」です。
今後は世界から孤立し京大RIMSを本山としてIUT語によるIUTTから遠アーベル幾何学、p進ホッジ理論、D加群の研究
でしょう。
例えば、組織委員星氏は山下氏のIUT.
FAQによれば、遠アーベル幾何学
のbirational sectionconjectureへIUTT
の適用を研究している。
なお加藤和也先生は講義録によれば
我が道をいくと発言していました >>529
グロタンディークってそういう意味なの？
スーパー堤防？。 グロート・ヘンディークということか
大学に入学したばっかりのとき，第２外国語のドイツ語の教授が
ベート・ホーヴェンといってたな
ベートーべンといっちゃダメだよ，ちみたち 加藤和也の一番評価されてる実績って何？主観でいいから誰か適当に 0476 １３２人目の素数さん
2018/04/01 08:56:03
2ページ目に書いてあるな
Frank Calegari says that even if
the papers get accepted, he will
not believe the proof just yet.
His blog post on the subject mentions
a Japanese reader-I am that reader.
Peter Scholze, who everyone thinks
is the greatestmathematician of this
generation, says he cannot deduce 3.12
(which is the ABC conjecture, in paper #4) from 3.11 (a summary of the first 3 ABC
papers) in Mochizuki’s papers.
Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is self-evident.
My apologies for not being
able to understand any of this―I can
only report on these happenings.
この人もショルツが偉いから程度の根拠しか持ってないからこういうのは意味がない 改めてPTTとか望月さんの過去の数学を少し見ると、全てがIUTに向かってる感が凄い
仮に失敗だとすると数学って怖いなあって改めて思うな
代数体のディオファントスの難しさというのか
p進や関数体では普通のアプローチが成り立っても、奇抜な一般化は難しいよな >仮に失敗だとすると
いや、
全く新しいパラダイムのIUT内部では
ギャップもないし失敗もないだろう。
暗黒面やギャップに見えるのは修行が
足りないからだと、、 >>539
そうなんだよね。みんなショルツの肩に乗ってて具体的な話ができてる人がいない。 数学掲示板群 ttp://x0000.net/forum.aspx?id=1
学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0 >>544 ショルツはそれだけ偉いからな～。
数学で政治的に振る舞い
意味のない多数決で押し通そうとする輩の方が
健全な学術活動を阻害してるわ。 >>547
多数決の政治やってるのはショルツの金魚の糞連中だろ。 cor 3.12の証明にギャップがあると言われつつ、現在のIUT論文以上にその証明を詳しく書いた人はいない
理解したと思ってる人がいるのに、ギャップを誰も埋めることができないというのはショルツ関係なくおかしい 人生一回しかないのになんで自分の数学をやろうとしないの？ 誰も、自分の数学をやるな、とはいってない
やるならやり切れ、といってる
望月はショルツに説明し切ってみせろ
それが、自分の数学をやり切る、ということ >望月はショルツに説明し切ってみせろ
望月もフェセンコも罵倒ならしてるぞ Scholzeが準備論文を一から読んでいるとは思えないにしても
理解者に連絡を取りながら長い間地道に勉強してきたDupuyですら理解できないのはショックだった
数論幾何の専門家が半年勉強すれば理解可能のはずじゃなかったの 専門家がちょっと読んだタオやショルツに抜かれる辺り、やはりフィールズ賞受賞者は格が違うということだわな >多数決の政治
日本でIUT論文の公的な評価は「内外の 主要メディアが取り上げている」のみ。
まあ新聞やB本の読者層なら多数決
でIUT論文が高評価されるだろうよ、、
(カドカワホラーなら高評価するんだが、) ショルツはともかくタオはどういう言ってないだろ
少なくとも予防線張った言い方にしている モッチーにエリートや数学者の誇りがあるなら、正しいものは正しく、間違ってることは間違ってると対処してほしいわな 時々修正はしてるでしょ
ただ問題のCor 3.12のギャップを認めない 某書店見たら文元チャートとIUT本が膨大な山積みでたけしの新名著数学原論が一冊しかないという
理不尽さを感じたw >>556
タオは、ABCにしか使えないっておかしくね？としか言ってない。 あらま
abcの「証明」しか使えないなんて
修行すれば、abcがself evidentと
見えるのだろう >>566
修行しなくてもabc予想はグラフで見ればだいたい自明である
無限大の限りなく平面に近い山であってもそれが山であるかぎり
水平に切った上の部分はどの高さで切っても有限ということ >>568
>だいたい自明
IUTによる「証明」ですか 初等的な主張に対して「だいたい自明」とか何の意味もない 証明は別にして感覚として自明ってこと
だからabc予想が真であることを証明しようとして偽であることを証明してしまったみたいなオチだったら笑えたけど
みんな普通に真だと思ってるようだし なんでこんな数学のすの字もわからないようなやつが書き込んでんだ？ 中学生でも分かるって誰かさんの宣伝に引き寄せられたただのパンピーだから >>568
馬鹿なのかお前
無限集合の仕組みを論理的に明らかにするから数学なんであって、データから明らかに見えるなんてのは
数学的自明性とは何の関係もない >>568は計算結果で数学的命題の真偽が分かると思ってるバカだろｗ
無限に成立するかどうかは計算機では分からない。
なぜなら無限個の計算は不可能だからｗ
リーマン予想は始めの10兆個の零点に関しては計算機で正しいことが
確かめられているが、だから成立とは言えない。
たとえ10兆でも無限に比べれば0に等しいからね。 応援スレのスレ主は「無限に近い巨大数」とか発言したことがある
バカ（工学部）だが、それに近いセンスは工学系（工学脳）には
結構ありそうだ。 >>562
圏論の位置づけに興味があり
⚪善へ数学原論を買いに行ったが
なかった。
やはり文元監修チャート本とIUT本が
多数あったが、今時R加群には興味が
ないんだろう。
ま、文元本を両方読んだら普通あたまが
痛くなるだろう ショルツを頭悪い呼ばわりする奴も大概だが、
ブンゲンをバカにするお前らも相当だよw
絶対にお前らの誰よりも頭いいからw 全くその通りで、Bサンは地位も高くて頭も良い
ただ、数学的に正しいのは何か、というのはそれでは決まらないのでな Bさんは頭がいいだけじゃなく、話がうまく本もたくさん執筆して、しかも顔がいい
教員向き >>580
全員より絶対上とか言っても皆が皆君みたいな崩れではないからなあ
まあ匿名だしそういうことにしたほうが皆楽だから構わないけど、少なくとも研究ではそこまで崇める存在では
ないだろ。解説や整理は多分ここの誰よりも仕事してると思うが ブンゲンが頭いいかどうかなんて関係なくね？
ブンゲンはニュース等でもIUTは凄い業績だと喧伝
しかし彼の書いた本は、たとえ一般向けとは言え
IUTの肝心なところが説明されていないことが
批判されてるんでしょ。
（群論などの誰でも知ってる話に割いてるページ多数）
彼自身IUTを理解していない可能性があり
にも関わらずIUT側のポジショントークを
繰り広げてるとすれば、その行為はバカでしょ。 >>580
京大や東工大の煌びやかなセンセイが憎い
俺は底辺でうずもれてるけど
本当ならあれくらいのことは出来る
ただチャンスに恵まれなかっただけさ
だからこうして匿名で叩いて憂さ晴らし
分かったらあっちへ行け >>586
そういう奴にチャンスは永久に来ないのが厳しい現実 IUTによってリーマン予想が組み合わせ論的命題と同値であることが示され、
それをエルゴード理論を使って解決する。
arxivを眺めてるとそんな流れになりそうな気がする。 1+1=2であることを説明すると、そのことを知らないから「1+1=2であるかどうか」ではなく「そう主張する相手がどうか」に論点をずらす人が多い
だから個人の頭の良さを比較するんだろう
だが実際には数学上の真実を拡散するスピーカーの頭の良さなど全くもってどうでもいい テレビ番組に出演したふくらPを見ていろいろ考えさせられた
底上げしなければ理解者は増えない
演出も大事だ >>586
何か自作自演臭いなあ
普通に実質が伴う自信ある人間もいるんで「イメージ操作」しないようにね
そもそもBGいじりは半分ネタだろ。ガチでそういう事言い出すのが気持ち悪い
まあ「俺だってできたんだ」なんて言い訳にならんよね。本物は博論から違うから、
後はいくらでも学者就活やりようがある。数学で言い訳できるのは病気とか事故だけ そもそもショルツに依存して批判してる奴しかいないってレスとかもイメージ操作の一種ではないか？
ショルツの論点から理論にどういう欠陥がありそうなのか→で、納得いく直観的な説明なんかある？
→半年以上修行しろ！→意味不明
この辺が普通の批判してる数学者の感覚だし、これをショルツに依存してるとは言わない
できそうな直観的な説明で要約できないってのはいくら膨大な理論でもありえないから
尤も俺はIUTが上手くいこうがいくまいが全く困りませんが、批判派全員を矮小化するイメージ操作はちょっとね >>585
BGがIUT本を書いた意図は知らん
まあ、肝心なところは分かってないんだろうね
望月と知り合いみたいだし、なんかIUTに夢を見たいのかもしれんけど
そういうことなら、某応援スレッドのド素人と大して変わらんよね >>586
望月狂信者のデマ発言？ｗ
たしかに底辺だね 中卒？高卒？
数学のスの字も分からなくてもいいけど
それなら数学に一切興味をもたなくていいよ
醜いから >>592
「俺だって(Faltings並みに)できるんだ」っていうのがMのIUT論文だとすると
「いやいや、全然できてねぇじゃん」というのがSの指摘か もし分かっているなら、ぜひCor 3.12の証明をわかりやすく解説してほしいものだね
それだけでも業績になるんでしょう？ >>576-577
なんかスイッチ入っちゃったみたいで悪いね
たとえばx^2+1=0が実数解を持たないことを証明するときに
そのまま解を求めればx=±iで簡単に分かるんだけど
それとは別にy=x^2+1とy=0のグラフを描けば実際に解を求めなくても
グラフの外側はどうなってるか分からないけど実数解はなさそうだなという感覚を得られる
だいたい自明ってのはそういう感覚のことを言いたかったわけなんだ
もちろんそれで証明されたわけではないが方向性はできる そもそも初等的な予想ってだいたい自明だろ
「双子素数が無数に存在することはだいたい自明」って言うのと同じくらい無意味 初等的には正しいかどうかすら分からないけど抽象代数学を学べば哲学的に正しいことが分かる
だから初等的に正しそうだと素人に思われたくない…みたいな？ まあabc予想が正しくてもIUTが正しいことにはならないんですけどね 自分がさんざん苦労して大学の数学を学んだのに
まさか高校数学のレベルで正しそうだという印象を持たれてしまったら
自分はだいたい自明なことに厳密な証明を求めるただの数学オタクでしかない…という恐怖？ 高校数学って要するに200年前の数学だから、そのレベルで新しいことが出来たら、天才とかいう次元じゃない 200年間多数の人間がそのレベルの数学をやっていて、当然今の数学者でさえもその道を辿ってるわけで、
その中でありとあらゆる天才が高校数学レベルでの新発見をしてないのに、今新発見が出来るというのはプールの中に時計の部品投げ込んで時計が完成するレベル >>605
少なくとも200年前にはコンピューターは存在してなかったわけだから
力技で試せることはいろいろあると思うよ
最近はAIも使えるし >>603
abc予想が正しそうなのでIUTも大筋で正しいんじゃないかなというのが外野である自分の今の感想 >>608
矛盾からは何でも導けるので
その発言は「素数は無数にあるんだから双子素数も無数にあるんじゃね？」というレベルでしかない
逆は必ずしも真ならず >>609
素人の自分としては最初はabc予想そのものを疑ってた
実はabc予想が偽であることを数学者はみんな知っていてそれを世間に隠してるんじゃないかってね IUTによるabc予想の証明において重要な主張（Cor 3.12 = 望月予想）の証明に疑義が出ていて、
世界的にはほとんど理解されていない状況なのに、
なぜか京大の学術誌がIUT論文の掲載を決定してしまったことは
高校数学レベルの人も知っておいたほうがいいだろう >>604
そんな心配しなくても>>608みたいなアホ発言をする人の言うことにショックを受けることはない >>611
別に間違った論文が載ることはよくある話だし、論文掲載は通常運転でしょう。
けれど、ABC予想が解けたとか宣伝したりしてるのが異常。 >>600
このバカまだ言ってんのか。
>たとえばx^2+1=0が実数解を持たないことを証明するときに
>そのまま解を求めればx=±iで簡単に分かるんだけど
この一文だけで全く非論理的でお前が全然数学が分かってないことが分かる。
±iはどこから持ってきたんだ？
実数xの性質としてx^2≧0だから、x^2=-1は実数解を持たない。
しかし代数的にはx^2+1=0の分解体が存在することは言えるから
その分解体における解を±iとおいてるんだよ。
「グラフで見て分かる」というのは
要するに視覚は信用できるって信念だろうが、お前の言うグラフは
有限の範囲しか描けていないことに気づいていないｗ >>605
今でも初等幾何（ユークリッド幾何）の専門誌とかあるし
高校レベルで見つかってない定理とかありうるでしょ。
ただ多くの数学者は重視していない、というか
結果的に初等的な計算に帰するとかはあっても
最初からユークリッド幾何の重箱をつついてもツマラナイ
とかそんな感じだろう。 パンツの幾何もパンツのしわやひもが
あるから面白い
ユークリッド幾何も視点が大事 PRIMSがIUT論文を受理するまでの
奇異.異様な経緯
1 京大G08事後評価結果を改変。
日本学術振興会は京大G08事後評価
結果をIUT論文の記述なしから研究成果例.内外の主要メディアがIUT論文を
取り上げている、へ突然改変した。
2 IUT論文はメディアマスコミネタ。
日本学術振興会など日本の公的評価は「内外の主要メディアが取り上げ
ている」のみ。
数学証明の正しさとメディアは無関係
3 査読中に論文肯定の結論ありき。
査読中にRIMS教授=PRIMS編集委員
が、IUT論文よりabc予想が解決と
現況調査表で報告した。
4 京大RIMS取り巻き限定「abc定理」。
補題3.12の証明の「理解者」は
身内の一部しかいない
RIMS詣でのDupuyすら「理解者」
ではないありさまだ
5 RIMS2020IUTの拡がり公式本。
加藤文元本。
IUT論文は従来の数学とパラダイムが全く違うIUT語による。
玉川氏も記者会見で「全く新しい」
と発言した
6 RIMS次世代幾何学研究センター。
論文受理の会見はIUT中心の
「次世代幾何学研究センター」
所属の玉川柏原氏が行った。
柏原氏は編集委員ではない
査読過程は非公開
玉川「お墓に持っていく」発言
の内容とは？ >>608
こういう人が
「どんな角にも１／３の角度の角が存在する筈だから
角の三等分は定規とコンパスで作図できる筈」
とかいって、わけのわからん作図を数学者に送り付けてくる >>607
無限に存在する全ての事例について成立することを示す場合に
有限個の事例だけ調べて成立しない事例が見つからなかったので
「だから成立しそう」とかいったら笑われるｗ
計算機はそういう風に使用するものじゃない
そもそも手計算ではどうしようもないとか
実態が見えないとかいう場合に計算機を使う
のが有意義
（双曲幾何における使用例とか）
https://www.nippyo.co.jp/shop/book/6105.html ＞高校数学って要するに200年前の数学だから
いや、もっと前、
200年前だったらガウスがいたことだから
高校数学よりはるかに先を疾走してる
すくなくともガウス誕生以前だな >>605
まあ微分積分や線形代数と同じインパクトを発見する難しさというのは理解できないではないが、
主に素数や非線形性を攻略するために今の数学は発展してるので、それは完全な的外れだろう
高校数学の範疇だけではどんなに逆立ちしてもそれは解明できない 別に数学のカリキュラムが歴史をなぞってるわけじゃないからなあ
線形代数学は比較的最近の成果やろ？
ベクトルが主流になったのは四元数がイマイチというものがだんだんとわかってきたからだし >>619
>有限個の事例だけ調べて成立しない事例が見つからなかったので
>「だから成立しそう」とかいったら笑われるｗ
BGの動画をはじめ累乗を計算してる解説はまさにそれだ
組み合わせは無限にあるんだから縦に有限でも横に無限だったら全体で無限だろってツッコミを誰も入れない 一部の計算機科学者は、成り立ちそうな命題は事実として扱ってもよいのではないかと言ったりはしている
まあ物理や工学、アルゴリズムではそういうプラグマティズムでも良いのだろう
しかし数学の場合、単に命題を確証するだけではなくてシステムを理解したいわけだからな
例えばABCの理論を足掛かりに高次元化を目論みたいわけだから、どっかでスマートな理論が必要になる
他にも色んな拡張が可能になるだろうから、結局理論的な証明が持つ情報量は単一命題のヒューリスティック
とは比較にならない >>624
なるほど
IUTはスマートな理論というわけか ショルツによればCor 3.12までは自明で、唯一自明じゃないCor 3.12の証明が不成立
全然スマートじゃないな >>628
望月自身の狙いは徹底的な抽象化の上で一気に装置を組み立てたらすぐに解けてしまうというものだからな
過程が自明かどうかはあまり重要じゃなかった
正しけりゃまあグロタンディークのWeil予想のようにスマートなんだろう >>629
Cor 3.12以前に非自明な応用があればね
ショルツの言う「自明」っていうのは、過程が明らかというよりは、
単に価値がある主張を見出せないってことじゃね >>627
予想ならいいよ
でも定理として証明したというなら、そのやり方は全然ダメだね >>624
＞成り立ちそうな命題は事実として扱ってもよいのではないか
誰がどの命題に対して証明なしに「事実」だといいたがってるの？
その一点にのみ興味がある
「計算機科学」は、数学や論理学と同じ類の学問であって
自然科学とはいえない、と考えているが如何？ >>629
>>628の指摘だと
「徹底的な抽象化により組み立てた筈の装置」
が動作してない、ってことだけどね
望月はグロタンディクではなかったってことだね >「計算機科学」は、数学や論理学と同じ類の学問であって
>自然科学とはいえない、と考えているが如何？
「考えている」じゃなくて実際に計算機科学や数学は自然科学に分類されていない https://math.stackexchange.com/questions/1292946/is-mathematics-a-branch-of-natural-science
In university departments, mathematics is usually grouped with the physical or natural sciences. 回答者+7票全員間違ってるとまで考える根拠は何なんだっていうね 調べてみりゃわかるよ
でこんな当たり前のことすら知らなかったのだと恥じるといい 調べてみれば分かることをmath stackexchangeの回答者達は知らなかったのか
ちょっと現実的に考えづらいなぁ 回答者と票を入れた6人(もう一票は質問者かもしれない)が嘘をつくために協力したとはちょっと思えないんだよね
そのURLは自然科学と考えないグループも少なくない、という論拠ではあるが、上記質問によれば自然科学と考えるグループも少なくないということを否定するものではない もうやめとけｗ
これ以上は自分が馬鹿だと宣伝するだけだぞ >>644
では聞くが、
math stackexchangeの回答者や投票者7人(8人)は全員間違っていて、ちょっと調べれば分かることを皆知らなかったのだということ？ 自然科学は、数学のネタや数学の応用の対象になるが、数学そのものではない。 数学は自然科学のように原理がわからないけど確認されてる現象というのがない At least that's how it is in the US and Western Europe. All of these fields share the application of the scientific method. – Newb
上の回答者のコメントだとこうなってる
つまりアメリカや西欧では、科学的手法の応用を共有しているものを自然科学として見なしている(だから大学の学科は数学を自然科学として分類する)ことが多いと
数学板の反応を見ると日本人はあまりそうは思ってないというだけっぽいね もちろんアメリカや西欧でも自然科学に分類されないと思う人も一定数いるんだろうけどね IUTによる望月式abc予想証明装置
補題3.12。
S Sレポートでは補題3.12を仮定し
ボイタ不等式abc予想から始める。
全体のダイアグラムがスカラーｊ2より
モノドロミーになり不等式が空になって
しまう。
望月の言い分は 不確定性より
「ぼやけ」がある、
文元本のまえがきで量子力学の
不確定性まで力説する始末だ。
S.Sレポートに反発するDupuyも
補題3.12の証明をしていない、理解者？
IUT公式本の文元本ではIUTは全く新しいパラダイムのIUT語による。
IUT論文受理会見で玉川「IUTは
全く新しい数学」。
IUT「理解者」以外にはblurringぼやけ
がサッパリわからない、
IUTを信じた人向けの「証明」装置だろう >>650
ぼやけとは光学的なイメージなのかな
焦点があってないみたいな？ イメージがいかに自然でも間違っているということは多々あるし、そうは行かなくても証明になってないことも多い
IUTはイメージだけでは駄目だということを改めて知らしめたな アーノルドは数学は物理の一部
との見解でブルバキを批判したが、
数学の証明は物理と独立している。
例 プレミアム問題
全く新しいIUTはポストモダンか
数秘術かわからなゐが、
物理と数学の証明を、混同することは
やめなはれ >>654
blurringにはぶれという意味もある
何の関連性もなく適当に名前を付けたとは思えないんだよね >>655
あれ、量子力学と関係するの？
望月氏は物理を知らないだけだろ
量子力学の不確定性原理は測定過程まで含み小澤不等式らに精密化され
弱測定まであります。 >>656
関係するかどうかじゃなくてそう名付けた根拠を探っていけば
あるいは理解できるかもしれないと言いたいわけ どうだろう
ホッジ舞台を宇宙とか呼ぶのも完全に失敗してるしね なんでもかんでも抽象化して考える数学者は
名前なんてそれ自体は何の意味もないただの記号だと思ってるのかもしれないが
ゲシュタルト崩壊と意味飽和を意識的に繰り返してたら頭がおかしくなるのも無理はないかな blurring
B本にあるね。
↓
刊行によせてp7-11
IUT理論提唱者望月新一(京大教授)
「より詳細な解説は本文に譲ります」
p7 (望月新一は加藤文元の解説に同意)
「不定性」「近似」「緩み」
例
天動説 地動説 相対性理論
量子力学 素粒子の力学
不確定性原理 http://between.shinken-ad.co.jp/univ/2020/06/AUR.html
＞イギリスの高等教育専門誌「Times Higher Education（THE）」は６月３日、8回目となる「THEアジア大学ランキング2020」を発表、489の大学がランキング対象になった。
＞京都大学は1つ下げて12位だった。
アジア12位の大学ｗ >>658
Wikipediaより
>父の仕事の関係で5歳で日本を離れ、中学生（筑波大学附属駒場中学校）時代に1年間日本へ戻った[2]以外は、
>アメリカで育つ。
だそうだから日本語はそれほど得意ではないのだろう
思考のベースが英語だとして日本語訳は割り引いて理解に努めないと ID:1twOQ8j7みたいなのが
ショルツがいったからIUTは間違いとか
望月が正しいといったから正しいとか
言ってるんだろうね
数学を多数決か何かだと思ってるのかなｗ そもそもアジア自体数学的には評価高くないでしょ
アジアの中だと日本が間違いなくトップだったけど、それも森重文の時代まで 数学なら個人の仕事でしょ。
岡潔の多変数複素関数論は
京大で干されたが世界的に
認められ仏に盗まれたw
IUTはマスコミ受けするも
京大RIMS限定「abc定理」といわれてる コロンビア大学が19位なのでこのネタの大学の中では一番評価が良い。 学生はともかく研究者はやってることがみんなバラバラなのにランキングに意味はあるのか ランキングを気にしても仕方ない。数学ならなおさらだよ。
それに今と昔じゃ評価の基準、人の価値観も変わる。
これが理解できないのは年取った証拠。後進の育成に努めるか、隠居の準備しなさい。 >研究者はやってることがみんな
バラバラなのに
バラバラなのに
世界から京都限定の定理と言われるのは
極めてまれと思うけど >>666
盗まれたんじゃなくてより厳密だったんでしょ
個人的にはアジア人って厳密さが苦手でイメージとかアイデアみたいなのが好きそう
ただ数学は形式的、抽象的な方が成果が出ると分かってそちらに進んでるから、アジア人特に日本人は今のままだとどんどん不利な気がする 餅に限らず一流数学者って相対論や量子力学の教養ないの？
だいたいの人が趣味で勉強したことはありそうなんだが？ >>672
>>672
>盗まれたんじゃなくてより厳密だったんでしょ
より洗練された概念で扱われたってことでしょ
不定域イデアルよりも
連接層 coherent sheaf が圧倒的に洗練されているってこと
あたかも、ニュートンの微分積分の理論が、オイラーからガウスを経て
複素関数の理論になり、現代数学の関数論に発展していった如し
https://ja.wikipedia.org/wiki/%E9%80%A3%E6%8E%A5%E5%B1%A4
連接層
代数幾何学や複素多様体やスキームの理論では、連接層(れんせつそう、英: coherent sheaf)とは、底空間の幾何学的性質に密接に関連する、扱いやすい性質をもった特別な層である。
連接層は有限ランクのベクトルバンドルや局所自由層の一般化とみなすことができる。ベクトルバンドルとは違い、連接層のなす圏は、核（英語版）や余核や有限の直和といった操作で閉じている｢素晴らしい｣圏である。準連接層(じゅんれんせつそう、英：quasi-coherent sheaf)は連接層における有限性の仮定をはずしたもので、ランク無限の局所自由層を含んでいる。
代数幾何学や複素解析の多くの結果や性質が、連接層、準連接層やそれらのコホモロジーのことばで定式化される。 岡潔の不定域イデアルは前層で
扱われ層から圏論へ向かったが、
ゼネラルナンセンスで抽象化しても
基本的なアイデアが要だわ
IUTへショルツの意見
Personally, he said, “I didn’t really see a key idea that would get us closer to the proof of the abc conjecture 岡潔やジーゲルは数学の抽象化の流れには反対だったらしいね
モーデルもそうだったのかな
ラングの本を酷評したそうだけど
最近の数学者は数学の抽象化の流れについてはどう思っているんだろう >>673
趣味で読むからトンデモになる
物理は観測実験から始まる >>675
グロタンディークが代数幾何をスキーム論で書き直そうと思った理由、そのアイデアそのものは全く大したことない
だが、きっちり厳密に、抽象的に書き直したことで非常に大きな成果を残したわけだからな >>680
IUTこそ、アイデアやイメージ先行で厳密な物の見方が出来なかったせいで、cor 3.12の証明が出来ていないことに気づかなかった例なんじゃないのかね >>681
一番は基本的なアイデアがなかったから
すっきり書けないんだよ。 >>683
正直アイデアがない人とかそんないないよね
実際当人も自分は基本的なアイデアのもと理論が作れたと思っているわけで
でもIUTの中でもホッジ舞台を宇宙とみなすアイデアは失敗してるわけで、アウトプットが全て
その中で厳密なやり方が強力だということを現代数学の歴史が示してしまっているように見える ホッジシアターは5ちゃんではホッジ舞台、世間一般ではホッジ劇場 >>666
別に盗まれてはいない
岡の業績だと認められいる
層とかいうのは、別に岡の仕事だけが起源ではない
トポロジーのルレイの仕事とかあるわけだから
抽象化は有用だが、それだけで何かができる、というわけではない >>675
そう考えると、パンツ分解っていいアイデアだよね？（冗談抜き） 大学ランキングなんて留学生をガンガン入れたらバンバン上がるよ。
その代わりアジアの後進国のあまり出来ない学生(やっぱり一番出来る学生はハーバードとかケンブリッジとか行っちゃうから)がジャンジャン入ってきてレベルは下がってしまう。
それが嫌だから東大とか名門大学(特に理系学部)は留学生受け入れにかなり消極的なんだよ。
ただ文系のアホ教員や文科省が外国人を入れたがっているのは事実。 >>688
＞やっぱり一番出来る学生はハーバードとかケンブリッジとか行っちゃうから
その時点で負け犬ですね（バッサリ） 英国とか米国は人種差別の激しい国だから黒人、アジア人などは行かないほうがいい。 >>689
やっぱりプリンストンへ飛び級しないと駄目ということか… >>633
セール、ドリーニュに当たる存在がいないからね 藤井君が将棋なんてやんないで
数学をやってくれたらなあ 藤井だって、家庭用パソコンに強いソフト入れたのに
全然勝てないレベルだと思うぜ？
藤井が数学できる理屈なら、パソコンがとっくに最強数学者になってるはず。 数学は強さを競うものではない( ｰ`дｰ´)ｷﾘｯ 思うんだけど、ボードゲームの強さって人より覚えてるだけじゃね？
記憶力比べに近いものなんじゃないだろうか
いくら強くなったところで人類の文明に貢献できるわけでもないしそんなものに時間費やすの勿体ないわ >>702
> いくら強くなったところで人類の文明に貢献できるわけでもないし
なんで？ >>702
覚えてるのでは強さにつながらない。
Alpha zeroというソフトは人間の過去の棋譜をまったく参照せずに
自己学習で最強レベルに達した（つまり人間の過去の研究が全否定された。）
ボードゲームでモノを言うのは終盤力、藤井が強いのものそこ
言ってみれば計算力だね。 >>705
> >>703
> なんでって、理由説明する必要ある？
文明とやらに明確な線引きが出来るって主張なんでしょ。説明してよ。 >>701
数学は最高の頭脳格闘技だと思った
感情を一切排して記憶力や論理的思考力をフル活用しなければ勝てない >>704
終盤の計算力というのもステップの組み合わせをよりたくさん覚えているから早く結果が分かるだけじゃないのかな >>698
よくそういうレスあるけど、そもそも才能あったら自動的に数学か物理か情報に行くから
古典的な数理科学信奉に見えるかもしれないけど、本当にそうなんだから仕方ない 医学部信仰にも簡単に反論できる
冒険心や知的好奇心が強かったらどんなに社会的地位が魅力的でも医者より科学、そして抽象的思考が得意なら
数理科学に行くしかないからな
散々語られたことだけど、才能ってのはそういうもん >>706
人類の生活を豊かにしてきた数学や自然科学と
木の板に線引いて勝手にルール作って遊んでるだけのボードゲームになんで線引けないのよ >>704
最後の段階は、果たしてwhyをAIが獲得できるか
強いAIの境目と言ってもよい >>707
感情なんて排したら人間じゃなくなるだろｗ
論理的思考力では人間は機械に勝てない。
人間の場合、論理的思考も感情から生まれたという説がある。
個人が集団の中で生きる際に、個人の利益と集団の利益が相反する場面があって
そこで葛藤が生じたとされる。それを調整する機能として論理的思考も生まれたというわけだね。
数学では、（人間の思う）美的感覚みたいなもので人間の方がまだ優位があるってことだろう。 それは数学の軍事研究的側面に踏み込まざるを得なくなるからうやむやにしておいた方がよい。 >>666
京都限定とか言ってんの、この掲示板だけだよ >>711
> >>706
> 人類の生活を豊かにしてきた数学や自然科学と
> 木の板に線引いて勝手にルール作って遊んでるだけのボードゲームになんで線引けないのよ
そもそも何が数学で何が数学で無いかすら明確でないし、数学とボードゲーム以外にも死ぬほどいろんなものがあるでしょうが。
流行ったのは過去の限定された時期、場所だろうが、方程式解けるか競争がボードゲームとどう違うんだ？ >>715
このスレは海外の数学者も見ていたな
まずIUT論文について
査読制度が崩壊するなどの疑惑に
答えてね
↓
>>617 >>719
あんた粘着評価厨だろ？
ひとりで粘着して人生たのしいか？ ttps://rio2016.5ch.net/test/read.cgi/math/1587475873/802 ショルツは門外漢という適当な意見も多かったが、冷静に考えると割と近い部類なのがわかる
後は代数体のタイヒミュラー理論を非IUT的に構成できるかだが、いずれにせよp進遠アーベル幾何学的に
タイヒミュラー空間を解釈するという方向性自体は2000年としては最先端だったな
上手く行けば局所体の曲線のラングランズ対応を解決できたのではないか >>720
残念ながら
woitブログでも査読に疑問の声が出ていたな >>722
二人ともグローバルなp進ホッヂ理論が研究の核
だからショルツは早い段階からIUTに懐疑的だったんだろうね >722, >724
結構わかってるね。
これだけわかっていれば、望月より先にABCを証明できるだろう。
がんばれよ。 ここのアンチ、
京大や東工大への劣等感こじらせすぎだろw 未解決の超難問「ABC予想」を証明！ “天才数学者”望月新一とは何者か | 文春オンライン
https://bunshun.jp/articles/-/38457 ドンキホーテでいたほうが研究は楽しい
誇大妄想気味でやっていたらピースが嵌まって本当に現実が追い付いてくることがある >>727
脈絡がさっぱりわからん煽りを書くと自己紹介だとバレます IUTをもう少し抽象度の高い形にまとめ直す(捉え直す)研究も既にある程度のレベルまで仕上がっているらしいが、どうなることやら... 文春などゴシップ！誌が絶賛しているが
数学として中身空っぽ だからアンチはこんな所で騒いでないで
望月に直接言えよ。本人も相手になるよと言ってるんだし。
以前もここで散々偉そうなこと言ってた奴が
望月に言われた瞬間ヘタレてかなりダサかったw
だからお前達はいつまでもうだつが上がらないんだよw 騒いでも騒がなくても、アクセプトされたけど数学コミュニティでは認められないでもう終了したんじゃないか
次スレも不要なレベル >>738
ちゃんとした数学者じゃないと相手してくれませんから… 全部ショルツが悪い。あいつのせいでIUTを読もうかなと思ってた研究者が、全く読まなくなって、風評被害だけ受けた。訴えてやる！ そもそも現代数学自体が無限から都合よくなんでもかんでも取り出そうとする
一種のペテンなんじゃないかって気がしてきたよ
現実はプランク定数が最小値をクエーサーが最大値を規定する可算でかつ有限な世界なのだとしたら IUTの末路はしっかりと見届けたいね。
IUTでめちゃくちゃにされたが、
abc予想は日本でも証明に取り組むべき >>742
現代の大方の物理学者の見解と同じく物質無限階層説は無い、言う意見じゃな？
分子、原子、素粒子、クォーク、超紐
其処から先は無い言う意見じゃな？
既に応用数学にて微分積分を基に和分差分は大成（完成とは言わんどく）されとるから足りるってか？
しかし其れは定差法による和分差分であり、p-進和分差分法では無い
p-進和分差分法は、まだかいのう？IUTじゃ当てに成らんか？ >>742
そういうのはラングランズを多少理解してから言うことだろう
数学は未だに無限と算術の関係を理解していない。ラマヌジャンとガロア、更には量子化を結びつける
リンクが存在しない >>744-745
真円が実在しないように無限もまた実在しない
しかし円に関する公式が十分実用的であるように
無限の存在を前提にした理論も十分実用的なんだろうか
とゼータ関数を眺めていて疑問に思っただけだよ >>746
実際に解析と算術と量子場のリンクになってるのがゼータ関数だからな
そういう意味では実無限がどうこうは非常にデリケートな問題。ゼータには無限の波動が関わっていて、
そのゼータは量子論の繰り込みにも関わってる
ラングランズに加えて経路積分とゼータ関数の数学的関係とかもわかってこないと何も断言できないだろうし
そこにはペテンも何もない >>747
無限とは神のようなものだと思う
科学が神秘の謎を次々と解き明かしていく中で神を信じ続けなければいけない神父や牧師のように
数学者は無限の非実在に気づいていながら無限を信じ続けなければいけないのではないか
失業してしまうから 科学で解明できてることなんて3%かそこらなんで問題ないです あなたは無限を信じますか？という問いに帰結するのか 「ゼロ」あたりの普及は数学史扱いもされるし仏教あたりとのかかわりあいはよく強調される。 >>748
全然違うだろ。ラングランズ双対や繰り込みの意味をわかってないな
むしろあまりに無限が出来すぎだから食わせて貰ってるのが数学、特に解析じゃん
思うか思わないかじゃなくて、計算できるかどうかだろ問題は
むしろラングランズ双対のせいで無限の意義を確信する数学者のほうが多いんじゃない？
多分君の無限のイメージって発散に偏ってる。もっと巧妙に収束するのが数学の無限だから >>752
現実に存在しないのならそれはもうおとぎ話ではないのか なるほど
無限の存在自体が公理なのか
それなら現実世界に無限がなくても公理が欠けてるだけだから数学的には問題ないな >>753
何らかのプランクスケールや素粒子にまつわるゲージ構造の圏として考えたら普通に実在するが
無限大の量だけ考えるからそういう考えになるの。近代数学では無限は位相を含めた圏の一部でしかないわけ
そんなんで実在とか言い出したら四則演算も実在しないよ 数学はそもそもおとぎ話でしょ
実在しているように見えるのはただの偶然か、ただの錯覚
物理学なんて所詮は現実世界の近似に過ぎないんだから
万物の理論なんて存在しないんだよ >>755
それは単に時間方向に無限を規定してループしてるだけでは？ 強制法を圏論ハイティング代数で解釈した時の極大基数の応用編だよね
巨大基数って つるかめ算以外はおとぎばなし
一般人から見たら抽象化しまくってありもしない像を崇めてる 現実世界に戻ってこれないで数学の内側だけで証明できるから正しいとするのは
聖書に書いてあることだけで神の存在を証明できると神学論争してるのとあまり変わらない印象 聖書は神が実在していると主張するのでオカルトだが、数学は実在を主張しない
数学の理論が現実世界と矛盾しても特に問題はない
Cor 3.12 = 望月予想の証明が成立しているとは思わないけどね 数学者はもっとコミュニケーションやプレゼンを学んだほうがいい
せっかくの才能が無駄になってしまう
喋り下手に決定的に足りないものは？喋り上手になる最強方法！
https://www.youtube.com/watch?v=tBnJfdzBHaU
大したことない話を「面白い」に変える3つの方法
https://www.youtube.com/watch?v=nmSqPI4Ny-c
コミュニケーション能力がない人の特徴 会話上手になれる話し方のコツ
https://www.youtube.com/watch?v=9UO9ejfSoCQ&;t=1382s
プロが教える『面白い話し方・つまらない話し方』
https://www.youtube.com/watch?v=LFqMh9-9Qr8&;t=1261s
苦手意識をぶっとばせ！目上の人の前で100％の力を発揮する方法
https://www.youtube.com/watch?v=VbNE6SmNdE4&;t=330s そういうのが気になる人は下記の書籍がオススメ
(情報科学寄りの内容なので、数学板とりわけこのスレには似つかわしくないかもしれませんが...)
・宇宙を復号(デコード)する - 量子情報理論が解読する、宇宙という驚くべき暗号 >>762
聖書のどこに神が実在してると書いてあるの？ ゼノンのパラドックス
「アキレスと亀」。
数学では運動を任意を使って静止させた論法に置きかえる。
高校数学では極限は極限に向かう点の
運動で考える。
が、ε-δ論法は任意の点を固定させ
ている。
物理は物体の運動を対象にするが、
量子力学の物理実験では量子ゼノン
効果が観測されている。
なぜゼノン効果と言われか知りたければ量子力学体系と物理実験を定量的に
キチンと学ぶことです >>766
＞ε-δ論法は任意の点を固定させている。
というより、そもそも運動を考えない
「ゼノンのパラドックス」は、数学的にはちっともパラドックスではない
しかし、だからといって数学がパラドックスを解決したことにもならない
なぜなら、数学は運動をバッサリ切り捨てたから
物理学が数学を使うのは、アレキサンダー大王が
ゴルディアスの結び目を剣でブチ切ったようなもん >>741
そうか？ショルツの指摘で、
「じゃ、俺が望月に代わって答えてやる！」
と奮起してIUT論文読むヤツもおるかもしれん
IUT論文に重大な穴があって、その穴を代わりに埋められれば
ABC予想の証明という成果はごっそりイタダキだからな
（ヒルベルト第１０問題で、最後のギャップを
マチャセヴィッチが埋めたようなもん
実は根本的な仕事はデイビス・パトナム・ロビンソンが行なってる） >>768
物理の数学は暦の天文や測量の幾何
が大きい。
ガウスも天文台長だった。
IUT公式本のB本では
IUTは支離滅裂な数学物理の混同だ
>>660 >>771
数学は動きをそのままとらえるわけではない
ちなみに三体問題がカオスだと知ったら
ガウスは何というだろうか？ >>758
完備ハイティング代数の話は分からんのだが(極大基数でggっても出なかった)、
おおよその巨大基数はモデルの初等埋め込みの観点から定義できることが分かっているな 神たる無限の存在を前提に論理を組み立ててるんだから
現実世界において今の数学は科学ではなく宗教だな
案外ブラックホールの近傍だと通用するのかも 人為的に時空にボコボコ穴をあけるような技術を多用する時代になれば
直観に反している今の数学も当たり前になるんだろう
未来から来た論文というのも間違いではないかも >>774
必ずしも無限集合に最後の元が存在するとは限らない。 >>781
無限が存在しなかったら自然数の総和が-1/12になることもないわけで
無限が元として存在する公理系と存在しない公理系があるのだと思う
そこをはっきり区別しないから頭がおかしくなってしまうんじゃないかな
無限の存在をいいことにどこかでゼロ除算でもやってしまってるのかもしれないけど >>783
有理数体や実数体には、最大元や最小限は存在しないが、どっちも無限集合。
すべての自然数の総和は+∞に発散する。 >>782
>>783は、>>782宛て。
無限を点に持つ集合はあるが、いきなりそれを扱ったりはしない。 >>782
無限は存在しないし、自然数も存在しないぞ
あと、「自然数の総和が-1/12」とはならないので
どこかで聞きかじった知識でオカルト始める前に、まずはちゃんと勉強しましょうね
解析接続も知らないでしょ？ >>785
どこかで聞きかじったと言われればまあその通りなんだけど…
なぜゼータ関数の自然数の和は無限大に発散しないのか？
https://xseek-qm.net/Euler.htm
>オイラーは1749年に次の式を示唆しました。
>"1+2+3+4+…" = -1/12 信じる信じないは数学とは関係ない
調べてみる確かめてみるの積み重ね >>768,775
実際の「モノ」には大きさがあるからね。
現代物理学に出てくる大きさのない純然たる「点」のブラックホールだとゼノンのパラドックスの飛ばない矢やアキレスと亀みたいな事態に実際陥ると考えられてるから別にパラドックスでもなんでもない。 >>759,776
現代物理学だと高エネルギー状態や宇宙の進化の初期段階にあった
数学的に美しい対称性
が冷えて低エネルギーになって
壊れてる
のが我々のいる現在の宇宙の我々の技術水準で出来得るエネルギースケールの
現実や限界
だと捉えているよ。 >>789
原子力のようにブラックホールが産業利用されるようになるころには
今の数学が常識になっているんだろうな ホッジの定理 p進ホッジ理論も
数学です。
微粒子のゆらぎは古典的なブラウン
運動で統計力学の基本です。
伊藤清先生が確率の公理を
用いてブラウン運動を数学として
整理した。
IUTに近い京大出身者の数学者が
物理.数学を混同した世界へ
量子場に微粒子像はありません。
・場の量子論の数学的解釈について
http://sd42dc40f051c90fc.jimcontent.com/download/version/1477024985/module/12497680390/name/math-phy.pdf >>757
時間なんて関数解析やリーマン球面のどこにも出てこないが
現実世界に数学は関係ないというのもただの無根拠な神視点でしかないよね
>>772
古典力学が全てではないと考えるだろうね。実際幾何学的な量子化自体まだ十分理解されてないんだから
そう考えるしかない。カオスに伴う計算量を自然が解いてると考えるか、理論がおかしいと考えるか
進歩に繋がるのは後者だよ 尤も「カオス的」であることと、測度論的確率論とは区別されるような良い計算論的性質を持つことは
多分必ずしも矛盾しないのだろうが、もし上手くカオス的な振る舞いを量子化できるならば、
古典力学からカオスを見るのとは大分話が変わってくるだろう このスレ急にまともな人が居なくなって、数学科の学部レベルの知識もなさそうな人が増えた気がする。
前はもっとちゃんとした人多かったよね？？ >>796
証明は不成立が濃厚だし、特に進展もないからな
IUT論文がいつ掲載されるかはわからないままだし、研究集会も今年はやらないみたいだし
Woitブログのコメント欄が閉じられたからショルツたちの新たなコメントも見られないし
本当なら話題がないはずで、スレが伸びていることがおかしいんだよね 前もちゃんとした人はほとんどいなかったよ
この人数論幾何やってるなって人は単発で何人か見たくらい 閑散とするのはわかりきってて、動きがあったらキャッチするアンテナ程度のスレだろ
むしろレベルを気にする理由がよくわからんし、過疎板なんだから新しく置いとけば良いんじゃないの >動きがあったらキャッチするアンテナ
程度のスレ
>過疎板なんだから新しく置いとけば
良いんじゃないの
同意。
woitのブログでもmath. jin情報が暗躍し
ているのには呆れた、
abc予想(スピロ予想)関連の証明スレ
でもあると思う 特別号は、次の７月中旬のPRIMS発行よりも、前か？、同時か？、後か？ >>807
出す・・・・・・！出すが・・・・・・今回 まだその時と場所の指定まではしていない そのことをどうか諸君らも思い出していただきたい つまり・・・・我々がその気になれば特別号の出版は１０年２０年後ということも可能だろう・・・・・・・・・・ということ・・・・！ 都知事選で山本太郎とかN国のやつとかがキワモノ扱いされてるけど
数学界でのMもこれに近い？ 無限という実在しないものの存在を肯定し、直観＝常識を否定して洗脳し、選民思想を植え付ける
数学はカルトそのものなんじゃないか 幻の3ページ
欧米の数学者の悪口だけなら3ページも書かないだろうし、最も踏み込んだ事書いてるな あほでも単純なヤマタロかんけいない
Nのゆりこダミー＋守護霊＋海外ヘイトをお地方発の詭弁弁護士話術で
寄せ集めた=謎のIUT式しょうめい装置が発明された ∞+a=∞
∞*a=∞
となるような元、無限集合の最後の元、無限元とでも言えばいいのか
そういう現実にはあり得ないものの存在を肯定した時点で
数学はとっくに現実から乖離してしまっていたんだ
その数学にさらにあり得ないものが増えたところで実は大したことではないのかも 無限はおろか実数のみならず自然数も補助概念に過ぎず実体は存在せん 数学で直観に反する答えが出てきたからといってそれを現実世界で近似できるとは限らない
つまり直観が間違っているのではなく数学が現実世界にはあり得ないことを肯定しているからだ
その違いを認識せずに数学を直観的に理解しようとすると頭がおかしくなってしまう 固有値、スペクトルしか観測できないのが量子力学的な現実。 ハイゼンベルク「観測可能な量だけから理論を構築したい」
アインシュタイン「何が観測可能なのかは理論によって決まる」 違う時刻、違う場所、違う測定機器のデータは理論がなければ比較できないな。 関係ない馬鹿レスで埋め荒らすくらいなら過疎にしとけ
寂しい糖質の溜まり場じゃないぞ やはり加藤先生は望月先生の理解者なんだな
そして望月先生はしっかりと説明を試みている ハイゼンベルグの不等式じゃなくて小澤の不等式を基にして語る時代じゃろ
しかし何れにせよ不確定性原理は板違いなので此の板で語る話題ではない >幻の3ページ
なんだ欧米の要求
「ヨーロッパやアメリカに来て直接
議論できなければ、我々は望月の論文
をなかなか理解できない」by幻の3p
への言い逃れじゃん
欧米も文元本が示すとおりIUT論文を
理解できないのは当然だ
↓
IUT語 p51
「IUT理論は、一般的な数学のパラダイムの枠組みでは語れない、全く新しいフレームワークと言語・概念体系を基盤として構築されている」 >>823
文元とフェセンコは論文を書かない限り同業にはゲッペルスとしか見なされない >不確定性原理は板違いなので
此の板で語る話題ではない
文元本のまえがきで、量子力学と
不確定性原理を話題にしているのは
IUTT提唱者望月新一氏本人だ
>>660 文元さんのいうこともわかるけどな
一言で言ったら「アンフェア」ってことだろ
けど、発表する場以前に数学ってアンフェアなんだよね
論文からして英語で書かなければならないし
例えば仮にリーマン予想を（正しく）解いたとしても英語にしないと
相手にされないだろう
けど残念ながら現状このアンフェアを受け入れないといけないんだよね… 日本で数学を学ぶには日本語と英語とドイツ語が分からないといけないからハードルが高いね >>828
そんなハンデはあってないようなものでしょ
査読者さえ揃うならまずは日本語でやっても構わない。まあリーマンを証明するような人間が大まかな
英語も書けないなんてありえないが
IUTの問題は単純に内容と長さ
強いて言えば最先端の文献は英語がほとんどだから、学習段階で日本語圏は不利ではあるよね
ドイツやフランスは似てるから英語も普通にできるし BUNGENが追加文章で問題にしているのは
アメリカやヨーロッパでの数学が"本流の数学"でありその他の数学（例えば日本）はその数学に仲間入りするため本流の人たちの前に参拝しなくていけない
というような不遜な態度だろう
形式的業績至上主義がスタンダードな基準になった現在の日本の数学では
上のような考え方に自然に同意する人も多いだろうしＵＳ・ＥＵの”本流の数学”の思想圏で一旗あげることを至上命題にしていることが多い >>831
数学がカルトならIUTはそのなかでさらに異端なのか
異端審問に応じないからって十字軍を派遣されそうだな >>831
そんな大層な話じゃないよね
英語で書いて発表して、世界中から読んでも理解できないと言われているだけ
「教えてほしいなら日本まで来い」というのはまあわからないでもないが、
実際ショルツとスティックスに京都まで来てもらって理解させることができなかったんだから
正しかったとしても説明者の実力不足だし、
二人の実力を考えれば単に理論が間違っている（かギャップがある）と考えるのが妥当だろう
それをやれ人種差別だのアンフェアだのと言いだすのはさすがにおかしいでしょう >>830
いや普通にあるでしょ
英語で書ける≠英語で日本語のように書ける
だぞ 英語の論文については「読むだけなら何の問題もないけど、書くとなると怯む」という人が多くを占めていると思う そういえばこの前現代数学だか数理科学科で
論文を書くときにconjecture的なことをうまく書きたいが英語だからネイティブのように
うまく書けないとか書いている記事を見た記憶がある >>835
例えば数学と哲学では全然違う。哲学はホント不利だと思う
しかし、数学の英語でハンデとか言ってたらキリがないわ。当該分野の書き方を一通り習えば済む話だ
論文を読むだけでなく、確かに基本的なテキストを何冊か揃える必要はある
だがこのケースでは望月はネイティブ。じゃあ数学についてはどうかって、岡や佐藤幹夫はちゃんと
伝わっているし。伝達面での不利はあるが、少なくとも意味が通らないなんてありえない
BGは文化的な不満を言う前に専門家に概説書けよとしか思わない
何で動画も一般向け解説も愚痴も垂れ流して専門家に書かないんだ ブンゲンは
（ボンやパリやボストンなどで）
に噛みついて「言い訳」してるようだが
肝心なのは
「根本的なアイデアにもとづく具体的な説明」
なんだがな
２０１５年の京都の国際会議でも
・根本的なアイデアはまったく明確でない
・具体的な例がまったく示されない
という「ないない」づくしで大失敗した
この時点で、欧米の数学者は
「こりゃダメだ」
と諦めてる
ショルツは森重文に呼ばれたから行ったまでだし
訊かれたから何がどうダメなのか率直に答えたまで
ショルツの指摘に望月が感情的に発●するだけで
なんら論理的に反駁できなかった時点で
「望月、終わったな」
と思われただろうし、PRIMSがIUT論文の受理を強行した時点で
「RIMSの数論幾何、終わったな」
と思われただろうな もはや海外で講演しないということだけが指摘事項ではないからな
文元氏の言ってることはある程度は正しいが情勢は変わらん 東大数学科でも入り口にすらほとんどがたどり着けないのに何でクイズ脳ならできると思うのか 正直望月がなぜ直接講演しないのかとか、せいぜい2015年当時の話だよな。
まだそのころは証明したとする本人が海外の人たちに直接講義すれば、
人々の疑問も氷解するんじゃないかとか、若干の期待もあったことは事実だけど、
2020年現在じゃもう望月の態度云々はいまさら関係ないよ。
本人が説明を拒否しているうちに、誰が見ても証明は未完成という事で結論がついてしまい、
本人が説明を拒否するのは「白人の偏見に対する抗議」とかじゃなくてただ単に説明できないからってことが明らかになってしまった。
今更ブンゲンや望月の負け惜しみに付き合ってられないよ。
そろそろ茶番は終わりにしなきゃ。 ＞そろそろ茶番は終わりにしなきゃ。
文元さんみたいにお追従する人がいるから、いつまでたっても茶番が終わらず、
御大が世の中に向き合おうとしないんじゃないか。
もう既に8年だが、このままだと残りのキャリアもIUT布教に費やすことになる予感。 周りがイエスマンで間違いに気づかないのかね
ワイルズはちゃんとギャップを指摘されたとき一年かけて修正したのに なんだこの容疑者の説得みたいな雰囲気は
無実を信じてます 松丸とか玄斗の名前挙げる前に
鶴崎が数学科にいることを思い出せ（2回目） >>848
数学は斜陽分野だから、若手が育っていない。
ヒント： 藤井君 数学じゃなくて日本の学術全体だよ斜陽は
少子高齢化、経済衰退と政策全ての結果 >藤井君
今時の棋士って、ソフトにボコられても人間相手に勝てればいいって
切り替えが出来るひとだね
昔の将棋指しだと考えられんでしょ
世界最強を目指せることにロマンがあったんで
そこら辺のパソコンやスマホ相手にも勝てない分野で何を目指すの
て思うよね ぶっちゃけ何の社会の役にも立たない将棋だの受験数学だの重視する関係者は自分らが社会に有害な自覚ぐらい弁えてほざけ。 そこまでは言わんが、森重文が受験生のときまでは共通一次なんて存在しなかった
広中平祐も広島大学に落ちている(ただ当時は二期校だから奇問難問も出ていたらしい)
共通一次が出て受験勉強みたいな概念が色濃くなってから、フィールズ賞クラスの数学者が誕生しなくなった ていうか、今のクイズ野郎みたいな奴はこれまでも普通にいただろ
メディアにこんな出てこなかっただけ Elwyn BerlekampやJohn Horton Conway等のGameや超現実数に関する仕事に基づきGame演算Softwareが開発され
chessや碁や将棋はたちまち計算されてしまう様になってしまったと解釈して宜しいでせうか？ >>839 そもそもショルツやスティックスは忙しい中わざわざ京都まで出向いたという経緯もあるし
こういうことには全く触れず、ちょっとした失言レベルの書き込みに噛み付いて問題の全容がそこにあるように
印象操作するやり方は全くフェアじゃないよね。
ショルツスティックスはマジでブチギレていいレベル。
まあわざわざボツにしたものを今更見苦しく公表し始めたのは
IUT包囲網が着々と狭まりつつある証拠だな。 >>839 そもそもショルツやスティックスは忙しい中わざわざ京都まで出向いたという経緯もあるし
こういうことには全く触れず、ちょっとした失言レベルの書き込みに噛み付いて問題の全容がそこにあるように
印象操作するやり方は全くフェアじゃないよね。
ショルツスティックスはマジでブチギレていいレベル。
まあわざわざボツにしたものを今更見苦しく公表し始めたのは
IUT包囲網が着々と狭まりつつある証拠だな。 SSを招待して議論を進めてくださったのに、望月さんや加藤さんが森重文さんに感謝を述べているところを見たことがないのだが(もしかしたら知らないだけかもしれないが)
森さんの顔に泥を塗る結果にもなってるわけなんだが >>860
言ってるに決まってるじゃん
最終講義にも出たモッチさんだよ？
外人の問い合わせにも、メール等で対応してると思う
ど素人にいちいちアピールするわけない >>859
>IUT包囲網が着々と狭まり
狭まると何かいいことがあるのか？ >>863
ベタな予想だけど教団の結束がよほど固くないと裏切り者が出てくるんじゃないかな >>854
広中さんが広島大学落ちたという話よく聞くけど、
はっきり言って昔の学制が今の人にはわからないことを利用した彼一流の自虐ネタだと思うよ。
彼は昭和25年に新制高校を卒業し一期校たる京大に入学している。
二期校は一期校の合否が判明してから受けるから、この年の広島大学受験はありえない。
彼自身「広島大学」に落ちたのは京大受かったのとは別の年だといっている。
彼の年齢で可能なのは、昭和23年に中学4修での、旧制広島高校受験以外にあり得ない。
四修で一高に受かるのがざら（志村もそう）の数学者の世界では、確かに突き抜けるような秀才ではないかもしれないが、
四修で旧制高校受かるのは相当難しく、広中が落ちたのは仕方がないことだろう。
のちの広島大学落ちと同レベルで論ずるのは間違い。
それをあえて「広島大学に落ちた」と表現して、自虐ネタを楽しんでいるのだろう。 このような旧学制を利用した自虐ネタはかの竹下もやっている。
宮澤喜一に「早稲田って、入試ありましたっけ？」といわれて、失礼なと怒った話をひとしきりしたあと、
レポーターに、「さすがに、早稲田にも入試はありましたよね」と水を向けられて
「それがねえ。なかったんだよ（笑）」と答えたという話。
竹下はここで、あえて早稲田の学部入試が無試験だった話をしている。
しかしこれは当然なのだ。早稲田の学部は予科たる高等学院からしか進学できず、
その予科からの進学は早稲田に限らず無試験なのだ。
現在の早大学部入試に当たるのは高等学院の入試であり、こちらはそれなりの倍率だった。
竹下はあえて誤解させて自虐ネタを楽しんでいるのである。 >>865
京大に入学してるから広大受験はあり得ないって、
広中は一年浪人してるからな >>867
広中は京大に現役で入っている。
「広島大学」など受けていない。
中学4年次の旧制広島高校落ちを自虐してるだけ。 IUTには関係ないなw
というか15歳くらいで大学出るような神童なんか毎年出てくるし、IQ220のエッセイストのおばさんとかも
いるけど数学との関連性なんかケースバイケース
鶴崎にしても自称IQ170らしいけど(ワイルズと同じ)、現代数学で何かできるか何にもわからん
受験数学なんか弊害にならないよ。なんなら東大でもFランでも文学部に在籍して数学やってもいいんだから >>869
数学をやるのに大金がかかるわけでも何か特別な装置が必要というわけでもないからね でも現実にはCATEENみたいに、音大に行かなくてもピアノで日本一になる人はいるが、
理学部数学科を出た人以外で、日本一どころか駅弁大学の教員養成課程の数学教授になるのすら、絶対に不可能だ。 >>874
「浪人の末、京都大学に進んだ」って書いてあるが >>872
せめて例でも挙げてみてよ。
あ、論理学とか、そっち系なら何とかなるかもわからんけどね。照井さんとか。 >>875
それが間違い。
広中の年齢を見ても、明らかに現役で京大に進学している。
旧制広島高校落ちを広島大学落ちに捻じ曲げているだけ。
完璧に論破されているのに非を認めないのは、まるで望月みたいだｗ >>871
結果的にいまんとこいないだけで、建築の安藤忠雄みたいなのが出てきても全く不思議はない >>877
論破ってお前さんより出版された本の方が説得力上なんだが
現役合格というソースはあるのか >>879
本が間違い。
年齢的に絶対ありえない。
広中は昭和6年4月生まれ。昭和25年新制高校卒業で京大進学
昭和29年京大理学部卒業
全然遅れていない。 >>879
完全に論破されているからもうあきらめろ。
お前が旧学制に無知だったということだ。 仮にモッチーが不祥事とか起こしたら、出版とかしなくなるんかな？ >>878
何だ。結局例を一つも上げられないのか。それじゃ話にならないや。 >>880
http://chinoichiba.net/totteoki_roku_pdf/heisei14.pdf
広中平祐本人が「全国津々浦々に、国立大学ができたということです。そして僕は広島大学を受験しました。
(中略)
しかし翌年は大学に入ることができました」と述べている
しかも、旧制広島高等学校が出来たのは1923年だが、広島大学が出来たのは1949年で、「国立大学ができたということです。そして～」という文脈にもより合致する >>871
だから自分が数学をやりたいだけなら多少の金と時間さえあればいいわけで
別に数学教授になる必要ないだろうと言いたいわけで ある程度話の通じる人がまわりにいないと高度な数学できないってもっちがどっかで言ってた >>886
なるほど
教授の周りには話の通じる人がたくさんいるんでしょうな >>884
1949年は広中は新制高校2年生で受験資格はないよＷ
まあ、可能性としては1948年にどこかの旧制高校に受かったという事も考えられるが、
それは全くどこの記述にもないので、広中が勘違いしてる可能性のほうが高いね。 >>885
それだと、大学院でやるような高度な数学はできないだろうね。
近現代で、在野・独学で、学術的に見るべきレベルの数学をやった人など俺は知らない。 >>888
1949年に受けたかどうかではなく、「最近できてきた」という話の流れからいって、わざわざ生まれる前からある旧制広島高校の話と考えるより広島大学の方が文脈に合致するという話(もちろん、それ以前に広中は国立大学とも広島大学とも明確に記載しているのだが)
これだけのソースがあるのに、一人ソースもなしに反対意見を出す2ちゃんねらのレスを信用することは流石にできない >>890
高校二年生では1949年に新制大学は受けられないよ
彼は1950年に高校卒だろうが。
裁判官でもそう考える。 >>890
高校二年生では1949年に新制大学は受けられないよ
彼は1950年に高校卒だろうが。
裁判官でもそう考える。 >>889
学会に発表しなければ知られることもないからね
軍や企業にとっては公開する動機がない 旧制の学校を新制大学で表現することはよくある。
旧制広島高校を、今の広島大という人は実際にいた。
しかし、現実の位置づけは全く違う。
谷山豊（旧制浦和高卒）を埼玉大学卒というようなものだ。 >>894
だが広中平祐は広島大学の話をする前に「国立大学ができた」という話をしている
広中が生まれる前から存在する旧制広島高校の話をする流れではないだろう
そもそも広中平祐ほどの有名人の履歴に誤りがあれば、2ちゃんねらが指摘する前に他の誰かが指摘しているだろう >>895
みんなが監視しているwikipediaでは、広中が広島大学を受けた可能性は絶無なんだよねＷ
なにしろ1950年に新制高校を卒業し京大に進学したと明記してある。
1949年には絶対に受験資格はなく、広島大学も受けられない。
1948年にどこかの旧制高校に受かり、1年修了ならば1949年に広島大学受験もありうるが、
これだと1950年の新制高校卒業と両立しない。 >>889
でもあり得ることは認めるでしょ？
大体実際の数学者だって新しいこと一人でも勉強するしさ、ならあり得るだろうなと自分は感じるね
なかなか出てこないけどね 広中平祐の広島大学の話はどこから出てきたんだろう
「生きること学ぶこと」には、
>こうして数学に熱中するうちに私は卒業を迎え、ちょうど朝鮮戦争が勃発した昭和二十五年四月、京都大学理学部に入学した。試験を受けた大学はここだけで、もしそれに落ちたら生涯大学に入ってはならない、と父からいい渡されていたが、なぜか落ちる不安は感じられなかった。
とあるんだよね
で、Wikipediaにある
>1950年、山口県立柳井高等学校卒業
が正しければ1949年に受験したというのはおかしいし
どれが本当の話なんだ？ >>896
ところがその皆が監視しているwikipediaの英語版の記事では、「1949年に京都大学に入学」と記載されている
江頭2:50は広中平祐より有名だと思うが、それでもwikipediaにはそこそこ誤りがあることを動画で指摘している
客観的証拠から広島大学を受けたことはおおよそ間違いないだろうが、では何故このような誤情報があるのか、
あくまで個人的な推測の一つとして捉えてほしいが、学徒動員されたという事実から略歴を見誤ったという予想はできる
というのも学徒動員によって学業が停止されたわけだが、それによる修業年限の変更が若干入り組んでいるために、まるで現役で京都大学に入ったかのような略歴になってしまっているのではないだろうか 「予想の一つ」(もちろんこれは広中が広島大学を受験したという事実とは独立)としては、
中学の時点で学徒動員されたという事実を知った人物が、「ということは一年遅れ、1950年に高校を卒業したんだな」と略歴に記載した
ところが、学徒動員による中学の修業年限は臨時措置では短縮しないことになっていたが、1942年の閣議決定において、1943年4月入学の生徒から中等学校の修業年限が一年短縮された
これは1944年度(広中平祐13歳)まで実施され、1945年度は授業停止および終戦により実施されなかった
つまり、広中平祐はギリギリ修業年限短縮の制度を受けていたため、本来は1949年(広中平祐18歳)に高校卒業で広島大学を受験していたのだが、学徒動員の修業年限短縮制度をよく知らなかった人物が、1年ずらして1950年卒業としてしまった、という推測ができる 1931/04/09という生年月日が正しい限り、新制高校卒業が
1950年3月（当時18歳）以前ということはあり得ない。
何かしらの理由により高校在学中に新制広大の
入試を受験できたということはあり得るのだろうか？
小池以上にミステリー 補足だが、英語版ウィキペディアの記載は広中平祐が1949年に一度大学を落ちたことを知らず、単純に1949年にhigh schoolを出て京都大学に入ったんだろうと解釈した、という予想ができる
1949年に大学に入ったという認識が広まっているのは、広中平祐が実際には1949年に高校を卒業しただろうという予想とも合致する 徴兵逃れとキャリア官僚の年次席次には都合悪いんだよね。飛び級って。 英語版Wikipediaの
>Hironaka entered Kyoto University in 1949
のソースってこれなんじゃないかな
>Hironaka: I entered Kyoto University in 1949 and
>was in the college for four years.
http://www.ams.org/notices/200509/fea-hironaka.pdf
で、このpdfには広島大学の話が書いてあるんだけど、これは>>898と矛盾するんだよね
> I applied to Hiroshima University
>because I wanted to study with him. But I didn’t
>study at all for the entrance exam, and I failed it!
このソースはインタビュー記事らしいけど、本人が大学に入学した年を間違えるかな？
>ちょうど朝鮮戦争が勃発した昭和二十五年四月、京都大学理学部に入学した。
という覚えやすい出来事もあったわけだし 広中先生は大戦、森先生は学生運動
今はコロナ
もっちーも時代に飲み込まれてIUティ集会ぶっとびましたね 広中センセは子沢山のどびんほうだったんでしょ？
そんないくつも大学受ける余裕あるかなーとおもう
どいなかの貧乏人の習性としては、一個落ちたら即諦めて工場か農業に転化するだろう
貧乏人はまったくよゆうがない
いなかもんは情報がない
二つ揃ってるのに上り詰めた広中センセは超絶優秀 https://www.math.kyoto-u.ac.jp/alumni/bulletin1/hironaka.pdf
この資料からしても1950年(昭和25年）に京大に入学したのは間違いないだろう
新制広大を受験したとすれば1949年だけど その年に受験する方法がなにかしらあったとすれば
全部辻褄があうな 新制高校2年生じゃなくて旧制中学5年生扱いで受験出来たとかあったのかな >>876
学部が物理とかいくらでもいるぞ
何なら文系という人すらいるわ
自分の無知を棚に投げて人に手間かけさせんなバカ >>908
ウイッテンテーンが文系ということを知らない情弱がいるときいて >>882
IUT論文にまつわる不祥事は査読をはじめ
色々とある。 >>617
ゴシップ雑誌が取り上げるかは
カネになるかが大問題だろう。
あ、天才南部陽一郎先生は
学徒出陣で中途東大卒となった。
大学の成績と卒業後の業績に
相関はないと述べた。 >>911
不祥事の内容が数学と無関係な
「一般人にも分かるネタ」なら
ゴシップ雑誌が食いつく可能性もあるが・・・ >>905
もっちーが飛び込んだのは昔から
ある数学から暗黒面へだろ 望月：ダース・ベイダー
ルーク・スカイウォーカー：ピーター・ショルツ
ああ、ナットクｗ >>909
ウイッテンやショルツは家庭環境がずば抜けてるからあんま比較にならないな
どうしても環境の影響も避けて通れないからな。東大にも言えるが数学科にお坊ちゃんが多いのは事実だ >>915
どんどん条件が厳しくなっていくのな
薄幸な生い立ちで苦学してれば満足なのか >>916
俺は否定的だった奴じゃない。親が理数系研究者ってのはそれだけ特別なアドバンテージだからね
どこでどんなヘリテージがあるかわからんから普通の独学という感じがしない まあ、いくらショルツェさんでもアマゾン奥地の少数民族に生まれてたら割り算もすることなく一生終えたかも知れないってことだな >>917
言い張ったら、全部通ってきた人生なんだろうな〜 久しぶりに来たら広中先生と広島大学の話しかしてなくてワロタ >>927
チート的な上級者のアドバイス無しで読書で勉強することじゃん ショルツが言ってるから3.12は誤っている可能性が高いとか、
それでも望月先生が正しいといっているから間違っているハズがないとか
そういうことに外野の人たちが口出すのは学問的に不誠実としかいいようがない
フィールズ賞がなんだ 飛び級の天才がなんだ 学問に権威など本来不要です 独学でガロア原論文を読めば
基本的なアイデアとは何かを学ぶことができる。
代数方程式の解と対称性と群から
可解群で解ける解けない、
更に素数次方程式がある。
これは微分方程式や数論へ自然に
つながる。
数学の基本的なアイデアは寄せ集めや
定義へ矛盾を集約することではない
ことがわかる。 ブンゲンが変な本書いたせいで、変なブンケーがいっぱい寄ってきたんだな >>931
数学の基本的なアイデアは寄せ集めや
定義へ矛盾を集約することではない
ことがわかる。
高みに立とうとして無内容なことを言っている >>933
abc予想の証明についてIUTには基本的なアイデアがないね >>930
3.12の証明にギャップがあると一部の数学者から指摘があるのに、3.12の証明を理解者の皆様方が書けないのは？ ＞独学でガロア原論文を読めば
＞基本的なアイデアとは何かを学ぶことができる。
実際は、正規部分群の定義も誤解して、何も学べないｗ
某帝大工学部卒のセタがいい例ｗｗｗ >>935
理解者が実在せず、理解者と云われてる人が、実はそうではないからでしょう
ブンゲンが理解者でないのは明らか やってることは
ここのセタとかいうトンデモド素人と全く同じ
数学者としてはこっ恥ずかしいレベルｗｗｗ >>934
基本は上から押さえつけるんじゃないかな
そのために数をp進数にばらして切り裂くイメージ？
あの組み合わせの累乗の説明がおおもとなのかね もっちとM大のFって共通してるね。
どっちも数論幾何専攻で若いころ天才と言われていたが
どっちもディオファントス問題でコケた。
もっちはabcでFの方は総実数体のフェルマー。
Fの方は海外一流誌に投稿してリジェクトされたが
掲載予定としたことで、これが後に問題となる。
もっちは自分のとこで掲載強行しようとしている。
（この比較で言えばFの方がまだマシだったのかも。）
ブンゲンは両者と関わりがあるのは偶然なのか必然なのか
定かではないが、奇観としか言いようがない。 あのドリーニュでさえ今では定理である予想を否定したし、ワイルズでさえギャップがあった
人っていうのはそれくらい間違えるものだが、権威が助長させてしまったんだろうな >>936
高校数学から怪しい例を上げられても、
同値関係類別からダメな人では。
ふつうは代数の集合群環体を学んで
からガロア理論だろうね。
(アインシュタインの特殊相対論の論文
では、観測と同値関係と群が背景にある
) >>939
この人ね
https://ja.wikipedia.org/wiki/%E8%97%A4%E5%8E%9F%E4%B8%80%E5%AE%8F
―――
21世紀COEプログラムにおける虚偽申請
FKは、21世紀COEプログラム申請書類の業績欄に研究論文8本を記載したが、
このうち3本は申請と異なり数学専門誌に掲載されていなかった。
うち一編は記載された掲載誌名が誤っており
他のシンポジュウム報告集に掲載されていたが、
他の二編に関してはプレプリントの状態のままであった。
FKは意図的ではなく、チェックミスが原因としている。
FKがサブリーダーとして所属するプロジェクトは
これまでの3年間で約1億5000万円が研究費として交付されていた。
（朝日新聞（2005年5月21日;2005年9月12日））
－－－
さて、K大のMSのプロジェクトには一体どれだけのカネが
交付されてきたのだろうか？ >>943
＞ふつうは代数の集合・群・環・体を学んでからガロア理論だろうね。
実は>>936の人の場合、集合の∈と⊂ですでに誤解するテイタラク
以前、某所で「a∈b ⇔ a⊂b」とかいう💣発言を平気でやらかしてたｗ >>930
もうある程度以上の研究者は内容で引っ掛かってる段階だよ
ケドラヤやFrenkelにしたってある程度は情報仕入れて言ってるから馬鹿にできたもんじゃない
特に数論幾何や非可換幾何の人は敏感だから、実は2012年から興味を持たれてたし >>945
>「a∈b ⇔ a⊂b」とかいう発言を平気
IUTの世界には、これが成立する世界もある
という意味だよ。 矛盾してる可能性なら
もっちー矛盾∧ZFC矛盾
もっちー矛盾∨ZFC矛盾
両方とも否定出来無いでしょ？
３パターンの１つの
「もっちー矛盾」だけに絞れるの？ >>947
いやいや IUTとは全然無関係なスレッドでそう豪語してたｗ
望月はさすがにそんなことはいわないだろｗ そんな進振り偏差値とか学部平均連中のどんぐりの背比べみたいな序列には何の意味もないと思うが
統一理論やるなら数学か物理しかないし >>953
国内限定なの?
それとも海外含めたハナシ? >>953-956
日本の学部入試止まり学部卒止まり馬鹿ロレアは残念無念だから最初から無意味。 というか、情報なら強いAIか計算複雑性
物理なら素粒子か非平衡統計力学
数学なら数論か量子幾何かミレニアム
この辺に貢献しなきゃ作業員でしかないし人材も糞もない皆同じ >>958
層が薄っぺらいのは困る。
受験のプロばかりあつっかましくて。 >>955
> 統一理論やるなら
高エネルギーの統一理論は物理
アインシュタインもウィッテンも物理、
ζの統一なら数学
オイラーもリーマンも数学、
IUTのように物理数学の混同は
百害あって一利なし 情報科学なら、物理も数学も必要ない
数学についていえば、ガロア理論もトポロジーもフーリエ解析も知らなくていい
ただ論理学くらいは知っといてほしいけどね
完全性定理・不完全性定理は常識
機械検証とかやるならもちろん、計算複雑性とかAIとかやるとしてもね
ちなみに医者は、どれもいらないｗ
なんで理Ⅲがそんなに難しいのかワケワカラン >情報科学なら、物理も数学も必要ない
データから推定では逆の問題が必須
情報幾何で曲面多様体が必要
量子情報で物理のEPR現象量子的もつれが必要
情報エントロピーなら熱力学統計力学
の背景が必要 >>963
そうそう、数学も物理も必要
まあ程度問題ではあるが、下手したら深層学習の理論にホッジ理論まで使用される >>963
＞データから推定では逆の問題が必須
それ統計学だから数学
ちなみに量子云々といっても理論だけなら数学
量子コンピュータを作るのは、もはや物理というか工学
>>964
いつの時代でもハッタリかます人はいる ハッタリ屋の例
https://www.jstage.jst.go.jp/article/essfr/8/4/8_217/_pdf
上記で紹介されてる○木氏は、数学で話題になった理論や成果に
コジつけた論文を出すことでその筋では有名だった
しかしどれもこれもムリヤリ感満載で（技術としてはともかく）
理論としては全然次につながらなかった
ちなみに出身はKOの理工学部で工学系らしい
この板のセタみたいな感じ
しかしセタよりは煙巻きの術がうまかったｗ
https://www.hmv.co.jp/artist_%E7%99%BD%E6%9C%A8%E5%96%84%E5%B0%9A_200000000613735/biography/ 情報科学（というか論理学）で数学が必要かもな、と思わせる動き
Homotopy Type Theory
http://www.kurims.kyoto-u.ac.jp/~uemura/files/hott-intro-ja.pdf
もっとも中身を見る限り、数学の証明に情報科学の手法を使ってるみたいだが
（それはそれで面白いからアリ） >>965
>量子云々といっても理論だけなら数学
すごいね、
量子論理の公理にしろ測定過程がある
時代にw >>965
967のようにはっきり方向が見えてこないものは全てインチキやハッタリに見えるもんだが
某空間でのホッジ理論が深層学習など神経回路理論に使えるのは間違いないんだけどね
ただ応用上可能であってもそれくらい新しく負荷があるんならもはや数学として研究したほうがいいわけ
数理情報学の研究科でも数理統計学は数学科出身が普通だからな
普通の情報系は基本的には複素解析くらいまでにしといたほうが火傷しないで済む >>967
情報とは何？
量子力学のEPR現象では光速を超えて
波束が収束する、
なぜデータ通信に使わないのだろうか？ >>970
重ね合わせの原理を使う量子コンピュータ、とは別の方式の量子コンピュータを作れるらしいぞ。 >>969
＞某空間でのホッジ理論が深層学習など神経回路理論に使えるのは
＞間違いないんだけどね
それは離散フーリエ変換並みに役に立つ堅い技術ってことかい？
某空間がどういう空間か分からんから
君が詐欺師でないと判断するには十分ではないが・・・
＞（HTTのようにはっきり方向が見えてこないものは
＞全てインチキやハッタリに見えるもんだが
「はっきり方向が見えてこない」というより
「具体的に何のために使うか明らかでない」といったほうがいいかな
で、君にとって例えば論理ってインチキやハッタリかい？
論理というのは、具体的に何のために使うかなんて決まってない
何に使ったっていいわけだ
HTTもそれと同じだよ 情報科学というのは
別に個別技術とかいうタクティクスの寄せ集めではない
そんなものは、個別科学、個別工学でやればいい
むしろプログラミング一般で使えるストラテジーこそが情報科学の神髄
＞普通の情報系は基本的には複素解析くらいまでにしといたほうが
なんで複素解析？ 要らないだろ（教養として知ってたっていいけどｗ）
むしろ論理を学んだほうがいい（まあ、カリキュラムに入ってますけどね） ID:2VTX4WuJ
君、大学の数学も物理も全く知らないド素人だろ？
口臭が実に素人臭い酸っぱいニオイがするｗ
歯磨けｗ ド素人の特徴
・物理学が究極の学問だと思い込んでる
（大抵、抽象化が理解できない具体馬鹿）
・二言目には量子といいたがる
（量子というのが究極の魔法だと思ってるらしい）
・エントロピーという言葉も大好物
（そのくせ対数とか全然分かってないｗ）
私は、物理どころか数学ですら究極の学問とは思ってない
論理学こそ究極の学問だろうｗ >>970
それが通信に使えないことはノイマンが証明している 望月先生とその一派を貶める意図は全くないのだが、全世界で関心を持っている研究者が数十人しかいない理論に一般人まで沸き立つのは異常だよ
加藤文元先生の本買った奴の9割は線形代数すら（いや、多分高校数学すら）まともに理解してないだろう
つまり、そういう人がこの本を読んだって
・abc予想は難しい
・その難しい問題を望月さんが解いた
という事実すら理解しない
これ、意味あるか？ >>972
その反応でよくわからん理工学部出身の崩れだなというのがわかった
発狂してるけど、要するに複素解析を使う情報科学の理論が思い付かないってことでしょ？
しかも本当にまともな論理学者なら「論理学」なんて一緒くたにしない。どういう論理学かに言及する
せいぜい狭い自分の脳内に閉じ籠って他人を見下してください 学部生とかで「IUT理論を勉強したい」とか言ってるのって、単に「話題のキーワード」に飛びついてるだけで内容理解する気ないから、ぶっちゃけ数学に向いてないよね >>972
必然性があるかって意味ではあるよ。統計学の計量の話だから。だがちゃんと一般化しないと使えない
単純にその情報分野の研究者でそこまで踏み込む人かいないので、全然進んでないけどね
やれないことはなくても面倒な話だからな >>976
世界に数十人もいる時点で研究テーマとしてはメジャーもいいとこなんだがそれはそれとして
数学に興味を持つ人たちを増やして裾野を広げるという意味はあるよ
たとえ本人に数学に対する興味がなくともその子供が読んで興味を持つかもしれない ＞要するに複素解析を使う情報科学の理論が思い付かない
電気関係ならバンバン使うだろうけどね
でも、それは情報科学じゃないよな >>978
＞本当にまともな論理学者なら「論理学」なんて一緒くたにしない。
＞どういう論理学かに言及する
論理学は一つです 論理が無数にあるだけ
これがまともな論理学者の考え方
「俺は●●論理しか正しいと認めない」
というのは●違いです
あなたは完全な●違いｗｗｗｗｗｗｗ
で、どの論理の原理主義者カナ？（嘲） >>980
何に対する回答？
君、スキゾフレニアかな？ >>979
学生だけじゃないけどね アラ還の爺ぃで
「IUT理論を勉強したい」とかいって
シコシコ検索（のみ）して、
蟄居スレに結果を（読まずに）コピペ
しまくってるヤツいるけど
・・・ま、時間の無駄だね
そんな態度だから、いつまでたっても
数学が１ｇも理解できないことに
臨終間際には気づいてほしいね
でないと、人生全く無駄だからｗ >>966
名前をぼかさずに白木善尚とはっきり書けよ >>982
https://rio2016.5ch.net/test/read.cgi/math/1537363981/74
> file:///C:/Users/seta/AppData/Local/Temp/1902_Sylow.html
User Name = seta >>986
IUTが中二病ワードになっているきらいはある
宣伝が成功しているようだね
実は数学のトリックにすぎず現実世界に全く影響を与えないとばれてしまったらどうなるのか >>988
「論理学だが数理論理学でないもの」を具体的に示されたい 早く宇宙際メリン変換作ってリーマン予想解決してくれよ >>994
回答不能で悶死 成仏しろよ(-||-) 数理論理学は数学の一分野、これは簡単。
論理学は文系の論理学で、たとえば、「女の論理」とか超難しい。 >>996
文系の論理学とは何か 具体的に書き切ってみせろ 女は男が好きだ
女は男が嫌いだ
これがマジ両立するのよね！ 昔の論理学は今は論理学と呼ばれないものも論理学で扱っていた このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 41日 19時間 21分 26秒 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php レス数が1000を超えています。これ以上書き込みはできません。
