例の１名と煽りとが騒いでたので放置プレイしていたのですが、やっと落ち着きましたか。

>>438
それならば、以後のスレタイは単なる「数理論理学 No.ｎｎ」でなくて「数理論理学・理論計算機科学 No.ｎｎ」にしますか？
少なくとも現代においての数理論理学は、数学基礎論よりは理論計算機科学との関連の方が現実として遥かに大きいのは確かですから。
個人的にはそれでも良いと思いますが、他の方々の意見を伺いたい。

ともかく、数理論理学と数学基礎論とはスレを分けるという方針については例の１名以外の方々は賛成という事でよろしいですね。