>>554
理論に制限するならば
計算クラス(これが計算量複雑性と呼ばれる重要な課題)と
計算モデル(λ計算が代表例)と数理論理学(証明機械やプログラミング言語)。
ゲーム理論自体は詳しくない。
計算量クラスで題材として使われることはあると思う。
ゲーム・セマンティクスみたいな形式論理のモデルとしても結構見かける。
>>556
意見が分かれる。
再帰的クラス全体とほぼ同義と考える。
>>557
数学としては難しくないだろう。
それを言ったら数学以外のほとんどが高校から学部で標準的にやれるくらいのもの。
>>558
と言っても哲学に関連するのは半分ほど。
実用的じゃないからという意味でphilosophical を使っている感じ。