計算能力についてのメモ。間違ってるかもしれないけど。計算能力の高い順で並べてみた。 部分帰納的関数(partial recursive function) = チューリング機械(Turing machine) 多相λ計算(polymorphic lambda calculus, System F) ゲーデルの体系(T) 原…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。