Church's thesis

axiom in constructive mathematics stating that all total functions are computable

en-US/ˈt͡ʃɝt͡ʃəz ˈθisɪs/
en-GB/t͡ʃɜːt͡ʃɪz θɛsɪs/

Categories:

axiom