전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
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.