Tradução de "computável" para o idioma inglês:
Dicionário Português-Inglês
Computável - tradução :
Exemplos (Fontes externas, não revisadas)
| Uma versão abstrada da máquina de Turing universal é a função universal, uma função computável que pode ser usada para calcular qualquer outra função computável. | 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. |
| Se essa função é computável então o problema de decisão associado é decidível. | If this function is computable then the associated decision problem is decidable. |
| As questões básicas envolvidas na teoria da recursão são O que significa para uma funcão(N N) ser computável? | The basic questions addressed by recursion theory are What does it mean for a function on the natural numbers to be computable? |
| Para estabelecer que uma função é computável usando uma máquina de Turing, normalmente é considerado suficiente dar uma descrição informal de como a função pode ser efetivamente computada, e então concluir De acordo com a tese de Church Turing que a função é Turing computável. | To establish that a function is computable by Turing machine, it is usually considered sufficient to give an informal English description of how the function can be effectively computed, and then conclude By the Church Turing thesis that the function is Turing computable (equivalently partial recursive). |
| Church provou que não existe algoritmo (função computável) que decide para duas expressões do cálculo λ se elas são equivalentes ou não. | Church proved that there is no computable function which decides for two given λ calculus expressions whether they are equivalent or not. |
| Tal problema é dito ser indecidível se não houver uma função computável que responde corretamente todas as questões do conjunto (veja problema indecidível). | Such a problem is said to be undecidable if there is no computable function that correctly answers every question in the problem set (see undecidable problem). |
| Turing descreveu essa construção detalhadamente no seu artigo em 1936 É possível criar uma máquina que pode ser usada para computar qualquer sequência computável. | Turing described such a construction in complete detail in his 1936 paper It is possible to invent a single machine which can be used to compute any computable sequence. |
| Embora não seja possível provar a corretude para sistemas aos menos tão poderosos quanto a aritmética de Peano (ao menos que tenha se um conjunto computável de axiomas), é possível provar formas de completude para vários sistemas interessantes. | Although it is not possible to prove completeness for systems at least as powerful as Peano arithmetic (at least if they have a computable set of axioms), it is possible to prove forms of completeness for many interesting systems. |
| E nós convertemos aquela informação nesta estrutura, este entendimento, esta capacidade de converter aquelas histórias em algo que seja computável, para a qual possamos começar a mudar o modo como a medicina é feita e o serviço que ela presta. | And we convert that information into this structure, this understanding, this ability to convert those stories into something that is computable, to which we can begin to change the way medicine is done and delivered. |
| Em seu primeiro teorema, Gödel demonstrou que qualquer sistema consistente com um conjunto computável de axiomas, o qual é capaz de expressar aritmética, não pode nunca ser completo é possível construir um enunciado que pode ser mostrado verdadeiro, mas não pode ser derivado de regras formais do sistema. | In his first theorem, Gödel showed that any consistent system with a computable set of axioms which is capable of expressing arithmetic can never be complete it is possible to construct a statement that can be shown to be true, but that cannot be derived from the formal rules of the system. |
| Por exemplo, é possível que o grafo de uma função seja decidível em tempo polinomial (no caso em que a complexidade algorítmica é computada como uma função do par ( x , y )) quando a função não é computável em tempo polinomial (no caso em que a complexidade algorítmica é computada como uma função de x apenas). | For example, it is possible for the graph of a function to be decidable in polynomial time (in which case running time is computed as a function of the pair ( x , y ) ) when the function is not computable in polynomial time (in which case running time is computed as a function of x alone). |
| Talvez o ordinal mais importante que é limite de um sistema de construção desta forma é o ordinal de Church Kleene, formula_31 (mesmo com o formula_12 no nome, o ordinal é contável), que é o menor ordinal que não pode de forma alguma ser representado por uma função computável (podemos ser rigorosos nessa definição, é claro). | Perhaps the most important ordinal that limits a system of construction in this manner is the Church Kleene ordinal, formula_86 (despite the formula_58 in the name, this ordinal is countable), which is the smallest ordinal that cannot in any way be represented by a computable function (this can be made rigorous, of course). |
