Statements (26)
| 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
|
| 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:H._A._Curry
gptkb:Haskell_Curry gptkb:Girard's_paradox |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Curry's paradox
|