In computability theory, a semicomputable function is a partial function f : Q → R {\displaystyle f:\mathbb {Q} \rightarrow \mathbb {R} } that can be...

Arithmetical hierarchy Hypercomputation Super-recursive algorithm Semicomputable function Enderton, Herbert (2002). A Mathematical Introduction to Logic...

of the function. Also semicomputable function; primitive recursive function; partial recursive function. In general, functions are often defined by specifying...

such as the iRRAM package. Constructible number Definable number Semicomputable function Transcomputational problem Mazur, Stanisław (1963). Grzegorczyk...

Elsevier (1999), pp363–447. J V Tucker and J I Zucker, Computable functions and semicomputable sets on many sorted algebras, in S Abramsky, D Gabbay and T Maibaum...

for a metric distance measure. However, it is not computable or even semicomputable. While the NID metric is not computable, it has an abundance of applications...