Decidable

Decidable

A set $A\subset {\mathbb{N}}^k$is decidable if its characteristic function ${\chi }_A:{\mathbb{N}}^k\to \mathbb{N}$ is computable.