Inter-universal geometry と ABC予想 29
レス数が950を超えています。1000を超えると書き込みができなくなります。
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 28
https://rio2016.5ch.net/test/read.cgi/math/1528525603/ 異様に難解でジャーゴンぽい割に、正しくても広がりが限られてる
そら取り組むのにも勇気がいりますわ 今回のフィールズ賞も、一定の知られた研究プログラムのラインだもんな
Perfectoidも5年早かったら文元が多分取り上げてたようなもんだし
IUTTの場合、Hodge理論やTeichmuller理論ですら普通の数学者がイメージするものと
違う感じがして、一見何だこりゃって感じがするからな 一応説明すべき前提をすっ飛ばしてる不親切さ
あまりお高く止まってひねくれるとこうなるって悪例だね そういう不親切さが巡り巡って自分の首を絞めることになってるのかね Taoとは違って、他の数学者の認識がわからないんだろうね。グロタンディークと同じだよ
で、周りが十分に付いていけないから半端な解説しかできない。匹敵する才能がいない
もし京大でなくPrincetonにいたら何とかなったかもしれんが
冷静に見て結構きつい状況だと思う >>886
グロタンディックに失礼。一緒にするな。グロタンディックだってペレルマンだって最初理解されなかったが程なく誰もが受け入れた。 定期的に不自然な文元ageしてるのおるな…あっ(察し >>880
ショルツ・スティックスは「理解できない」んじゃなくて「証明になっていない」っていってるんだろ。
理解できてないのは、望月の支持者を含めたほとんどすべての数学者w
「完全な理解者」であるはずのフェセンコは、突っ込まれると怒りだす始末w
もうこの時点で察しw ショルツ単体だけだとラングランズの人だけど、Stixと組まれるとかなり手強いよね
エタールテータ関数や対数殻のような概念もショルツの研究領域に非常に近いし
この二人が協力しても納得いかないとなると、コミュニティもそうなるわな サッカーで言ったらユヴェントスvsガラタサライくらい分が悪いな そっかあ
望月は本物ではなかったか
小保方界のエースってことでおk? ここらでまた悪あがきのヨイショをどうぞ
↓↓↓↓↓ >>890
理論の正当性と証明のエラーは別の問題だからな。そこが面倒といえば面倒だ
要するに、批判するならもう少し突っ込んで批判するべきなんだが、十分に意味が
理解できないので、いまいち核心的な分析ができないのだろう
「証明を疑っているが理解が十分でないから理論への決定的な批判はしていない」のだろう 勿論、だからといってIUTTが正しいと確定できるわけではないよ >>896
小保方と一緒にしたらいくらなんでも気の毒。
あれはトンデモではなく、低能のインチキだから。
望月さんはトンデモなのかもしれんが、だとしたら
天才と紙一重のトンデモだし、なにより秀才なのは
間違いない。 >>900
論文の間違いを見つけたことがあるならわかるはずなんだけど、
ギャップの指摘って、(簡単な反例がない場合は)"ここがわからない"
以上のことは言えないんだよ。他の部分を全部わかってても。
逆に説明する方は、その部分をより基本的な定義や定理に戻って
説明するのが唯一のやり方なわけ。
双方のレポートがでないとどうなってるかはわからんけど、どっちが
分があるかはそのやりとりがどこで止まってるかで決まる。 >>903
このスレだとギャップを埋めるのはショルツの仕事みたいな前提で書いてるのがいるよね。
望月の責任なんだけど。 >>895
部外者ですが、そうなるとガラタサライのどの選手が味方にスル―パス出しても、
どのみち出された味方のどの選手にも、ユベントスの誰かがマークに入ってるって
ことになるですけど モッチーがブログで「有限の文字情報では伝わらないことがあるんじゃないか」
みたいに書いてるの読んで、雲行きが怪しいなと思った
それを言っちゃ、数学はおしまいじゃね?
証明というのは突き詰めれば論理式であらわされ
コンピュータによるプルーフチェックにもかけられ
最終的には0と1の有限の情報に帰着すると信じないとすれば >>903
>>904
言いたいことはわかるんだけど、ニュアンスがちょっと違う
ショルツには影響力があるのだから、本当に理解しているなら付加的なコメントが
あってもいいということ。それで物事が進む可能性があるから
今のところ、非常に慎重にせざるを得ない程度には微妙な感覚なのではないかと思う
別にそれが悪いとは言ってないよ >>904
俺は小保方に作為があったとは思わない
小保方の世界ではSTAP細胞は本当にあったんだろう
望月の世界ではABC予想が証明されているように >>908
>俺は小保方に作為があったとは思わない
そんな甘いこと言ってるから騙されるんだよw
作為がなくて切り貼りしたり、仕込んだりできるか、っての。 >>908
>「有限の文字情報では伝わらないことがあるんじゃないか」
ついに論理屋の機嫌に命運を託したか。この言葉は望月さんが数学者として敗北を認めたようなものだね。
釈迦に説法かもしれんが、なぜこうなったかを説明する。
望月さんとショルツは数学の基礎の部分の解釈で対立している。というのは皆の認める所だと思う。
そして数学者自身が認めたがらないことだが、数学の基礎は民主主義で決まる。
喩えると、21世紀に数学教というオワコン宗教がある。
「点と直線は存在する」、「数字は等分された要素であり存在する」、また「その数字同士で足したり掛けたりする操作は認められる」、..................、「数学のルールは言語で記述されうる」
といった数多もの教義を「数学者」と自称する数学教の信者さんたちはとても大事にしていて、それら教義が私たちの住む自然界にきっちり対応していると信じて疑わない。
その信者たちの中でも特別陰気で、最も目立たない、日陰者である「論理屋」と呼ばれる陰キャたちが深夜にごそごそと教会に集まって、それらの是非を隈無く議論しては投票し、多数決でルールを決めている。
その多数決による決定プロセスに絶対真理はないし、ゆえに数学という言語を「自然」に根拠付けることは絶対にできないということは彼らも薄々気づいている。
しかし、そのことを認めると数学の権威が落ちるので、今まで彼らは哲学者の仮面を被っては「ア・プリオリ」とか「自明」、「経験上に真」などと言って散々ごまかしてきた。 だから今、「IUTルールを認めますか?」という投票が行われたところ、有名数字者の多数決では「それは認めません」となっているのが現状だ。
この新ルールは下層でうずくまっている論理屋さんの耳にはまだ入ってていない。
というのも顎の弱い彼ら論理屋でも十分咀嚼できるように、有名数学者がIUT理論をいくつかの命題に分解してあげないといけないからだ。
そして今その段階に差しかかかっていて、論理屋が答えを出すのはまだまだ先になりそうである。
要するに民主主義が前提になってる数学という学問はとっくの昔にオワコンになっていた。
そして今の時代は、数学の根本である点や直線や数字の眠る脳を解剖し、脳神経の配列がいかに直線や数字と言った妄想・偏見を作り上げるのかを解明しようとする脳神経科学が注目されている。
だから哲学者は今や数学をしなくなり、意識や認識を扱う神経科学にお熱ってわけ。
今や学者界隈では数学はなんら高尚な学問なんかではなく、言語の組み立てとその操作の技能を競う言語ゲームの一種と見なされているし、そのうち数学者は言語ゲームの専門家、すなわちただのゲーマーとして誰にも尊敬されなくなるよ。 >>911
>作為がなくて切り貼りしたり、仕込んだりできるか
女は平気でこういうことができる生き物だってご存知ない?
悪意も作為もなく他人を欺くし、そのためなら自分をも騙すんだが
あれ?もしかして女を知らないの?
童貞さん...w あれ、なんか専ブラの不調で安価がずれてる。ごめん。
まあ誰にレスしてるかは内容を見たら分かると思うからわざわざ訂正はしないね。 数学の理解というのは深遠なもので、数学者の脳の中で起こってる
数学理解の仕方が文字情報だと言ってるんじゃないんだよ。
証明として表現されたものは有限だし、有限でなければ
証明としては認められない。
数学はずっとそういう原理でやってきたし、これからもそうだ。 とりあえず事態を収拾させるためにも
望月はFAQペーパー出すべき だからショルツスティクス側が待ったをかけてんだって。望月は出したくて仕方がないのに。 ショルツ側が待ったかけたってのもなんか嘘くさいんだよなあ。
じっさいは望月サイドがそういう口実にしてるんじゃないの。 自分は今まで「心の一票」はなりすましだと思って読んでいなかったが、
たしかに
有限記号列では数学的真理は伝わらない宣言をしてるな。
これは証明の当事者としては完全な「ひらきなおり」宣言に読める。ひでえなw
突っ込まれると怒りだすFesenkoと、全く同じ立場であることがわかる。
おれは「完全な理解者」Fedenkoが、突っ込まれると怒りだすというのは、
ほぼ望月本人の反応と同等であるとみてよいと前から思っているが、
それが改めて確認できたと思う。 「突っ込まれると怒りだす」=「突っ込まれるとだんまり」=有限記号列で表現不能 突っ込まれると怒りだす
突っ込まれるとだんまり
突っ込まれると無視して持論を強弁
判決は歴史が下す じゃあおまいらFesenkoの弟子の院生や望月んとこの院生がIUT使って応用する論文を進めてるのはとう説明すんだよ。 俺の中では「望月側の人が全員、知的不誠実だとは考えられない」という観念が固着してるんだよな
だからどうしても望月側に肩入れしてしまう >>912
>悪意も作為もなく他人を欺くし、そのためなら自分をも騙すんだが
>あれ?もしかして女を知らないの?
はいはい。君を欺いてさんざん利用した挙げ句、キスすらさせてくれ
なかった女には作為はなかったと。それが君の生きるよすがなんだと
いうことはよくわかった。笹井さんと同じだなw
生きろよ、童貞君w >>890
ショルツ・スティックスは如何して文書の公開を拒否してるの?w IUTが破綻してるなら、一刻も早く論破して終わりにして欲しいものだ
そのような望月氏にとって大変不幸な結果になっても一向に構わない
ショルツ・スティックスは京都にお忍びで来て措いて、未だにコソコソしている
彼等は何時までに論破する気なのか、それとも自分達の誤りを認めるのか、ハッキリ回答すべきだ 「選択公理は正しいに決まってるだろいい加減にしろ」というサイトを思い出したw
ただ望月一派はそこまで誰もが認めるよう原理に基づいているわけではない。
どちらかというとリーマン予想は正しいという前提で研究するようなもの。 >>918
ほんこれ
望月は数学が理解できてなさすぎる
有限記号列で表現できないならオナニーでしかない
世界に向けて「ぼくの考えた最強のがいねん」でシコってるオナニー小僧が望月なんだよなあ と、ラッセルもゲーデルも一瞬で思いつけない知らない赤っ恥クソバカが何か言っています >>927
選択公理そのものが「お前さあ、みんなが良いって言ってんだから波風立てんなよ」だもんな、況んやIUTをや
ほんと数学ってオワコン虚学やわ
数学者というゲーマーが天才扱いされてんだからほんと笑えるわ
所詮、陰キャがイキるための学問でしかないw >>931
お前らみたいな数学ゲーマーにラッセルだのゲーデルだの言ってもわかる分けねーだろw
なぜなら数学科では数学基礎論は習わないからなw
大学院でも選択しないと習えないもんなあw
「ちゅーがくはただちい!」って信じてる低能が数学ガチるからしゃーない
お前らは哲学者の決めたルールの上で「てゅうがくたのちぃね!」っつって頭の回転競ってる穢多非人だもんな 望月ってプリンストンで基礎論やらなかったんだろうな
そんなのは天才ボクちゃんには邪道とか思っちゃったか
やっぱショルツはラングランスやってるだけあって基礎論には強いわ
「ショルツさーん、東洋に公理ガン無視してるジャップがいるんですよぉ〜」って言われたら
「なぁ〜にぃ〜?やっちまったなあ」つって地球の裏の京都に駆け付けちゃんと馬鹿ジャップを〆るショルツさんかっけーw
ショルツ「古代ギリシアからの伝統を舐めんなよ土人が」「チョップスティックで公理を勝手につつくなジャップ」
ショルツかっけ!かっけ! 「受験数学に挫折して啓蒙書で癒された数学の価値」君と同レベルのガチ低脳が来たな
こいつはおそらく受験数学に挫折どころか、哲学書にも挫折し哲学入門書の類で慰められた気になってるヤツだろう
今どき柄谷行人あたりにハマっているどん臭いヤツなんだろうw
「受験数学にも哲学書にも挫折して哲学入門書に癒されて文系のプライドを保つ」君だなw >>935
岡くん....
なんjで特定されて嫌がらせ受けてストレス溜まってるからって、数学板に迷惑かけることないだろ あと数学基礎論の所で対立していると言う大嘘つくのやめろ >>940
例の勉強会には参加したよ
さっぱりだったけど 記述できないものまで含めて計算していいのかって話
ショルツはそこに突っ掛かってる
要は基礎論の範疇 ID:e6v01tuVの名言
>お前らみたいな数学ゲーマーにラッセルだのゲーデルだの言ってもわかる分けねーだろw
>やっぱショルツはラングランスやってるだけあって基礎論には強いわ
>記述できないものまで含めて計算していいのかって話
SNSでやってください なんでラングランズやってると基礎論に強いんだ
ラングランズってド数学だよ
数学ゲームの中の数学ゲーム
もしかして「ラングランズ哲学」って言葉から
哲学→基礎論 と思っちゃったとか? だからあ。今IUT応用に進んでるFesenkoの弟子とか望月の弟子がいるんだが、彼らはバカなのか? なんか頭おかしいのが一匹いると思ったら
数学に挫折した哲学厨が紛れ込んでたんだなぁ笑
おまえ板荒らしたいだけだろ
ホントはショルツでも望月でもどっちでもいいんだろ ところで
フロベニオイドとパーフェクトイドって
なんとなく語感が似てるけど関係あるの? >>946
スピロ予想やabc予想を仮定した論文が
あるな 現IUTでは符号分布が、おっと中の情報はここまでだ 一匹という言葉で哲学さんを差別したのは悪かった
貴方は>>933で穢多非人 という言葉を使ってるが
自分の人権・プライドには人一倍過敏だもんな笑 あーあと俺は神経科学者ねw
医学部医学科卒だから一応、お前らの殆どよりかは高学歴やわw すげー伸びてるが、とりあえず哲学を馬鹿にするなよ
ピンキリだからな哲学と言っても >>949
マジレスするとむしろアフィノイド代数のほうがperfectoidには近い
体論的な意味ではAnabelioidも関連性はあるが、似たようなものとまでは言えない >>957
まあ分析哲学やロジックと数学の実質的な連絡は弱いからな。トポスが目立つだけで
普通はリスペクトは期待できんだろう >>959
ここでそういう聞き方する奴って悪意しかないよな 現代数学を勉強し始めてすぐの人は基礎論に惹かれる人が多い。
でも本格的にやるのは大変なので結局ブルーバックス的な知識で理解はあやふや ID見たらもしかして言いすぎたかもしれないからあれだけどw、
体論的も何も、何でperfectoidやAnabelioidが数論で強く使えるのかって話ですよ
別に深い意味はないけど、その辺を考えると別に彼らが応用を模索するのは普通だよね
からかうほどの事じゃない 正標数なところで限定して*数論的変形*を行うのとp進なところで限定して数論的変形した時に、X →X^はどう移り変わっていくのかとか考えるのかな?
数論的変形が何に対して行われているかすら知らないので批判は勘弁してください >>964
つまり体論的という言い回しに深い意味は無くて両者とも数論に強く使えるというだけで「体論的な意味での関連性がある」と言ってるわけですか
はあ・・・ >>960
分析哲学がもう古い
時代は「心の哲学」
すげー馬鹿っぽい名前だろ
脳が数学作ってるんだから脳を調べてから数学を再構築し直さないと問題解けてねえだろっていうスタンスだが
数学ゲーマーは数学こそ絶対真理で神の手帳に書かれてる言葉だと信じてるからこのスタンスが受け入れられないんだよ
数学ゲーマーってたかだか人間の言語を神の言葉だと思い込んでる自閉症の集まりだから、
今回のIUT騒動のようにお互いが信仰告白してもう一方の信仰が間違ってる!と貶し合うだけにとどまり、物理学者のようなフレキシブルな対応ができないんだよな
だから俺は数学ゲーマーは見下してるし彼らにリスペクトされたいなどとは思わないw
だって特別学級のあーくんに
^q^「まぁぁぁぁぁん!(歓喜) たかしくんしゅごいね!」ヨダレダラー
って言われても「お、おう...」って感じで別に嬉しくないでしょ? >>955
> あーあと俺は神経科学者ねw
> 医学部医学科卒だから一応、お前らの殆どよりかは高学歴やわw
医学部医学科卒の神経科学者様、お帰りはあちらです。 perfectoidとかAnabelioidとか意義がわかりません
アデールやイデールで事足りないんでしょうか? そのperfectoidの理論というのはもう教科書とかで読めるくらいにはなってますか?
まだ論文拾い集めないとダメな感じですか? perfectoidとかAnabelioidってホントにそんなもの必要? >>955
医者は研究職なら永遠に湧いて出る例外との戦いで気が休まらんだろ
脳となると複雑すぎて確定も出来ない。かといって臨床にも戻れない。
けっこう微妙だぜ perfectoidを持ち出すことで
何か重要な定理が証明できたの? なんとなくわかった
『有限体上のローラン級数体』の上で
代数幾何、数論幾何をやろうということですね >>975
weight monodromy予想とか
上で文元も10年違えばってあったけど、伊-哲-さんも博士論文で近いことやってweight monodromyを部分的に解いてたから、文元より実は近かったかもね perfectoidとかいって新しい言葉を作るからわかりにくいだけで
高次元の体で類体論やラングランズやったらどうなるかなんて
以前からあったアイディアで数論幾何としては自然な流れですね 恐らくperfectoidは岩澤理論とも関係あるでしょう
そのあたりの関連性は研究されてるんでしょうか? >>975
伊藤哲史は博士課程でその当時のトレンドを追っかけていた秀才くん
若くしてドイツに留学して帰ってきたけど当人のアイデアがないから枯渇 レス数が950を超えています。1000を超えると書き込みができなくなります。