Je was op zoek naar: undecidable (Engels - Portugees)

undecidable
irresolúvel

) is undecidable.
) é indecidível.

"undecidable theories".
"undecidable theories".

this variant is undecidable.
esta variante é indecidível.

this language is known to be undecidable.
esta linguagem é conhecida por ser indecidível.

* it is undecidable whether two transducers are equivalent.
* É problema indecidível se dois transdutores são equivalentes.

an undecidable problem is a problem that is not decidable.
um problema indecidível é um problema que não é decidível.

in fact, every consistent extension will be essentially undecidable.
na verdade, toda extensão consistente será essencialmente indecidível.

a set which is not computable is called noncomputable or undecidable.
um conjunto que não é computável é chamado não computável ou indecidível.

in general, it is undecidable whether a given axiom iscanonical.
em geral, é indecidível se um determinado axioma é canônico.

41–73 in martin davis 1965, "the undecidable" (loc.
41–73 in martin davis 1965, "the undecidable" (loc.

(1965) "the undecidable", raven press, hewlett ny pp.
(1965) "the undecidable", raven press, hewlett ny pp.

partially decidable problems and any other problems that are not decidable are called undecidable.
problemas parcialmente decidíveis e outros problemas que não são decidíveis são chamados indecidíveis.

the domain in which writing works is neither true nor false, but rather undecidable.
o domínio em que trabalha a escrita não é o verdadeiro nem o falso, mas o indecidível.

conway in the 1970s, proved that a natural generalization of the collatz problem is undecidable.
conway na década de 1970s, provaram que uma generalização natural do problema de collatz é indecidível.

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.