数学基礎論・数理論理学 その9
■ このスレッドは過去ログ倉庫に格納されています
0700132人目の素数さん
2011/10/25(火) 06:07:28.86モデル理論が一つの分野として他のロジックの分野から分化する前のものだろ。
一つの分野として確立されてから生み出されてきた手法が使われてる例なんてあるか?
Morley rank が非古典論理で使われるか?安定性が非古典論理に出てくるか?
「モデル論的手法」という名前が付くから「モデル理論」で生み出されたなんて勘違いするなんて
これぞ正に素人らしい珍説だなw
■ このスレッドは過去ログ倉庫に格納されています