[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
236(5): 2020/05/08(金)10:16 ID:qXGvfbUV(1/26) AAS
>>234
コメントありがとう
>2.3と2.6がAxiom schemaと書いてあるのが読めますね
>実はこれは一つの式ではありません
１．>>232より 望月 IUT IV
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
つまり、”nine axioms”であること、”of Zermelo-Fraenkel”（ZFであってZFCではない）ことを
省23
238(2): 2020/05/08(金)10:38 ID:qXGvfbUV(2/26) AAS
>>235
>しかし基礎論の肝心なとこは本人もだし、何人も読んでたら気づくと思うんだけど。
>そこが致命的とか信じられないな。
ほいよ >>236
あなたも、ここで論陣を張りたければ、まずは事実を確認してくださいね
まずは、望月氏 IUT IVが引用している >>230の”cf., e.g., [Drk], Chapter 1, §3”を見ましょうね
（P85 Bibliography
省18
239(2): 2020/05/08(金)10:41 ID:qXGvfbUV(3/26) AAS
>>237
>>”axiom”を１個と数えれば
>１つのaxiom schema＝１つのaxiom ではありません
ほいよ >>238
望月氏は ”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
です
あなた：１つのaxiom schema
省3
241(2): 2020/05/08(金)10:59 ID:qXGvfbUV(4/26) AAS
>>238
>あなたも、ここで論陣を張りたければ、まずは事実を確認してくださいね
>まずは、望月氏 IUT IVが引用している >>230の”cf., e.g., [Drk], Chapter 1, §3”を見ましょうね
F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974).
静岡大学附属図書館と 新潟大学附属図書館とがヒットしますね（＾＾；
アマゾン/Set-Theory-Introduction-Foundations-Mathematics/dp/0720422795
Set Theory: An Introduction to Large Cardinals (Studies in Logic and the Foundations of Mathematics) (英語) ハードカバー ? 1974/10/1
省12
242: 2020/05/08(金)11:09 ID:qXGvfbUV(5/26) AAS
>>240
>＞私は、[Drk]に何を書いてあるかは知らない
>じゃ、調べたら？
ほいよ >>241（＾＾；
>もし、nine axiomsと書いてあったとしても、厳密には誤りだけど
"厳密"の定義は？
>>239より
省8
245: 2020/05/08(金)11:22 ID:qXGvfbUV(6/26) AAS
>>236 補足
> 2.9 9. Well-ordering theorem
”Well-ordering theorem”は、最初 Zermeloは定理だと考えていたのですね
で、下記のように、１階述語論理では、選択公理や Zorn's Lemmaと equivalentだと
（ここまでは 学部生でも常識でしょうね）
しかし、２階述語論理では、strictly stronger than the axiom of choice だと
なるほどね（＾＾；
省15
246(3): 2020/05/08(金)11:44 ID:qXGvfbUV(7/26) AAS
>>243-244
私は、別に望月先生を擁護をする気はないけど、あなたの言うことは、本筋からずれているよね
>例えば2.3の分出公理は分出メタ公理として紹介している
そんなの ja.wikipediaに書いてある通りじゃね？
下記「この公理は、論理式 ψ をパラメータとする公理図式である」と書いてあることでしょ？
論理式 ψ というパラメータが入っている。この場合、ψはなんでも良いんだ
望月先生が知っているどうか知らないし
省24
252: 2020/05/08(金)13:45 ID:qXGvfbUV(8/26) AAS
>>236
>外部ﾘﾝｸ:en.wikipedia.org
>Zermelo-Fraenkel set theory
> 2.3 3. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
(引用終り)
追加
これ、現代では大分見直しされているようですね（＾＾；
省12
253: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)13:52 ID:qXGvfbUV(9/26) AAS
>>251
粋蕎さん、どうも
コテ抜けてたなｗ（＾＾；
お元気そうですねｗ
ご活躍みていますよ（＾＾
たまにですがｗｗ
例えばｗ
省2
254(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)13:55 ID:qXGvfbUV(10/26) AAS
>>250
>本スレはすぐにアンチ湧くからダメだわ。
>基礎論部分わかってないとか流石にないでしょ。
どうも
全く同意
基礎論のプロ数学者の専門家がいうならともかくも
ド素人がイチャモン付けるなら
省3
256(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)14:13 ID:qXGvfbUV(11/26) AAS
>>249
ん？ 「上から目線の人」？ これ？
＜某雑学家より更に残念な現代数学の系譜＞
2chｽﾚ:math
47 名前：変態数学の撲滅[] 投稿日：2020/05/07(木) 19:21:51.56 ID:OPHgMLvl [26/26]
”変態数学の撲滅”さんって、このスレでは、「ミスター維新」さんですねｗ（＾＾
>>123-128 ご参照
省17
259(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)14:20 ID:qXGvfbUV(12/26) AAS
>>255
>海外でも随分格下の人とか専門外の人がいちゃもんつけてるのがな。Scholzeの肩に乗りたいだけの人とか。情けない。
同意
Woitとか
David Robertsとか
明らかに、IUTに口出しするだけの数学の見識がないのに
「おれが、IUTの証明が読めないのは けしからん！」みたいなことを書いている
省3
260: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)14:28 ID:qXGvfbUV(13/26) AAS
>>258
>ミスター維新はRIMS院試で落ちたとか恨みあるのかね
どうも
ミスター維新は、2017年ころからの 付き合いでして
当時、某数学科修士修了という触れ込みでした
不遇だと自白していました
多分、数学科で落ちこぼれて
省4
262: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)14:36 ID:qXGvfbUV(14/26) AAS
>>256 訂正
失礼
ID:enp/+yz7さんは、おサル＝「ミスター維新」とは別ですね
なお、おサル＝「ミスター維新」さん＝ID:enp/+yz7、今日は 下記IUT本スレで今までに6回投稿しています
↓
１行削除
・・ と思ったら、>>249＝ID:enp/+yz7＝「ミスター維新」 こと、おサル本人だったかのか？ｗ、大笑いだなｗｗ（＾＾；
省4
268(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)15:03 ID:qXGvfbUV(15/26) AAS
>>261
どうも
コメントありがとう
見ました
１． 外部ﾘﾝｸ:adelaide.figshare.com
これは、ＰＤＦ中の日付 October 22, 2018 ですよね（なお、ショルツ氏に悪乗りしているだけと読みましたけどｗ）
２．これ、もう古いですよね
省12
270(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)15:05 ID:qXGvfbUV(16/26) AAS
>>263
これは、また逆の失礼おばｗ ｍ（＿＿）ｍ
ID:enp/+yz7 って、やっぱり ミスター維新こと、おサル？
おサルの馬脚？（形容矛盾ですが）ｗ（＾＾；
276(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)15:24 ID:qXGvfbUV(17/26) AAS
>>265-267
>スティックスは論文がアクセプトされた時点でこの論争について決着はついたと暗に望月の勝利を認めているな。
>分野近いし仕事の内容はよくわかるのかもね。
>沈黙したままだし。
同意です
私もそう思います
かつ、遠アーベルの専門家も 殆ど沈黙ですよね（遠アーベルとかの専門家で、4月3日以降で「IUTダメ」と発言した人皆無。殆ど沈黙です）
省9
277(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)15:28 ID:qXGvfbUV(18/26) AAS
>>275
どうも
コメントありがとう
まあ、Rレポートも含めて
RIMSの査読陣と、柏原・玉川両先生が、「査読OK」と判断したということで
あとは、査読結果を含めて、IUTの成立を、世界の（国内外の）数論専門家たちに、どう説明していくか
それを見ていればいいでしょう（＾＾
278: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)15:30 ID:qXGvfbUV(19/26) AAS
>>273-274
>ちなみに日本の大学だと博士即いきなり教授は規定上無理。
>若い時にグロタンにハマってるからあの作風なのか
なるほどね
「あの作風」ね（＾＾；
281(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)15:54 ID:qXGvfbUV(20/26) AAS
>>280
>>>259がrobertsについてミスリードしていたようだったからそうじゃないよってことが説明したかっただけ
了解です
ありがとう（＾＾
>そもそも、専門外に口を出すというのは、まさにIUT4章で望月自身が行っていることだしね
IUT IV の§3ですよね
あそこは、多分、”Inter-universal”の由来の説明（なんか、加藤文元本のアシストみたいですが（余談ですが「宇宙をつなぐ」だったかが、一般受けした？（＾＾；））
省18
283(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)16:52 ID:qXGvfbUV(21/26) AAS
>>281 補足
＞組み合わせ論で、“species”ですか？
（参考）
外部ﾘﾝｸ[html]:pantodon.shinshu-u.ac.jp
Algebraic Topology: A guide to literature 信州大
Species
(抜粋)
省32
284(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)16:52 ID:qXGvfbUV(22/26) AAS
>>283
つづき
外部ﾘﾝｸ:en.wikipedia.org
Combinatorial species
(抜粋)
In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and so on; each of these has an associated generating function which counts how many structures there are of a certain size.
Category theory provides a useful language for the concepts that arise here, but it is not necessary to understand categories before being able to work with species.
省4
285(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)17:32 ID:qXGvfbUV(23/26) AAS
>>276 追加
>かつ、遠アーベルの専門家も 殆ど沈黙ですよね（遠アーベルとかの専門家で、4月3日以降で「IUTダメ」と発言した人皆無。殆ど沈黙です）
>分かります、遠アーベルの専門家ほど 玉川先生が「証明は間違いない」と言ったことの重み、分かるはず
あと、遠アーベルの専門家ほど
「ここまで来たら、いよいよ、自分たちの手で、IUTのシロクロを付けるか！ 学会の場で」っていう気になるでしょうね
で、「Stix先生よ、もう一回 望月先生と 対決しろ！
今度は、アンチIUT ｖｓ シンパIUTで ２派に分かれて 数学ディベートやるか？」
省4
286: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)17:39 ID:qXGvfbUV(24/26) AAS
>>284 訂正
.Category theory provides a useful language for the concepts that arise here, but it is not necessary to understand categories before being able to work with species.
↓
１行削除
なんか同じ行で、ダブっているね（＾＾；
287(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)17:56 ID:qXGvfbUV(25/26) AAS
>>266 追加
> 17，8の時にSGA読んでたとか凄いな。望月さん。
柏原先生も、修士だかDRだかで
佐藤超関数の多変数版の基礎に、EGAとかSGAを読んで
（当然、当時だから、周り（の日本人）にはだれも聞く人が居なかったろう）
佐藤先生から「柏原に納得してもらったら、あとは証明を書いてくれる」とか、大変信頼されいたそうな（「佐藤の数学」そう書いてあった）
柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよよね
省5
288: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)17:58 ID:qXGvfbUV(26/26) AAS
>>287 タイポ訂正
柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよよね
↓
柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよね
分かると思うが
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s