Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
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.
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.