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:
“The paradox of education is precisely this—that as one begins to become conscious one begins to examine the society in which he is being educated.”
—James Baldwin (1924–1987)