Computabilidade é a habilidade de resolver problemas de forma efetiva. É um tópico chave para o campo da Teoria da Computabilidade dentro da Lógica Matemática e para a Teoria da Computação dentro da Ciência da Computação. Marque a opção que representa um Problema incomputável:

Um problema incomputável é aquele para o qual não existe algoritmo que o resolva corretamente para todos os casos de entrada, em tempo finito.

Analisando as alternativas:

• A) Rota mais curta em um mapa. É computável: pode ser resolvido por algoritmos como Dijkstra ou A* (é difícil em algumas variantes, mas ainda computável).
• B) Somar todos os números primos entre 1 e 100, inclusive. É computável: o conjunto é finito; basta listar os primos e somar.
• C) Encontrar todos os erros de um programa computacional. É incomputável em geral: não existe um algoritmo que, para qualquer programa arbitrário, determine de forma completa e correta todos os seus “erros”/comportamentos incorretos. Isso se relaciona a resultados clássicos como o Problema da Parada e o Teorema de Rice, que mostram limites fundamentais do que pode ser decidido automaticamente sobre programas.
• D) Decriptação. Em geral é computável (pode ser computacionalmente inviável sem chave, mas não é incomputável no sentido teórico).
• E) Encontrar os anos bissextos. É computável: há uma regra aritmética bem definida (divisível por 4, etc.).

Logo, a opção que representa um problema incomputável é a alternativa C.

Alternativa correta: (C).