プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
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.
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.