数学基礎論・数理論理学　その14

762 名前：１３２人目の素数さん mailto:sage [2014/04/20(日) 22:35:32.06 ] >>752 > なんで？専攻範囲以外は必要最低限にとどめたいというのは当たり前でしょ？ > たとえば、日本経済史の研究で経済学博士を取りたい場合、ミクロ経済学の知識は学部レベルですらいらないよね。 > それと同じようなこと。 全然違う。 今でも日本だけが数学基礎論って時代遅れで哲学っぽい（裏を返せば数学っぽくない）呼び方をしてるが 世界中での常識的な呼び方としてのMathematical Logicつまり数理論理学は 論理学で現れる諸概念を研究の題材としてるだけで道具立ても手法も 代数学や幾何学などの通常の数学とほとんど何も変わらない。 それらの道具を適用する対象が違うだけ。 だから現代において数理論理学で良い仕事をしようとすれば現代数学のさまざまな道具を身に着けておくのが不可欠。 時代遅れの哲厨くずれな人間が基礎論屋を気取って棲息する余地なんてのは現代の高度に技術化され抽象化された 数理論理学には残ってないんだよ。 日本から数理論理学で良い仕事が出ない理由は相も変わらず「数学基礎論」なんて哲厨な名前を有難がってるから。 海外で数理論理学の教科書のタイトルに"Foundations of Mathematics"なんてのを使って出版するなんてのは今や有り得ない.。 日本だけだよ、「基礎論」とか"Foundations"って言葉を今でも素人ファンじゃなくてプロの数理論理学屋が有難がって使うのは。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef