[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
234(1): 2020/05/08(金)08:16 ID:enp/+yz7(1/20) AAS
>>232
2.3と2.6がAxiom schemaと書いてあるのが読めますね
実はこれは一つの式ではありません
式を一度でも自分の目で見たなら必ず分かることですが
任意の特性Φを挿入する箇所があるので、式の数でいうなら
無数の公理があることになります
（つまり９つとか１０とか云ってる人は
省1
237(1): 2020/05/08(金)10:27 ID:enp/+yz7(2/20) AAS
>>236
>”axiom”を１個と数えれば
１つのaxiom schema＝１つのaxiom ではありません
240(1): 2020/05/08(金)10:57 ID:enp/+yz7(3/20) AAS
>>239
＞私は、[Drk]に何を書いてあるかは知らない
じゃ、調べたら？
もし、nine axiomsと書いてあったとしても、厳密には誤りだけど
ZFCの公理が有限個だったら、そもそも可算推移モデルなんて考えなくていい
外部ﾘﾝｸ:ja.wikipedia.org
省3
243(1): 2020/05/08(金)11:16 ID:enp/+yz7(4/20) AAS
一般人（すなわち数学科出身者以外の人）向けの
「グッドマス ギークのための数・論理・計算機科学」
という本の中でZFCの公理について説明しているが
例えば2.3の分出公理は分出メタ公理として紹介している
そのくだり
「∀A∃B∀C.C∈B⇔C∈A∧P(C)
これを１つの公理でいいたいところなのですが、残念ながら言えません。
省6
244(1): 2020/05/08(金)11:21 ID:enp/+yz7(5/20) AAS
望月氏が集合論について、素人のqXGvfbUVと同レベルの認識でしかない
という時点で、”simulate ∈-loops”というのが実に危なっかしいと言われても
仕方ないと思う
247: 2020/05/08(金)11:53 ID:enp/+yz7(6/20) AAS
>>246
＞置換公理 あるいは 分出公理 を ”一つの公理”とすることには、反対しない
それは望月を”信仰”しているから？
＞最初から、９個がダメとか言い出したら、
＞それ 「分かり易い説明」としては、失敗していると思う
わかりやすい嘘をいうのは失敗
「と思う」も要らない
248: 2020/05/08(金)11:56 ID:enp/+yz7(7/20) AAS
>>246
あと、コピペは不要
直さないならコピペしないほうがいい
無益なだけでなく有害だから
249(2): 2020/05/08(金)12:00 ID:enp/+yz7(8/20) AAS
qXGvfbUVへ
このスレに書かれてた「上から目線の人」の話が面白かったので紹介する
熟読したほうがいいよ
2chｽﾚ:math
263(1): 2020/05/08(金)14:38 ID:enp/+yz7(9/20) AAS
>>256
あ~あ、結局「上から目線」に逆もどりですか
どうして素人のくせに玄人ぶってマウントしたがるのかな
♪上からセタ君 イディオティックな変態
アホの踏み絵みたい マジボケ
何でいきなり 何で間違える
君は本気なのか jokeなのか
264: 2020/05/08(金)14:49 ID:enp/+yz7(10/20) AAS
「マウントをとる」の意味とは？マウンティングする人の心理＆特徴を解説
外部ﾘﾝｸ:smartlog.jp
なんかどっかでみたことあるなと思ったら
上から目線な人の話し方や性格の特徴とは。上から目線を改善する方法を大公開！
外部ﾘﾝｸ:smartlog.jp
これとそっくり
書いてる人の名前は違ってるけど・・・同じ人か？それともパクリかな
269(1): 2020/05/08(金)15:04 ID:enp/+yz7(11/20) AAS
>>266
19歳でプリンストン大卒 23歳でPh.D
しかし、アメリカの大学のポストは得られず
フィールズ賞もとれず
ショルツはPh.Dとった24歳でいきなり教授
しかも博士論文でフィールズ賞(受賞時31歳)
望月、こりゃショルツ恨んでるね ちっちゃい奴！
272: 2020/05/08(金)15:11 ID:enp/+yz7(12/20) AAS
>>270
単にあのスレッドの内容に共感しただけですけど
同じ考えの人は少なくないんじゃないかな
ところで・・・「箱入り無数目」は理解できたの？
282: 2020/05/08(金)16:23 ID:enp/+yz7(13/20) AAS
望月は、欅坂４６の「サイレントマジョリティ」の歌詞が
IUTを考案した自分の心情と合致しているとブログに書いてるが
ショルツがIUT論文を見たときの心情を歌の歌詞にたとえるなら
・・・これか
外部ﾘﾝｸ:www.uta-net.com
YAVA
動画ﾘﾝｸ[YouTube]
292(1): 2020/05/08(金)18:52 ID:enp/+yz7(14/20) AAS
>>285
＞数学ディベートやるか？
ミスターマウント 粋がってますね
293: 2020/05/08(金)18:54 ID:enp/+yz7(15/20) AAS
t31dz+7Kはミスターマウント２世か
294: 2020/05/08(金)19:08 ID:enp/+yz7(16/20) AAS
ミスターマウントの傾向と対策
外部ﾘﾝｸ:smartlog.jp
マウントをとる心理1. 自分が正しいと思い込んでいる
マウントをとる心理2. 他人に認められたい
マウントをとる心理3. いつでも自分が優れていたい
マウントをとる心理4. 不幸せな自分を自分で認めたくない
性格1. 自分勝手で人の気持ちを考えられない
省17
302: 2020/05/08(金)20:51 ID:enp/+yz7(17/20) AAS
>>300
＞それが本来でしょ？
ディベートが？
ああ、あなた、モノノフでしょ？
外部ﾘﾝｸ:www.dailymotion.com
303(1): 2020/05/08(金)21:04 ID:enp/+yz7(18/20) AAS
>>301
学会が世話することじゃない
305: 2020/05/08(金)22:26 ID:enp/+yz7(19/20) AAS
シロクロは勝手につく
数学会がやることじゃない
308: 2020/05/08(金)23:21 ID:enp/+yz7(20/20) AAS
>>306
数が数えられない人がなんか言っとる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s