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. Falso. A Colossus foi usada para quebrar códigos durante a Segunda Guerra Mundial, não na I Guerra Mundial. 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 realmente fez contribuições teóricas significativas em 1936, antes do desenvolvimento de computadores digitais. 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 a essência do trabalho de Turing. IV. A análise de Turing sugeriu que a "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 Falso. A afirmação não está completa e não reflete com precisão a relação entre máquinas de Turing e procedimentos eficazes. Com base na análise, as afirmativas verdadeiras são II e III. Portanto, a alternativa que contém todos os itens verdadeiros é: não há uma alternativa correta listada. Você deve verificar as opções disponíveis, pois apenas II e III estão corretas.