[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
283: 2019/11/21(木)07:28 ID:c9ubocMO(1/8) AAS
2chｽﾚ:math
◆e.a0E5TtKE、失った面目をIUTで取り返そうと必死の足掻き
284(2): 2019/11/21(木)07:37 ID:c9ubocMO(2/8) AAS
>>282
数学に興味があるといいながら、全然勉強してないのは
要するにウソツキってことですよ ウソツキはいいことかな？
＞体と群と写像が何となくわかってればそんなに間違ってるわけでもないし
え？本気でそんな寝言いってますか？
2chｽﾚ:math
「１の5乗根の原始根 ζ5を添加する拡大から、位数5の巡回群が出る」
省14
285: 2019/11/21(木)07:40 ID:c9ubocMO(3/8) AAS
>>279-280
何年たっても何も勉強せずに初歩的誤りを繰り返し絶叫する人相手なら
どんな「いい人」もブチ切れますよ
数学書をウマに食わせるほど買い込んだ人が
「{}∈{{}}、{{}}∈{{{}}} だから {}∈{{{}}}」
っていうってどういうことよ？って聞きたいですよ マジで
289: 2019/11/21(木)17:25 ID:c9ubocMO(4/8) AAS
2chｽﾚ:math
数学が分からん馬鹿が今度はCoqに食いついたかｗ
IUTをCoqで検証したらいい
IUTの”公理系”から矛盾が導かれるとか
corollary 3.12の反例の存在が示されるとかすれば
検証の役に立った、といえる
（はなから証明できてると思ってないｗ）
291(1): 2019/11/21(木)18:23 ID:c9ubocMO(5/8) AAS
>>290
＞妙に自信満々なのが反感買う
その通りｗ
◆e.a0E5TtKEがダメなのは自分が分かってないことに気づかない点
何一つ質問しないのは、要するに全然分かってない上に、その自覚すらないから
普通の人なら、わかりもしないことを
自慢げにコピペする恥ずかしいことなんか
省11
295: 2019/11/21(木)18:55 ID:c9ubocMO(6/8) AAS
>>293
>HoTT
ホモトピー型理論ですね
名前だけは知ってます
中身はちっとも知りませんｗ
296: 2019/11/21(木)18:58 ID:c9ubocMO(7/8) AAS
>>294
いままでさんざん初歩的誤解しまくって
しかもそれがいじられまくってる状況じゃ
どう取り繕ったって無駄だよ無駄
HNやめたって馬鹿は治らないからすぐバレる
もう数学板に書き込むのやめるしかないんだが
ネットジャンキーだから無理
省1
298: 2019/11/21(木)19:06 ID:c9ubocMO(8/8) AAS
>>297
あれは人一倍自惚れ屋だから
数セミの記事が間違ってると何年も発●してたし
正真正銘の気●いなのは間違いない
strange atomosphereってやつだなｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s