De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
likewise, a reduction computing a noncomputable function can reduce an undecidable problem to a decidable one.
da mesma forma, reduzir computacionalmente uma função incomputável pode reduzir um problema indecidível para um decidível.
a consistent theory that has the property that every consistent extension is undecidable is said to be essentially undecidable.
uma teoria consistente que tem a propriedade de que cada extensão consistente é indecidível é dito ser essencialmente indecidível.
adding a single binary relation symbol to monadic logic, however, results in an undecidable logic.
adicionando um único símbolo de relação binária à lógica monádica, entretanto, resulta em uma lógica indefinível.
because deciding if a turing machine will accept an input is a basic undecidable problem, pcp cannot be decidable either.
dado que saber se uma máquina de turing irá aceitar uma entrada é um problema básico de indecidibilidade, pcp não pode ser decidível também.
note that since there are uncountably many undecidable problems, any list, even one of infinite length, is necessarily incomplete.
observe que, como existem incontáveis problemas indecidíveis, qualquer lista é, necessariamente, incompleta.