Vamos analisar cada uma das afirmações sobre Alan Turing: ( ) Turing fez contribuições práticas para a computação, incluindo o trabalho em uma máquina computacional para fins especiais, a Colossus, usada para quebrar o código japonês Enigma, na Primeira Guerra Mundial. É falsa (F). A Colossus foi usada para quebrar códigos durante a Segunda Guerra Mundial, não na Primeira Guerra Mundial. ( ) Sua contribuição mais significativa foi teórica. Ele fez isso em 1936, bem antes de existirem quaisquer computadores digitais. É verdadeira (V). Turing fez importantes contribuições teóricas, incluindo a definição da máquina de Turing em 1936, que é um conceito fundamental na teoria da computação. ( ) Turing concluiu que sempre haveria problemas matemáticos que não poderiam ser resolvidos. Para demonstrar isso, ele necessitaria de uma definição clara de "procedimento eficaz". Turing encontrou sua definição na operação de um tipo de máquina abstrata, que veio a ser conhecida como máquina de Turing. É verdadeira (V). Turing realmente demonstrou que existem problemas que não podem ser resolvidos por qualquer procedimento eficaz, utilizando a máquina de Turing como base para sua argumentação. ( ) A análise de Turing sugeriu que "máquina computável de Turing" e "procedimento eficaz" significam a mesma coisa. A qualquer momento nós temos um procedimento eficaz e sempre podemos projetar uma máquina de Turing específica para realizá-lo. É falsa (F). Embora a máquina de Turing seja um modelo de computação, nem todo procedimento eficaz pode ser representado por uma máquina de Turing, especialmente em relação a problemas não decidíveis. Portanto, a sequência correta é: F; V; V; F. A alternativa que apresenta essa sequência é a c) V; V; V; F.