数学基礎論スレのスレタイを決めるスレ
■ このスレッドは過去ログ倉庫に格納されています
0554猫 ◆MuKUnGPXAY
2011/11/16(水) 21:52:15.21はあ、なるほど。やはりそういう基本的かつ標準的な文献なり参照するべきも
のがきちんとしてるのは非常に大切ですよね。そういう意味だと(純粋)数学
の場合はまだまだ部外者には極めて不親切なのは残念ながら否めないと私は思
います。
所でしつこくて悪いんですが、先だってのTCSに関して、概ねはどういう範囲の
研究領域なのかを再度レヴューして戴ければ幸いなのですが。例えば数理論理
学との関係とかだけではなくて、例えばゲームの理論(チューリング完全性の
議論を問題にしたりしますよね)とか、或いは同様の議論が計算機言語に関し
ても問題にされているのは見た事があるので。
敬具
猫拝
■ このスレッドは過去ログ倉庫に格納されています