Buy Me a Coffee at ko-fi.com

Church's thesis

axiom in constructive mathematics stating that all total functions are computable

Pronunciation
/ˈʧərʧəz ˈθisɪs/
/ʧəːʧɪz ˈθiːsɪs/
Categories
axiom