Difference between revisions of "Curry's paradox"
From Wiki @ Karl Jones dot com
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...") |
Karl Jones (Talk | contribs) (→See also) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 13: | Line 13: | ||
* [[Naive set theory]] | * [[Naive set theory]] | ||
* [[Paradox]] | * [[Paradox]] | ||
| + | * [[Set theory]] | ||
== External links == | == External links == | ||
* [https://en.wikipedia.org/wiki/Curry%27s_paradox Curry's paradox] @ Wikipedia | * [https://en.wikipedia.org/wiki/Curry%27s_paradox Curry's paradox] @ Wikipedia | ||
| + | |||
| + | [[Category:Logic]] | ||
| + | [[Category:Paradox]] | ||
| + | [[Category:Set theory]] | ||
Latest revision as of 14:22, 22 April 2016
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
