Desde http://en.wikipedia.org/wiki/Semicomputable_function tenemos:
"Si una función parcial es semicomputable superior e inferior se llama computable".
¿Es el mismo tipo de "función (parcial) computable" que se define aquí? http://en.wikipedia.org/wiki/Computable_function
Si es así, ¿puede aportar una prueba?
Si no es así, ¿hay alguna forma directa de que estén relacionados?
Las funciones semicomputables que se describen son funciones de $\mathbb{Q}$ a $\mathbb{R}$ . Se trata de un tipo de función totalmente diferente a las funciones de $\mathbb{N}$ a $\mathbb{N}$ . Por lo tanto, las dos nociones de "computabilidad" no son iguales, porque se refieren a diferentes tipos de objetos.
Están relacionados, por supuesto, en que ambos utilizan máquinas de Turing de alguna manera. Pero es muy diferente utilizar una máquina de Turing para calcular un número natural que utilizar una máquina de Turing para calcular un número real.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
