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. 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.
Read more about Curry's Paradox: Natural Language, Formal Logic, Naive Set Theory, Combinatory Logic, Discussion
Famous quotes containing the word paradox:
“... it is the desert’s grimness, its stillness and isolation, that bring us back to love. Here we discover the paradox of the contemplative life, that the desert of solitude can be the school where we learn to love others.”
—Kathleen Norris (b. 1947)