Curry's paradox
From Wiki @ Karl Jones dot com
Revision as of 16:17, 4 September 2015 by Karl Jones (Talk | contribs) (Created page with "'''Curry's paradox''' is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self-referring sentence a...")
Curry's paradox is 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.
Description
It is named after the logician Haskell Curry.
While naive set theory fails to identify it, a more rigorous examination reveals that the sentence is self-contradictory.
It has also been called Löb's paradox after Martin Hugo Löb.
See also
External links
- Curry's paradox @ Wikipedia
