Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00802783n
Noun Concept
Categories: Constructivism (mathematics)
EN
Church's thesis  Extended Church's thesis
EN
In constructive mathematics, Church's thesis C T {\displaystyle {\mathrm {CT} }} is an axiom stating that all total functions are computable functions. Wikipedia
English:
constructive mathematics
Definitions
Relations
Sources
EN
In constructive mathematics, Church's thesis C T {\displaystyle {\mathrm {CT} }} is an axiom stating that all total functions are computable functions. Wikipedia
Mathematics Wikidata
IS A
axiom
Wikipedia
EN
Church's thesis (constructive mathematics)
Wikidata
EN
Church's thesis
Wikipedia Redirections
EN
Extended Church's thesis

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License