Each computable function has an infinite number of different program representations in a given programming language.
Cada función computable tiene un número infinito de representaciones en cierto lenguaje de programación.
Lambda calculus is universal in the sense that any computable function can be expressed and evaluated using this formalism.
El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él.
It states that three ways of combining programs-sequencing, selection, and iteration-are sufficient to express any computable function.
Señala que la combinación de las tres estructuras básicas, secuencia, selección e iteración, son suficientes para expresar cualquier función computable.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable.
Antes de la definición precisa de una función computable los matemáticos usaban el término informal efectivamente computable.
In computational complexity theory, the problem of determining the complexity of a computable function is known as a function problem.
En teoría de la complejidad computacional, el problema de determinar la complejidad de una función computable es conocido como un problema de funciones.
It is perhaps astonishing that S and K can be composed to produce combinators that are extensionally equal to any lambda term, and therefore, by Church's thesis, to any computable function whatsoever.
Es, quizás, un hecho asombroso que S y K se puedan componer para producir los combinadores que son extensionalmente iguales a cualquier término lambda, y por lo tanto, por la tesis de Church, a cualquier función computable.
S and K can be composed to produce combinators that are extensionally equal to any lambda term, and therefore, by Church's thesis, to any computable function whatsoever.
Es, quizás, un hecho asombroso que S y K se puedan componer para producir los combinadores que son extensionalmente iguales a cualquier término lambda, y por lo tanto, por la tesis de Church, a cualquier función computable.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable to describe functions that are computable by paper-and-pencil methods.
Tales funciones pueden ser llamadas A-computable o f-computable respectivamente. Antes de la definición precisa de una función computable los matemáticos usaban el término informal efectivamente computable.
Nowadays these are often considered as a single hypothesis, the Church-Turing thesis, which states that any function that is computable by an algorithm is a computable function.
Hoy en día ambos se consideran como una única hipótesis, la Tesis de Church-Turing, la cual establece que cualquier función que sea computable por un cierto algoritmo es una función computable.
An abstract version of the universal Turing machine is the universal function, a computable function which can be used to calculate any other computable function.
Una versión abstracta de la máquina universal de Turing es la función universal, una función computable que puede ser usada para calcular cualquier otra función computable.
This argument provides a total computable function that is not primitive recursive.
Lambda calculus can be used to define what is a computable function.
Puede ser usado para definir de manera limpia y precisa qué es una "función computable".
Every computable function is arithmetically definable.