Sobre a sua importância e descobertas, avalie as afirmativas a seguir: I. Turing fez contribuições práticas para a computação, incluindo o trabalh...

Sobre a sua importância e descobertas, avalie as afirmativas a seguir:

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.
II. Sua contribuição mais significativa foi teórica, no entanto. Ele fez isso em 1936, bem antes de existirem quaisquer 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.
IV. A análise de Turing sugeriu que a 'máquina computável de Turing' e 'procedimento eficaz' eram sinônimos.
a. I e II estão corretas.
b. II e III estão corretas.
c. I, II e III estão corretas.
d. II, III e IV estão corretas.