[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
522: 11/08(土)17:54 ID:ZuSEB9pS(19/21) AAS
>>521
誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。
相変わらず言葉が通じんな君は。
523(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:04 ID:P9qVEF++(17/25) AAS
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
省6
524(2): 11/08(土)18:07 ID:hP1E8Bup(8/11) AAS
>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
B. Collas (RIMS Kyoto, JP)
R. Cluckers (Lille - Leuven, FR)
B. Fresse (Lille, FR)
Porowski (Notthingam, UK)
P. Debes (Lille, FR)
S. Tsujimura (RIMS Kyoto, JP)
Liu (?)
A. Minamide (RIMS Kyoto, JP)
省12
525(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:10 ID:P9qVEF++(18/25) AAS
>>523
ここは中高一貫校生も来る可能性があるから
補足をば
(参考)
外部ﾘﾝｸ[html]:www2.yukawa.kyoto-u.ac.jp
数理論理学入門
高崎金久（京都大学）
外部ﾘﾝｸ[html]:www2.yukawa.kyoto-u.ac.jp
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
省6
526(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:25 ID:P9qVEF++(19/25) AAS
>>524
>世界的に否定的な風潮である中
>これらの人は現在どういう発言をしてますかね？
否定の風潮は、どんどん収っています
例えば、下記が、遠アーベルの研究ネットワークで
下記と対比されれば、よろしいかと
外部ﾘﾝｸ:ahgt.math.cnrs.fr
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
ここのメンバーは、別にIUTを否定してはいない
省7
527(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:37 ID:P9qVEF++(20/25) AAS
>>526
下記 落合 理 Tadashi Ochiai 先生が
メンバーにいて へー と思いました（数学セミナー誌でよく名前を見たので）
阪大から 東工大の教授へ（いま 東京科学大学）
東工大は、IUT関連の東の拠点だからか・・（＾＾
(参考)
外部ﾘﾝｸ:ahgt.math.cnrs.fr
Japan
・Ochiai Tadashi, Tokyo Institute of Technology
外部ﾘﾝｸ:researchmap.jp
省18
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
上下前次1-新書関写板覧索設栞歴
あと 461 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s