20/05/08 15:05:13 qXGvfbUV.net
>>263
これは、また逆の失礼おばｗ ｍ（＿＿）ｍ
ID:enp/+yz7 って、やっぱり ミスター維新こと、おサル？
おサルの馬脚？（形容矛盾ですが）ｗ（＾＾；
301:１３２人目の素数さん
20/05/08 15:08:10 t31dz+7K.net
>>269
ミスター維新はつまらん話するねー
302:１３２人目の素数さん
20/05/08 15:11:05 enp/+yz7.net
>>270
単にあのスレッドの内容に共感しただけですけど
同じ考えの人は少なくないんじゃないかな
ところで・・・「箱入り無数目」は理解できたの？
303:１３２人目の素数さん
20/05/08 15:13:20 t31dz+7K.net
ちなみに日本の大学だと博士即いきなり教授は規定上無理。
304:１３２人目の素数さん
20/05/08 15:15:32 t31dz+7K.net
若い時にグロタンにハマってるからあの作風なのか
305:１３２人目の素数さん
20/05/08 15:16:46 GrWccDhw.net
>>268
1～5の全てがRレポートの否定になってないんだよね
例えば反論レポートがあとの日付に出てるっていうのはSSレポートの反論であってRレポートの反論レポートではないんじゃない？
5のブログでの議論がどうだったかとRレポートがどうかは全く関係がないしね
306:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 15:24:49 qXGvfbUV.net
>>265-267
>スティックスは論文がアクセプトされた時点でこの論争について決着はついたと暗に望月の勝利を認めているな。
>分野近いし仕事の内容はよくわかるのかもね。
>沈黙したままだし。
同意です
私もそう思います
かつ、遠アーベルの専門家も 殆ど沈黙ですよね（遠アーベルとかの専門家で、4月3日以降で「IUTダメ」と発言した人皆無。殆ど沈黙です）
分かります、遠アーベルの専門家ほど 玉川先生が「証明は間違いない」と言ったことの重み、分かるはず
ショルツ先生は、遠アーベルの専門家ではないが
（でも、IUTはかなり理解していますよね、相当。でもちょっと足りないみたいだが）
いきがかり上、かつ、「自分では納得できる説明が無い！」ってことで、Woitブログにご登場ですが、結局、2018年の京都の繰り返しだった
まあ、Dupuy先生とのe-mailで、決着しそうにも思いますがね（＾＾；
> 17，8の時にSGA読んでたとか凄いな。望月さん。
ショルツ先生も似たようなものかも（＾＾
高校時代に、ワイルズ氏のFLT証明を独学したとか
あれ、グロタンディークの数学の発展形（ｌ進コホモロジー？）が、使われいたそうですね（＾＾；
307:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 15:28:40 qXGvfbUV.net
>>275
どうも
コメントありがとう
まあ、Rレポートも含めて
RIMSの査読陣と、柏原・玉川両先生が、「査読OK」と判断したということで
あとは、査読結果を含めて、IUTの成立を、世界の（国内外の）数論専門家たちに、どう説明していくか
それを見ていればいいでしょう（＾＾
308:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 15:30:31 qXGvfbUV.net
>>273-274
>ちなみに日本の大学だと博士即いきなり教授は規定上無理。
>若い時にグロタンにハマってるからあの作風なのか
なるほどね
「あの作風」ね（＾＾；
309:１３２人目の素数さん
20/05/08 15:35:59 t31dz+7K.net
>>276
二人とも天才なのは間違いない。
310:１３２人目の素数さん
20/05/08 15:41:38 GrWccDhw.net
>>277
>>259がrobertsについてミスリードしていたようだったからそうじゃないよってことが説明したかっただけ
そもそも、専門外に口を出すというのは、まさにIUT4章で望月自身が行っていることだしね
311:現代数学の系譜 雑談
20/05/08 15:54:08.10 qXGvfbUV.net
>>280
>>>259がrobertsについてミスリードしていたようだったからそうじゃないよってことが説明したかっただけ
了解です
ありがとう（＾＾
>そもそも、専門外に口を出すというのは、まさにIUT4章で望月自身が行っていることだしね
IUT IV の§3ですよね
あそこは、多分、”Inter-universal”の由来の説明（なんか、加藤文元本のアシストみたいですが（余談ですが「宇宙をつなぐ」だったかが、一般受けした？（＾＾；））
と
組み合わせ論で、“species”ですか？ これを、一生懸命に説明しているように読みました（＾＾
（なんか、勉強半分、言い訳半分みたいな、不思議なことを書いているという印象でしたｗ）
でも、私が調べた範囲では、組み合わせ論の“species”って
結局圏論ベースみたいなので
だったら、ZFCとか拘る必要はないと見ましたけどね？ （＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P67
In the present §3, we develop ? albeit from an extremely naive/non-expert
point of view, relative to the theory of foundations! ? the language of species.
Roughly speaking, a “species” is a “type of mathematical object”, such as a
“group”, a “ring”, a “scheme”, etc.
312:１３２人目の素数さん
20/05/08 16:23:09.96 enp/+yz7.net
望月は、欅坂４６の「サイレントマジョリティ」の歌詞が
IUTを考案した自分の心情と合致しているとブログに書いてるが
ショルツがIUT論文を見たときの心情を歌の歌詞にたとえるなら
・・・これか
URLﾘﾝｸ(www.uta-net.com)
YAVA
URLﾘﾝｸ(www.youtube.com)
313:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 16:52:12 qXGvfbUV.net
>>281 補足
＞組み合わせ論で、“species”ですか？
（参考）
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
Algebraic Topology: A guide to literature 信州大
Species
(抜粋)
Species とは , Joyal により [ Joy81 ] で 導入 された 概 念 である 。 定 義 はとても 単 純 で , Σ を 有 限 集 合 と 全 単 射 の 成 す 圏 としたときに , 単 に 関 手
F : Σ -→ Σ
のことである 。 文 献 としては , Bergeron と Labelle と Leroux の 本 [ BLL98 ] がある 。 J. Kock の web site からも 解 説 の PDF を download できる 。
定 義 は simple であるが , 各 種 の 数 え 上 げの 問 題 で 有用 な 道 具 らしい 。
URLﾘﾝｸ(ncatlab.org)
species
(抜粋)
Contents
1. Idea
2. Definition
1-categorical
2-categorical
(∞,1)-categorical
Operations on species
Sum
Cauchy product
Hadamard product
Dirichlet product
Composition product
3. In Homotopy Type Theory
Operations on species
Coproduct
Hadamard product
Cauchy product
Composition
4. Properties
Cardinality
5. Variants
1. Idea
A (combinatorial) species is a presheaf or higher categorical presheaf on the groupoid core(FinSet), the permutation groupoid.
A species is a symmetric sequence by another name. Meaning: they are categorically equivalent notions.
つづく
314:辮矧wの系譜 雑談 ◆e.a0E5TtKE
20/05/08 16:52:50 qXGvfbUV.net
>>283
つづき
URLﾘﾝｸ(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.
The category of species is equivalent to the category of symmetric sequences in finite sets.[1]
.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.
(引用終り)
以上
315:現代数学の系譜 雑談
20/05/08 17:32:18.62 qXGvfbUV.net
>>276 追加
>かつ、遠アーベルの専門家も 殆ど沈黙ですよね（遠アーベルとかの専門家で、4月3日以降で「IUTダメ」と発言した人皆無。殆ど沈黙です）
>分かります、遠アーベルの専門家ほど 玉川先生が「証明は間違いない」と言ったことの重み、分かるはず
あと、遠アーベルの専門家ほど
「ここまで来たら、いよいよ、自分たちの手で、IUTのシロクロを付けるか！ 学会の場で」っていう気になるでしょうね
で、「Stix先生よ、もう一回 望月先生と 対決しろ！
今度は、アンチIUT ｖｓ シンパIUTで ２派に分かれて 数学ディベートやるか？」
という展開になるのでは？
ヤジウマとしては
そういう展開が
見ていて、一番面白いですｗ（＾＾；
316:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 17:39:18 qXGvfbUV.net
>>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.
↓
１行削除
なんか同じ行で、ダブっているね（＾＾；
317:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 17:56:35 qXGvfbUV.net
>>266 追加
> 17，8の時にSGA読んでたとか凄いな。望月さん。
柏原先生も、修士だかDRだかで
佐藤超関数の多変数版の基礎に、EGAとかSGAを読んで
（当然、当時だから、周り（の日本人）にはだれも聞く人が居なかったろう）
318:佐藤先生から「柏原に納得してもらったら、あとは証明を書いてくれる」とか、大変信頼されいたそうな（「佐藤の数学」そう書いてあった） 柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよよね だから、EGAとかSGAとかは、柏原先生にとっては、すべて 自家薬籠中の物 望月IUTが、グロタンディークの数学の発展形なら、層・圏・エタール・小平・・、全部１を聞いて10を知る・・、玉川先生にちょっと分からないことを質問して教えてもらえれば 「なんだ、そういうことなんだｗｗ 」（とまあ想像ですがｗ（＾＾；） ということで、柏原先生なりに、納得しての記者会見だった そう見ています（＾＾
319:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 17:58:45 qXGvfbUV.net
>>287 タイポ訂正
柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよよね
↓
柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよね
分かると思うが
320:１３２人目の素数さん
20/05/08 18:28:56 GrWccDhw.net
ま、(当たり前だが)スキーム論の専門家0の状態で浸透させ、補題3.12のようなギャップもなく1800ページあるEGAを書いたグロタンディークが一番凄いんですけどね
321:１３２人目の素数さん
20/05/08 18:49:01.35 t31dz+7K.net
>>287
> >>266 追加
> > 17，8の時にSGA読んでたとか凄いな。望月さん。
>
> 柏原先生も、修士だかDRだかで
> 佐藤超関数の多変数版の基礎に、EGAとかSGAを読んで
> （当然、当時だから、周り（の日本人）にはだれも聞く人が居なかったろう）
> 佐藤先生から「柏原に納得してもらったら、あとは証明を書いてくれる」とか、大変信頼されいたそうな（「佐藤の数学」そう書いてあった）
>
> 柏原先生も、大天才！ （佐藤スクールの塾頭 ）ですよよね
> だから、EGAとかSGAとかは、柏原先生にとっては、すべて 自家薬籠中の物
> 望月IUTが、グロタンディークの数学の発展形なら、層・圏・エタール・小平・・、全部１を聞いて10を知る・・、玉川先生にちょっと分からないことを質問して教えてもらえれば
>
> 「なんだ、そういうことなんだｗｗ 」（とまあ想像ですがｗ（＾＾；）
> ということで、柏原先生なりに、納得しての記者会見だった
> そう見ています（＾＾
>
これは同意。柏原さんも凄すぎ。
RIMS舐めすぎてる人多い。
322:１３２人目の素数さん
20/05/08 18:49:28.85 t31dz+7K.net
>>289
セールとデリーニュがいたのはでかい。
居なかったらやばかったかもしれん。
323:１３２人目の素数さん
20/05/08 18:52:01.47 enp/+yz7.net
>>285
＞数学ディベートやるか？
ミスターマウント 粋がってますね
324:１３２人目の素数さん
20/05/08 18:54:52.81 enp/+yz7.net
t31dz+7Kはミスターマウント２世か
325:１３２人目の素数さん
20/05/08 19:08:20.08 enp/+yz7.net
ミスターマウントの傾向と対策
URLﾘﾝｸ(smartlog.jp)
マウントをとる心理1. 自分が正しいと思い込んでいる
マウントをとる心理2. 他人に認められたい
マウントをとる心理3. いつでも自分が優れていたい
マウントをとる心理4. 不幸せな自分を自分で認めたくない
性格1. 自分勝手で人の気持ちを考えられない
性格2. 実は自分に自信がない
性格3. 人からの評価を気にしがち
性格4. 自分より凄いと思う人には劣等感を覚えがち
行動1. すぐに自分が他人より優れてるアピールをする
行動2. 主観的な観点でアドバイスをしてくる
行動3. リーダーシップを取りたがる
行動4. 自分の非を認めようとせず、他責にしたがる
会話1. いちいち反論をしてくる
会話2. 自慢話をしがち
会話3. 他人を見下すようなことを言う
対処法1. 自分を卑下して、相手を持ち上げる
対処法2. 信頼関係のある人であれば、嫌だと伝える
対処法3. なるべく受け流す
対処法4. SNSや掲示板などネット上であれば、無視するのが一番
「ネット上であれば、マウントをとられたとしても、無視すればいいだけ。
マウンティングしてくる人がいてストレスになるなら、開くのを止めましょう。
それが一番効果的です。」だって
326:１３２人目の素数さん
20/05/08 20:05:48 GrWccDhw.net
>>291
セールやドリーニュがEGAの執筆を手伝ったという話は聞いたことないがどういうことだ？
327:現代数学の系譜 雑談
20/05/08 20:32:33.08 g/NZ4Ytw.net
>>295
>セールやドリーニュがEGAの執筆を手伝ったという話は聞いたことないがどういうことだ？
さあ？
セール（盟友）－グロタンディーク は、ちょうど
玉川（盟友）－望月 みたいなものかも
セールは、グロタンディークの友人であり、相談相手であり、先生でもあったらしい
ドリーニュ（弟子）－グロタンディークは、ちょうど
ドリーニュ（弟子）が、ヴェイユ予想を解決したのです
南出（弟子）－望月みたいなものかも
南出（弟子）は、望月が達成できなかった IUTから明示公式を導き、FLTが証明出来るようにしようとしている（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
ヴェイユ予想
328:１３２人目の素数さん
20/05/08 20:35:36.12 YvRO7z8l.net
柏原先生は学部時代、小平先生の複素多様体論の授業の期末レポートで当時最先端の話だったはずのHodge構造の変形に関して新発見したりと色々と別次元
若い頃もすごいが今も現役バリバリなのが信じられない
329:現代数学の系譜 雑談
20/05/08 20:40:10.76 g/NZ4Ytw.net
>>291
>セールとデリーニュがいたのはでかい。
>居なかったらやばかったかもしれん。
セールの存在は大きかったかも
ドリーニュのヴェイユ予想（1974年）の前に、グロタンディークは フィールズ賞を受賞していた（1966年）
そして、ヴェイユ予想（1974年）の前に、グロタンディークは 「IHESを辞職。その後は、数学から距離を置いた隠遁生活を送るようになった。」とありますね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
アレクサンドル・グロタンディーク
1966年にフィールズ賞を受賞
1970年頃にIHESに軍からの資金援助があることを知ると、彼は即座にIHESを辞職。その後は、数学から距離を置いた隠遁生活を送るようになった。
URLﾘﾝｸ(ja.wikipedia.org)
ヴェイユ予想
ピエール・ルネ・ドリーニュにより1974年に解決された。
330:現代数学の系譜 雑談
20/05/08 20:41:37.38 g/NZ4Ytw.net
>>297
>柏原先生は学部時代、小平先生の複素多様体論の授業の期末レポートで当時最先端の話だったはずのHodge構造の変形に関して新発見したりと色々と別次元
ああ、そうなのですか
知らなかった
>若い頃もすごいが今も現役バリバリなのが信じられない
全く同意です（＾＾
331:現代数学の系譜 雑談
20/05/08 20:45:54.75 g/NZ4Ytw.net
>>292
粋がるもなにも
それが本来でしょ？
門外漢（遠アーベル素人）のショルツにだけ任せておくなんて
遠アーベルの専門家は、なにをしているのだ？ ってことでしょ？
望月IUTを潰すか、認めるか？ シロクロはっきりさせるのが、遠アーベルの専門家の ”おシゴト”ですよｗ（＾＾；
332:現代数学の系譜 雑談
20/05/08 20:48:08.18 g/NZ4Ytw.net
>>300 補足
あんな、Woitブログみたいな、場外乱闘ではなく
ちゃんと、学会でリングつくって、対決すればいいｗ（＾＾；
333:１３２人目の素数さん
20/05/08 20:51:33.50 enp/+yz7.net
>>300
＞それが本来でしょ？
ディベートが？
ああ、あなた、モノノフでしょ？
URLﾘﾝｸ(www.dailymotion.com)
334:１３２人目の素数さん
20/05/08 21:04:19.87 enp/+yz7.net
>>301
学会が世話することじゃない
335:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/08 22:08:24 g/NZ4Ytw.net
>>303
＞学会が世話することじゃない
そんなことはない
数学会は、数学の新しい理論を取り上げて、シロクロを付ける
それを数学会がやらなければ、だれがやる？
５ｃｈでかｗｗ（＾＾；
336:１３２人目の素数さん
20/05/08 22:26:13.31 enp/+yz7.net
シロクロは勝手につく
数学会がやることじゃない
337:粋蕎
20/05/08 23:03:44.57 FSbzIJ9L.net
57歳が本スレで悪さしとる
338:１３２人目の素数さん
20/05/08 23:15:36.78 t31dz+7K.net
グロタンの周りにはセール、デュイドネ、ドリーニュとか学閥
の仲間が居たのは理論の発展でかなり大きい。
望月の理想はこういう仲間作ることかもしれんな。
339:１３２人目の素数さん
20/05/08 23:21:29.06 enp/+yz7.net
>>306
数が数えられない人がなんか言っとる
340:現代数学の系譜 雑談
20/05/08 23:34:24.30 g/NZ4Ytw.net
>>246
>最初から、９個がダメとか言い出したら、それ 「分かり易い説明」としては、失敗していると思う（＾＾；
キューネンのPDFが落ちているのを思い出したな
キューネンの下記では、「ZFC = Axioms 1?9. ZF = Axioms 1?8.」と説明しているな！ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(www.math.wisc.edu)
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 - c 2005,2006,2007 Kenneth Kunen. Kenneth Kunen
P10
I.2 The Axioms
Axiom 0. Set Existence. ∃x(x = x)
Axiom 1. Extensionality. ∀z(z ∈ x ←→ z ∈ y) → x = y
Axiom 2. Foundation. ∃y(y ∈ x) → ∃y(y ∈ x ∧ ￢∃z(z ∈ x ∧ z ∈ y))
Axiom 3. Comprehension Scheme. For each formula, φ, without y free, ∃y∀x(x ∈ y ←→ x ∈ z ∧ φ(x))
Axiom 4. Pairing. ∃z(x ∈ z ∧ y ∈ z)
Axiom 5. Union. ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F → x ∈ A)
Axiom 6. Replacement Scheme. For each formula, φ, without B free, ∀x ∈ A∃!y φ(x, y) → ∃B ∀x ∈ A∃y ∈ B φ(x, y)
Axiom 7. Infinity. ∃x（{} ∈ x ∧ ∀y ∈ x(S(y) ∈ x)）注：{}は空集合
Axiom 8. Power Set. ∃y∀z(z ⊆ x → z ∈ y)
Axiom 9. Choice. {} not∈ F ∧ ∀x ∈ F ∀y ∈ F(x ≠ y → x ∩ y = {}) → ∃C ∀x ∈ F(SING(C ∩ x)) 注：{}は空集合
ZFC = Axioms 1?9. ZF = Axioms 1?8.
URLﾘﾝｸ(blacaman.tripod.com)
Kunen, Kenneth. Set theory. (Studies in logic and the foundations of mathematics; v. 102)
（上記の訳）
アマゾン/dp/4535787484
キューネン数学基礎論講義 (日本語) 単行本 ? 2016/7/21
ケネス・キューネン (著), 藤田 博司 (翻訳)
内容（「BOOK」データベースより）
名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
341:現代数学の系譜 雑談
20/05/08 23:36:09.17 g/NZ4Ytw.net
>>309 文字化け訂正
ZFC = Axioms 1?9. ZF = Axioms 1?8.
↓
ZFC = Axioms 1-9. ZF = Axioms 1-8.
まあ、原文見て下さい（＾＾；
342:現代数学の系譜 雑談
20/05/08 23:37:57.46 g/NZ4Ytw.net
>>307
(引用開始)
グロタンの周りにはセール、デュイドネ、ドリーニュとか学閥
の仲間が居たのは理論の発展でかなり大きい。
望月の理想はこういう仲間作ることかもしれんな。
(引用終り)
まあ、大賛成だが
望月先生は、いまからでも、女を作ることをお薦めしたいな（＾＾；
343:１３２人目の素数さん
20/05/08 23:51:48.81 VeCIxYvH.net
おまいらがZFCとかなんとか言いまくるからそれに興味持ったわ
344:１３２人目の素数さん
20/05/09 00:09:29.90 7SRnDmlC.net
>>309
まあこれP21やP31できちんと説明してるし、それ以前に自分で書いてるように論文じゃなくて教科書だしな
公理1とかの名付けは数学的言明でもない
345:現代数学の系譜 雑談
20/05/09 00:15:38.14 NFbqSkQk.net
>>309
>キューネンの下記では、「ZFC = Axioms 1-9. ZF = Axioms 1-8.」と説明しているな！ｗｗ（＾＾；
キューネン先生の”SET THEORY An Introduction to Independence Proofs”（1999）（下記）
では
ZFC is the system of Axioms 0-9.
ZF consists of Axioms 0-8,
として、Axiom 0 を含めているね
気まぐれかも知れないが
それは所詮些末な話よｗ（＾＾；
”infinite ”（無限個）だけは、無さそうだな！ｗ きっと！ｗｗ（＾＾
（参考）
URLﾘﾝｸ(blacaman.tripod.com)
SET THEORY An Introduction to Independence Proofs Kenneth KUNEN
Second impression: 1983 Seventh impression: 1999
Introduction
P xv
§ 7. The axioms
P xvi
ZFC is the system of Axioms 0-9.
We list here some abbreviations for commonly used subtheories of ZFC.
ZF consists of Axioms 0-8,
和訳本
アマゾン/dp/4535783829
集合論―独立性証明への案内 (日本語) 単行本 ? 2008/1/1
ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳)
カスタマーレビュー
星5つ中の5
ナラバ博士
5つ星のうち5.0 第２章の章末問題はとくに面白い 2009年4月5日
集合論のうち，とくに２０世紀第３四半期における強制法（フォーシング）の研究に焦点をあてた入門書である。
数学科（数理科学コース）の１・２年向けの集合論の授業では，数学全分野のための予備知識として１９世紀後
346:半の集合論を扱うのがふつうであろう。 本書が扱うのはより高度な話題である。原書は研究分野としての集合論への入門書として評価が高い。評者は大学院修士課程１年生のときに原書を通読した。 強制法への伏線として第２章でマーティンの公理を扱っており，この章の章末問題には面白いものが多いと感じた。 時間をかけて翻訳した本書の訳は大変読みやすく，ところどころに親切な訳注が添えられている。 (67人のお客様がこれが役に立ったと考えています)
347:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 00:28:00 NFbqSkQk.net
>>313
>まあこれP21やP31できちんと説明してるし、それ以前に自分で書いてるように論文じゃなくて教科書だしな
同意だ
望月論文 IUT IVでは、ちゃんと引用の教科書 [Drk], Chapter 1, §3].
[Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974).
これを見ないで、無限だとかアホをいうやつが、バカだってことよ（＾＾
>公理1とかの名付けは数学的言明でもない
それも同意だ
些末な話よ
そこをほじっくって、無限だとかアホをいうやつが、バカだってことよｗ（＾＾；
（>>230-232より 望月 IUT IV）
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P67
Section 3: Inter-universal Formalism: the Language of Species
In the following discussion, we shall work with various models - consisting
of “sets” and a relation “∈” - of the standard ZFC axioms of axiomatic set theory
[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice -
cf., e.g., [Drk], Chapter 1, §3].
P85 Bibliography
[Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974).
348:１３２人目の素数さん
20/05/09 00:28:22 NE54uC7L.net
公理的集合論の話ってめちゃむずの予感
349:１３２人目の素数さん
20/05/09 00:31:24 737lAinw.net
5chのレスって大して確かめられもせず、なんとなく雰囲気あってそうならそのまま言ってしまうことあるからな
ZFCGはZFGの保存的拡大と望月論文にあるがそれは間違い、が真実かどうかは知らないけど、それをガチで理解して言ってる人って下手したらいないんじゃないかと思う
350:１３２人目の素数さん
20/05/09 00:39:19.48 NE54uC7L.net
自然演繹ってわかりにくい
タブロー法(真理の木)はマスターしたけど
この演繹法は難しい
結論から読んでみたりいろいろ試したが
どうもわからん
351:１３２人目の素数さん
20/05/09 00:42:12.71 NE54uC7L.net
理論がもう誰も追いつけないような拡大をしてしまったなら
それは宇宙だなｗ
352:１３２人目の素数さん
20/05/09 07:01:44 /BYRDNlz.net
ZFCの話題は、
本スレのInter-universal geometry と ABC予想 52 の324から始まっている。
（前略）
テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが
あと上でもあったけど専門外がIUTなんて理解できないっていうのはまんまIUTのラスト部分に跳ね返ってる
案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってるという
しかし、Terence TaoがGoogle+で、ZFCについて述べてた内容を述べてないね。
今はGoogle+ないけど、下記のリンクのSpecific topicsで残っている。
URLﾘﾝｸ(asone.ai)
*************************************************
The last part of (IUTT-IV) explores the use of different models of ZFC set theory in order to more fully develop inter-universal Teichmuller theory (this part is not needed for the applications to the abc conjecture).
There appears to be an inaccuracy in a remark in Section 3, page 43 of that paper regarding the conservative nature of the extension of ZFC by the addition of the Grothendieck universe axiom; see this blog comment.
However, this remark was purely for motivational purposes and does not impact the proof of the abc conjecture.
************************************************
353:１３２人目の素数さん
20/05/09 07:03:13 /BYRDNlz.net
>>315
＞些末な話よ
指摘したTao自身が「（IUT-?で）第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、ZFC拡張は証明に影響を与えるものではない」と言ってるしね。 ｗ
下記DeepL翻訳の「このブログのコメントを参照してください」での記憶だけど、
＞(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、
より完全に普遍的なテイヒミュラー理論を発展させることを検討しています
（この部分はabc推論への応用には必要ありません）
のところで、
「○○節までにABCの証明が終っており、第3節43ページ以降は付け足し」で、
「ABC推論には影響を与えない」を読んで、
その節が本当に証明が終わった後の付け足しか、をみたことを記憶している。
（DeepL翻訳）
(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、より完全に普遍的なテイヒミュラー理論を発展させることを検討しています（この部分はabc推論への応用には必要ありません）。
この論文の第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、このブログのコメントを参照してください。
しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。
354:現代数学の系譜 雑談
20/05/09 07:12:09.86 NFbqSkQk.net
>>316-321
皆さん、コメントありがとうございます
やっぱり ちゃんと 確認しないとまずいよね（＾＾；
テレンス・タオのGrothendieck宇宙の発言確認ありがとう
ああ、そういうことだったんだ。よく分かりました（＾＾
355:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 07:43:22 NFbqSkQk.net
>>320
>テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが
ここだけ。知っているだろうがｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、重要な事柄から受け手（聴き手、読み手、観客）の注意を逸らそうとする修辞上、文学上の技法を指す慣用表現
解説
例えば、ミステリ作品において、犯罪者の正体を探っていく過程では、無実の登場人物に疑いが向かうように偽りの強調をしたり、ミスディレクション（誤った手がかり）を与えたり、「意味深長な」言葉を並べるなど、様々な騙しの仕掛けを用いて、著者は読者の注意を意図的に誘導する。読者の疑いは、誤った方向に導かれ、少なくとも当面の間、真犯人は正体を知られないままでいる
また「false protagonist」（ストーリーの途中まで、主人公とは別の人物をあたかも主人公であるように見せる演出）も、燻製ニシンの虚偽の例である
歴史
red herringの直訳は「赤いニシン」であるが、これは、そのような名の魚種があるわけではなく、濃い味付けのキッパーを意味している
この加工によって、魚には独特の鼻につく臭いがつき、濃い塩水を使うことで魚の身が赤くなる
由来についてはいくつかの異なる説があるが、そのひとつは、鼻を突く臭いを放つ燻製ニシンを引きずって子犬にその臭いを追うように仕込む、というものである[4]。
その後、犬がキツネやアナグマのかすかな臭いを追えるように仕込まれていくと、訓練士は、今度は（その強い臭いで動物の臭いに、動物の臭いを紛れさせるために）燻製ニシンを動物の痕跡とは垂直の方向に引きずり、犬を惑わす
犬は最終的には、強い臭いに惑わされることなく、元々追っている動物の臭いを追跡できるようになる。これとは別の説では、脱獄した囚人が、追跡する犬に臭いの強い魚を投げて気を逸らせようとしたことによるとされる
実際には、このような手法が犬の訓練に用いられることはないし、燻製ニシンが逃亡者に役立つこともない[7]。この慣用表現は、1807年2月14日に、ジャーナリスト ウィリアム・コベット(William Cobbett)が、自ら創設した週刊新聞 Weekly Political Register 紙に発表した記事に由来するものと思われる
356:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 08:11:09 NFbqSkQk.net
>>320
コメントありがとう
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってるという
１．「ZFCの9個の公理」は、当時の記述がどうだかしらないが、2020年版では
（>>230-232より 望月 IUT IV）
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
ってなっているので、 [Drk], Chapter 1, §3].からの引用というスタイルだから、無問題
２．「ZFCGがZFCの保存的拡大」も、当時どうだったか知らないが
2020年版では、消されているので、そこをほじくっても、何にもでないよね
なんか、もうちょっと、実のある議論してほしいよね、本スレでは（＾＾
357:IUT応援団 団員
20/05/09 08:33:50 j9hCxaDC.net
団長～、昨日は”また”なんかやらかしたらしいですね（ニヤニヤ）
>>309
団長って・・・もしかして英語ニガテですか？
Axiom 3. Comprehension Scheme
Axiom 6. Replacement Scheme.
って書いてありますよね
Scheme、読めますか？
スキームって読むんですけど、
もちろん、あのスキームじゃないですよ
For each formula, φ, without y free, ∃y∀x(x ∈ y ←→ x ∈ z ∧ φ(x))
For each formula, φ, without B free, ∀x ∈ A∃!y φ(x, y) → ∃B ∀x ∈ A∃y ∈ B φ(x, y)
ほら、For each formula, φ,って書いてあるでしょ
これ読めたら、「一個の公理」っていうのがいかに●●か分かりますよね？
キューネンはプロだから、そこんとこ、絶対にぬからないですよ
逆にアサハカなアマチュアは必ずつまづきますけどね
ま、数学と無関係な素人の団長がアサハカでも問題ないですけどぉ
曲がりなりにも数学者の望月が実はアサハカだっていうんじゃ
シャレにならないなぁ
358:IUT応援団 団員
20/05/09 08:41:56 j9hCxaDC.net
>>314
>”infinite ”（無限個）だけは、無さそうだな！
団長～、一時期、●●の一つ覚えのようにいってた「コンパクト性定理」
忘れちゃったんですかぁ？
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理（英: Compactness theorem）とは、
一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、
その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良い
という非常に有用性の高い定理であり、
モデル理論における最も基本的かつ重要な成果のひとつである。
これ、集合論では必須ですよ！（ビシっ）
というのは、Comprehension SchemeおよびReplacement Schemeで
定義される公理は無限個ですからね
しかし、証明で使われる公理は有限個だから、
任意有限個についてモデルが存在すれば、
ZFCのモデルも存在する、そういうことですね、ハイ
もし、ZFCの公理がたった９個しかないなら、
コンパクト性定理とか全然出番ないですけどね
団長、Forcing（強制法）とか言葉しか知らないでしょ？
ま、一介の会社員なら、Forcing知らなくても全然
359:OKですけどね
360:IUT応援団 団員
20/05/09 08:47:10 j9hCxaDC.net
>>315
>些末な話よ
というより迂闊に地雷踏んでますよね？
団長は素人だからいくらボケてもいいですけどね
論文でこの手のボケは要らないっすよ 「９つ」とか書く必要全然なかったし
なんか、本スレでは
「ABC予想解くのに、遠アーベル、要らないんじゃね？」
とかいわれてるし、なんかヤバくないすか？
361:IUT応援団 団員
20/05/09 08:50:15 j9hCxaDC.net
だっせ～ん
>>318
自然演繹でもタブロー法的なやり方で
「証明が存在すれば必ず構成できる方法」
を構築できる筈だけど、タブロー法ほど明快ではないかもね
362:１３２人目の素数さん
20/05/09 08:52:15 NQHDw4RX.net
Taoってどうなの？
積分の本みてがっかりしたんだが、
363:IUT応援団 団員
20/05/09 09:03:08.16 j9hCxaDC.net
>>324
＞なんか、もうちょっと、実のある議論してほしいよね、本スレでは
でも、それじゃド素人の団長は、全く理解できないですよね？
そういえば、見ましたよ あのスレ
団長って、昔っから、やらかしてたんですね
その後、ガロア理論は、諦めたんですか？
いいことです 生兵法は大怪我の基、っていいますからねぇ
ーーー
１．正規部分群誤解事件(2014/10 発覚)
自称スレ主ことセタ君は、今はなきガロアスレ10の
232(2014/10/18(土) 20:55:35.05)にて、
S5の部分群C5についてσ-1・C5・σ＝C5と書く
これに対して別人が235(2014/10/18(土) 21:19:57.48)にて
C5は正規部分群ｄなく、σ-1・C5・σとC5は集合としては別と指摘
これに対してセタ君が237(2014/10/18(土) 21:35:09.32)にて
何を同じとするかはコンテキスト依存とかいう
わけのわからない言い訳をしたため、
正規部分群の定義を理解してないことが発覚
別人氏は242(2014/10/18(土) 23:33:11.88)にてこう書いている
「スレ主は分かっていなかった。
群Ｇの任意の部分群ＨとＧの元σに対してσ-1・Ｈ・σはＨと同型である。
ＨがＧの正規部分群であるとはσ-1・Ｈ・σがＧの部分集合としてもＨと同じであるということである。
>>232の書き方では単なる部分群と正規部分群の違いが無視されている。」
セタ君はこの指摘を読んでもまだ自分の誤りを理解せず
翌10/19(日)もグダグダ言い訳したためにスレッドが炎上
やっと291(2014/10/19(日) 12:22:13.92)の説明で理解し
309(2014/10/19(日) 13:25:07.40)にて以下の通りボソッと認めた
「スレ主が勘違いしていた。正規部分群がまだ十分理解できていないってことだね」
この日、ガロアスレは本来のガロア理論のスレッドとしての役割を終えたが
これが変態数学の始まりだったことは、誰も知る由もない・・・
ｽﾚﾘﾝｸ(math板)
364:現代数学の系譜 雑談
20/05/09 09:05:46.51 NFbqSkQk.net
>>329
>Taoってどうなの？
>積分の本みてがっかりしたんだが、
どの本？
お手間出なかったら、書名を紹介してください（＾＾；
365:現代数学の系譜 雑談
20/05/09 09:10:17.33 NFbqSkQk.net
>>325
ミスター維新こと、おサルさん（>>2）ご登場か
自称数学科修士卒にして、その実 数学落ちこぼれの不遇な一石さん（>>2）
その話は、あとは本スレでやってくれ
私は、下記No 482の
”ZFCの公理が9種類っていう話と論理式として無限個が必要になるっていうテクニカルな話を混同するのは無意味”
に賛成だな
なお、No 482にレス付いたみたいだから、がんばってくれｗｗ（＾＾；
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:482番)
482 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 01:13:05.86 ID:Ayx0IbyQ
別に公理が9個ってのも砕けた言い方としては間違って無いだろ
内包公理は論理式としては無限個でもナイーブには一つの公理として名前を持ってる訳だから
ZFCの公理が9種類っていう話と論理式として無限個が必要になるっていうテクニカルな話を混同するのは無意味
366:現代数学の系譜 雑談
20/05/09 09:15:46.71 NFbqSkQk.net
>>314 補足
(引用開始)
>キューネンの下記では、「ZFC = Axioms 1-9. ZF = Axioms 1-8.」と説明しているな！ｗｗ（＾＾；
キューネン先生の”SET THEORY An Introduction to Independence Proofs”（1999）（下記）
では
ZFC is the system of Axioms 0-9.
ZF consists of Axioms 0-8,
として、Axiom 0 を含めているね
(引用終り)
これをもって、
「Kenneth KUNEN 基礎論分かっていない、ぼく 分かっていて えらい～！」ｗｗ とか言ったら
”おまえ、何様だ～？ Kenneth KUNENを知らないで、基礎論分かってる？ おまえ、モグリだろっ！”って話ですよね
望月IUTに同じ
QED ｗｗ（＾＾；
367:IUT応援団 団員
20/05/09 09:25:06.58 j9hCxaDC.net
>>332-332
団長ぉ なにスネてるんですか？
あ、自分が工学部卒だから、数学科卒に劣等感感じてるんですね？
大丈夫ですって、ボクも大学３年でザセツして
情報科学に転向しましたから
＞論理式として無限個が必要になるっていうテクニカルな話
論理学なら、初歩の話ですけどね
いまどきは、完全性定理と不完全性定理も、学部レベルで教えますけど
前者でコンパクト性定理も出てきます
証明が有限個の公理しか使わないことを考えれば当たり前ですが
ただ、数学科では数理論理学知らない人多いんだよねぇ
数理論理学知らなくても証明書けちゃうし
物理学者が定理の証明知らなくても計算できちゃうみたいなもんです
（ちょっと違う？）
368:１３２人目の素数さん
20/05/09 10:02:30.80 k+ouT+Kf.net
>>334
学部レベル以降の現代数学の適性皆無なくせに日本の歪んだ受験数学を誤魔化せただけで変なプライド持っちゃうのが一番愚劣で見苦しくて実社会に実害ありまくりだよ。
369:IUT応援団 団員
20/05/09 10:09:01.30 j9hCxaDC.net
>>335
プライド？ないですよそんなもんは
＞日本の歪んだ受験数学を誤魔化せた
ああ、それは団長のことだね
ボクはそういう経験ないですから、ハイ
370:IUT応援団 団員
20/05/09 10:21:44.93 j9hCxaDC.net
大体、高校レベルの数学なんて、数学全体のホンの一部ですからねぇ
でも工学部ならぶっちゃけその程度でいけちゃいますね
理屈とか理解してなくても計算するだけだから誤魔化せますね
複素関数とかいったってどうせ留数解析で終わりでしょ
楕円関数とかモジュラー関数とか使わないし
ガロア理論？ああ、要らない要らない
だって代数学の基本定理で解の存在もその個数も分かるじゃないですか
あとは数値計算でガシガシ計算すればいいでしょ
数学者と数学ユーザーは、数学に求めるものが全く違うんですよ
だからIUTが正しいとしても、一般人には無関係ですね
だって2世紀も前に数学者が見つけたことを、
一般人は全く知らずに死んでいくんですよ
ヤコビのテータ関数なんて知らないでしょ？
え？私？もちろん知りませんよｗ
371:１３２人目の素数さん
20/05/09 10:27:19.89 k+ouT+Kf.net
特殊関数絡みは意外と勉強家の理工系は必死こいて習得してるんじゃないの？。
俺すげぇ苦手だけど。
372:IUT応援団 団員
20/05/09 10:35:21.21 j9hCxaDC.net
>>338
＞特殊関数絡みは意外と勉強家の理工系は必死こいて習得してるんじゃないの？
それ昔の話
今はコンピュータでいくらでも精密に数値計算できるから
そもそも数値計算でもどうしようもない話なら
理論でもどうにもならないよ
373:IUT応援団 団員
20/05/09 10:43:50.55 j9hCxaDC.net
＞数学落ちこぼれ
はい、団長と違って私は自分が落ちこぼれだと認めてますよ
団長はなんか「オレはまだ本気出してないだけ」と思ってますよね？
いやいや本気出せないから落ちこぼれて工学部に行ったんでしょ？
有能な人ははじめから本気出せてますから それが現実ですよ
374:IUT応援団 団員
20/05/09 10:45:54.28 j9hCxaDC.net
本気出せないのは・・・そもそも本気じゃないから
団長、もう還暦なんでしょ？ いい加減気づこうよ
375:１３２人目の素数さん
20/05/09 10:59:39.66 NQHDw4RX.net
>>331
タオ ル
376:ベーグ積分 でググれ。
377:現代数学の系譜 雑談
20/05/09 11:28:02.79 Mxr6sv2r.net
>>334
>大丈夫ですって、ボクも大学３年でザセツして
>情報科学に転向しましたから
サイコパスの特徴に
「・平然と嘘をつく」がある
おれは、おサルの「情報科学に転向しました」は、信じないぜ（＾＾
数学科修士の落ちこぼれさｗｗ（＾＾
（参考）
URLﾘﾝｸ(keiji-pro.com)
刑事事件マガジン
公開日：2018.5.10その他
サイコパス（精神病質者）の10の特徴と診断基準｜実はあなたの周りに・・・？
目次
サイコパスの10の特徴
・表面上は口達者
・利己的・自己中心的
・自慢話をする
・自分の非を認めない
・結果至上主義
・平然と嘘をつく
・共感ができない
・他人を操ろうとする
・良心の欠如
・刺激を求める
378:現代数学の系譜 雑談
20/05/09 11:35:36.39 Mxr6sv2r.net
>>342
ありがとう
これね（＾＾；
URL watanabeckeiich.ハテナブログ/entry/2017/01/19/185345
べっく日記 偏微分方程式を研究してるセミプロ研究者の日常
2017-01-19
テレンス・タオ著の『ルベーグ積分入門』を立ち読みした。
(抜粋)
UCLAのテレンス・タオ先生が書いた測度論の教科書を翻訳した、『ルベーグ積分入門』が生協の本屋に並んでたので少し立ち読みしてみた。以下、個人的な「感想」です。
内容は至って普通だった。測度論の一般的なテキストと大して変わらないと思う。レイアウトはかなり見やすい方だと思う。
この本の特徴として、後半に「問題の解き方」が載っていることが挙げられる。ツイッターを眺めてみると、この「問題の解き方」が載ってるからこの本を買った、それぐらい素晴らしいんだ。と力説してる人がいた。でも、全く同様の内容がタオ先生のブログに書いてある（もちろん英語だけど）。ちなみに私は、ブログのその記事を印刷してファイリングしてある（まあ、それくらいよくまとまっている）。
私としては、数学の解き方を学ぶために本を買うなら、タオ先生の "Solving Mathematical Problems: A Personal Perspective"
アマゾン/exec/obidos/ASIN/B00BEAYB32/hatena-blog-22/
という本の方がいいかと思います。この本は「難しく」はないので「楽しく」読み進めることができ、どんな人にもオススメです。
タオ先生のブログ: 245A: Problem solving strategies | What's new
URLﾘﾝｸ(terrytao.wordpress.com)
こう言っては怒られてしまいそうだけど、すでに測度論・ルベーグ積分のテキストを持ってる人は「わざわざ」買う必要はないかと思う。やはり数学は1冊の本を完璧に理解し、その内容を再構成できるくらいまで読み込むことが大切なのかなと思います。
379:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 11:42:53 Mxr6sv2r.net
>>344 追加
URLﾘﾝｸ(mathsoc.jp)
数学通信誌
書 評
ルベーグ積分入門
テレンス・タオ 著，舟木直久 監訳，乙部厳己 訳
朝倉書店，2016 年
Mynd, Inc.
原 啓介
(抜粋)
テレンス・タオと言えば，皆さんご存じの通り，非常に広い分野で活躍している，万
能型の天才的数学者であり，世界一のパズルソルバだと言っても過言ではないでしょう．
そのタオがルベーグ積分論の教科書を書いたのは，私にはちょっとした驚きでした．な
ぜなら，ルベーグ積分論（積分論，測度論）は地味と申しましょうか，はっきり言えば，
退屈な科目だという印象があるからです．もっと正直になれば，複雑な議論をしたあげ
く当たり前のことを保証するだけの科目ではないか，と．
では，天才タオは積分論の教科書をどう書いたか．それを解説する前に，積分論を講
義する，または教科書を書く上での二通りの方針について整理しておきたいと思います．
第一の方針は，特にルベーグ測度に重点を置いて，実解析学の文脈でおおむね歴史の発展
順に書く方法，そして第二の方針は天下りに抽象的な測度の定義を与える方法です．無
論，それぞれ一長一短であり，入門した後の「その先」をどう考えるかや，各先生の好
みや問題意識によって，この二つの方針のブレンドの具合が変わってくるわけです．
第一の方法の長所は，まず何より自然であることです．複雑な図形の面積や体積を内
側から，または外側から，小さな正方形や立方体のような基本図形の和集合で近似する
という考え方は，ギリシャ時代以来の伝統です．ユークリッド空間の中の図形の面積や
体積のような自然な概念に，自然な近似でアプローチし，ある種の「完備化」によってル
ベーグ測度へ拡張して，さらに一般の測度へと抽象化，整理する．これ以上自然なアイ
デアはないでしょう．さらに，この近似のアプローチは解析学の王道でもあります．
さて，タオはどちらのアプローチを用いたか，というと前者，第一の方法です．しか
も最右翼（最左翼かも知れませんが）であることは，本書から「ルベーグ可測性」の定
義 (本書 p.19, 定義 1.2.2) を引用すれば一目瞭然でしょう．
つづく
380:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 11:43:18 Mxr6sv2r.net
>>345
つづき
このように本書では，最初からおなじみの開集合を本質的に登場させて，位相とのつ
ながりを意識しながら測度論を展開します．測度論は位相をほとんど全く切り離して議
論することも可能ですし，（第二の方法の論旨からすれば）そうすべきだという考え方も
もっともなので，これは本書の特徴だと言えるでしょう．
つまり，本書の特徴は実解析学の伝統と深い教養のもと，ある意味の王道によって，ル
ベーグ積分論を展開している，ということです．この方針は，（タオも本書でそう明言し
ていますが）シュタインらの実解析学の教科書 [1] を参考にしたもので，プリンストン大
学の解析学教程の方針なのでしょう．
最後に，本書の他の特徴にも触れておきたいと思います．まず一つは，タオの数学全
般に渡る学識，特に実解析学に関する深い教養からくる，見事なコメントが随所に見ら
れることです．本書の「まえがき」ですら，私は二度，三度と目から鱗が落ちるような
思いがしました．
また，本書の全く独創的な第 2 章からも分かるように，世界随一のパズルソルバとし
てのタオの顔がうかがわれることです．第 2 章以外の各所にも，問題を解くためのコツ
とも考えられるコメントが見られます．(例えば，しばしば繰り返される「イプシロンの
余地をもらえ」．See also [2])．
本書の欠点と考えられる部分にも触れておくべきでしょう．
(引用終り)
以上
381:IUT応援団 団員
20/05/09 12:10:57 j9hCxaDC.net
>>343
＞おれは、おサルの「情報科学に転向しました」は、信じないぜ
信じないのは正しい態度です
私はおサルじゃないので（キッパリ）
ただ情報科学に転向したのは正しいです
だから代数�
382:煌ｽも解析もまったくワケワカメですわｗ
383:IUT応援団 団員
20/05/09 12:13:38.40 j9hCxaDC.net
>>343
＞サイコパスの10の特徴
＞・表面上は口達者
＞・利己的・自己中心的
＞・自慢話をする
＞・自分の非を認めない
＞・結果至上主義
＞・平然と嘘をつく
＞・共感ができない
＞・他人を操ろうとする
＞・良心の欠如
＞・刺激を求める
ありゃー、これ全部団長に当てはまるじゃないですかｗ
団長・・・サイコパスだったんですね（をひ）
384:現代数学の系譜 雑談
20/05/09 13:54:42.93 Mxr6sv2r.net
>>347-348
やっぱり、サイコパスのおサルさん（>>2）
じゃないですか～ｗ（＾＾；
385:◆QZaw55cn4c
20/05/09 14:01:47 bDUUHNDf.net
>>339
＞今はコンピュータでいくらでも精密に数値計算できるから
それは甘いですね…
64 bit 浮動小数点ではどうにもならない場合には、自分で多桁のコードを書かなくちゃいけないから大変ですよ
386:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 14:07:10 Mxr6sv2r.net
>>350
C++さん、どうも
レスありがとう
> 64 bit 浮動小数点ではどうにもならない場合には、自分で多桁のコードを書かなくちゃいけないから大変ですよ
そうですよね（＾＾；
387:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 14:14:08 Mxr6sv2r.net
>>351 補足
（＾＾；
URLﾘﾝｸ(www.morikita.co.jp)
森北出版
多倍長精度数値計算
GNU MP，MPFR，QDによるプログラミング
静岡理工科大学教授博（理）幸谷智紀(著)
コンピュータ上で任意の有効桁数の演算を扱う，「ソフトウェアベース多倍長精度数値計算」の解説書．
多倍長計算環境を設計するための理論的基礎・計算アルゴリズムに加え，C/C++による多倍長計算ライブラリ（GNU MP，MPFR，QD）のプログラミングテクニックや，実装の際に問題となる演算の高速化手法についても詳しく解説．
高精度計算に携わるエンジニアにおすすめの一冊．
URLﾘﾝｸ(www.jicfus.jp)
PukiWiki 1.5.0
[JICFuS Wiki]
多倍長精度計算
Last-modified: 2015-02-27 (金) 12:21:33 (1898d)
倍精度では計算精度が足りない場合や、精度を変えながら計算結果を検証しなければならない場合があります。そのような場合に必要になる多倍長精度計算の手法について便利な情報をまとめています。事例などありましたらぜひ jicfus-support-at-ccs.tsukuba.ac.jp（-at-を@にして下さい）までお寄せ下さい。
JICFuSレポート 多倍長精度計算についての調査 †
多倍長精度計算フォーラム †
「多倍長精度計算については、複数のソフトウェアが日本でも開発され、並列計算による高速化が期待されており、アプリケーション開発者との情報交換がより求められる時代になってきています。
このような状況のもと、本フォーラムでは、多倍長精度計算ライブラリ開発者、多倍長精度計算を実現するハードウェア開発者およびアプリケーション開発者が 一同に会し情報交換や共同作業などを通じて研究活動の促進を行うための人的ネットワークの構築を目指しています。」 (「第2回研究会のご案内」より)
多倍長精度計算フォーラムへのリンク
URLﾘﾝｸ(suchix.kek.jp)
388:１３２人目の素数さん
20/05/09 14:24:04 cPsklcPa.net
多倍長電卓LM使ってる。これ更新してないけどな。
389:１３２人目の素数さん
20/05/09 14:43:59 G1CYiQB/.net
自前で作るのもいいが、今なら任意精度演算がサポートされたソフトを使えばいい
有名どころだけでも、MathematicaとかMaximaとかMATLABとか色々あるぞ
390:１３２人目の素数さん
20/05/09 14:52:03 cPsklcPa.net
テトレーションの入力に対応した多倍長計算ないかな？
2^^5とか。
391:１３２人目の素数さん
20/05/09 14:53:15 L/vxUjcX.net
加藤和也さんとかは少し読んだりしたのかな。
392:IUT応援団 団員
20/05/09 15:25:56.73 j9hCxaDC.net
団長は自分の身の丈にあった多倍長計算の話でもしててくださいｗ
393:IUT応援団 団員
20/05/09 15:32:03.18 j9hCxaDC.net
>>351
やればできる話なら「やってください」で終わり
394:粋蕎 ◆C2UdlLHDRI
20/05/09 16:13:58 FS/ppdZ4.net
この自称応援団員は本当にあのBABYMETALすぅ学者じゃ無いんかい？
395:IUT応援団 団員
20/05/09 16:25:17 j9hCxaDC.net
>>359
知らんがな
それはさておき、こんなスレッド立てたので
よかったら書いてみて
なんで掛け算の順序を交換しても答えが同じなの？
ｽﾚﾘﾝｸ(math板)
396:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 16:57:39 Mxr6sv2r.net
>>359-360
てへぺろ☆(・ω<)さん？（下記）（＾＾
お元気そうですね
あのとき 時枝の話では、邪魔だったので、お引き取り願ったがｗｗ
ここ IUTでは、”また～り” していってください（＾＾
「団長は自分の身の丈にあった？」
身の丈あってますよ
私ら、IUTなんて数学ではなく
数学メロドラマ（望月語録よりｗ（＾＾ ）として
ヤジウマとして
楽しんでいますのでね(゜ロ゜;
いまから、望月IUTオセロの
はじまり、 はじまりぃ～！！ ｗ（＾＾
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
ｽﾚﾘﾝｸ(math板:5番)
(抜粋)
9) てへぺろ☆(・ω<)さん 70 ｽﾚﾘﾝｸ(math板:842番)
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
397:IUT応援団 団員
20/05/09 17:05:54 j9hCxaDC.net
>>361
てへぺろ・・・知らないなあ
ちなみに私の出身大学はT大でもN大でもないですね
もっと局所的な地名が付いてますｗ
ついでに新スレになんか書いてみて
＃ついに浪人買っちまった、ヤベェ
398:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 18:51:04 NFbqSkQk.net
>>362
IUT応援団 団員さんか
てへぺろ☆(・ω<)さん とは別人？
まあ、良いわ
どうも、おサル（>>2）とは、別人かも という気はしてきたね
また～り して言って下さい（＾＾；
399:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 19:31:20 NFbqSkQk.net
>>362
ID:j9hCxaDCは
やっぱり、おサルさんかｗｗ
IUT 本スレ Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:568番)-
568 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 16:37:29.00 ID:j9hCxaDC [11/24]
>>566
で「ＺＦＣの公理は九つではない」というのは
「は？欅坂？笑わせるな BABYMETAL最高！」
とかいう難癖とは異なる
574 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 16:46:10.74 ID:j9hCxaDC [14/24]
あ、字間違ってましたｗ
誤 「平手友理奈はカリスマ！」
正 「平手友梨奈はカリスマ！」
597 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 17:21:32.39 ID:j9hCxaDC [20/24]
あくまで脱線
>>589
＞「欅坂46めっちゃ可愛い」
可愛いと思ったコは菅井以外みんなやめちった
ずーみん、ねる、すずもん・・・なんでだ
＃てちはただのガキ
609 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 18:53:56.06 ID:j9hCxaDC [24/24]
ま、みんな知らないと思うけど、SU-METALはポンコツ
ちなみに、乃木坂４６にいた姉は頭もいいし運動神経もある
400:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 19:51:01 NFbqSkQk.net
「公理が9個」と 「ZFCGがZFCの保存的拡大」と
本スレ（下記）で、ようやく決着したようだね（＾＾；
（参考）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:584番)
588 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 17:14:37.57 ID:JNaCPHC5
>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際～axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい
あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
ｽﾚﾘﾝｸ(math板:606番)
606 名前：１３２人目の素数さん[] 投稿日：2020/05/09(土) 17:57:38.91 ID:/BYRDNlz [5/5]
>>588
ZFCの話は、2012年のタオの指摘に乗っかって、
>>324が
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
と書いてガゼで主張しただけだよ。
IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。
concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”
＞ZFCの9個の公理
のIUT-4の記載部分は、投稿版も最終版も、以下記載だったが、修正されてないので此処は問題でないよ。
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
だいたい [Drk], Chapter 1, §3].の出典元の引用で、些末なことで、タオが此処を問題しないと思うよ。
だから確認したら、此処とは違うところの指摘だよ。
＞ZFCの9個の公理だの間違えまくってる、は、>>324の意見に過ぎないよ。
それにタオの指摘で直ってなければ、>>324氏ではなくて、
Woitブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ ｗ
401:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/09 20:00:24 NFbqSkQk.net
>>356
>加藤和也さんとかは少し読んだりしたのかな。
同意
おれも、加藤和也さんに、IUTを読んで、評論してほしい気がするが
ド素人の ”どてカン” では、さすがの加藤和也さんにも、IUTは普通では読めないように思う
なんせ、書き方が不親切
普通の数学者に読ませるつもりで書いていない
でもね、気持ち分かる
500ページも（いま600ページに増えた） たしか４年くらい 黙々と 脇目もふらず 標高9000ｍ 未踏峰のIUT山頂を目指して 必死に登る人に
「分り易く」なんてのは、後の話だ。まずは、頂上に到達することが先なんだよ（頂上に到達できるかどうかは、登る途中では未確定なんだ）
だいたいが、大論文なんてそんなものよ
500ページ～600ページ書く人は、必死なわけよｗ（＾＾
余計な気をつかったら、４年で書けるところが10年かかるかもしれないし
どう理解してもらうかは
いまからの話でいいんだ！（＾＾
402:１３２人目の素数さん
20/05/09 21:02:02 n/TmMCGt.net
いや、self-evidenceのレクチャーノートの時点でどう思っているかは明らかでしょw
403:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 06:28:06 mjl0bfS3.net
>>367
どうも
コメントありがとう
「self-evidenceのレクチャーノート」とは？ その定義は？（＾＾；
404:IUT応援団 団員
20/05/10 07:18:50 vZYbiwt9.net
>>364
＞やっぱり、おサルさんか
誰ですか？
ああ、そうそう、団長に「チコちゃん」から伝言です
「今後、掛け算の順序交換スレでは
以下のＨＮで書き込むこと
ＨＮ：上からコピペ」
いい名前じゃないすか 団長の数学板人生が凝縮されてますよ
405:現代数学の系譜 雑談
20/05/10 08:21:46.90 mjl0bfS3.net
>>309 （>>369も？ｗ）補足
>>最初から、９個がダメとか言い出したら、それ 「分かり易い説明」としては、失敗していると思う（＾＾；
>キューネンのPDFが落ちているのを思い出したな
>キューネンの下記では、「ZFC = Axioms 1?9. ZF = Axioms 1?8.」と説明しているな！ｗｗ（＾＾；
＜だめ押し＞ｗ（＾＾
まず、半可通が わーわー騒ぐ 「論理式 ψ をパラメータとする公理図式」の話
下記ご参照
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
(抜粋)
集合の公理系
現在一般的に使われている集合の公理系は以下の ZFC である。
ZF 公理系
・置換公理 "関数クラス"による集合の像は集合である：
∀ x∀ y∀ z((ψ (x,y) ∧ ψ (x,z)) → y=z) → ∀ X ∃ A∀ y(y ∈ A ←→ ∃ x ∈ Xψ (x,y))
この公理は、論理式 ψ をパラメータとする公理図式である。
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理は上に述べた ZF の公理から示すことができる。
・分出公理 任意の集合 X と A を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する：
∀ X ∃ A∀ x(x ∈ A ←→ (x ∈ X ∧ ψ (x)))
この公理は、論理式 ψ をパラメータとする公理図式である。
論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、
これを {x ∈ X｜ ψ (x)} で表す。
{x ∈ X｜ x ∈ Y}を X ∩ Y で表す。
つづく
406:現代数学の系譜 雑談
20/05/10 08:22:12.60 mjl0bfS3.net
>>370
つづき
>{x ∈ X｜ ψ (x)} で表す。
>{x ∈ X｜ x ∈ Y}を X ∩ Y で表す。
正直、これは何を言っているか分からなかったのでｗ（＾＾；
（余談ですが、論理式 ψを一階述語に限定するとか、高階まで許すとか いろいろあるようですが。保守的な立場は、一階限定です。矛盾が起きにくい）
実はｗ、下記のKenneth Kunen先生に分り易い説明があったのです（＾＾
置換公理から
”On the basis of Axioms 1,3,4,5, define ⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ), ∩ (intersection), and SING(x) (x is a singleton) by”
と書かれていて、置換公理って、こうやって使うのか～ｗ、と感心したのです
で、まあ ⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ), ∩ (intersection), and SING(x) (x is a singleton) ・・・
達を、公理 Axioms 1,3,4,5 ＆ Axiom 6(Replacement Scheme) とか（勿論 他の公理も）使って、通常の集合論の記号や用語を組立て
さらには、定理を作って・・と出来るのです（多分ねｗ）
（参考）
URLﾘﾝｸ(www.math.wisc.edu)
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 - c 2005,2006,2007 Kenneth Kunen. Kenneth Kunen
(抜粋)
P10
Axiom 6. Replacement Scheme. For each formula, φ, without B free, ∀x ∈ A∃!y φ(x, y) → ∃B ∀x ∈ A∃y ∈ B φ(x, y)
P11
Axiom 6. Replacement Scheme. For each formula, ψ, without B free,
∀x ∈ A∃!y ψ(x, y) → ∃B ∀x ∈ A∃y ∈ B ψ(x, y)
The rest of the axioms are a little easier to state using some defined notions.
On the basis of Axioms 1,3,4,5, define ⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ), ∩ (intersection), and SING(x) (x is a singleton) by:
x ⊆ y ⇔ ∀z(z ∈ x → z ∈ y)
x = Φ ⇔ ∀z(z not∈ x)
y = S(x) ⇔ ∀z(z ∈ y ←→ z ∈ x ∨ z = x)
w = x ∩ y ⇔ ∀z(z ∈ w ←→ z ∈ x ∧ z ∈ y)
SING(x) ⇔ ∃y ∈ x ∀z ∈ x(z = y)
(引用終り)
つづく
407:現代数学の系譜 雑談
20/05/10 08:22:32.57 mjl0bfS3.net
>>371
つづき
１．では、論理式 ψは、有限なのか、無限なのか？
２．それは数え方の問題でもあると思います
３．例えば、デデキント先生の本「数とは何か」にならって、ZFCで、”Φ (or 0; empty set)”から初めて、自然数N、整数Z、有理数Q、実数R を作ることを論文に纏めたとする
この論文は、明らかに 有限ページであり、使われる文字も有限です。この視点からすれば、使われた 論理式 ψは明らかに有限です
４．一方で、自然数Nは可算無限集合であり、”S (ordinal successor function )”みたいなのを 可算無限回使ったと考えると（例えば数学的帰納法などで）、 ”無限だ”と見ることもできる
５．要は、有限なのか、無限なのか？ どちらの見方もあるってことでしょう。「論理式 ψは無限！」なんてのは、自分の立ち位置と視点を明確に語らないと、無意味です
QEDｗ（＾＾；
以上
408:IUT応援団 団員
20/05/10 08:31:28.61 vZYbiwt9.net
>>372
＞論理式 ψは、有限なのか、無限なのか？
団長 日本語わかりませんか？
論理式の個数ですよ 長さじゃないですよｗ
ψに入り得る論理式の個数は無限にあるでしょ？
まさか有限個しかないと思ってます？
409:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 08:52:53 mjl0bfS3.net
>>373
おサル（>>2）ご苦労
>論理式の個数ですよ 長さじゃないですよｗ
>ψに入り得る論理式の個数は無限にあるでしょ？
>まさか有限個しかないと思ってます？
では問うｗ
１．確かに、理論上 論理式ψの個数に制限は無く、”数理哲学”でいうところの「可能無限」ではある
２．一方で、人類がいままで書いてきた、書籍及び論文の数は明らかに有限であり、使われた文字数も有限である
３．「論理式ψの個数 ＜＝ 使われた文字数」 を認めると、論理式ψの個数は、有限にすぎない
４．そして、これ（”論理式ψの個数は、有限にすぎない”）は、予想しうる未来の範囲では、正しいだろう
つまり、”論理式ψの個数は、有限にすぎない”！！ 但し、理論上 論理式ψの個数に制限は無い ！！
QED ｗ（＾＾；
（問いになってないか？ まあ、書き直しは面倒なので、このままなｗｗ）
410:IUT応援団 団員
20/05/10 08:57:01 vZYbiwt9.net
>>374
＞「論理式ψの個数 ＜＝ 使われた文字数」を認めると
団長・・・お気はたしかですか？
論理式ψの長さの上限をｎとしても
その個数がｎ以下なわけないでしょ
例えば自然数の桁数を８桁として
自然数の数は８個以下ですか？
認知症かな・・・最近、ヤバすぎる
411:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 09:36:13 mjl0bfS3.net
>>371 補足
いまごろ気付いたがｗ（＾＾
１．”⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ), ∩ (intersection), and SING(x) (x is a singleton) ・・・
達を、公理 Axioms 1,3,4,5 ＆ Axiom 6(Replacement Scheme) とか（勿論 他の公理も）使って、通常の集合論の記号や用語を組立て”
って話なんだよね
２．で、⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ), ∩ (intersection), and SING(x) (x is a singleton) ・・・
これらは、全部公理じゃない！
３．なぜならば、これらを導く論理式 ψってのは、それぞれ 他の公理から導かれるものだから
だから、くどいが 個々の”これらを導く論理式 ψ”達ってさ、これらは公理じゃないよね？ｗ
（∵ 他の公理から導かれるものは、公理ではない）
４．だったら、置換公理”Axiom 6. Replacement Scheme. For each formula, ψ, without B free,”って、やっぱり1つと数えるべきだと思うぜ
論理式 ψに具体的に、他の公理達（含む Axiom 6）から導かれた ”formula ψ”を適用したものは、これは もう公理として扱うべきでない！
それが、公理主義の真っ当な思想でしょ？！
５．だから、繰返すが 置換公理”Axiom 6. Replacement Scheme. For each formula, ψ, without B free,”は、公理としてはあくまで、具体的な ”formula ψ”を当てはめる前の状態のことで
そう考えて、1つなんだよね！
おれも、頭悪いなぁ～！！ いまごろ気付いたぜ ｗ（＾＾
QEDｗｗ（＾＾；
412:IUT応援団 団員
20/05/10 09:51:38.72 vZYbiwt9.net
>>377
団長、また間違ったんですかｗ
＞だったら、やっぱり1つと数えるべきだと思うぜ
＞論理式 ψに具体的に、他の公理達（含む Axiom 6）から導かれた ”formula ψ”を適用したものは、これは もう公理として扱うべきでない！
Ψは公理とか定理とかでなくていいんですって、
どんな論理式でもいいの
どうして考えると必ず間違うのかな？
いままで、考えたこと一度もないのかな？
考えずに公式覚えて計算して大学合格したの？
それはそれでスゴイな・・・褒めてないけど
413:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 09:52:05 mjl0bfS3.net
>>233
>URLﾘﾝｸ(ja.yourpedia.org)
>宇宙際タイヒミュラー理論 Yourpedia
>・ 同じ
414:言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。 はい、では次にｗ 「ZFCGはZFCの保存的拡大ではない」に行きます まず、保存拡大から、長文ご容赦（＾＾ １．下記 クラス (集合論) ２．”NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。これにより、NBG は ZF の保存拡大となる。” ”MKはZFやNBGより真に強い”（これ、多分 ”保存拡大”ではない） を見ておきましょう （参考） https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96) クラス (集合論) (抜粋) 集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。 例えば、ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。 （どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。 例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 目次 1 例 2 パラドックス 3 公理的集合論におけるクラス つづく
415:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 09:52:48 mjl0bfS3.net
>>378
つづき
例
与えられた型の代数的対象全ての集まりは、たいてい真のクラスをなす。例えば、全ての群からなるクラス、全てのベクトル空間からなるクラス、など。圏論では、対象の集まりが真クラスをなすもの（または射の集まりが真クラスをなすもの）を大きい圏という。
パラドックス
ラッセルのパラドックスなどの素朴集合論のパラドックスは「全てのクラスが集合である」という正しくない仮定によって説明される。厳格な基礎付けの下では、これらはパラドックスなのではなくて、ある種のクラスが真クラスであることの証明を示唆するものであると捉えることができる。
ラッセルのパラドックスは「自分自身に属する集合」全体が真のクラスになることを示唆するし、ブラリ＝フォルティのパラドックスは全ての順序数からなるクラスが真のクラスであることを示唆している。
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできないので、クラスはメタ言語による同値な言明で置き換えることで扱うことになる。
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。しかし、到達不能基数 κ の存在を仮定すれば「それよりランクの小さな集合全体」は ZF のモデル（グロタンディーク宇宙）になり、その部分集合を「クラス」として考えることができる。
別な方法として、ノイマン-ベルナイス-ゲーデルの公理系 (NBG) を例に挙げよう。この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。これにより、NBG は ZF の保存拡大となる。
モース-ケリー集合論 (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。
新基礎集合論 (NF) や半集合の理論のようなほかの集合論でも、「真の類」の概念は意味を成す
(引用終り)
416:IUT応援団 団員
20/05/10 09:54:55 vZYbiwt9.net
例えば分出公理図式でφ（ｘ）に（￢ｘ∈ｘ）って式入れるとするよね
￢ｘ∈ｘは、公理でも定理でもないよ
団長っていきがると必ず恥ずかしい間違いしでかすよね？
417:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 09:55:22 mjl0bfS3.net
>>377
>Ψは公理とか定理とかでなくていいんですって、
>どんな論理式でもいいの
ここだけ
違うよ
Ψは、あくまで、（例えばZFCなら）9つの公理から組み立てられる論理式
に限られるよ
それが、公理主義です
小学校で習うよ
まだ習ってない？ やっぱり５歳の限界だな～ｗ（＾＾
418:IUT応援団 団員
20/05/10 09:57:39 vZYbiwt9.net
>>381
＞ここだけ
＞違うよ
＞Ψは、あくまで、（例えばZFCなら）9つの公理から組み立てられる論理式
に限られるよ
＞それが、公理主義です
いや、間違ってるよ 公理主義から誤解してるｗ
>>380で実例示したよ ￢（ｘ∈ｘ）は公理でも定理でもないって
もうどうして間違った思い込みするんだろ
日本語読めないのかな？
419:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 10:03:08 mjl0bfS3.net
>>378
補足 英文 Class (set theory) wikipedia
URLﾘﾝｸ(en.wikipedia.org)(set_theory)
Class (set theory)
(抜粋)
Examples
The collection of all algebraic structures of a given type will usually be a proper class. Examples include the class of all groups, the class of all vector spaces, and many others. I
n category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.
Classes in formal set theories
Another approach is taken by the von Neumann?Bernays?Godel axioms (NBG); classes are the basic objects in this theory, and a set is then defined to be a class that is an element of some other class.
However, the class existence axioms of NBG are restricted so that they only quantify over sets, rather than over all classes.
This causes NBG to be a conservative extension of ZF.
(引用終り)
420:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 10:07:29 mjl0bfS3.net
>>382
(引用開始)
>>380で実例示したよ ￢（ｘ∈ｘ）は公理でも定理でもないって
もうどうして間違った思い込みするんだろ
日本語読めないのかな？
(引用終り)
はいはい、ぼくちゃん、基礎論ごっこ楽しい？
小学校へ行こうね
小学校で、公理主義教えてくれるよ
公理主義では、全てが公理から組み立てられるんだ
Kenneth Kunen先生のPDFを2つ挙げておいたから、しっかりお勉強しましょうね
？ 英語まだ習ってない? 藤田 博司 (翻訳)の訳本があるから見てね （これ定評があるみたいだね（＾＾）
421:現代数学の系譜 雑談
20/05/10 10:23:13.23 mjl0bfS3.net
>>383
>However, the class existence axioms of NBG are restricted so that they only quantify over sets, rather than over all classes.
>This causes NBG to be a conservative extension of ZF.
つづき
ここ、実は ”conservative extension”にリンクが張ってあって、下記に飛べます（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Conservative extension
(抜粋)
In mathematical logic, a conservative extension is a supertheory of a theory which is often convenient for proving theorems, but proves no new theorems about the language of the original theory.
Similarly, a non-conservative extension is a supertheory which is not conservative, and can prove more theorems than the original.
Contents
1 Examples
2 Model-theoretic conservative extension
(引用終り)
要は（＾＾
conservative extension：often convenient for proving theorems, but proves no new theorems about the language of the original theory
non-conservative extension：can prove more theorems than the original
ってこと
ZFCに対し、NBGは conservativeで、ZFCGは non-conservative です
（参考：本スレより転載）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:606番)
(抜粋)
606 名前：１３２人目の素数さん[] 投稿日：2020/05/09(土) 17:57:38.91 ID:/BYRDNlz
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
と書いてガゼで主張しただけだよ。
IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。
concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”
(引用終り)
422:現代数学の系譜 雑談
20/05/10 10:36:56.83 mjl0bfS3.net
>>383
まず訂正
I
n category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.
↓
In category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.
さて、なぜZFCGか？
category theory（圏論）を使うから～！（チコちゃん）
G：グロタンディークのG です
「正標数体上の数論幾何や、非可換環が「図形」を表していると考える非可換幾何などの非標準的な「幾何学」は、幾何学的な関手の構成可能性をもってそう名乗っている、という側面もある。」
そして、IUTも当然、この流れ。IUTの「幾何」は、下記の圏論の意味の幾何なのです（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
圏論
(抜粋)
歴史
集合論に基づく定式化では不十分だった代数幾何学の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
他の分野への影響
代数的位相幾何学では空間の連続写像そのものよりも、そのホモトピー類を考えたほうがよいことがある。これは対応する圏を「変形」してホモトピー類を射として採用することにより圏論的に定式化できる。そこで、複体の射や位相線形環の準同型についてもこのような圏の変形を見いだし理解することが 20 世紀後半におけるほかの種類の「幾何学」の大きな問題意識となった。
20 世紀の半ば以降アレクサンドル・グロタンディークらによって代数幾何学の圏論的な定式化が追求された。
正標数体上の数論幾何や、非可換環が「図形」を表していると考える非可換幾何などの非標準的な「幾何学」は、幾何学的な関手の構成可能性をもってそう名乗っている、という側面もある。
(引用終り)
423:IUT応援団 団員
20/05/10 10:46:40 vZYbiwt9.net
>>384
＞はいはい、ぼくちゃん、基礎論ごっこ楽しい？
＞小学校へ行こうね
＞小学校で、公理主義教えてくれるよ
団長～、また拗ねちゃったんですか
小学校で公理主義なんか教えないですよ
だいたい、団長の公理主義、￢（ｘ∈ｘ）で粉砕されちゃったじゃないですかｗ
｛ｘ｜ｘ∈{}＆￢（ｘ∈ｘ）｝は存在しますよ
{}ですけどね そして{}は{}の要素でないから矛盾はない
｛ｘ｜ｘ∈{{}}＆￢（ｘ∈ｘ）｝も存在しますよ
{{}}ですけどね そして{{}}は{{}}の要素でないから矛盾はない
｛ｘ｜ｘ∈{{},{{}}}＆￢（ｘ∈ｘ）｝も存在しますよ
{{},{{}}}ですけどね そして{{},{{}}}は{{},{{}}}の要素でないから矛盾はない
なんで
「{x｜x∈s＆Ψ(x)}のΨ(x)は公理もしくは定理だ！それが公理主義だ！」
とウソ公理主義妄想して、ウソ発言してるんですか？
脳味噌の中、妄想だらけなんですか？
精神科で診てもらったほうが良くないですか？
424:IUT応援団 団員
20/05/10 10:51:01 vZYbiwt9.net
過去の書き込みを見ると、団長は日曜の朝 自爆する確率が高いんですよ
自重して「わけもわからず上からマウント」の癖を控えないと
URLﾘﾝｸ(www.youtube.com)
425:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 10:56:46 mjl0bfS3.net
>>386
>>386 追加
受け売りというか、単なるコピペです
要するに、圏論では、しばしば集合論は狭すぎるのです
あと、下記「空間を圏で表す」も、上記”非標準的な「幾何学」”と類似ですが、見ておいてね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
圏 (数学)
(抜粋)
数学の一分野である圏論において中核的な概念を成す圏（けん、英: category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる
圏の大きさ
圏 C が小さい (small) とは、対象の類 ob(C) および射の類 hom(C) がともに集合となる（つまり真の類でない）ときに言い、さもなくば大きい (large) と言う。
射の類が集合とならずとも、任意の二対象 a, b ∈ ob(C) をとるごとに、射の類 hom(a, b) が集合となるならば（hom(a, b) を射集合、ホム集合などと呼び）、その圏は局所的に小さい (locally small) と言う[3]。集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。
文献によっては、局所的に小さい圏のみを扱い、それを単に圏と呼ぶ場合もある[4][5]。
例
位相空間の圏 Top 全ての位相空間 全ての連続写像 写像の合成 大きい
2-圏 小さい圏の圏 Cat 全ての小さい圏 すべての函手 函手の合成 大きい 自然変換も考えると2-圏（英語版）の例となる
つづく
426:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 10:58:22 mjl0bfS3.net
>>389
つづき
高次圏
圏が与えられているとき、そこからより複雑な高次圏を考えることができる。簡潔には、2 つの対象の間の射を「一方の対象からもう一方への対応関係」とみなすならば、これを高次圏において「高次の対応関係」を考慮することで、より有益な一般化が可能となる。
2-圏は「射の間の射」、つまり、ある射を別の射に変換する対応関係によって得られる圏である。これらの「2-射」 は水平・垂直に「合成」することができ、かかる 2 つの合成則においては 2 次元の「交換則」が成り立つ。
この最も標準的な例は Cat、つまり全ての（小さな）圏から成る 2-圏であり、この例において、射には関手が、2-射には、関手の自然変換が当てはまる。もう 1 つの基本的な例としては、対象 1 つから成る 2-圏である?これは(狭義)モノイド圏である。
この手法を任意の自然数 n で拡張し、n-圏（n-category、n 次圏）を定義することができる。さらに順序数 ω に対する ω-category と呼ばれる高次圏もある。
空間を圏で表す
(O, ?) が順序集合のとき、これを次のような圏 CO と同一視することができる：obj(CO) = O とし、p, q ∈ O = obj(CO) について p ? q のとき、およびそのときに限り p から q への射がただ 1 つ存在する、として CO における射を定める。
ここで順序関係の推移律が射の合成に、反射律が恒等射に対応している。特に位相空間 X に対してその開集合系 O(X) を圏と見なすことができる。
G が群のとき、対象 Y ただ 1 つからなり、Hom (Y, Y) ≡ G であるような圏を G と同一視することができる。また、位相空間の基本亜群や「被覆」のホロノミー亜群など、様々な亜群による幾何学的な情報の定式化が得られている。
これらは様々な種類の数学的対象を圏によって言い換えていることになる。層やトポスの概念によってこれらを共通の文脈の中におくことが可能になる。
歴史
アレクサンドル・グロタンディークらによるホモロジー・コホモロジー理論を圏論に基づいて定式化する試みの中で、アーベル圏・三角圏など、関手を計算するうえで期待される重要な性質を持つクラスの圏が公理化されていった。
一方、ガロア理論の圏論化を通じ、群が作用する集合の圏と通常の位相空間を圏論の枠組みで包括的にとらえるようなトポスの概念が得られた。
(引用終り)
427:１３２人目の素数さん
20/05/10 10:59:48 JcyWczgJ.net
ZFCはもういいわ。まだやってんのか。
428:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 11:01:01 mjl0bfS3.net
>>387-388
チコちゃん、５歳児なのに、えらいね～（＾＾
え？ 57歳なの？ 公理主義しらないの？
公理主義では、公理以外は使っちゃ だめだめ！！
もう一度小学校で、公理主義 お勉強しましょうねｗｗ（＾＾；
429:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 11:02:29 mjl0bfS3.net
>>391
ZFCGの non-conservative extension の話だよ
それは、まだこれからなんだ（＾＾；
430:IUT応援団 団員
20/05/10 11:07:00 vZYbiwt9.net
>>392
＞公理主義では、公理以外は使っちゃ だめだめ！！
＞もう一度小学校で、公理主義 お勉強しましょうねｗｗ
団長～、無駄に暴れるからどんどん深みにはまってますよ
💩溜めで溺死なんてカッコ悪いですよｗ
そもそも公理を生成する公理図式ですから、
団長が考える公理主義以前ですよ
Ψ(x)なんて、述語になってればなんだっていいんですよ
ここで、公理とか定理でなければならないっ、と思う時点で
完全に自爆野郎💩チームですよ やだなあもう
ついでにいうと５７歳ではありません
団長は６０歳過ぎてるんですよね？
なんで、いまさらいきがるかなあ
もう終活始める時期なのに
奥さんとお子さんからいわれません？
いい加減 齢考えろ、って
431:IUT応援団 団員
20/05/10 11:13:15 vZYbiwt9.net
ところで団長がいきがって使ってる「公理主義」って言葉
日本でしか使ってないって知ってました？
URLﾘﾝｸ(www.shayashi.jp)
432:IUT応援団 団員
20/05/10 11:22:46 vZYbiwt9.net
団長、本日の自爆発言
>>376
＞置換公理”Axiom 6. Replacement Scheme. For each formula, ψ, without B free,”は、
＞公理としてはあくまで、具体的な ”formula ψ”を当てはめる前の状態のことで
＞そう考えて、1つなんだよね！
団長は、一階述語論理の演繹体系とか知らないド素人だから無理もないけど
具体的な ”formula ψ”を当てはめなかったら集合論の定理の演繹なんかできませんよ
数セミ記事の件では、確率論知らないのに
「確率論勉強したら誤りと気づいて当たり前」
とか発言して自爆したけど、今度も論理学知らないのに
「論理学勉強したら置換公理は１つと考えて当たり前」
とか発言して自爆しちゃうんだろうなあ
なんで勉強しないのにした気になっちゃうんだろ？
433:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 11:23:07 mjl0bfS3.net
>>390
>歴史
>アレクサンドル・グロタンディーク
追加
（圏論 グロタンディーク宇宙：公理系ZFCG ）
URLﾘﾝｸ(qiita.com)
Qiita
niiku-y 2019年09月30日に更新
集合論メモ
定義 (小さい集合)
ユニバース UU の要素となっている集合を、小さい集合と呼ぶ。これは、公理的集合論を習うときに出てくるような、いわゆる普通の集合と思えばよさそうである。
定義 (クラス)
Universe UU の任意の部分集合をクラスと呼ぶ。
小さな集合はクラスだが、小さな集合ではないクラスもある。これを真のクラスという。
圏論と公理系の関連
圏論では、公理としてuniverseというものの存在を仮定して圏を定義することがある。
このuniverseは大きすぎない集合の範囲で圏論を展開するために導入しており、（したがってフォンノイマン宇宙ではなく）グロタンディーク宇宙を想定している。
だが、このグロタンディーク宇宙の存在は強到達不能基数の存在と同値であることが示されており、かつこの基数の存在はZFCからは証明できないことも示されている。したがって、公理系 ZFC からはこの宇宙の存在を証明できない。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。これは上記の上部構造に類似している。
グロタンディーク宇宙の利点は、それが実際の集合であって固有類ではないことである。グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである。
つづく
434:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 11:24:20 mjl0bfS3.net
>>397
つづき
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。
対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている。すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。
すると通常の集合論の独立変数が、すべての圏の圏に適用される。さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。" この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。
つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。
つづく
435:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 11:24:44 mjl0bfS3.net
>>398
つづき
強到達不能基数 κ が存在するとする。集合 S は任意の列 sn ∈・・・∈ s0 ∈ S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
到達不能基数 κ が存在する。u(κ) を前項の宇宙とする。x は型 κ であり、x ∈ u(κ)。宇宙の公理 (U) から巨大基数の公理 (C) が導かれることを示すために κ を基数とする。κ は集合なのでグロタンディーク宇宙 U の元である。U の濃度は κ より大きな強到達不能基数となる。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
グロタンディーク宇宙 U に対して、|U| は零、アレフ0、もしくは強到達不能基数のいずれかとなる。また、κ が零、アレフ0、もしくは強到達不能基数ならば、グロタンディーク宇宙 u(κ) が存在する。さらに、u(|U|) = U かつ |u(κ)| = κ となる。
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
(引用終り)
以上
436:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/10 11:33:44 mjl0bfS3.net
>>378
「ZFCGはZFCの保存的拡大ではない」に行きます
（>>385より）
（参考：本スレより転載）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:606番)
(抜粋)
606 名前：１３２人目の素数さん[] 投稿日：2020/05/09(土) 17:57:38.91 ID:/BYRDNlz
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
と書いてガゼで主張しただけだよ。
IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。
concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”
(引用終り)
要するに
１．>>399に示したように、ZFCGは グロタンディーク宇宙を導くための公理系でりまして
２．大きすぎない集合の範囲で圏論を展開するために導入した（>>397）ってことなので
３．グロタンディーク宇宙は、「公理系 ZFC からはこの宇宙の存在を証明できない」（>>397）
４．したがって、ZFCGは ZFCの保存拡大ではない！（non-conservative extension）
QEDｗ（＾＾