数学基礎論・数理論理学 その10at MATH数学基礎論・数理論理学 その10 - 暇つぶし2ch166:153 11/11/03 17:14:05.37 RCA0とWKL0の違いはチューリングマシンの違いですね。 確かに次数やクラスは1つの視点ですね。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch