Statements (24)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:paradox
|
gptkbp:category |
gptkb:paradox
|
gptkbp:consequence |
triviality (everything becomes provable)
|
gptkbp:describedBy |
gptkb:Compositio_Mathematica
|
gptkbp:example |
If this statement is true, then 2+2=5.
|
gptkbp:feature |
arises in certain formal systems
arises in naive set theory does not require negation |
gptkbp:field |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
gptkbp:firstDescribed |
1942
|
https://www.w3.org/2000/01/rdf-schema#label |
Curry's paradox
|
gptkbp:namedAfter |
gptkb:Haskell_Curry
|
gptkbp:problemFor |
gptkb:naive_set_theory
unrestricted formal logic |
gptkbp:relatedTo |
gptkb:Russell's_paradox
gptkb:liar_paradox self-reference implication |
gptkbp:uses |
material implication
self-referential statements |
gptkbp:bfsParent |
gptkb:Haskell_Curry
|
gptkbp:bfsLayer |
5
|