A continuación, vamos a analizar un poco la tesis de Church-Turing para determinar por qué su aparición corrobora la tesis de Zuse-Fredkin.