computability theory

Noun

uncountable

Japanese Meaning

再帰理論 / 計算可能性理論

In the seminar, we explored computability theory to determine which decision problems are algorithmically solvable.

ゼミでは、どの決定問題がアルゴリズム的に解けるかを明らかにするために再帰理論を探求しました。

Sense（1）

(logic) Recursion theory.

Sense（2）

(computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.