Computability Boundary

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The frontier that separates decision problems, functions, or language fragments that admit effective algorithmic solutions from those that do not, relative to a specified formal model of computation and a stated notion of effectivity.