Buy Me a Coffee at ko-fi.com

Church's thesis

axiom in constructive mathematics stating that all total functions are computable

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