Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00760014n
Noun Concept
Categories: Mathematics paradoxes, All articles needing additional references, Mathematical logic, Paradoxes of naive set theory, Self-referential paradoxes
EN
Curry's paradox  Curry paradox  Currys paradox  Curry’s paradox  Lob's paradox
EN
Curry's paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself "If C, then F", requiring only a few apparently innocuous logical deduction rules. Wikipedia
Definitions
Relations
Sources
EN
Curry's paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself "If C, then F", requiring only a few apparently innocuous logical deduction rules. Wikipedia
A paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self-referring sentence and some apparently innocuous logical deduction rules. Wiktionary
IS A
paradox
NAMED AFTER
Haskell Curry
Wikipedia
EN
Curry's paradox
Wikidata
EN
Curry's paradox
Wiktionary
EN
Curry's paradox
Wikipedia Redirections
EN
Curry's Paradox, Curry paradox, Currys paradox, Curry’s paradox, Lob's paradox, Lob paradox, Loeb's paradox, Loeb paradox, Löb's paradox, Löb paradox
Wikidata Alias
EN
Löb's paradox

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