Vamos analisar cada afirmativa sobre Alan Turing: I. Turing fez contribuições práticas para a computação, incluindo o trabalho em uma máquina computacional para fins especiais, a Colossus, usado para quebrar o código japonês Enigma, na I Guerra Mundial. Verdadeiro, Turing realmente trabalhou na Colossus, que foi utilizada para decifrar códigos durante a Segunda Guerra Mundial (não na I Guerra Mundial, mas isso pode ser um erro de digitação na questão). II. Sua contribuição mais significativa foi teórica, no entanto. Ele fez isso em 1936, bem antes de existirem quaisquer computadores digitais. Verdadeiro, Turing fez contribuições teóricas significativas, incluindo a definição da máquina de Turing em 1936. III. Turing concluiu que sempre haveriam problemas matemáticos que não poderiam ser resolvidos. Para demonstrar isso, Turing necessitaria de uma definição clara de "procedimento eficaz." Ele encontrou sua definição na operação de um tipo de máquina abstrata, que veio a ser conhecida como uma máquina de Turing. Verdadeiro, essa afirmativa está correta e descreve bem a contribuição de Turing. IV. A análise de Turing sugeriu que a "máquina computável de Turing" e "procedimento eficaz" significam a mesma coisa. Falso, embora a máquina de Turing seja um modelo de computação, a afirmação de que "máquina computável de Turing" e "procedimento eficaz" significam a mesma coisa não é precisa. A máquina de Turing é um modelo que ajuda a entender o que é computável, mas não é sinônimo de "procedimento eficaz". Com base na análise, os itens I, II e III são verdadeiros. Portanto, a alternativa correta que contém todos os itens verdadeiros é: a) I, II e III.