Vamos analisar cada afirmativa: I- A motivação de Turing era identificar um conjunto de procedimentos que pudessem ser seguidos para determinar se uma proposição matemática era ou não suscetível de prova. Verdadeiro, essa é uma das motivações centrais de Turing, relacionada à decidibilidade. II- Turing descreveu a sequência de passos a serem seguidos para execução do 'processo de raciocínio' de uma máquina que poderia receber elementos de entrada variados. Verdadeiro, Turing realmente descreveu como uma máquina poderia processar informações. III- Turing defendia que todo problema poderia ser resolvido, desde que descrito de maneira lógica. Falso, Turing não defendia que todo problema era resolvível; ele mostrou que existem problemas que não podem ser decididos. IV- A máquina chamada de Colossus, desenvolvida por Turing, servia para realizar cálculos aritméticos para a área de Física. Falso, a máquina Colossus foi desenvolvida para decifrar códigos durante a Segunda Guerra Mundial, não especificamente para cálculos aritméticos na Física. Com base nas análises, as afirmativas verdadeiras são I e II. Portanto, a alternativa que contém todos os itens verdadeiros é: C) I, II e III, apenas.