BETA SAÚDE
Church's thesis (constructive mathematics)
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
In constructive mathematics, Church's thesis is the principle stating that all total functions are computable functions.