[過去ログ] Inter-universal geometry と ABC予想 33 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
152
(1): 2018/10/15(月)12:32 ID:PVSgh7N1(3/10) AAS
>>148
お互いやれやれですねw
数学的にかなり価値のある関連ネタもあるんだけど、さすがにそういうことをここで書く気はなくなった
どうせ最終的にアンテナを張った人には届くしね
156
(2): 2018/10/15(月)12:51 ID:M6+8Ql35(3/9) AAS
>>152
いやいや、お疲れさまです(笑)
俺は元々IUTTは趣味というより息抜きでしかないから、このスレもボケーっと見ているだけだし

上で選択公理のことを書いている人がいるけど、“axiom of choice”でZFCのCの頭文字であることぐらいわかってるのかな?w
IUTTで問題になりそうなのは、ZFCG(or ZFCU、GやUはグロタンディーク宇宙)の操作であり、Y氏らもこの辺を気にしている様子がある
Kimやカテゴリストのロバーツらがこの辺を解説してくれると思っているんだが・・・
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.028s