[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
528: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:43 ID:P9qVEF++(21/25) AAS
>>527 余録
外部ﾘﾝｸ:www.math.titech.ac.jp
落合 理 の ホームページ
外部ﾘﾝｸ[html]:www.math.titech.ac.jp
セミナー準備及び勉強に関する注意
以下の注意は、セミナーに配属されたばかりの4年セミナー又はM1のセミナーを 対象としています。幾つかはそのようなビギナー以外にも該当する 普遍的な項目もありますが、 一方で１年間通してやり続けられたら その後は完璧に守り続ける必要のない項目もあります。また、各人の個性の違い もあるので、人によっては合わない内容もあるかもしれません（そもそも、全員に例外 なく当てはまる勉強法があるならば指導者は必要ないのではないでしょうか...）。
なので、矛盾するようですが、後で「型」を外すことが大事になることもあるか もしれません。ただ、最初からリベラルに進めるだけでは、一定以上の深みに達 することはできないように思います。
また、あくまで私のセミナーにおける「型」 ですので、他の指導者の下では当然考え方は違うかもしれませんが、ビギナーは 何らかの一貫した「型」に当てはめられた訓練 をすることも必要だと思います。
数学の勉強の仕方に関してインターネットや書籍などに様々な文章があります。
例えば、 東大の河東先生のホームページ
省2
529(1): 11/08(土)18:56 ID:hP1E8Bup(9/11) AAS
>>526
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
530: 11/08(土)19:10 ID:ZuSEB9pS(20/21) AAS
>>525
君がコピペしたいのは、理解できてるフリしたいからでしょ？ 残念ながら君がぜんぜん理解できてないの丸分かりだよ。 君のコピペ行為は君の目的を何一つ達成していない。 無駄なことはやめよう。
531: 11/08(土)19:46 ID:2oa8cE4b(1) AAS
まぁ肯定も否定も何もiutがどういう数学基礎論に基づいているかすら誰にも説明できない。この世界に誕生すらしていないしもう誕生することもない。望月先生のアイデアとしてこのまま消えていくのみ
532: 11/08(土)20:02 ID:ZuSEB9pS(21/21) AAS
IUTは望月のポエム
数学と思うから論争になる ポエムだから論争は野暮
533(1): 11/08(土)20:04 ID:3nB+TfKS(9/11) AAS
>>256
池上大輔氏 曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」
望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが まず、
省11
534: 11/08(土)20:09 ID:3nB+TfKS(10/11) AAS
ヒルベルトの第10問題の否定的解決の系として、
ZFCでは解の非存在が証明できないような不定方程式が存在する
ここであえて「解の非存在」と書いたのは
解が存在すれば、具体的にそれを示せば証明となるからである
解の非存在が証明できない、というのは、具体的には
「標準モデルでは解が存在しないが、
解が存在するような超準モデルが存在する」
ということである。
超準モデルによる解は当然超準的自然数であって
標準的自然数（つまりどのモデルにも存在する自然数）ではない
535(2): 11/08(土)20:12 ID:hP1E8Bup(10/11) AAS
>>526
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
動画ﾘﾝｸ[YouTube]
「ZMC（ZEN Mathematics Center; ZEN数学センター）」になったのは
より広い分野（数論幾何なかんずく遠アーベル幾何）を対象にすることにしたと
好意的に捉えることも出来ましょうが
省3
536: 11/08(土)20:15 ID:3nB+TfKS(11/11) AAS
無限公理のない集合論における無限集合というのは、いわば超準的集合であって
任意のモデルで存在するような標準的集合ではない
無限公理を設定することで、そのような超準的集合が
任意のモデルで存在するような標準的集合になる
公理の設定でモデルが限定されるが、
任意のモデルで存在する標準的集合は増えることになる
しかし、どれだけ公理を設定しても
一階述語論理をベースとし
さらに人間が証明可能な体系とする場合には
モデルを唯一にすることはできない
省2
537(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:03 ID:P9qVEF++(22/25) AAS
>>529
(引用開始)
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
(引用終り)
省22
538(2): 11/08(土)23:33 ID:P62wnBwD(1) AAS
まだわからんのかねぇこの無能は
望月論文が理解されないのは決定的な瑕疵があるからにきまってるやん？いつになったら理解できんの？高木レベルやなこの無能
539(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:36 ID:P9qVEF++(23/25) AAS
>>533
はずれですよ
>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」
その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ
さて
省19
540(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:38 ID:P9qVEF++(24/25) AAS
>>538
ヒキコモリ数学基礎論くんか
いつも、きみは、キバッテいるねぇ〜！ｗｗｗ ；ｐ）
まあ、頑張ってくれｗ
541(1): 11/08(土)23:43 ID:hP1E8Bup(11/11) AAS
>>537
また話をすり替えてますね
>要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
>真に 画期的な理論とは 得てしてそういうものです
IUTに関しては
理解できている人達なんでしょう？君の話では>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
省2
542(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:54 ID:P9qVEF++(25/25) AAS
>>535
(引用開始)
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
(引用終り)
いやいや、これで良いのですよ
つまり、下記のRIMS
省13
543(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)00:00 ID:QrKJGO9s(1/26) AAS
>>541
>IUTに関しては
>理解できている人達なんでしょう？君の話では>>517
ふっふ、ほっほ
数学オチコボレのエスパー登場か
君は、他人の理解 うんぬんが すきだねぇ〜〜ｗｗｗ
どうでもいいじゃん、他人の理解など
要は、自分がどう理解するかだけよ
私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
つぎは、「日本 チャチャチャ」です
省2
544(1): 11/09(日)00:11 ID:P3lbYVWX(1/17) AAS
>>542
つまり
「次世代幾何学」の名前で評判芳しくないIUTを隠蔽しているようなものでしょうか
上手い方法ですね
しかしその中でIUT理論の研究は進んでいるんでしょうか？>>461
>日本人数学者でも大半はabc予想解決を受け入れてないわけ
>証明になってないと判断してるわけ
>嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな
>abc予想が解決したことになってないだろ
という現状で進めるのではどんどん評判落とすことになりましょう
545(1): 11/09(日)00:15 ID:P3lbYVWX(2/17) AAS
>>543
>私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
それは初めて知りました
数学という国と関係の薄い学問でそう考える人なのですね
>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
理解して居れば曖昧にはしないからですよ
IUT理論を強力に後押ししないのは理解して居ないからかも知れません
あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
546(1): 11/09(日)00:17 ID:P3lbYVWX(3/17) AAS
>>543
>数学オチコボレのエスパー登場か
といいますかあなたの受け売りですよ？>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
547: 11/09(日)00:21 ID:P3lbYVWX(4/17) AAS
>>543
>まあ、慌てず
>じっくり 見てなさいよ ｗｗｗ
どちらかと言えば
贔屓の引き倒しになりかねないのでは？
兎にも角にもABC予想が予想ではなく定理として認められるのはまだまだ先になりそうですけれど
上下前次1-新書関写板覧索設栞歴
あと 455 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s