Na Teoria da Computação, a Tese de Church-Turing estabelece uma relação entre o conceito intuitivo de algoritmo e modelos formais de computação, como a Máquina de Turing. Embora não seja um teorema formalmente demonstrado, é amplamente aceita como uma hipótese sobre os limites do que pode ser computado. Com base nessa concepção, assinale a alternativa que expressa corretamente o conteúdo da Tese de Church-Turing.