Non-Trivial Function Property

computation

Definition

Non-Trivial Function Property

Let ${\mathrm{Comp}}_{\tau }$ be the set of (partial) computable functions of type $\tau$.

A function property $P$ is non-trivial iff it is true for some $f\in {\mathrm{Comp}}_{\tau }$ and false for some $g\in {\mathrm{Comp}}_{\tau }$.