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...

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...

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...