Pergunta 3 1. O que significa dizer que um problema é "indecidível" na teoria da computação? a. Significa que o problema é fácil de resolver por ...

A resposta correta é a alternativa c: "Significa que não existe um algoritmo geral que possa decidir corretamente se uma instância do problema é verdadeira ou falsa." Na teoria da computação, um problema é considerado indecidível quando não é possível construir um algoritmo que possa resolver todas as instâncias do problema. Ou seja, não existe um algoritmo geral que possa decidir corretamente se uma instância do problema é verdadeira ou falsa. Isso não significa que o problema é fácil ou difícil de resolver, mas sim que não é possível resolver todas as instâncias do problema.