圏論信者VS基礎論信者VS数学者
レス数が900を超えています。1000を超えると表示できなくなるよ。
0930132人目の素数さん
2011/09/22(木) 02:19:09.33>なるべくモデル理論から離れた集合論の例をだすべきなのに、それが出せない
射影決定性の論文はモデル理論に近いってか?
これがモデル理論っていうのなら集合論の論文の9割以上はモデル理論だぜ。
(そもそも集合論ってのは、集合論のモデルの理論なんだから。)
とするとモデル理論がマトモで集合論がダメだっていう君の主張はナンセンス。
論点をすり替えたいのかも知らんが、
集合論の論文でもあるものを集合論ではないと決め付けてしまった以上、
君が基礎論の現状を「ちゃんと分かってる」わけじゃないことは判明したのだよ。
レス数が900を超えています。1000を超えると表示できなくなるよ。