Curry's paradox

From Wiki @ Karl Jones dot com
Jump to: navigation, search

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