07/12/29 12:55:57
ふま、現る。速攻、消されたがｗ
＞かもさん、お久しぶりです。エントリーの流れとは外れますが、ゲーデル以後の数理論理学は、「普通の数学」としてのモデル理論が主流ですよね。
＞そういう意味で、濫用系の人たちは認識論的な興味にあまりにも偏りすぎて、何やら別物を勝手に期待されるかたが多いように思いますね。
by 比ヤング at 2007/12/29 2:01:45
URLﾘﾝｸ(s04.megalodon.jp)
07/12/29 12:55:57
ふま、現る。速攻、消されたがｗ
＞かもさん、お久しぶりです。エントリーの流れとは外れますが、ゲーデル以後の数理論理学は、「普通の数学」としてのモデル理論が主流ですよね。
＞そういう意味で、濫用系の人たちは認識論的な興味にあまりにも偏りすぎて、何やら別物を勝手に期待されるかたが多いように思いますね。
by 比ヤング at 2007/12/29 2:01:45
URLﾘﾝｸ(s04.megalodon.jp)